Disambiguation evidence for Herbrand Award via surface form
"Herbrand Award for Automated Reasoning"
As object (2)
Triples where some other subject referred to this entity
as "Herbrand Award for Automated Reasoning".
J Strother Moore
→
awardReceived
→
"Herbrand Award for Automated Reasoning"
ⓘ
↳ resolves to Herbrand Award