Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00377287n
Noun Concept
Categories: Mathematical logic
EN
Herbrand structure  Herbrand model  Herbrand universe  Minimal Herbrand model  term model
EN
In first-order logic, a Herbrand structure S is a structure over a vocabulary σ that is defined solely by the syntactical properties of σ. Wikipedia
Definitions
Relations
Sources
EN
In first-order logic, a Herbrand structure S is a structure over a vocabulary σ that is defined solely by the syntactical properties of σ. Wikipedia
Structure over a vocabulary defined solely by syntactical properties Wikidata
IS A
structure
NAMED AFTER
Jacques Herbrand
Wikipedia
EN
Herbrand structure
Wikidata
EN
Herbrand structure
Wikipedia Redirections
EN
Herbrand model, Herbrand universe, Minimal Herbrand model, term model

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License