Disambiguation evidence for Herbrand's theorem via surface form

"Herbrand’s theorem"

Triples (10)

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

Herbrand universe → appearsIn →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ
Davis–Putnam algorithm → relatedConcept →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ
Herbrand interpretation → roleIn →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ
First-Order Logic and Automated Theorem Proving → topic →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ
Logic for Computer Science: Foundations of Automatic Theorem Proving → hasSubject →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ
linked to: "Logic for Computer Science: Foundations of Automatic Theorem Proving"
Skolemization → relatedConcept →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ
Herbrand semantics → relatedConcept →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ
Herbrand conjunction (for universal formulas) → usedIn →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ
Herbrand quotient → relatedTo →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ
cut-elimination theorem → relatedTo →
"Herbrand’s theorem"
↳ resolves to Herbrand's theorem
ⓘ