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