skolemisation

A means of removing quantifiers from first order logic formulas.

[Details?]


Loading