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

PropertyValue
p:abstract
  • Nqthm is a theorem prover sometimes referred to as the Boyer-Moore theorem prover. (en)
p:hasPhotoCollection
p:reference
rdfs:comment
  • Nqthm is a theorem prover sometimes referred to as the Boyer-Moore theorem prover. (en)
rdfs:label
  • Nqthm (en)
skos:subject
foaf:page
p:redirect