About: Descriptive complexity theory

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

Branch of mathematical logic

Property	Value
dbo:description	branch of mathematical logic (en)
dbo:wikiPageExternalLink	http://worldcat.org/oclc/901297152%7Ctitle=Descriptive http://www.cs.umass.edu/~immerman/descriptive_complexity.html
dbo:wikiPageWikiLink	dbr:Abstract_machine dbr:Oracle_machine dbr:Fixed-point_logic dbr:NL_(complexity) dbr:Moshe_Vardi dbr:First-order_logic dbr:NP_(complexity) dbr:PSPACE dbr:Polynomial_hierarchy dbr:EXPTIME dbc:Computational_complexity_theory dbr:Logical_system dbr:Disjunctive_normal_form dbr:Horn_clause dbr:Logic dbr:Tetration dbr:Transitive_closure dbc:Finite_model_theory dbr:FO_(complexity) dbr:HO_(complexity) dbr:Co-NP dbr:Circuit_complexity dbr:L_(complexity) dbr:Least_fixed_point dbr:Neil_Immerman dbr:Ronald_Fagin dbr:Computational_complexity_theory dbr:Complexity_class dbr:NTIME dbr:P_(complexity) dbr:Higher-order_logic dbr:AC_(complexity) dbr:Tuple dbr:Time_complexity dbr:Fagin's_theorem dbr:Computational_problem dbr:Finite_model_theory dbr:LH_(complexity) dbc:Descriptive_complexity dbr:AC0 dbr:SO_(complexity) dbr:Second-order_logic dbr:Domain_of_discourse dbr:Star-free_language dbr:Query_(complexity) dbr:ELEMENTARY dbr:Iff dbr:PH_(complexity) dbr:Krom_formula dbr:PTIME dbr:Least_fixed-point_logic dbr:Concurrent_random_access_machine dbr:Abiteboul-Vianu_Theorem dbr:Partial_fixed-point_logic dbr:Transitive_closure_logic
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Mvar dbt:Short_description
dct:subject	dbc:Computational_complexity_theory dbc:Finite_model_theory dbc:Descriptive_complexity
rdfs:label	Descriptive complexity theory (en) Deskriptive Komplexitätstheorie (de) Complexité descriptive (fr) 記述計算量 (ja)
owl:sameAs	freebase:Descriptive complexity theory wikidata:Descriptive complexity theory dbpedia-de:Descriptive complexity theory dbpedia-fr:Descriptive complexity theory dbpedia-ja:Descriptive complexity theory dbpedia-global:Descriptive complexity theory
prov:wasDerivedFrom	wikipedia-en:Descriptive_complexity_theory?oldid=1296490610&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Descriptive_complexity_theory
is dbo:wikiPageRedirects of	dbr:FO_(complexity) dbr:HO_(complexity) dbr:SO_(complexity) dbr:Descriptional_complexity dbr:Descriptive_complexity dbr:FO(PFP) dbr:Immerman-Vardi dbr:Immerman-Vardi_theorem
is dbo:wikiPageWikiLink of	dbr:Fragment_(logic) dbr:Fixed-point_logic dbr:Fixed_point_(mathematics) dbr:NP_(complexity) dbr:FO_(complexity) dbr:HO_(complexity) dbr:MAXEkSAT dbr:Complexity_and_Real_Computation dbr:Computational_complexity_theory dbr:Mathematical_logic dbr:Model_theory dbr:List_of_mathematical_logic_topics dbr:Kolmogorov_complexity dbr:SO_(complexity) dbr:Monadic_second-order_logic dbr:Martin_Grohe dbr:Descriptive_Complexity dbr:Descriptional_complexity dbr:Descriptive_complexity dbr:FO(PFP) dbr:Immerman-Vardi dbr:Immerman-Vardi_theorem
is foaf:primaryTopic of	wikipedia-en:Descriptive_complexity_theory