Disambiguation evidence for Herbrand interpretation via surface form

"Herbrand structure"

Triples (3)

Triples where some other subject referred to this entity as "Herbrand structure".

Jacques Herbrand → conceptNamedAfter →
"Herbrand structure"
↳ resolves to Herbrand interpretation
ⓘ
Herbrand base → componentOf →
"Herbrand structure"
↳ resolves to Herbrand interpretation
ⓘ
Herbrand semantics → formalObject →
"Herbrand structure"
↳ resolves to Herbrand interpretation
ⓘ