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_des_modèles
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
1088355
(xsd:integer)
dbo:
wikiPageRevisionID
91174826
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Théorie des modèles
(fr)
Théorie des modèles
(fr)
rdfs:
seeAlso
https://commons.wikimedia.org/wiki/Category:Model_theory
owl:
sameAs
dbc
:Model_theory
dbpedia-commons
:Category:Model_theory
wikidata
:Q7451685
dbpedia-ar
:تصنيف:نظرية_النموذج
dbpedia-bg
:Категория:Теория_на_моделите
dbpedia-de
:Kategorie:Modelltheorie
dbpedia-eo
:Kategorio:Modela_teorio
dbpedia-es
:Categoría:Teoría_de_modelos
dbpedia-fa
:رده:نظریه_مدل
dbpedia-fi
:Luokka:Malliteoria
dbpedia-hu
:Kategória:Modellelmélet
dbpedia-ja
:Category:モデル理論
dbpedia-ka
:კატეგორია:მოდელების_თეორია
dbpedia-ko
:분류:모형_이론
dbpedia-mk
:Категорија:Теорија_на_моделите
dbpedia-nn
:Kategori:Modellteori
dbpedia-pl
:Kategoria:Teoria_modeli
dbpedia-pms
:Categorìa:Teorìa_dij_modej
dbpedia-pt
:Categoria:Teoria_dos_modelos
dbpedia-ru
:Категория:Теория_моделей
dbpedia-sk
:Kategória:Teória_modelov
dbpedia-sl
:Kategorija:Teorija_modelov
dbpedia-sv
:Kategori:Modellteori
dbpedia-tr
:Kategori:Model_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 des modèles
(fr)
Théorie des modèles
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Théorie_des_modèles?oldid=91174826&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Complexité_descriptive
dbpedia-fr
:Complétude_(logique)
dbpedia-fr
:Conjecture_de_Vaught
dbpedia-fr
:Ensemble_définissable
dbpedia-fr
:Extension_conservatrice
dbpedia-fr
:Groupe_stable
dbpedia-fr
:Indiscernables
dbpedia-fr
:Interprétation_(logique)
dbpedia-fr
:Isomorphisme
dbpedia-fr
:Jeu_d'Ehrenfeucht-Fraïssé
dbpedia-fr
:Modèle_non_standard
dbpedia-fr
:Méthode_d'automorphisme
dbpedia-fr
:Méthode_du_va-et-vient
dbpedia-fr
:Signature_(logique)
dbpedia-fr
:Skolémisation
dbpedia-fr
:Structure_(logique_mathématique)
dbpedia-fr
:Structure_automatique
dbpedia-fr
:Sémantique_de_Kripke
dbpedia-fr
:Sémantique_des_modèles_stables
dbpedia-fr
:Théorie_complète
dbpedia-fr
:Théorie_des_modèles
dbpedia-fr
:Théorie_des_modèles_finis
dbpedia-fr
:Théorie_k-catégorique
dbpedia-fr
:Théorème_d'Ax-Grothendieck
dbpedia-fr
:Théorème_de_Löwenheim-Skolem
dbpedia-fr
:Théorème_de_Trakhtenbrot
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_(théorie_des_modèles)
dbpedia-fr
:Équivalence_élémentaire
is
dct:
subject
of
dbpedia-fr
:Complexité_descriptive
dbpedia-fr
:Complétude_(logique)
dbpedia-fr
:Conjecture_de_Vaught
dbpedia-fr
:Ensemble_définissable
dbpedia-fr
:Extension_conservatrice
dbpedia-fr
:Groupe_stable
dbpedia-fr
:Indiscernables
dbpedia-fr
:Interprétation_(logique)
dbpedia-fr
:Isomorphisme
dbpedia-fr
:Jeu_d'Ehrenfeucht-Fraïssé
dbpedia-fr
:Modèle_non_standard
dbpedia-fr
:Méthode_d'automorphisme
dbpedia-fr
:Méthode_du_va-et-vient
dbpedia-fr
:Signature_(logique)
dbpedia-fr
:Skolémisation
dbpedia-fr
:Structure_(logique_mathématique)
dbpedia-fr
:Structure_automatique
dbpedia-fr
:Sémantique_de_Kripke
dbpedia-fr
:Sémantique_des_modèles_stables
dbpedia-fr
:Théorie_complète
dbpedia-fr
:Théorie_des_modèles
dbpedia-fr
:Théorie_des_modèles_finis
dbpedia-fr
:Théorie_k-catégorique
dbpedia-fr
:Théorème_d'Ax-Grothendieck
dbpedia-fr
:Théorème_de_Löwenheim-Skolem
dbpedia-fr
:Théorème_de_Trakhtenbrot
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_(théorie_des_modèles)
dbpedia-fr
:Équivalence_élémentaire
is
skos:
broader
of
category-fr
:Analyse_non_standard
category-fr
:Personnalité_en_théorie_des_modèles
is
oa:
hasTarget
of
tag-fr
:WdtFrResource