Skolemization

From Free net encyclopedia

Revision as of 17:35, 29 July 2005; view current revision
←Older revision | Newer revision→
#REDIRECTSkolem normal form
Retrieved from "http://www.netipedia.com/index.php/Skolemization"