Ontify
⌘
S
⌘
S
Herbrand Universe - Ontify
Share
Herbrand Universe
Set of all ground terms of a first-order language.
Wikipedia | Herbrand Universe
Statements about
Herbrand Universe
Named After
Subclass Of
Facet Of
Instance Of
Jacques Herbrand
Mathematical Concept
Herbrand Structure
Term Algebra
Set
