Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Catégorie:Théorie_de_la_démonstration
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
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