Matches in DBpedia 2014 for { <http://dbpedia.org/resource/ACL2_theorem_prover> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- ACL2_theorem_prover wikiPageID "13457753".
- ACL2_theorem_prover wikiPageRedirects ACL2.
- ACL2_theorem_prover wikiPageRevisionID "160646276".
- ACL2_theorem_prover label "ACL2 theorem prover".
- ACL2_theorem_prover sameAs m.015hl_.
- ACL2_theorem_prover wasDerivedFrom ACL2_theorem_prover?oldid=160646276.
- ACL2_theorem_prover isPrimaryTopicOf ACL2_theorem_prover.