skolemisation

A means of removing quantifiers from first order logic formulas.

[Details?]



Nearby terms:
Skim « SkipJack « SKOL « skolemisation » S-K reduction machine » skrog » SKsh