About: Computable model theory

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

Branch of model theory that deals with computation

Property	Value
dbo:description	branch of model theory that deals with computation (en)
dbo:wikiPageWikiLink	dbr:Australia dbr:Cold_War dbr:Russia dbr:Soviet_Union dbr:United_States dbr:Computability dbc:Constructivism_(mathematics) dbc:Model_theory dbr:Model_theory dbr:Vaught_conjecture
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Sfn dbt:Citation dbt:Mathlogic-stub dbt:Short_description
dct:subject	dbc:Constructivism_(mathematics) dbc:Model_theory
gold:hypernym	dbr:Branch
rdfs:label	Computable model theory (en)
owl:sameAs	freebase:Computable model theory wikidata:Computable model theory dbpedia-global:Computable model theory
prov:wasDerivedFrom	wikipedia-en:Computable_model_theory?oldid=1261968541&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Computable_model_theory
is dbo:wikiPageRedirects of	dbr:Computable_Model_Theory
is dbo:wikiPageWikiLink of	dbr:Bakhadyr_Khoussainov dbr:Mathematical_logic dbr:Model_theory dbr:Glossary_of_areas_of_mathematics dbr:List_of_mathematical_logic_topics dbr:Valentina_Harizanov dbr:Computable_Model_Theory
is foaf:primaryTopic of	wikipedia-en:Computable_model_theory

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International