Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Nqthm> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- Nqthm abstract "Nqthm is a theorem prover sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2.".
- Nqthm wikiPageExternalLink nqthm.
- Nqthm wikiPageExternalLink nqthm.
- Nqthm wikiPageExternalLink index.html.
- Nqthm wikiPageID "8818803".
- Nqthm wikiPageRevisionID "602093452".
- Nqthm hasPhotoCollection Nqthm.
- Nqthm subject Category:Common_Lisp_software.
- Nqthm subject Category:Theorem_proving_software_systems.
- Nqthm type Agent.
- Nqthm type Person.
- Nqthm type Person.
- Nqthm type Q215627.
- Nqthm type Q5.
- Nqthm type Agent.
- Nqthm type NaturalPerson.
- Nqthm type Thing.
- Nqthm type Person.
- Nqthm comment "Nqthm is a theorem prover sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2.".
- Nqthm label "Nqthm".
- Nqthm sameAs m.027kv60.
- Nqthm sameAs Q7067521.
- Nqthm sameAs Q7067521.
- Nqthm wasDerivedFrom Nqthm?oldid=602093452.
- Nqthm isPrimaryTopicOf Nqthm.