en
skolemization
(
n
)
An
English
term in
ConceptNet 5.8
Source:
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Related terms
en
existential quantifier
➜
en
first order logic
➜
en
skolem function
➜
en
universal quantifier
➜
Similar terms
en
herbrandization
➜
Context of this term
en
logic
➜