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éorème_de_logique_mathématique
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
5900709
(xsd:integer)
dbo:
wikiPageRevisionID
72741628
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Théorème de logique mathématique
(fr)
Théorème de logique mathématique
(fr)
owl:
sameAs
dbc
:Theorems_in_the_foundations_of_mathematics
wikidata
:Q18550470
dbpedia-fa
:رده:قضایای_بنیانهای_ریاضیات
dbpedia-ja
:Category:数学基礎論の定理
dbpedia-ko
:분류:수학기초론_정리
dbpedia-uk
:Категорія:Теореми_засад_математики
skos:
broader
category-fr
:Logique_mathématique
category-fr
:Théorème_de_mathématiques
skos:
prefLabel
Théorème de logique mathématique
(fr)
Théorème de logique mathématique
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Théorème_de_logique_mathématique?oldid=72741628&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Théorème_d'accélération_de_Gödel
dbpedia-fr
:Théorème_d'extension_de_Szpilrajn
dbpedia-fr
:Théorème_d'interpolation_de_Craig
dbpedia-fr
:Théorème_d'élimination_des_coupures
dbpedia-fr
:Théorème_de_Fagin
dbpedia-fr
:Théorème_de_Frege
dbpedia-fr
:Théorème_de_Goodstein
dbpedia-fr
:Théorème_de_Herbrand
dbpedia-fr
:Théorème_de_Kleene
dbpedia-fr
:Théorème_de_Lindström
dbpedia-fr
:Théorème_de_Löb
dbpedia-fr
:Théorème_de_Löwenheim-Skolem
dbpedia-fr
:Théorème_de_Matiiassevitch
dbpedia-fr
:Théorème_de_Paris-Harrington
dbpedia-fr
:Théorème_de_Richardson
dbpedia-fr
:Théorème_de_Tarski
dbpedia-fr
:Théorème_de_Tennenbaum
dbpedia-fr
:Théorème_de_compacité
dbpedia-fr
:Théorème_de_complétude_(calcul_des_propositions)
dbpedia-fr
:Théorème_de_complétude_de_Gödel
dbpedia-fr
:Théorèmes_d'incomplétude_de_Gödel
dbpedia-fr
:Élimination_de_la_conjonction
is
dct:
subject
of
dbpedia-fr
:Théorème_d'accélération_de_Gödel
dbpedia-fr
:Théorème_d'extension_de_Szpilrajn
dbpedia-fr
:Théorème_d'interpolation_de_Craig
dbpedia-fr
:Théorème_d'élimination_des_coupures
dbpedia-fr
:Théorème_de_Fagin
dbpedia-fr
:Théorème_de_Frege
dbpedia-fr
:Théorème_de_Goodstein
dbpedia-fr
:Théorème_de_Herbrand
dbpedia-fr
:Théorème_de_Kleene
dbpedia-fr
:Théorème_de_Lindström
dbpedia-fr
:Théorème_de_Löb
dbpedia-fr
:Théorème_de_Löwenheim-Skolem
dbpedia-fr
:Théorème_de_Matiiassevitch
dbpedia-fr
:Théorème_de_Paris-Harrington
dbpedia-fr
:Théorème_de_Richardson
dbpedia-fr
:Théorème_de_Tarski
dbpedia-fr
:Théorème_de_Tennenbaum
dbpedia-fr
:Théorème_de_compacité
dbpedia-fr
:Théorème_de_complétude_(calcul_des_propositions)
dbpedia-fr
:Théorème_de_complétude_de_Gödel
dbpedia-fr
:Théorèmes_d'incomplétude_de_Gödel
dbpedia-fr
:Élimination_de_la_conjonction
is
oa:
hasTarget
of
tag-fr
:WdtFrResource