{ "items" : [
    { "id" : "http://dbpedia.org/resource/Arend_Heyting"
      "properties" : {
        "http://www.w3.org/2000/01/rdf-schema#comment" : [ "Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. He was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic.  Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics." ] ,
        "http://xmlns.com/foaf/0.1/name" : [ "Arend Heyting",
          "Heyting, Arend" ] ,
        "http://xmlns.com/foaf/0.1/depiction" : [ "http://commons.wikimedia.org/wiki/Special:FilePath/Arend_Heyting_(1967).jpg" ] ,
        "http://purl.org/dc/elements/1.1/description" : [ "Dutch mathematician" ] ,
        "http://dbpedia.org/ontology/almaMater" : [ "http://dbpedia.org/resource/University_of_Amsterdam" ] ,
        "http://dbpedia.org/ontology/birthDate" : [ "1898-05-09Z" ] ,
        "http://dbpedia.org/ontology/birthPlace" : [ "http://dbpedia.org/resource/Amsterdam",
          "http://dbpedia.org/resource/Netherlands" ] ,
        "http://dbpedia.org/ontology/birthYear" : [ "1898Z" ] ,
        "http://dbpedia.org/ontology/deathDate" : [ "1980-07-09Z" ] ,
        "http://dbpedia.org/ontology/deathPlace" : [ "http://dbpedia.org/resource/Switzerland",
          "http://dbpedia.org/resource/Lugano" ] ,
        "http://dbpedia.org/ontology/deathYear" : [ "1980Z" ] ,
        "http://dbpedia.org/ontology/doctoralAdvisor" : [ "http://dbpedia.org/resource/L._E._J._Brouwer" ] ,
        "http://dbpedia.org/ontology/doctoralStudent" : [ "http://dbpedia.org/resource/Dirk_van_Dalen",
          "http://dbpedia.org/resource/Jan_Mooij",
          "http://dbpedia.org/resource/Anne_Sjerp_Troelstra" ] ,
        "http://dbpedia.org/ontology/field" : [ "http://dbpedia.org/resource/Mathematics" ] ,
        "http://dbpedia.org/ontology/nationality" : [ "http://dbpedia.org/resource/Netherlands" ] ,
        "http://dbpedia.org/ontology/thumbnail" : [ "http://commons.wikimedia.org/wiki/Special:FilePath/Arend_Heyting_(1967).jpg?width=300"] } } }
