Word.ws English Dictionary

Skolemisation

Skolemisation is the alternative form of Skolemization.

Meaning of Skolemization

Noun

Skolemization (uncountable)

  1. The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by an existential quantifier which lies in the scope of an even number of logical negations with a Skolem function, and (3) replace any variable bound by a universal quantifier which lies in the scope of an odd number of negations with a Skolem function.

Origin of Skolemisation

From Norwegian Skolem + -isation.

Questions about Skolemisation

What is Skolemisation the alternative form of?
Skolemisation is the alternative form of Skolemization.

Words near Skolemisation in the dictionary

  1. Skole
  2. skolecite
  3. skoled
  4. Skolem function
  5. Skolem functions
  6. Skolemisation
  7. Skolemization
  8. Skolemnization
  9. skolezite
  10. skolia
  11. skoling

Source and license

Adapted from Wiktionary: Skolemisation (page history and authors); Skolemization (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Skolemisation.” Word.ws, https://word.ws/skolemisation. Based on Wiktionary, CC BY-SA 4.0.