English Dictionary
Computer Dictionary
Thesaurus
Dream Dictionary
Medical Dictionary
Search Dictionary:
Meaning of SKOLEMISATION
Computing Dictionary
Definition:
A means of removing
quantifier
s from
first order logic
formulas.
Websites:
COPYRIGHT © 2000-2003 WEBNOX CORP.
HOME
|
ABOUT HYPERDICTIONARY
Computing Dictionary