NQTHM

E1119491 UNEXPLORED

NQTHM is an early automated theorem prover for recursive function theory and hardware/software verification, developed by Robert Boyer and J Strother Moore as a predecessor to their later Boyer–Moore theorem prover.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
NQTHM canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Boyer–Moore theorem prover → influenced → NQTHM ⓘ