Related terms
- en skolem function (n) ➜
- en existential quantifier ➜
- en first order logic ➜
- en skolem function ➜
- en universal quantifier ➜
Similar terms
- en herbrandization (n) ➜
- en herbrandization ➜
Word forms
- en skolemisation (n) ➜
Links to other resources
- en.wiktionary.org Skolemization