Definitions from Wiktionary (Skolem function)

▸ noun:  (logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).



▸ Words similar to skolem function
▸ Usage examples for skolem function

▸ Idioms related to skolem function
▸ Wikipedia articles (New!)
▸ Words that often appear near skolem function
▸ Rhymes of skolem function

▸ Invented words related to skolem function