{
  "http://en.wikipedia.org/wiki/Computable_model_theory" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_model_theory" } ] } ,
  "https://dbpedia.org/resource/Bakhadyr_Khoussainov" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_model_theory" } ] } ,
  "https://dbpedia.org/resource/Computable_model_theory" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "https://global.dbpedia.org/id/4hp3z" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Computable_model_theory" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q5157266" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.02rjqng" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Computable model theory" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Constructivism_(mathematics)" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Model_theory" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Computable_model_theory?oldid=1261968541&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Branch" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Computable_model_theory" } ] ,
    "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Australia" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Constructivism_(mathematics)" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Cold_War" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Vaught_conjecture" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Model_theory" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/United_States" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Soviet_Union" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Model_theory" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Computability" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Russia" } ] ,
    "https://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "branch of model theory that deals with computation" , "lang" : "en" } ] ,
    "https://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Mathlogic-stub" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Citation" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Sfn" } ] } ,
  "https://dbpedia.org/resource/Valentina_Harizanov" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_model_theory" } ] } ,
  "https://dbpedia.org/resource/Glossary_of_areas_of_mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_model_theory" } ] } ,
  "https://dbpedia.org/resource/Mathematical_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_model_theory" } ] } ,
  "https://dbpedia.org/resource/List_of_mathematical_logic_topics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_model_theory" } ] } ,
  "https://dbpedia.org/resource/Model_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_model_theory" } ] } ,
  "https://dbpedia.org/resource/Computable_Model_Theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_model_theory" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_model_theory" } ] }
}