{
  "http://en.wikipedia.org/wiki/Maude_system" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/Jose_Meseguer" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/OBJ_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/SRI_International" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/List_of_programming_languages" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/Non-English-based_programming_languages" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/List_of_reflective_programming_languages_and_platforms" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/Calculus_of_structures" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/Maude_system" : { "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ { "type" : "uri", "value" : "http://dbpedia.org/ontology/Software" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/ProgrammingLanguage" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/Work" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/Language" } ,
      { "type" : "uri", "value" : "http://www.w3.org/2002/07/owl#Thing" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.04m75m" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ,
      { "type" : "uri", "value" : "http://es.dbpedia.org/resource/Maude_(lenguaje_de_programaci\u00F3n)" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Maude_system" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/3HNu1" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q3558930" } ,
      { "type" : "uri", "value" : "http://el.dbpedia.org/resource/\u03A3\u03CD\u03C3\u03C4\u03B7\u03BC\u03B1_\u039C\u03C9\u03BD\u03C4" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Maude system" , "lang" : "en" } ,
      { "type" : "literal", "value" : "Maude (lenguaje de programaci\u00F3n)" , "lang" : "es" } ,
      { "type" : "literal", "value" : "\u03A3\u03CD\u03C3\u03C4\u03B7\u03BC\u03B1 \u039C\u03C9\u03BD\u03C4" , "lang" : "el" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Extensible_syntax_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:SRI_International_software" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_specification_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Term-rewriting_programming_languages" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Maude_system?oldid=1298863976&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Implementation" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Maude_system" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://maude.cs.uiuc.edu/papers/abstract/CDELMMQmetalanguage_1998.html" } ,
      { "type" : "uri", "value" : "http://maude.cs.uiuc.edu/papers/abstract/tcs4012.html" } ,
      { "type" : "uri", "value" : "http://maude.cs.uiuc.edu/" } ,
      { "type" : "uri", "value" : "http://pagoda.csl.sri.com/" } ,
      { "type" : "uri", "value" : "http://moment.dsic.upv.es/mdt/" } ,
      { "type" : "uri", "value" : "http://moment.dsic.upv.es/mfw/" } ,
      { "type" : "uri", "value" : "https://web.archive.org/web/20061216014420/http:/www.cs.swan.ac.uk/~csmona/cs213/errata.txt" } ,
      { "type" : "uri", "value" : "http://maude.cs.uiuc.edu/papers/abstract/MMroadmap_2001.html" } ,
      { "type" : "uri", "value" : "https://web.archive.org/web/20110514234232/http:/www.cs.swan.ac.uk/~csneal/MaudeCourse/index.html" } ,
      { "type" : "uri", "value" : "http://maude.cs.illinois.edu/w/images/0/0d/Maude-book.pdf" } ,
      { "type" : "uri", "value" : "http://heim.ifi.uio.no/~peterol/RealTimeMaude/" } ,
      { "type" : "uri", "value" : "http://moment.dsic.upv.es" } ,
      { "type" : "uri", "value" : "http://www.upv.es" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Extensible_syntax_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Java_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Substitution_of_variables" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_specification_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:SRI_International_software" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Jose_Meseguer" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Perl" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Reflection_(computer_science)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Order-sorted_equational_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Metaprogramming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/SRI_International" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/C_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Rewriting" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Swansea_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/OBJ3" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Term-rewriting_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Joseph_Goguen" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Equational_logic" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "llenguatge de programaci\u00F3" , "lang" : "ca" } ,
      { "type" : "literal", "value" : "programovac\u00ED jazyk" , "lang" : "cs" } ,
      { "type" : "literal", "value" : "programspr\u00E5k" , "lang" : "sv" } ,
      { "type" : "literal", "value" : "linguagem de programa\u00E7\u00E3o" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "\u0D2A\u0D4D\u0D30\u0D4B\u0D17\u0D4D\u0D30\u0D3E\u0D2E\u0D3F\u0D19\u0D4D \u0D2D\u0D3E\u0D37" , "lang" : "ml" } ,
      { "type" : "literal", "value" : "lenguaje de programaci\u00F3n" , "lang" : "es" } ,
      { "type" : "literal", "value" : "programmeringsspr\u00E5k" , "lang" : "nn" } ,
      { "type" : "literal", "value" : "Programmiersprache" , "lang" : "de" } ,
      { "type" : "literal", "value" : "programovac\u00ED jazyk" , "lang" : "sk" } ,
      { "type" : "literal", "value" : "langage de programmation" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "\u0A2A\u0A4D\u0A30\u0A4B\u0A17\u0A30\u0A3E\u0A2E\u0A3F\u0A70\u0A17 \u0A2D\u0A3E\u0A38\u0A3C\u0A3E" , "lang" : "pa" } ,
      { "type" : "literal", "value" : "\u05E9\u05E4\u05EA \u05EA\u05DB\u05E0\u05D5\u05EA" , "lang" : "iw" } ,
      { "type" : "literal", "value" : "programmeertaal" , "lang" : "nl" } ,
      { "type" : "literal", "value" : "implementation of rewriting logic developed at SRI International" , "lang" : "en" } ,
      { "type" : "literal", "value" : "ohjelmointikieli" , "lang" : "fi" } ,
      { "type" : "literal", "value" : "programmeringssprog" , "lang" : "da" } ,
      { "type" : "literal", "value" : "yezh programmi\u00F1" , "lang" : "br" } ,
      { "type" : "literal", "value" : "linguaggio di programmazione" , "lang" : "it" } ,
      { "type" : "literal", "value" : "j\u0119zyk programowania" , "lang" : "pl" } ,
      { "type" : "literal", "value" : "limbaj de programare" , "lang" : "ro" } ,
      { "type" : "literal", "value" : "\u092A\u094D\u0930\u094B\u0917\u094D\u0930\u093E\u092E\u093F\u0902\u0917 \u092D\u093E\u0937\u093E" , "lang" : "hi" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "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:Primary_sources" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Authority_control" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_book" } ] } ,
  "http://dbpedia.org/resource/Library_of_Congress_Classification:Class_Q_--_Science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/List_of_programming_languages_by_type" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] } ,
  "http://dbpedia.org/resource/Maude" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Maude_system" } ] }
}