skolemisation

skolemisation

A means of removing quantifiers from first order logic formulas.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)