skolemisation

Search:

skolemisation

A means of removing quantifiers from first order logic formulas.

[Details?]