This HTML5 document contains 76 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n22http://hy.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n29http://g.co/kg/m/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n19http://www.omegawiki.org/DefinedMeaning:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n28https://www.jstor.org/topic/
n27https://www.quora.com/topic/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n6http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-azhttp://az.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
n26http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-euhttp://eu.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
n30http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n18https://id.loc.gov/authorities/names/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbpedia-thhttp://th.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Démonstration_automatique_de_théorèmes
rdfs:label
Demostración automática de teoremas Automatyczne dowodzenie twierdzeń Démonstration automatique de théorèmes 自動化定理證明 Prova automática de teoremas Teoremen frogapen automatiko Dimostrazione automatica di teoremi
rdfs:comment
La démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur.
rdfs:seeAlso
n19:1098569 n27:Automated-Theorem-Proving n28:automated-theorem-proving
owl:sameAs
dbpedia-eu:Teoremen_frogapen_automatiko dbpedia-pl:Automatyczne_dowodzenie_twierdzeń dbpedia-zh:自動化定理證明 dbpedia-th:การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์ dbpedia-az:Teoremlərin_avtomatik_sübutu n18:sh85010111 dbr:Automated_theorem_proving dbpedia-fa:اثبات_قضیه_خودکار n22:Թեորեմների_ավտոմատացված_ապացուցում dbpedia-it:Dimostrazione_automatica_di_teoremi dbpedia-ko:자동_정리_증명 dbpedia-ja:自動定理証明 n29:0_8m n30:206880738 wikidata:Q431667 dbpedia-es:Demostración_automática_de_teoremas dbpedia-tr:Otomatik_teorem_kanıtlama dbpedia-uk:Автоматизоване_доведення_теорем dbpedia-ru:Автоматическое_доказательство dbpedia-pt:Prova_automática_de_teoremas
dbo:wikiPageID
135349
dbo:wikiPageRevisionID
179835354
dbo:wikiPageWikiLink
dbpedia-fr:Bug_de_la_division_du_Pentium dbpedia-fr:Superposition_calculus category-fr:Méthode_de_démonstration dbpedia-fr:Vérification_de_modèles dbpedia-fr:Raisonnement_par_récurrence dbpedia-fr:Rewriting dbpedia-fr:Assistant_de_preuve dbpedia-fr:Méthode_des_tableaux dbpedia-fr:Règle_de_résolution dbpedia-fr:Model_elimination dbpedia-fr:Démonstration_(logique_et_mathématique) dbpedia-fr:Coq_(logiciel) dbpedia-fr:Complexité_des_preuves dbpedia-fr:Microprocesseur dbpedia-fr:Algorithme_DPLL dbpedia-fr:Lean_theorem_prover dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Processeur dbpedia-fr:Logiciel dbpedia-fr:Unification dbpedia-fr:EQP dbpedia-fr:Identité_remarquable dbpedia-fr:Pentium_(marque) category-fr:Théorie_de_la_démonstration dbpedia-fr:Diagramme_de_décision_binaire
dbo:wikiPageLength
4242
dct:subject
category-fr:Méthode_de_démonstration category-fr:Théorie_de_la_démonstration
prop-fr:wikiPageUsesTemplate
n6:Portail n6:Langue n6:Refnec n6:Ébauche n6:Voir_homonymes n26:Référence n6:Date- n6:Lien
prov:wasDerivedFrom
wikipedia-fr:Démonstration_automatique_de_théorèmes?oldid=179835354&ns=0
prop-fr:fr
Algèbre de Robbins
prop-fr:langue
en
prop-fr:texte
conjecture de Robbins
prop-fr:trad
Robbins algebra
foaf:isPrimaryTopicOf
wikipedia-fr:Démonstration_automatique_de_théorèmes
dbo:abstract
La démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur.