Disambiguation evidence for Shostak decision procedure in automated reasoning via surface form
"Shostak decision procedure in automated reasoning"
Triples (1)
Triples where some other subject referred to this entity
as "Shostak decision procedure in automated reasoning".
Robert Shostak
→
knownFor
→
"Shostak decision procedure in automated reasoning"
ⓘ
↳ resolves to Shostak decision procedure in automated reasoning