About: http://fr.dbpedia.org/resource/Catégorie:Théorie_de_la

Property	Value
dbo:wikiPageID	4142016 (xsd:integer)
dbo:wikiPageRevisionID	90616100 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Théorie de la démonstration (fr) Théorie de la démonstration (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Proof_theory
owl:sameAs	dbc:Proof_theory dbpedia-commons:Category:Proof_theory wikidata:Q7452060 dbpedia-ar:تصنيف:نظرية_البرهان dbpedia-da:Kategori:Bevisteori dbpedia-el:Κατηγορία:Θεωρία_αποδείξεων dbpedia-eo:Kategorio:Pruva_teorio dbpedia-es:Categoría:Teoría_de_la_demostración dbpedia-eu:Kategoria:Frogaren_teoria dbpedia-fa:رده:نظریه_برهان dbpedia-ja:Category:証明論 dbpedia-ko:분류:증명_이론 dbpedia-mk:Категорија:Доказна_теорија dbpedia-nn:Kategori:Bevisteori dbpedia-ru:Категория:Теория_доказательств dbpedia-sh:Kategorija:Teorija_dokaza dbpedia-sr:Категорија:Теорија_доказа dbpedia-tr:Kategori:Tanıtlama_teorisi dbpedia-uk:Категорія:Теорія_доведення http://ur.dbpedia.org/resource/زمرہ:نظریہ_ثبوت dbpedia-zh:Category:证明论
skos:broader	category-fr:Logique_mathématique category-fr:Théorie_mathématique
skos:prefLabel	Théorie de la démonstration (fr) Théorie de la démonstration (fr)
prov:wasDerivedFrom	wikipedia-fr:Catégorie:Théorie_de_la_démonstration?oldid=90616100&ns=14
is dbo:wikiPageWikiLink of	dbpedia-fr:Assistant_de_preuve dbpedia-fr:Calcul_des_constructions dbpedia-fr:Calcul_des_séquents dbpedia-fr:Cohérence_(logique) dbpedia-fr:Complexité_des_preuves dbpedia-fr:Complétude_(logique) dbpedia-fr:Continuation_(informatique) dbpedia-fr:Coq_(logiciel) dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Décidabilité dbpedia-fr:Déduction_naturelle dbpedia-fr:Démonstration_(logique_et_mathématique) dbpedia-fr:Démonstration_automatique_de_théorèmes dbpedia-fr:Démonstration_constructive dbpedia-fr:Démonstration_formelle dbpedia-fr:Epsilon_de_Hilbert dbpedia-fr:Grand_ordinal_dénombrable dbpedia-fr:Hiérarchie_de_croissance_rapide dbpedia-fr:Idéographie dbpedia-fr:Indépendance_(logique_mathématique) dbpedia-fr:Inférence_(logique) dbpedia-fr:Lambda-calcul dbpedia-fr:Le_Système_U dbpedia-fr:Logique_combinatoire dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_linéaire dbpedia-fr:Logiques_sous-structurelles dbpedia-fr:Loi_de_Peirce dbpedia-fr:Longueur_d'une_démonstration dbpedia-fr:Métathéorème dbpedia-fr:Notation_Peano-Russell dbpedia-fr:Principes_de_logique_théorique dbpedia-fr:Propagation_unitaire dbpedia-fr:Que_la_science_justifie_le_recours_à_une_idéographie dbpedia-fr:Règle_d'inférence dbpedia-fr:Règle_d'introduction_(logique) dbpedia-fr:Réalisabilité dbpedia-fr:Réseau_de_preuves dbpedia-fr:Style_de_Fitch_pour_la_déduction_naturelle dbpedia-fr:Substitution_explicite dbpedia-fr:Système_F dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Sémantique_de_la_théorie_de_la_preuve dbpedia-fr:Taquet_(symbole) dbpedia-fr:Théorie_complète dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorie_des_types dbpedia-fr:Théorème_d'accélération_de_Gödel dbpedia-fr:Théorème_d'élimination_des_coupures dbpedia-fr:Théorème_de_Goodstein dbpedia-fr:Théorème_de_Herbrand dbpedia-fr:Théorème_de_Löb dbpedia-fr:Théorème_de_complétude_de_Gödel dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Type_dépendant dbpedia-fr:Mizar_(système) dbpedia-fr:Modus_ponendo_tollens dbpedia-fr:Modus_ponens dbpedia-fr:Modus_tollens
is dct:subject of	dbpedia-fr:Assistant_de_preuve dbpedia-fr:Calcul_des_constructions dbpedia-fr:Calcul_des_séquents dbpedia-fr:Cohérence_(logique) dbpedia-fr:Complexité_des_preuves dbpedia-fr:Complétude_(logique) dbpedia-fr:Continuation_(informatique) dbpedia-fr:Coq_(logiciel) dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Décidabilité dbpedia-fr:Déduction_naturelle dbpedia-fr:Démonstration_(logique_et_mathématique) dbpedia-fr:Démonstration_automatique_de_théorèmes dbpedia-fr:Démonstration_constructive dbpedia-fr:Démonstration_formelle dbpedia-fr:Epsilon_de_Hilbert dbpedia-fr:Grand_ordinal_dénombrable dbpedia-fr:Hiérarchie_de_croissance_rapide dbpedia-fr:Idéographie dbpedia-fr:Indépendance_(logique_mathématique) dbpedia-fr:Inférence_(logique) dbpedia-fr:Lambda-calcul dbpedia-fr:Le_Système_U dbpedia-fr:Logique_combinatoire dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_linéaire dbpedia-fr:Logiques_sous-structurelles dbpedia-fr:Loi_de_Peirce dbpedia-fr:Longueur_d'une_démonstration dbpedia-fr:Métathéorème dbpedia-fr:Notation_Peano-Russell dbpedia-fr:Principes_de_logique_théorique dbpedia-fr:Propagation_unitaire dbpedia-fr:Que_la_science_justifie_le_recours_à_une_idéographie dbpedia-fr:Règle_d'inférence dbpedia-fr:Règle_d'introduction_(logique) dbpedia-fr:Réalisabilité dbpedia-fr:Réseau_de_preuves dbpedia-fr:Style_de_Fitch_pour_la_déduction_naturelle dbpedia-fr:Substitution_explicite dbpedia-fr:Système_F dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Sémantique_de_la_théorie_de_la_preuve dbpedia-fr:Taquet_(symbole) dbpedia-fr:Théorie_complète dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorie_des_types dbpedia-fr:Théorème_d'accélération_de_Gödel dbpedia-fr:Théorème_d'élimination_des_coupures dbpedia-fr:Théorème_de_Goodstein dbpedia-fr:Théorème_de_Herbrand dbpedia-fr:Théorème_de_Löb dbpedia-fr:Théorème_de_complétude_de_Gödel dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Type_dépendant dbpedia-fr:Mizar_(système) dbpedia-fr:Modus_ponendo_tollens dbpedia-fr:Modus_ponens dbpedia-fr:Modus_tollens
is skos:broader of	category-fr:Méthode_de_démonstration category-fr:Personnalité_en_théorie_de_la_démonstration
is oa:hasTarget of	tag-fr:WdtFrResource

About: http://fr.dbpedia.org/resource/Catégorie:Théorie_de_la_démonstration