Disambiguation evidence for ACL2 theorem proving system via surface form
""ACL2: An Industrial Strength Version of Nqthm""
Triples (1)
Triples where some other subject referred to this entity
as ""ACL2: An Industrial Strength Version of Nqthm"".
Matt Kaufmann
→
notablePublication
→
""ACL2: An Industrial Strength Version of Nqthm""
ⓘ
↳ resolves to ACL2 theorem proving system