skolemisation
A means of removing
quantifier
s from
first order logic
formulas.
[Details?]