Herbrand structure
Sign in to savestructure over a vocabulary defined solely by syntactical properties
In the Vinony graph
Vinony's link graph records 22 inbound references to Herbrand structure, and connects out to countable set, structure and International Standard Book Number.
It is catalogued under the topic Mathematical logic.
Vinony links it to 5 Wikipedia language editions.
Connections
countable set
Entity
structure
Entity
International Standard Book Number
Entity
first-order logic
Entity
logic programming
Entity
Springer Science+Business Media
Entity
arity
Entity
term
Entity
Jacques Herbrand
Entity
resolution
Entity
Skolem normal form
Entity
sentence
Entity
signature
Entity
theory
Entity
Herbrand's theorem
Entity
Heinz-Dieter Ebbinghaus
Entity
Herbrand interpretation
Entity
ground expression
Entity