Disambiguation evidence for Herbrand's theorem via surface form
"Herbrand's theorem for unsatisfiability"
Triples (1)
Triples where some other subject referred to this entity
as "Herbrand's theorem for unsatisfiability".
Herbrand's theorem
→
hasVersion
→
"Herbrand's theorem for unsatisfiability"
ⓘ
↳ resolves to Herbrand's theorem