{
  "http://en.wikipedia.org/wiki/Ramified_forcing" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Ramified_forcing" } ] } ,
  "http://dbpedia.org/resource/Forcing_(mathematics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Ramified_forcing" } ] } ,
  "http://dbpedia.org/resource/Ramified_forcing" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "https://global.dbpedia.org/id/4tbEa" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Ramified_forcing" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.03nn5xr" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q7289554" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Ramified forcing" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Forcing_(mathematics)" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Ramified_forcing?oldid=1211749164&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Form" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Ramified_forcing" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Robert_M._Solovay" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Continuum_hypothesis" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Set_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Forcing_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Constructible_universe" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Kurt_G\u00F6del" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Forcing_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dana_Scott" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Partially_ordered_set" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Axiom_of_constructibility" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Constructible_hierarchy" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/John_von_Neumann" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Independence_(mathematical_logic)" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "form of forcing in which one starts with a model of set theory in which the axiom of constructibility holds and iteratively builds up a larger model by adding a generic subset of a partially ordered set, imitating the constructible hierarchy" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Harvtxt" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Refend" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Math" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Mvar" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Citation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Harv" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Settheory-stub" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Refbegin" } ] }
}