follow Dictionary.com

Today's Word of the Day means...

skolemisation

skolemisation in Technology

A means of removing quantifiers from first order logic formulas.
[Details?]
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of The Day

Word Value for skolemisation

0
0
Scrabble Words With Friends