{
  "http://dbpedia.org/resource/Typestate_analysis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Cartesian_closed_category" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Linear_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Kappa_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Linear_type_system" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Substructural_type_system" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Substructural_type_system" } ] } ,
  "http://dbpedia.org/resource/Hom_functor" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Mercury_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Closed_monoidal_category" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Currying" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Simply_typed_lambda_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Curry\u2013Howard_correspondence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] } ,
  "http://dbpedia.org/resource/Idris_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linear_type_system" } ] }
}