Boyer–Moore theorem prover

E347187 UNEXPLORED

The Boyer–Moore theorem prover is an influential automated reasoning system for first-order logic and recursive function theory, notable for pioneering techniques in mechanical proof and program verification.

Aliases (1)

Nqthm (Boyer–Moore theorem prover) ×1

Referenced by (3)

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

J Strother Moore → coDeveloperOf → Boyer–Moore theorem prover →

J Strother Moore → developedSystem → Boyer–Moore theorem prover →

this entity surface form: "Nqthm (Boyer–Moore theorem prover)"

J Strother Moore → knownFor → Boyer–Moore theorem prover →