Equational prover (original) (raw)
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 algebras.
| Property | Value |
|---|---|
| dbo:abstract | 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 algebras. (en) EQP, abréviation de equational prover (« démonstrateur équationnel »), est un programme automatisé de démonstration de théorèmes pour la , développé par la Division de mathématiques et d'informatique du laboratoire national d'Argonne. C'est l'un des démonstrateurs utilisés pour résoudre un problème de longue date posé par Herbert Robbins, à savoir, si toutes les sont des algèbres booléennes. (fr) |
| dbo:wikiPageExternalLink | https://web.archive.org/web/20030201112808/http:/www-fp.mcs.anl.gov/division/welcome/default.asp http://www.cs.unm.edu/~mccune/eqp/ http://www.cs.unm.edu/~mccune/papers/robbins/ |
| dbo:wikiPageID | 177356 (xsd:integer) |
| dbo:wikiPageLength | 875 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1042922762 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Robbins_algebra dbr:Equational_logic dbr:Automated_theorem_proving dbr:Herbert_Robbins dbr:Argonne_National_Laboratory dbr:Boolean_algebra_(structure) dbc:Theorem_proving_software_systems |
| dbp:wikiPageUsesTemplate | dbt:About |
| dct:subject | dbc:Theorem_proving_software_systems |
| rdfs:comment | 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 algebras. (en) EQP, abréviation de equational prover (« démonstrateur équationnel »), est un programme automatisé de démonstration de théorèmes pour la , développé par la Division de mathématiques et d'informatique du laboratoire national d'Argonne. C'est l'un des démonstrateurs utilisés pour résoudre un problème de longue date posé par Herbert Robbins, à savoir, si toutes les sont des algèbres booléennes. (fr) |
| rdfs:label | Equational prover (en) EQP (fr) |
| owl:sameAs | wikidata:Equational prover dbpedia-fr:Equational prover https://global.dbpedia.org/id/4igy4 |
| prov:wasDerivedFrom | wikipedia-en:Equational_prover?oldid=1042922762&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Equational_prover |
| is dbo:wikiPageWikiLink of | dbr:Robbins_algebra dbr:Automated_theorem_proving dbr:William_McCune dbr:EQP dbr:Boolean_algebra_(structure) |
| is foaf:primaryTopic of | wikipedia-en:Equational_prover |