{
  "http://en.wikipedia.org/wiki/Jan_Bergstra" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Mark_Burgess_(computer_scientist)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Chris_Verhoef" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Jan_Friso_Groote" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Algebra_of_communicating_processes" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/J._A._Bergstra" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Jan_A._Bergstra" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Jan_Willem_Klop" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Jan_Bergstra" : { "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ { "type" : "uri", "value" : "http://dbpedia.org/ontology/Eukaryote" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/Species" } ,
      { "type" : "uri", "value" : "http://www.w3.org/2002/07/owl#Thing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/Person" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/Animal" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Jan_Bergstra" } ,
      { "type" : "uri", "value" : "https://orcid.org/0000-0003-2492-506X" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/YKn1" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.026syd0" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q15462007" } ,
      { "type" : "uri", "value" : "http://data.bibliotheken.nl/id/thes/p068653433" } ,
      { "type" : "uri", "value" : "https://dblp.org/pid/b/JanABergstra" } ,
      { "type" : "uri", "value" : "http://viaf.org/viaf/18127576" } ,
      { "type" : "uri", "value" : "http://d-nb.info/gnd/123304881" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Jan Bergstra" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Academics_of_Swansea_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Living_people" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Academic_staff_of_Utrecht_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Philips_employees" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Engineers_from_Rotterdam" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Academic_staff_of_Leiden_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_methods_people" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Utrecht_University_alumni" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Academic_staff_of_the_University_of_Amsterdam" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Dutch_computer_scientists" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:1951_births" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Members_of_Academia_Europaea" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Jan_Bergstra?oldid=1284371218&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Scientist" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Jan_Bergstra" } ] ,
    "http://schema.org/sameAs" : [ { "type" : "uri", "value" : "http://viaf.org/viaf/18127576" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "https://staff.fnwi.uva.nl/j.a.bergstra/" } ,
      { "type" : "uri", "value" : "https://web.archive.org/web/20110517140121/http:/vx.netlux.org/lib/mjb00.html" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Dutch_computer_scientists" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/University_of_Amsterdam" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/John_V._Tucker" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Leiden_University_faculty" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Academia_Europaea" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Elsevier" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mathematics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Academics_of_Swansea_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Utrecht_University_faculty" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Algebra_of_Communicating_Processes" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Centrum_Wiskunde_&_Informatica" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:1951_births" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Utrecht_University_alumni" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Willem_Klop" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Software_engineering" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Utrecht_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Jos_Baeten" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Oslo_University_College" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_methods" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Royal_Netherlands_Academy_of_Arts_and_Sciences" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_Aspects_of_Computing" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Rotterdam" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Abstract_data_type" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Addison_Wesley" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Members_of_Academia_Europaea" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Philips_employees" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Engineers_from_Rotterdam" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Logic_and_Algebraic_Programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Swansea_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mark_Burgess_(computer_scientist)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Process_algebra" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:University_of_Amsterdam_faculty" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Amsterdam_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_the_ACM" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Promise_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Leiden_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_methods_people" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Living_people" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/European_Strategic_Program_on_Research_in_Information_Technology" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dirk_van_Dalen" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Philips" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "computer scientist" , "lang" : "en" } ,
      { "type" : "literal", "value" : "Nederlands informaticus" , "lang" : "nl" } ,
      { "type" : "literal", "value" : "\u043D\u0430\u0443\u043A\u043E\u0432\u0435\u0446\u044C \u0443 \u0433\u0430\u043B\u0443\u0437\u0456 \u043A\u043E\u043C\u043F'\u044E\u0442\u0435\u0440\u043D\u0438\u0445 \u0442\u0435\u0445\u043D\u043E\u043B\u043E\u0433\u0456\u0439" , "lang" : "uk" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_book" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Citation_needed" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:BLP_sources" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Authority_control" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ] } ,
  "http://dbpedia.org/resource/List_of_people_associated_with_Utrecht_University" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Process_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Wiles's_proof_of_Fermat's_Last_Theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences_(B)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Promise_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Centrum_Wiskunde_&_Informatica" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/John_V._Tucker" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] } ,
  "http://dbpedia.org/resource/Calculus_of_communicating_systems" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jan_Bergstra" } ] }
}