{
  "http://en.wikipedia.org/wiki/CoreASM" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/CoreASM" } ] } ,
  "https://dbpedia.org/resource/Abstract_state_machine" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/CoreASM" } ] } ,
  "https://dbpedia.org/resource/CoreASM" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://yago-knowledge.org/resource/CoreASM" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q5170135" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/CoreASM" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.026lkxz" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4iQPU" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "CoreASM" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Software_using_the_Academic_Free_License" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Formal_methods_tools" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Formal_specification_languages" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/CoreASM?oldid=995226925&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Project" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/CoreASM" } ] ,
    "https://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "https://github.com/CoreASM" } ,
      { "type" : "uri", "value" : "https://web.archive.org/web/20131110165351/http:/stl.sfu.ca/publications/CoreASM-TR-2006-09.pdf" } ,
      { "type" : "uri", "value" : "https://web.archive.org/web/20131110165433/http:/stl.sfu.ca/publications/CoreASM-ASM2005.pdf" } ,
      { "type" : "uri", "value" : "https://github.com/CoreASM/coreasm.core/wiki/Documentation" } ,
      { "type" : "uri", "value" : "https://github.com/CoreASM/coreasm.core/wiki" } ,
      { "type" : "uri", "value" : "http://www.eecs.umich.edu/gasm/" } ] ,
    "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/GitHub" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Abstract_State_Machines" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Software_using_the_Academic_Free_License" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Formal_specification_languages" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Simon_Fraser_University" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/E._B\u00F6rger" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Formal_methods_tools" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Academic_Free_License" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Open_source" } ] ,
    "https://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:ISBN" } ] } ,
  "https://dbpedia.org/resource/Coreasm" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/CoreASM" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/CoreASM" } ] }
}