About: Nqthm

Nqthm is a theorem prover sometimes referred to as the Boyer-Moore theorem prover.

Property	Value
dbpprop:abstract	Nqthm is a theorem prover sometimes referred to as the Boyer-Moore theorem prover.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Nqthm
dbpprop:reference	http://www.computationallogic.com/software/nqthm/ http://www.cs.utexas.edu/users/moore/best-ideas/nqthm/index.html
rdfs:comment	Nqthm is a theorem prover sometimes referred to as the Boyer-Moore theorem prover.
rdfs:label	Nqthm
owl:sameAs	freebase:Nqthm
skos:subject	dbpedia:Category:Common_Lisp_software dbpedia:Category:Theorem_proving_software_systems
foaf:page	http://en.wikipedia.org/wiki/Nqthm
is dbpprop:redirect of	dbpedia:Boyer-Moore_theorem_prover