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
▸ 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).
Similar:
Skolemization,
Skolemisation,
Skolemnization,
Herbrand function,
formula,
switching function,
literal,
existential quantifier,
linear logic,
falsum,
more...
Opposite:
▸ 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