{
  "http://en.wikipedia.org/wiki/Typing_rule" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Typing_rule" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q7860911" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4wyyL" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Typing rule" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Type_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Data_types" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Program_analysis" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Typing_rule?oldid=1290032647&ns=0" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Typing_rule" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://www.cs.colorado.edu/~bec/courses/csci5535/reading/cardelli-typesystems.pdf" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Inference_rule" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Bound_variable" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Expression_(computer_science)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean_data_type" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_context" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Axioms" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Program_analysis" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Type_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Variable_(computer_science)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Standard_ML" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Decidability_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cartesian_closed_categories" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Parametric_polymorphism" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Syntax_(programming_languages)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Internal_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_checking" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_inference" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Relation_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Data_types" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Hindley\u2013Milner_type_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Judgment_(mathematical_logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer_program" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Curry\u2013Howard_correspondence" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Simply_typed_lambda_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Natural_deduction" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_journal" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Type-theory-stub" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Rp" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ] } ,
  "http://dbpedia.org/resource/Type_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Lambda_cube" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Typing_environment" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Value_restriction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Subtyping" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Hindley\u2013Milner_type_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Standard_ML" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Simply_typed_lambda_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Type_rule" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Type_rules" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Intersection_type_discipline" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] } ,
  "http://dbpedia.org/resource/Curry\u2013Howard_correspondence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Typing_rule" } ] }
}