About: Finite model theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Branch of logic

Property	Value
dbo:description	branch of logic (en) sous-domaine de la théorie des modèles (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/Math_graph_nikos_house_01.gif?width=300
dbo:wikiPageExternalLink	https://archive.org/details/foundationsofdat0000abit https://web.archive.org/web/20150924123212/http:/www.springer.com/cda/content/document/cda_downloaddocument/9783540212027-c1.pdf https://www.springer.com/cda/content/document/cda_downloaddocument/9783540212027-c1.pdf http://www.cl.cam.ac.uk/~ad260/modth/slides.pdf http://homepages.inf.ed.ac.uk/libkin/papers/fmtpods09.pdf http://www-mgi.informatik.rwth-aachen.de/FMT/index.html.en http://www.math.helsinki.fi/logic/people/jouko.vaananen/shortcourse.pdf https://web.archive.org/web/20120717064043/http:/www-mgi.informatik.rwth-aachen.de/FMT/index.html.en https://archive.org/details/elementsoffinite00libk
dbo:wikiPageWikiLink	dbr:Abstract_machine dbr:Nonfirstorderizability dbr:NL_(complexity) dbr:Moshe_Vardi dbr:SQL dbr:Quantifier_(logic) dbr:Immerman–Szelepcsényi_theorem dbr:Löwenheim–Skolem_theorem dbr:First-order_logic dbr:NP_(complexity) dbr:Abstract_algebra dbr:Propositional_logic dbr:Heinrich_Scholz dbr:Logical_system dbr:Gödel's_completeness_theorem dbr:Compactness_theorem dbr:Serge_Abiteboul dbr:Logic dbr:Formal_language dbr:Transitive_closure dbc:Finite_model_theory dbr:SQL:1999 dbr:Relational_algebra dbr:L_(complexity) dbr:Ehrenfeucht–Fraïssé_game dbr:Springer_Science+Business_Media dbr:Interpretation_(logic) dbr:Structure_(mathematical_logic) dbr:Non-standard_model_of_arithmetic dbr:Least_fixed_point dbr:Codd's_theorem dbr:Heinz-Dieter_Ebbinghaus dbr:Neil_Immerman dbc:Model_theory dbr:Model_theory dbr:Complexity_class dbr:PSPACE-complete dbr:Ultraproduct dbr:Trakhtenbrot's_theorem dbr:Addison-Wesley dbr:P_(complexity) dbr:Domain_relational_calculus dbr:Prenex_normal_form dbr:Fagin's_theorem dbr:Computational_problem dbr:Second-order_logic dbr:Database_theory dbr:Logic_of_graphs dbr:Quantifier_rank dbr:Query_(complexity) dbr:Springer-Verlag dbr:Existential_second-order_logic dbr:Victor_Vianu dbr:Descriptive_Complexity dbr:PH_(complexity) dbr:File:Math_graph_nikos_house_01.gif dbr:File:Math_graph_nikos_house_05.jpg dbr:Almost_always dbr:Fixpoint_logic dbr:Least_fixed-point_logic dbr:Descriptive_complexity dbr:Recursive_WITH
dbp:date	2015-09-24 (xsd:date)
dbp:url	https://web.archive.org/web/20150924123212/http:/www.springer.com/cda/content/document/cda_downloaddocument/9783540212027-c1.pdf
dbp:wikiPageUsesTemplate	dbt:Sxhl dbt:Cite_book dbt:Cite_web dbt:Main dbt:Reflist dbt:Math dbt:Cite_journal dbt:Wikibooks dbt:Cite_conference dbt:Mvar dbt:Mathematical_logic dbt:Harvtxt dbt:Olist dbt:Webarchive dbt:Short_description
dct:subject	dbc:Finite_model_theory dbc:Model_theory
rdfs:label	Finite model theory (en) Théorie des modèles finis (fr) 有限モデル理論 (ja) Teoria de modelos finitos (pt)
owl:sameAs	freebase:Finite model theory wikidata:Finite model theory dbpedia-fr:Finite model theory dbpedia-ja:Finite model theory dbpedia-pt:Finite model theory dbpedia-global:Finite model theory
prov:wasDerivedFrom	wikipedia-en:Finite_model_theory?oldid=1280278746&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Math_graph_nikos_house_01.gif wiki-commons:Special:FilePath/Math_graph_nikos_house_05.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Finite_model_theory
is dbo:academicDiscipline of	dbr:Ronald_Fagin
is dbo:wikiPageDisambiguates of	dbr:FMT
is dbo:wikiPageRedirects of	dbr:Zero-one_law_(logic)
is dbo:wikiPageWikiLink of	dbr:Spectrum_of_a_sentence dbr:Moshe_Vardi dbr:Constraint_satisfaction_problem dbr:Satisfiability dbr:FMT dbr:Modal_μ-calculus dbr:Serge_Abiteboul dbr:Timeline_of_cosmological_theories dbr:Elementary_class dbr:Transitive_closure dbr:Descriptive_complexity_theory dbr:Ehrenfeucht–Fraïssé_game dbr:Structure_(mathematical_logic) dbr:Ronald_Fagin dbr:Model_theory dbr:Glossary_of_areas_of_mathematics dbr:Trakhtenbrot's_theorem dbr:List_of_mathematical_logic_topics dbr:Yuri_Gurevich dbr:Formal_verification dbr:Flag_algebra dbr:Complexity_of_constraint_satisfaction dbr:Database_theory dbr:Logic_of_graphs dbr:Victor_Vianu dbr:The_Strange_Logic_of_Random_Graphs dbr:Łoś–Tarski_preservation_theorem dbr:Martin_Grohe dbr:Leonid_Libkin dbr:Constraint_satisfaction dbr:Zero-one_law_(logic)
is dbp:field of	dbr:Ronald_Fagin
is foaf:primaryTopic of	wikipedia-en:Finite_model_theory