Disambiguation evidence for ACL2 theorem proving system via surface form

"ACL2"

Triples (5)

Triples where some other subject referred to this entity as "ACL2".

J Strother Moore → coDeveloperOf →
"ACL2"
↳ resolves to ACL2 theorem proving system
ⓘ
Boyer–Moore theorem prover → influenced →
"ACL2"
↳ resolves to ACL2 theorem proving system
ⓘ
Matt Kaufmann → notableWork →
"ACL2"
↳ resolves to ACL2 theorem proving system
ⓘ
Matt Kaufmann → coDeveloperOf →
"ACL2"
↳ resolves to ACL2 theorem proving system
ⓘ
HOL theorem prover → relatedTo →
"ACL2"
↳ resolves to ACL2 theorem proving system
ⓘ