Related terms
- en herbrand function (n) ➜
- en existential quantifier ➜
- en first order logic ➜
- en herbrand function ➜
- en universal quantifier ➜
Similar terms
- en skolemization ➜
- en skolemization (n) ➜
Links to other resources
- en.wiktionary.org Herbrandization