skolemisation

A means of removing quantifiers from first order logic formulas.

[Details?]

Nearby terms:

SkipJackSKOLskolemisationS-K reduction machineskrogSKsh

Try this search on Wikipedia, OneLook, Google


Loading