{
  "http://en.wikipedia.org/wiki/Dependent_ML" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] } ,
  "http://dbpedia.org/resource/Type_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] } ,
  "http://dbpedia.org/resource/ATS_(programming_language)" : { "http://dbpedia.org/property/influencedBy" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] ,
    "http://dbpedia.org/property/family" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] ,
    "http://dbpedia.org/ontology/influencedBy" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] } ,
  "http://dbpedia.org/resource/Dependent_ML" : { "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ { "type" : "uri", "value" : "http://www.w3.org/2002/07/owl#Thing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/ProgrammingLanguage" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/Language" } ,
      { "type" : "uri", "value" : "http://schema.org/Language" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q315" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q9143" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q4037222" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Dependent_ML" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.068fcp" } ,
      { "type" : "uri", "value" : "http://ru.dbpedia.org/resource/Dependent_ML" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/3ji2L" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Dependent ML" , "lang" : "ru" } ,
      { "type" : "literal", "value" : "Dependent ML" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Programming_languages_created_in_the_1990s" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Dependently_typed_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Discontinued_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:High-level_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Declarative_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Functional_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:ML_programming_language_family" } ] ,
    "http://xmlns.com/foaf/0.1/homepage" : [ { "type" : "uri", "value" : "http://hwxi.github.io" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Dependent_ML?oldid=1287869050&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Language" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Dependent_ML" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "https://www.semanticscholar.org/paper/Dependent-ML-An-approach-to-practical-programming-Xi/e9a621f0da90fa13e7d48bd98c548657bb5b1896%7Ctitle=Dependent" } ,
      { "type" : "uri", "value" : "http://www.cs.bu.edu/~hwxi/DML/DML.html" } ] ,
    "http://dbpedia.org/property/date" : [ { "type" : "literal", "value" : "2009-12-13" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] ,
    "http://dbpedia.org/property/url" : [ { "type" : "uri", "value" : "https://web.archive.org/web/20091213073949/http:/www.cs.bu.edu/~hwxi/DML/DML.html" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_inference" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Functional_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:ML_programming_language_family" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Decidability_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Dependently_typed_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_checking" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Benjamin_C._Pierce" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Martin_Hofmann" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Discontinued_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/David_Aspinall" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/ML_programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Frank_Pfenning" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Declarative_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Phase_distinction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_types" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Functional_Programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Natural_number" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Functional_programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Programming_languages_created_in_the_1990s" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "\u05E9\u05E4\u05EA \u05EA\u05DB\u05E0\u05D5\u05EA" , "lang" : "iw" } ,
      { "type" : "literal", "value" : "limbaj de programare" , "lang" : "ro" } ,
      { "type" : "literal", "value" : "\u0D2A\u0D4D\u0D30\u0D4B\u0D17\u0D4D\u0D30\u0D3E\u0D2E\u0D3F\u0D19\u0D4D \u0D2D\u0D3E\u0D37" , "lang" : "ml" } ,
      { "type" : "literal", "value" : "\u092A\u094D\u0930\u094B\u0917\u094D\u0930\u093E\u092E\u093F\u0902\u0917 \u092D\u093E\u0937\u093E" , "lang" : "hi" } ,
      { "type" : "literal", "value" : "Programmiersprache" , "lang" : "de" } ,
      { "type" : "literal", "value" : "j\u0119zyk programowania" , "lang" : "pl" } ,
      { "type" : "literal", "value" : "linguaggio di programmazione" , "lang" : "it" } ,
      { "type" : "literal", "value" : "ohjelmointikieli" , "lang" : "fi" } ,
      { "type" : "literal", "value" : "programmeringssprog" , "lang" : "da" } ,
      { "type" : "literal", "value" : "experimental functional programming language" , "lang" : "en" } ,
      { "type" : "literal", "value" : "programmeertaal" , "lang" : "nl" } ,
      { "type" : "literal", "value" : "programspr\u00E5k" , "lang" : "sv" } ,
      { "type" : "literal", "value" : "programovac\u00ED jazyk" , "lang" : "sk" } ,
      { "type" : "literal", "value" : "langage de programmation" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "linguagem de programa\u00E7\u00E3o" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "lenguaje de programaci\u00F3n" , "lang" : "es" } ,
      { "type" : "literal", "value" : "programovac\u00ED jazyk" , "lang" : "cs" } ,
      { "type" : "literal", "value" : "\u0A2A\u0A4D\u0A30\u0A4B\u0A17\u0A30\u0A3E\u0A2E\u0A3F\u0A70\u0A17 \u0A2D\u0A3E\u0A38\u0A3C\u0A3E" , "lang" : "pa" } ,
      { "type" : "literal", "value" : "llenguatge de programaci\u00F3" , "lang" : "ca" } ,
      { "type" : "literal", "value" : "programmeringsspr\u00E5k" , "lang" : "nn" } ,
      { "type" : "literal", "value" : "yezh programmi\u00F1" , "lang" : "br" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Context" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Multiple_issues" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Notability" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Official_website" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Webarchive" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Prog-lang-stub" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_journal" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Harv" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:ML_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Interlanguage_link" } ] } ,
  "http://dbpedia.org/resource/Dependent_type" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] } ,
  "http://dbpedia.org/resource/Standard_ML_of_New_Jersey" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] } ,
  "http://dbpedia.org/resource/Epigram_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] } ,
  "http://dbpedia.org/resource/Dependent_ML_programming_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] } ,
  "http://dbpedia.org/resource/Standard_ML" : { "http://dbpedia.org/property/dialects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] } ,
  "http://dbpedia.org/resource/ML_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] }
}