Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/EQP> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- EQP 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.".
- EQP wikiPageExternalLink default.asp.
- EQP wikiPageExternalLink eqp.
- EQP wikiPageExternalLink robbins.
- EQP wikiPageID "177356".
- EQP wikiPageLength "832".
- EQP wikiPageOutDegree "7".
- EQP wikiPageRevisionID "573335070".
- EQP wikiPageWikiLink Argonne_National_Laboratory.
- EQP wikiPageWikiLink Automated_theorem_proving.
- EQP wikiPageWikiLink Boolean_algebra_(structure).
- EQP wikiPageWikiLink Category:Theorem_proving_software_systems.
- EQP wikiPageWikiLink Equational_logic.
- EQP wikiPageWikiLink Herbert_Robbins.
- EQP wikiPageWikiLink Robbins_algebra.
- EQP wikiPageWikiLinkText "EQP".
- EQP wikiPageUsesTemplate Template:About.
- EQP subject Category:Theorem_proving_software_systems.
- EQP hypernym Theorem.
- EQP type Tool.
- EQP 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.".
- EQP label "EQP".
- EQP sameAs Q5323984.
- EQP sameAs m.0181wz.
- EQP sameAs Q5323984.
- EQP wasDerivedFrom EQP?oldid=573335070.
- EQP isPrimaryTopicOf EQP.