{
  "http://en.wikipedia.org/wiki/ATS_(programming_language)" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Dependent_type" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Intuitionistic_type_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Typestate_analysis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/ATS" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/ATS2" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/ATS_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/POPLmark_challenge" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/OCaml" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] ,
    "http://dbpedia.org/property/influenced" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/influenced" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/ML_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/List_of_programming_languages_by_type" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Substructural_type_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/ATS_(programming_language)" : { "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q9143" } ,
      { "type" : "uri", "value" : "http://www.w3.org/2002/07/owl#Thing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/ProgrammingLanguage" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q315" } ,
      { "type" : "uri", "value" : "http://schema.org/Language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/Language" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://ru.dbpedia.org/resource/ATS_(\u044F\u0437\u044B\u043A_\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F)" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4ocFV" } ,
      { "type" : "uri", "value" : "http://de.dbpedia.org/resource/Applied_Type_System" } ,
      { "type" : "uri", "value" : "http://ca.dbpedia.org/resource/ATS_(llenguatge_de_programaci\u00F3)" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q621618" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.04q84w1" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/ATS_(langage_de_programmation)" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/ATS_(programming_language)" } ] ,
    "http://xmlns.com/foaf/0.1/name" : [ { "type" : "literal", "value" : "ATS" , "lang" : "en" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "ATS (llenguatge de programaci\u00F3)" , "lang" : "ca" } ,
      { "type" : "literal", "value" : "ATS (programming language)" , "lang" : "en" } ,
      { "type" : "literal", "value" : "Applied Type System" , "lang" : "de" } ,
      { "type" : "literal", "value" : "ATS (langage de programmation)" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "ATS (\u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F)" , "lang" : "ru" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Software_using_the_GPL_license" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:ML_programming_language_family" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Articles_with_example_OCaml_code" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:OCaml_programming_language_family" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Dependently_typed_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Programming_languages_created_in_2006" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Multi-paradigm_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:Extensible_syntax_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Systems_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Cross-platform_free_software" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:High-level_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Object-oriented_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Statically_typed_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Free_and_open_source_compilers" } ] ,
    "http://xmlns.com/foaf/0.1/homepage" : [ { "type" : "uri", "value" : "http://www.ats-lang.org/" } ,
      { "type" : "uri", "value" : "http://www.ats-lang.org" } ] ,
    "http://xmlns.com/foaf/0.1/depiction" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/The_ATS_Logo.svg" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/ATS_(programming_language)?oldid=1306662024&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/ATS_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Division_by_zero" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/If_and_only_if" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Static_typing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_verification" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/C_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Declarative_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_assistant" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/GNU_Compiler_Collection" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/OCaml" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/C++" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Reference_counting" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Tail_recursion" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Functional_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Boston_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Algebraic_type" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/The_Computer_Language_Benchmarks_Game" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Pointer_arithmetic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Buffer_overflow" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Dependently_typed_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Hongwei_Xi" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Programming_languages_created_in_2004" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Memory_corruption" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Theorem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Memory_leak" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Predicate_(mathematical_logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Variadic_function" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Imperative_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Multi-paradigm_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/ML_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Systems_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Garbage_collection_(computer_science)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Multi-paradigm_programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Functional_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/GNU_General_Public_License" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "j\u0119zyk programowania" , "lang" : "pl" } ,
      { "type" : "literal", "value" : "bahasa pemrograman berparadigma fungsional" , "lang" : "in" } ,
      { "type" : "literal", "value" : "programovac\u00ED jazyk" , "lang" : "cs" } ,
      { "type" : "literal", "value" : "programspr\u00E5k" , "lang" : "sv" } ,
      { "type" : "literal", "value" : "programmeertaal" , "lang" : "nl" } ,
      { "type" : "literal", "value" : "programmeringssprog" , "lang" : "da" } ,
      { "type" : "literal", "value" : "\u092A\u094D\u0930\u094B\u0917\u094D\u0930\u093E\u092E\u093F\u0902\u0917 \u092D\u093E\u0937\u093E" , "lang" : "hi" } ,
      { "type" : "literal", "value" : "\u0D2A\u0D4D\u0D30\u0D4B\u0D17\u0D4D\u0D30\u0D3E\u0D2E\u0D3F\u0D19\u0D4D \u0D2D\u0D3E\u0D37" , "lang" : "ml" } ,
      { "type" : "literal", "value" : "programming language" , "lang" : "en" } ,
      { "type" : "literal", "value" : "linguaggio di programmazione" , "lang" : "it" } ,
      { "type" : "literal", "value" : "yezh programmi\u00F1" , "lang" : "br" } ,
      { "type" : "literal", "value" : "langage de programmation informatique" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "\u05E9\u05E4\u05EA \u05EA\u05DB\u05E0\u05D5\u05EA" , "lang" : "iw" } ,
      { "type" : "literal", "value" : "linguagem de programa\u00E7\u00E3o" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "programmeringsspr\u00E5k" , "lang" : "nn" } ,
      { "type" : "literal", "value" : "Programmiersprache" , "lang" : "de" } ,
      { "type" : "literal", "value" : "programovac\u00ED jazyk" , "lang" : "sk" } ,
      { "type" : "literal", "value" : "ohjelmointikieli" , "lang" : "fi" } ,
      { "type" : "literal", "value" : "limbaj de programare" , "lang" : "ro" } ,
      { "type" : "literal", "value" : "\u0A2A\u0A4D\u0A30\u0A4B\u0A17\u0A30\u0A3E\u0A2E\u0A3F\u0A70\u0A17 \u0A2D\u0A3E\u0A38\u0A3C\u0A3E" , "lang" : "pa" } ,
      { "type" : "literal", "value" : "lenguaje de programaci\u00F3n" , "lang" : "es" } ,
      { "type" : "literal", "value" : "llenguatge de programaci\u00F3" , "lang" : "ca" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Webarchive" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Wikibooks" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Technical" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:How-to" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Code" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:URL" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:ML_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Glossary_begin" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Primary_sources" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Official_website" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:As_of" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Mono" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Defn" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Start_date_and_age" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Glossary_end" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Multiple_issues" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Infobox_programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Term" } ] ,
    "http://dbpedia.org/property/name" : [ { "type" : "literal", "value" : "ATS" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/paradigms" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Modular_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Functional_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Imperative_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Concurrent_computing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Comparison_of_multi-paradigm_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Object-oriented_programming" } ] ,
    "http://dbpedia.org/property/developer" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boston_University" } ] ,
    "http://dbpedia.org/ontology/developer" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Boston_University" } ] ,
    "http://dbpedia.org/property/logo" : [ { "type" : "literal", "value" : "The ATS Logo.svg" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/date" : [ { "type" : "literal", "value" : "2014-12-05" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] ,
    "http://dbpedia.org/property/url" : [ { "type" : "uri", "value" : "https://web.archive.org/web/20141205101556/http:/www.ats-lang.org/Documents.html" } ] ,
    "http://dbpedia.org/ontology/license" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/GNU_General_Public_License" } ] ,
    "http://dbpedia.org/ontology/latestReleaseDate" : [ { "type" : "literal", "value" : "2020-11-14" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] ,
    "http://dbpedia.org/property/designer" : [ { "type" : "literal", "value" : "Hongwei Xi" , "lang" : "en" } ] ,
    "http://dbpedia.org/ontology/influencedBy" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ML_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/C++" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/OCaml" } ] ,
    "http://dbpedia.org/property/latestReleaseDate" : [ { "type" : "literal", "value" : "2020-11-14" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://cs.likai.org/ats/ml-programmers-guide-to-ats" } ,
      { "type" : "uri", "value" : "http://ats-lang.sourceforge.net/htdocs-old/DOCUMENT/MISC/manual_main.pdf" } ,
      { "type" : "uri", "value" : "http://ats-lang.sourceforge.net/DOCUMENT/" } ,
      { "type" : "uri", "value" : "http://www.ats-lang.org/" } ,
      { "type" : "uri", "value" : "http://www.ats-lang.org/Documents.html" } ,
      { "type" : "uri", "value" : "http://bluishcoder.co.nz/tags/ats/" } ] ,
    "http://dbpedia.org/property/influencedBy" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/C++" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/OCaml" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/ML_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ] ,
    "http://dbpedia.org/property/fileExt" : [ { "type" : "literal", "value" : ".sats, .dats, .hats" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/typing" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_type" } ] ,
    "http://dbpedia.org/property/family" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Caml" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/OCaml" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dependent_ML" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/ML_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/thumbnail" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/The_ATS_Logo.svg?width=300" } ] ,
    "http://dbpedia.org/ontology/latestReleaseVersion" : [ { "type" : "literal", "value" : "ATS2-0.4.2" } ] ,
    "http://dbpedia.org/property/latestReleaseVersion" : [ { "type" : "literal", "value" : "ATS2-0.4.2" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/license" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/GNU_General_Public_License" } ] } ,
  "http://dbpedia.org/resource/Dependent_ML" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/ATS_(programming_language)" } ] }
}