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:Méthode_de_démonstration
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
963390
(xsd:integer)
dbo:
wikiPageRevisionID
64087806
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Méthode de démonstration
(fr)
Méthode de démonstration
(fr)
owl:
sameAs
wikidata
:Q13334900
skos:
broader
category-fr
:Raisonnement_mathématique
category-fr
:Théorie_de_la_démonstration
category-fr
:Méthode_mathématique
skos:
prefLabel
Méthode de démonstration
(fr)
Méthode de démonstration
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Méthode_de_démonstration?oldid=64087806&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Argument_de_la_diagonale_de_Cantor
dbpedia-fr
:Calcul_des_séquents
dbpedia-fr
:Constructivisme_(mathématiques)
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
:Induction_structurelle
dbpedia-fr
:Méthode_de_descente_infinie
dbpedia-fr
:Méthode_des_tableaux
dbpedia-fr
:Preuve_combinatoire
dbpedia-fr
:Preuve_par_intimidation
dbpedia-fr
:Preuve_sans_mots
dbpedia-fr
:Principe_local-global
dbpedia-fr
:Propagation_unitaire
dbpedia-fr
:Raisonnement_automatisé
dbpedia-fr
:Raisonnement_continu
dbpedia-fr
:Raisonnement_par_disjonction_de_cas
dbpedia-fr
:Raisonnement_par_l'absurde
dbpedia-fr
:Raisonnement_par_récurrence
dbpedia-fr
:Règle_d'introduction_(logique)
dbpedia-fr
:Règle_d'élimination_(logique)
dbpedia-fr
:Récurrence_transfinie
dbpedia-fr
:Style_de_Fitch_pour_la_déduction_naturelle
dbpedia-fr
:Système_à_la_Hilbert
is
dct:
subject
of
dbpedia-fr
:Argument_de_la_diagonale_de_Cantor
dbpedia-fr
:Calcul_des_séquents
dbpedia-fr
:Constructivisme_(mathématiques)
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
:Induction_structurelle
dbpedia-fr
:Méthode_de_descente_infinie
dbpedia-fr
:Méthode_des_tableaux
dbpedia-fr
:Preuve_combinatoire
dbpedia-fr
:Preuve_par_intimidation
dbpedia-fr
:Preuve_sans_mots
dbpedia-fr
:Principe_local-global
dbpedia-fr
:Propagation_unitaire
dbpedia-fr
:Raisonnement_automatisé
dbpedia-fr
:Raisonnement_continu
dbpedia-fr
:Raisonnement_par_disjonction_de_cas
dbpedia-fr
:Raisonnement_par_l'absurde
dbpedia-fr
:Raisonnement_par_récurrence
dbpedia-fr
:Règle_d'introduction_(logique)
dbpedia-fr
:Règle_d'élimination_(logique)
dbpedia-fr
:Récurrence_transfinie
dbpedia-fr
:Style_de_Fitch_pour_la_déduction_naturelle
dbpedia-fr
:Système_à_la_Hilbert
is
skos:
broader
of
category-fr
:Assistant_de_preuve
category-fr
:Syllogisme
is
oa:
hasTarget
of
tag-fr
:WdtFrResource