skolemisation

skolemisation

A means of removing quantifiers from first order logic formulas.