This HTML5 document contains 131 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n27http://homepages.inf.ed.ac.uk/libkin/papers/
n12https://books.google.com/
n20http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n5http://www.math.helsinki.fi/logic/people/jouko.vaananen/
n13https://www.jstor.org/topic/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n15http://fr.dbpedia.org/resource/Modèle:
n28http://fr.dbpedia.org/resource/Fichier:
n7http://commons.wikimedia.org/wiki/Special:FilePath/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n23http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n26http://lmfi.fr/IMG/pdf/
n19http://www-mgi.informatik.rwth-aachen.de/FMT/
n25https://www.springer.com/cda/content/document/cda_downloaddocument/
owlhttp://www.w3.org/2002/07/owl#
n10http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n22http://www.cl.cam.ac.uk/~ad260/modth/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Théorie_des_modèles_finis
rdfs:label
Théorie des modèles finis 有限モデル理論
rdfs:comment
La théorie des modèles finis est un sous-domaine de la théorie des modèles. Cette dernière est une branche de la logique mathématique qui traite de la relation entre un langage formel (la syntaxe) et ses interprétations (ses sémantiques). La théorie des modèles finis est la restriction de la théorie des modèles aux interprétations de structures finies, donc qui sont définies sur un ensemble (un univers) fini. Ses applications principales sont la théorie des bases de données, la complexité descriptive et la théorie des langages formels.
rdfs:seeAlso
n13:finite-model-theory
owl:sameAs
n10:25206530 dbpedia-pt:Teoria_de_modelos_finitos dbr:Finite_model_theory n20:05vtjb dbpedia-ja:有限モデル理論 wikidata:Q5450405
dbo:wikiPageID
8004064
dbo:wikiPageRevisionID
185789992
dbo:wikiPageWikiLink
dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Structure_(logique_mathématique) dbpedia-fr:Théorie_des_graphes dbpedia-fr:Ultraproduit dbpedia-fr:Fermeture_transitive dbpedia-fr:Théorie_des_modèles dbpedia-fr:Jeu_d'Ehrenfeucht-Fraïssé dbpedia-fr:Structured_Query_Language dbpedia-fr:Addison-Wesley dbpedia-fr:Forme_prénexe dbpedia-fr:Loi_du_zéro-un_de_Borel dbpedia-fr:Loi_du_zéro-un_de_Kolmogorov dbpedia-fr:Théorie_des_bases_de_données dbpedia-fr:Moshe_Vardi dbpedia-fr:Mot_(mathématiques) dbpedia-fr:Modèle_non_standard_de_l'arithmétique dbpedia-fr:Interprétation_(logique) dbpedia-fr:Algèbre_relationnelle dbpedia-fr:Théorème_de_Codd dbpedia-fr:Isomorphisme dbpedia-fr:Théorème_de_complétude_de_Gödel category-fr:Théorie_des_modèles dbpedia-fr:Théorème_de_compacité dbpedia-fr:Ronald_Fagin dbpedia-fr:Logique_mathématique dbpedia-fr:Algèbre dbpedia-fr:Langage_sans_étoile dbpedia-fr:Langage_rationnel dbpedia-fr:Théorème_de_Löwenheim-Skolem n28:Math_graph_nikos_house_01.gif n28:Math_graph_nikos_house_05.jpg dbpedia-fr:Complexité_descriptive dbpedia-fr:Expression_régulière dbpedia-fr:Langage_formel dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Théorie_des_jeux
dbo:wikiPageExternalLink
n5:shortcourse.pdf%7Cid=F n12:books%3Fid=zsJlEK4nK7sC&printsec=frontcover n19:index.html.en n12:books%3Fid=kWSZ0OWnupkC&printsec=frontcover n22:slides.pdf n25:9783540212027-c1.pdf n26:cours.pdf n27:fmtpods09.pdf
dbo:wikiPageLength
25260
dct:subject
category-fr:Théorie_des_modèles
prop-fr:wikiPageUsesTemplate
n15:Chapitre n15:Citation n15:Références n15:Portail n15:Lien n15:Autres_projets n15:Langue n15:Loupe n15:Lien_web n23:Référence n15:Ouvrage
prov:wasDerivedFrom
wikipedia-fr:Théorie_des_modèles_finis?oldid=185789992&ns=0
foaf:depiction
n7:Math_graph_nikos_house_01.gif n7:Math_graph_nikos_house_05.jpg
prop-fr:année
1995 1999 2004 2009
prop-fr:auteur
Jouko Väänänen
prop-fr:consultéLe
2013-11-07
prop-fr:doi
10.1145
prop-fr:fr
logique du point fixe
prop-fr:id
Libkin
prop-fr:isbn
0 3 978
prop-fr:langue
en
prop-fr:lienAuteur
Heinz-Dieter Ebbinghaus Neil Immerman Serge Abiteboul
prop-fr:lieu
New York Reading, Mass
prop-fr:lireEnLigne
n12:books%3Fid=kWSZ0OWnupkC&printsec=frontcover n12:books%3Fid=zsJlEK4nK7sC&printsec=frontcover
prop-fr:nom
Abiteboul Hull Immerman Vianu Libkin Ebbinghaus Flum
prop-fr:pagesTotales
268 685 327 318
prop-fr:passage
65
prop-fr:prénom
Serge Jörg Richard Victor Leonid Heinz-Dieter Neil
prop-fr:périodique
RWTH Aachen
prop-fr:titre
Foundations of Databases Descriptive Complexity The finite model theory toolbox of a database theoretician A Short Course on Finite Model Theory Elements of Finite Model Theory Algorithmic Model Theory Finite Model Theory
prop-fr:titreOuvrage
PODS 2009: Proceedings of the twenty-eighth ACM SIGACT–SIGMOD symposium on Principles of database systems
prop-fr:trad
Fixpoint logic
prop-fr:url
n19:index.html.en n27:fmtpods09.pdf n5:shortcourse.pdf%7Cid=F
prop-fr:éditeur
dbpedia-fr:Addison-Wesley dbpedia-fr:Springer_Science+Business_Media
prop-fr:wikibooks
Finite Model Theory
prop-fr:wikibooksTitre
Théorie des modèles finis
dbo:thumbnail
n7:Math_graph_nikos_house_01.gif?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Théorie_des_modèles_finis
dbo:abstract
La théorie des modèles finis est un sous-domaine de la théorie des modèles. Cette dernière est une branche de la logique mathématique qui traite de la relation entre un langage formel (la syntaxe) et ses interprétations (ses sémantiques). La théorie des modèles finis est la restriction de la théorie des modèles aux interprétations de structures finies, donc qui sont définies sur un ensemble (un univers) fini. Ses applications principales sont la théorie des bases de données, la complexité descriptive et la théorie des langages formels.