{
  "http://en.wikipedia.org/wiki/System_F-sub" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ] } ,
  "http://dbpedia.org/resource/Subtyping" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ] } ,
  "http://dbpedia.org/resource/Record_(computer_science)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ] } ,
  "http://dbpedia.org/resource/Object-oriented_programming" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ] } ,
  "http://dbpedia.org/resource/Hindley\u2013Milner_type_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ] } ,
  "http://dbpedia.org/resource/Typed_lambda_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ] } ,
  "http://dbpedia.org/resource/Bounded_quantification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ] } ,
  "http://dbpedia.org/resource/Bounded_quantifier" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ] } ,
  "http://dbpedia.org/resource/POPLmark_challenge" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ] } ,
  "http://dbpedia.org/resource/System_F-sub" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F-sub" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q16977778" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.07k841j" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/f6Cj" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "System F-sub" , "lang" : "en" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/System_F-sub?oldid=1121030712&ns=0" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "typed lambda calculus" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:R_from_merge" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/System_F" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Extension" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/System_F-sub" } ] }
}