bn:03648131n
Noun Concept
EL
No term available
EN
In mathematical logic, a Herbrand interpretation is an interpretation in which all constants and function symbols are assigned very simple meanings. Wikipedia
Relations
Sources