Disambiguation evidence for Herbrand universe via surface form

"Herbrand universe"

Triples (13)

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

Jacques Herbrand → knownFor →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Jacques Herbrand → conceptNamedAfter →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Herbrand's theorem → usesConcept →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Herbrand expansion → relatedTo →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Recherches sur la théorie de la démonstration → introducesConcept →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Herbrand disjunction → relatedTo →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Herbrand interpretation → basedOn →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Herbrand base → relatedConcept →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Herbrand base → constructedFrom →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Herbrand semantics → usesDomain →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Herbrand semantics → basedOn →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Herbrand conjunction (for universal formulas) → definedOver →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ
Robinson unification algorithm → relatedTo →
"Herbrand universe"
↳ resolves to Herbrand universe
ⓘ