skolemisation

skolemisation

A means of removing quantifiers from first order logicformulas.