Wikis
Map
Search

EQP: Map

Categories: Theorem proving software systems

Wikipedia article:

Map showing all locations mentioned on Wikipedia article:

EQP, an abbreviation for equational prover, is an automated theorem proving program for equational logic, developed by the Mathematics and Computer Science Division of the Argonne National Laboratory

. It was one of the provers used for solving a longstanding problem posed by Herbert Robbins, namely, whether all Robbins algebras are Boolean algebra.

External links

Embed code:

The text of the above Wikipedia article is available under the Creative Commons Attribution-ShareAlike License. This content and its associated elements are made available under the same license where attribution must include acknowledgement of The Full Wiki as the source on the page same page with a link back to this page with no nofollow tag.