{
  "http://en.wikipedia.org/wiki/Value_restriction" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Value_restriction" } ] } ,
  "http://dbpedia.org/resource/Semantic_spectrum" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Value_restriction" } ] } ,
  "http://dbpedia.org/resource/Value_restriction" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.0hr8z9b" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Value_restriction" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q7912774" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4x2MW" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Value restriction" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Type_inference" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Value_restriction?oldid=1292239599&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Values" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Value_restriction" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/MLton" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Declaration_(computer_science)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Hindley\u2013Milner_type_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Free_variables_and_bound_variables" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Parametric_polymorphism" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Hindley\u2013Milner_type_inference" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Operational_semantics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/ML_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Imperative_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_safety" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Unification_(computer_science)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Unit_type" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mads_Tofte" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/John_C._Mitchell" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Type_inference" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/LISP_and_Symbolic_Computation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Let_generalization" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Multiple_issues" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Context" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:More_footnotes" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf" } ,
      { "type" : "uri", "value" : "http://mlton.org/ValueRestriction" } ,
      { "type" : "uri", "value" : "http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.37.5096" } ,
      { "type" : "uri", "value" : "http://users.cis.fiu.edu/~smithg/cop4555/valrestr.html" } ] }
}