skolemisation

A means of removing quantifiers from first order logic formulas.

[Details?]

Nearby terms:

SkipJack ♦ SKOL ♦ skolemisation ♦ S-K reduction machine ♦ skrog ♦ SKsh

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading