{
  "http://en.wikipedia.org/wiki/Bar_induction" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bar_induction" } ] } ,
  "http://dbpedia.org/resource/Bar_induction" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q4857985" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Bar_induction" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4Vuhm" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.0dp6rr" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Bar induction" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Mathematical_induction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Constructivism_(mathematics)" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Bar_induction?oldid=1165760742&ns=0" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Constructive_mathematics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Intuitionism" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Constructivism_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-order" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Reverse_mathematics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/A._S._Troelstra" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Set_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Mathematical_induction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dirk_van_Dalen" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Spread_(intuitionism)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Transfinite_induction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Joan_Moschovakis" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Decidability_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Turnstile_(symbol)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Choice_sequence" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Classical_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Stephen_Cole_Kleene" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Natural_number" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Michael_Dummett" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/L._E._J._Brouwer" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:SpringerEOM" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Logic-stub" } ] ,
    "http://dbpedia.org/property/title" : [ { "type" : "literal", "value" : "Bar induction" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/id" : [ { "type" : "literal", "value" : "Bar_induction" , "lang" : "en" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Principle" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Bar_induction" } ] ,
    "http://dbpedia.org/property/oldid" : [ { "type" : "literal", "value" : 12849 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/property/last" : [ { "type" : "literal", "value" : "Dragalin" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/first" : [ { "type" : "literal", "value" : "Albert G." , "lang" : "en" } ] } ,
  "http://dbpedia.org/resource/L._E._J._Brouwer" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bar_induction" } ] ,
    "http://dbpedia.org/property/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bar_induction" } ] ,
    "http://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bar_induction" } ] } ,
  "http://dbpedia.org/resource/Constructive_set_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bar_induction" } ] } ,
  "http://dbpedia.org/resource/Ordinal_collapsing_function" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bar_induction" } ] } ,
  "http://dbpedia.org/resource/Bar_recursion" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Bar_induction" } ] }
}