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.

Property Value
dbo:abstract
  • 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)
  • 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
dbo:wikiPageID
  • 12786214 (xsd:integer)
dbo:wikiPageLength
  • 1254 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 182053031 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • 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)
  • 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
  • EQP (fr)
  • Equational prover (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of