Disambiguation evidence for Herbrand's theorem via surface form

"Herbrand theorem"

Triples (2)

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

Herbrand expansion → relatedTo →
"Herbrand theorem"
↳ resolves to Herbrand's theorem
ⓘ
Herbrand base → relatedConcept →
"Herbrand theorem"
↳ resolves to Herbrand's theorem
ⓘ