This HTML5 document contains 20 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n7http://dbpedia.org/resource/Gödel'
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:Gisbert_Hasenjaeger
rdfs:comment
Gisbert F. R. Hasenjaeger (June 1, 1919 – September 2, 2006) was a German mathematical logician. Independently and simultaneously with Leon Henkin in 1949, he developed a new proof of the completeness theorem of Kurt Gödel for predicate logic. He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung at Karlstejn, and was responsible for the security of the Enigma machine.
foaf:name
Gisbert F. R. Hasenjaeger Hasenjaeger, Gisbert
dc:description
German mathematician
dbpedia-owl:almaMater
dbpedia:University_of_Münster
dbpedia-owl:birthDate
1919-06-01Z
dbpedia-owl:birthPlace
dbpedia:Hildesheim
dbpedia-owl:birthYear
1919-01-01Z
dbpedia-owl:citizenship
dbpedia:Germans
dbpedia-owl:deathDate
2006-09-02Z
dbpedia-owl:deathPlace
dbpedia:Münster
dbpedia-owl:deathYear
2006-01-01Z
dbpedia-owl:doctoralAdvisor
dbpedia:Heinrich_Scholz
dbpedia-owl:doctoralStudent
dbpedia:Alexander_Prestel dbpedia:Ronald_Jensen
dbpedia-owl:field
dbpedia:Logic dbpedia:Mathematics
dbpedia-owl:influencedBy
dbpedia:Alan_Turing
dbpedia-owl:knownFor
dbpedia:Enigma_machine n7:s_completeness_theorem