Disambiguation evidence for ACL2 theorem proving system via surface form
"ACL2 (A Computational Logic for Applicative Common Lisp)"
As object (1)
Triples where some other subject referred to this entity
as "ACL2 (A Computational Logic for Applicative Common Lisp)".
J Strother Moore
→
developedSystem
→
"ACL2 (A Computational Logic for Applicative Common Lisp)"
ⓘ
↳ resolves to ACL2 theorem proving system