Disambiguation evidence for Herbrand's theorem via surface form

"Herbrand's theorem"

Triples (4)

Triples where some other subject referred to this entity as "Herbrand's theorem".

Jacques Herbrand → knownFor →
"Herbrand's theorem"
↳ resolves to Herbrand's theorem
ⓘ
Jacques Herbrand → theoremNamedAfter →
"Herbrand's theorem"
↳ resolves to Herbrand's theorem
ⓘ
Recherches sur la théorie de la démonstration → introducesConcept →
"Herbrand's theorem"
↳ resolves to Herbrand's theorem
ⓘ
Herbrand disjunction → isCentralTo →
"Herbrand's theorem"
↳ resolves to Herbrand's theorem
ⓘ