{
  "http://en.wikipedia.org/wiki/SPARK_(programming_language)" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Frama-C" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/ParaSail_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/SPARK_(programming_language)" : { "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://schema.org/Language" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q315" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/Language" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q9143" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://pl.dbpedia.org/resource/SPARK_(informatyka)" } ,
      { "type" : "uri", "value" : "http://es.dbpedia.org/resource/SPARK" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.01qplz" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/SPARK_(programming_language)" } ,
      { "type" : "uri", "value" : "http://ru.dbpedia.org/resource/SPARK_(\u044F\u0437\u044B\u043A_\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F)" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q3493345" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ,
      { "type" : "uri", "value" : "http://fi.dbpedia.org/resource/SPARK_(ohjelmointikieli)" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/3DoQR" } ,
      { "type" : "uri", "value" : "http://zh.dbpedia.org/resource/SPARK" } ] ,
    "http://xmlns.com/foaf/0.1/name" : [ { "type" : "literal", "value" : "SPARK" , "lang" : "en" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "SPARK (programming language)" , "lang" : "en" } ,
      { "type" : "literal", "value" : "SPARK" , "lang" : "zh" } ,
      { "type" : "literal", "value" : "SPARK" , "lang" : "es" } ,
      { "type" : "literal", "value" : "SPARK (informatyka)" , "lang" : "pl" } ,
      { "type" : "literal", "value" : "SPARK (\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:Articles_with_example_Ada_code" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Statically_typed_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Ada_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Ada_programming_language_family" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Procedural_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:High-integrity_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_specification_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Science_and_technology_in_Hampshire" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Systems_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:History_of_computing_in_the_United_Kingdom" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Programming_languages_created_in_the_20th_century" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Concurrent_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:University_of_Southampton" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Algol_programming_language_family" } ] ,
    "http://xmlns.com/foaf/0.1/homepage" : [ { "type" : "uri", "value" : "http://www.adacore.com/about-spark" } ] ,
    "http://xmlns.com/foaf/0.1/depiction" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Sparkada.jpg" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/SPARK_(programming_language)?oldid=1305705936&ns=0" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Eurofighter_Typhoon" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Ventricular_assist_device" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:History_of_computing_in_the_United_Kingdom" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/GNAT" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Integer_overflow" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:University_of_Southampton" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Algol_programming_language_family" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Python_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Strongly_typed_programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Altran_Praxis" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Expressive_power_(computer_science)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Microsoft_Windows" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cross-platform" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Task_parallelism" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Capgemini" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Science_and_technology_in_Hampshire" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_safety" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Verification_and_validation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Ada_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/CubeSat" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Altran" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Programming_languages_created_in_the_20th_century" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Concurrent_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Systems_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Vermont_Lunar_CubeSat" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mac_OS_X" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Spectrum" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/File:Sparkada.jpg" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Ada_programming_language_family" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/NATS_iFACTS" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Aermacchi_M-346" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/ARINC_ACAMS_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/CVC4" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sha-3" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/AdaCore" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Harrier_GR9" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Z3_Theorem_Prover" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Tokeneer" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/TweetNaCl" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Verification_condition_generator" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_of_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/GNU_General_Public_License" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Ada_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Software_verification" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Scala_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Multi-paradigm_programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Rolls-Royce_Trent" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Compiler" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Linux" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Procedural_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Statically_typed_programming_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Eiffel_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Skein_(hash_function)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Rockwell_Collins" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Nominative_type_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/High_integrity_software" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/MULTOS" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:High_Integrity_Programming_Language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Pascal_programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/FOSS" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Alt-Ergo" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_specification_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Java_Modeling_Language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Java_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Z_notation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/University_of_Southampton" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Lockheed_Martin_C-130J_Super_Hercules" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cluster_computing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/FLOSS" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Ministry_of_Defence_(United_Kingdom)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Contract_(software)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Soundness" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Static_typing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Precondition" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Postcondition" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Capgemini_Engineering" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Genode" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://www.altran.com/" } ,
      { "type" : "uri", "value" : "http://libre.adacore.com/" } ,
      { "type" : "uri", "value" : "http://lifeflow.mae.virginia.edu" } ,
      { "type" : "uri", "value" : "http://muen.codelabs.ch" } ,
      { "type" : "uri", "value" : "http://www.cpibookdelivery.com/book/9780957290518/SPARK__The_Proven_Approach_to_High_Integrity_Software" } ,
      { "type" : "uri", "value" : "http://www.crosstalkonline.org/storage/issue-archives/2005/200512/200512-Croxford.pdf" } ,
      { "type" : "uri", "value" : "https://spectrum.ieee.org/computing/software/the-exterminators" } ,
      { "type" : "uri", "value" : "http://www.adacore.com/sparkpro/" } ,
      { "type" : "uri", "value" : "http://www.cubesatlab.org" } ,
      { "type" : "uri", "value" : "http://www.cambridge.org/9781107656840" } ,
      { "type" : "uri", "value" : "https://web.archive.org/web/20121030153055/http:/www.crosstalkonline.org/storage/issue-archives/2005/200512/200512-Croxford.pdf" } ,
      { "type" : "uri", "value" : "https://frama-c.com/html/fc-discuss/2009-November/msg00027.html" } ,
      { "type" : "uri", "value" : "http://www.adacore.com/tokeneer" } ,
      { "type" : "uri", "value" : "http://www.safety-club.org.uk/" } ,
      { "type" : "uri", "value" : "http://www.spark-2014.org/" } ,
      { "type" : "uri", "value" : "http://www.adacore.com/about-spark" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "limbaj de programare" , "lang" : "ro" } ,
      { "type" : "literal", "value" : "programming language" , "lang" : "en" } ,
      { "type" : "literal", "value" : "ohjelmointikieli" , "lang" : "fi" } ,
      { "type" : "literal", "value" : "yezh programmi\u00F1" , "lang" : "br" } ,
      { "type" : "literal", "value" : "linguaggio di programmazione" , "lang" : "it" } ,
      { "type" : "literal", "value" : "programmeringssprog" , "lang" : "da" } ,
      { "type" : "literal", "value" : "programmeringsspr\u00E5k" , "lang" : "nn" } ,
      { "type" : "literal", "value" : "programovac\u00ED jazyk" , "lang" : "sk" } ,
      { "type" : "literal", "value" : "\u0A2A\u0A4D\u0A30\u0A4B\u0A17\u0A30\u0A3E\u0A2E\u0A3F\u0A70\u0A17 \u0A2D\u0A3E\u0A38\u0A3C\u0A3E" , "lang" : "pa" } ,
      { "type" : "literal", "value" : "j\u0119zyk programowania" , "lang" : "pl" } ,
      { "type" : "literal", "value" : "\u05E9\u05E4\u05EA \u05EA\u05DB\u05E0\u05D5\u05EA" , "lang" : "iw" } ,
      { "type" : "literal", "value" : "\u0D2A\u0D4D\u0D30\u0D4B\u0D17\u0D4D\u0D30\u0D3E\u0D2E\u0D3F\u0D19\u0D4D \u0D2D\u0D3E\u0D37" , "lang" : "ml" } ,
      { "type" : "literal", "value" : "programovac\u00ED jazyk" , "lang" : "cs" } ,
      { "type" : "literal", "value" : "programspr\u00E5k" , "lang" : "sv" } ,
      { "type" : "literal", "value" : "Programmiersprache" , "lang" : "de" } ,
      { "type" : "literal", "value" : "programoz\u00E1si nyelv" , "lang" : "hu" } ,
      { "type" : "literal", "value" : "lenguaje de programaci\u00F3n" , "lang" : "es" } ,
      { "type" : "literal", "value" : "langage de programmation informatique" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "\u0432\u0435\u0440\u0438\u0444\u0438\u0446\u0438\u0440\u0443\u0435\u043C\u044B\u0439 \u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F, \u0434\u0438\u0430\u043B\u0435\u043A\u0442 \u044F\u0437\u044B\u043A\u0430 Ada" , "lang" : "ru" } ,
      { "type" : "literal", "value" : "\u092A\u094D\u0930\u094B\u0917\u094D\u0930\u093E\u092E\u093F\u0902\u0917 \u092D\u093E\u0937\u093E" , "lang" : "hi" } ,
      { "type" : "literal", "value" : "programmeertaal" , "lang" : "nl" } ,
      { "type" : "literal", "value" : "llenguatge de programaci\u00F3" , "lang" : "ca" } ,
      { "type" : "literal", "value" : "linguagem de programa\u00E7\u00E3o" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "\u043C\u043E\u0432\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F" , "lang" : "uk" } ] ,
    "http://dbpedia.org/ontology/thumbnail" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Sparkada.jpg?width=300" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Multiple_issues" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Authority_control" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Citation_needed" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Portal" } ,
      { "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:Start_date_and_age" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Infobox_programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Use_dmy_dates" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Third-party" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:URL" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Webarchive" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_journal" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:About" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:More_footnotes_needed" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_book" } ] ,
    "http://dbpedia.org/property/date" : [ { "type" : "literal", "value" : "2005-02-12" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ,
      { "type" : "literal", "value" : "2012-10-30" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] ,
    "http://dbpedia.org/property/name" : [ { "type" : "literal", "value" : "SPARK" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wordnet_type" : [ { "type" : "uri", "value" : "http://www.w3.org/2006/03/wn/wn20/instances/synset-programming_language-noun-1" } ,
      { "type" : "uri", "value" : "http://www.w3.org/2006/03/wn/wn20/instances/synset-software-noun-1" } ] ,
    "http://dbpedia.org/property/url" : [ { "type" : "uri", "value" : "https://web.archive.org/web/20050212023242/http:/libre.adacore.com/" } ,
      { "type" : "uri", "value" : "https://web.archive.org/web/20121030153055/http:/www.crosstalkonline.org/storage/issue-archives/2005/200512/200512-Croxford.pdf" } ] ,
    "http://dbpedia.org/ontology/influencedBy" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Ada_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Eiffel_(programming_language)" } ] ,
    "http://dbpedia.org/property/implementations" : [ { "type" : "literal", "value" : "SPARK Pro, SPARK GPL Edition, SPARK Community" , "lang" : "en" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/property/logoSize" : [ { "type" : "literal", "value" : 250 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/property/influencedBy" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Ada_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Eiffel_(programming_language)" } ] ,
    "http://dbpedia.org/property/typing" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Nominal_type_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Strong_and_weak_typing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_safety" } ] ,
    "http://dbpedia.org/ontology/developer" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Capgemini_Engineering" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/GNAT" } ] ,
    "http://dbpedia.org/property/developer" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Capgemini_Engineering" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/GNAT" } ] ,
    "http://dbpedia.org/property/family" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Ada_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/latestReleaseDate" : [ { "type" : "literal", "value" : "2021-06-01" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] ,
    "http://dbpedia.org/property/paradigm" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Object-oriented_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Metaprogramming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Concurrent_computing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Distributed_computing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Generic_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Aspect-oriented_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Imperative_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Structured_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Procedural_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Multi-paradigm_programming_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Array_programming" } ] ,
    "http://dbpedia.org/property/logo" : [ { "type" : "literal", "value" : "Sparkada.jpg" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/operatingSystem" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Linux" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Microsoft_Windows" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cross-platform_software" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/MacOS" } ] ,
    "http://dbpedia.org/ontology/license" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/GNU_General_Public_License" } ] ,
    "http://dbpedia.org/property/license" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/GNU_General_Public_License" } ] ,
    "http://dbpedia.org/property/latestReleaseDate" : [ { "type" : "literal", "value" : "2021-06-01" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] ,
    "http://dbpedia.org/property/latestReleaseVersion" : [ { "type" : "literal", "value" : "Community 2021" , "lang" : "en" } ] ,
    "http://dbpedia.org/ontology/latestReleaseVersion" : [ { "type" : "literal", "value" : "Community 2021" } ] } ,
  "http://dbpedia.org/resource/History_of_software" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Rust_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Spark" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Library_of_Congress_Classification:Class_Q_--_Science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Automated_theorem_proving" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Extended_static_checking" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/GNAT" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Ada_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/property/dialects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Ravenscar_profile" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/List_of_programming_languages" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Design_by_contract" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Skein_(hash_function)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Halting_problem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Data_transformation_(computing)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Alt-Ergo" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Lunar_IceCube" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Vermont_Lunar_CubeSat" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/IBM_Watson_Studio" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Ada/SPARK" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Ada/Spark" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Ada_Spark" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/RavenSPARK" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Spark_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Spark_programming_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/SPADE_Ada_Kernel" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/SPARK_Language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/SPARK_Programming_Language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/SPARK_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/SPARK_programming_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Coreboot" : { "http://dbpedia.org/ontology/programmingLanguage" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Timeline_of_programming_languages" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Formal_methods" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/SPARK_Examiner" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/SPARK_Toolset" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Altran_Praxis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Whiley_(programming_language)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Comparison_of_programming_languages_(syntax)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Generational_list_of_programming_languages" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Formal_verification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] } ,
  "http://dbpedia.org/resource/Satisfiability_modulo_theories" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/SPARK_(programming_language)" } ] }
}