Disambiguation evidence for Herbrand Award via surface form
"Herbrand Award for Automated Reasoning"
Triples (3)
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
Edmund M. Clarke
→
awardReceived
→
"Herbrand Award for Automated Reasoning"
ⓘ
↳ resolves to Herbrand Award
linked to:
Edmund Melson Clarke Jr.