Named after Thoralf Skolem (1887–1963), Norwegian mathematician. <span class="searchmatch">Skolemization</span> (uncountable) (logic) The conversion of a formula of first-order logic...
Skolemnization (uncountable) Alternative form of <span class="searchmatch">Skolemization</span>....
From Skolem + -isation. Skolemisation (uncountable) Alternative form of <span class="searchmatch">Skolemization</span>....
where c is a new symbol (not part of the original domain of discourse, but which can stand for an element of it (as in <span class="searchmatch">Skolemization</span>)). inference rule...
such function is a function of the remaining bound variables whose scope contain the given variable (being replaced). Herbrand function <span class="searchmatch">Skolemization</span>...
replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function. <span class="searchmatch">Skolemization</span>...