Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Gerhard_Gentzen> ?p ?o. }
- Gerhard_Gentzen abstract "Gerhard Karl Erich Gentzen (November 24, 1909 – August 4, 1945) was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died in 1945 after the Second World War, because he was deprived of food after being arrested in Prague.".
- Gerhard_Gentzen almaMater University_of_G%C3%B6ttingen.
- Gerhard_Gentzen birthDate "1909-11-24".
- Gerhard_Gentzen birthPlace Germany.
- Gerhard_Gentzen birthPlace Greifswald.
- Gerhard_Gentzen birthYear "1909".
- Gerhard_Gentzen deathDate "1945-08-04".
- Gerhard_Gentzen deathPlace Czechoslovakia.
- Gerhard_Gentzen deathPlace Prague.
- Gerhard_Gentzen deathYear "1945".
- Gerhard_Gentzen doctoralAdvisor Paul_Bernays.
- Gerhard_Gentzen field Mathematics.
- Gerhard_Gentzen nationality Germany.
- Gerhard_Gentzen thumbnail Gerhard_Gentzen.jpg?width=300.
- Gerhard_Gentzen viafId "22269649".
- Gerhard_Gentzen wikiPageExternalLink ?PPN=GDZPPN002042649.
- Gerhard_Gentzen wikiPageExternalLink ?PPN=GDZPPN002275872.
- Gerhard_Gentzen wikiPageExternalLink ?PPN=GDZPPN002278391.
- Gerhard_Gentzen wikiPageExternalLink ?PPN=GDZPPN002281287.
- Gerhard_Gentzen wikiPageExternalLink ?PPN=GDZPPN002375508.
- Gerhard_Gentzen wikiPageExternalLink ?PPN=GDZPPN002375605.
- Gerhard_Gentzen wikiPageExternalLink ?PPN=GDZPPN002376741.
- Gerhard_Gentzen wikiPageExternalLink hmath-33.
- Gerhard_Gentzen wikiPageID "46027".
- Gerhard_Gentzen wikiPageRevisionID "589896261".
- Gerhard_Gentzen almaMater University_of_Göttingen.
- Gerhard_Gentzen birthDate "1909-11-24".
- Gerhard_Gentzen birthPlace Germany.
- Gerhard_Gentzen birthPlace Greifswald.
- Gerhard_Gentzen caption "Gerhard Gentzen in Prague, 1945.".
- Gerhard_Gentzen dateOfBirth "1909-11-24".
- Gerhard_Gentzen dateOfDeath "1945-08-04".
- Gerhard_Gentzen deathDate "1945-08-04".
- Gerhard_Gentzen deathPlace Czechoslovakia.
- Gerhard_Gentzen deathPlace Prague.
- Gerhard_Gentzen doctoralAdvisor Paul_Bernays.
- Gerhard_Gentzen fields Mathematics.
- Gerhard_Gentzen hasPhotoCollection Gerhard_Gentzen.
- Gerhard_Gentzen name "Gentzen, Gerhard".
- Gerhard_Gentzen name "Gerhard Gentzen".
- Gerhard_Gentzen nationality Germany.
- Gerhard_Gentzen placeOfBirth Germany.
- Gerhard_Gentzen placeOfBirth Greifswald.
- Gerhard_Gentzen placeOfDeath Czechoslovakia.
- Gerhard_Gentzen placeOfDeath Prague.
- Gerhard_Gentzen shortDescription "German mathematician".
- Gerhard_Gentzen description "German mathematician".
- Gerhard_Gentzen description "German mathematician".
- Gerhard_Gentzen subject Category:1909_births.
- Gerhard_Gentzen subject Category:1945_deaths.
- Gerhard_Gentzen subject Category:20th-century_mathematicians.
- Gerhard_Gentzen subject Category:Charles_University_in_Prague_faculty.
- Gerhard_Gentzen subject Category:German_logicians.
- Gerhard_Gentzen subject Category:German_mathematicians.
- Gerhard_Gentzen subject Category:German_philosophers.
- Gerhard_Gentzen subject Category:People_from_Greifswald.
- Gerhard_Gentzen subject Category:People_from_the_Province_of_Pomerania.
- Gerhard_Gentzen subject Category:University_of_Göttingen_alumni.
- Gerhard_Gentzen type 20th-centuryMathematicians.
- Gerhard_Gentzen type Academician109759069.
- Gerhard_Gentzen type AcademicsOfCharlesUniversityInPrague.
- Gerhard_Gentzen type Adult109605289.
- Gerhard_Gentzen type CausalAgent100007347.
- Gerhard_Gentzen type Educator110045713.
- Gerhard_Gentzen type Expert109617867.
- Gerhard_Gentzen type GermanLogicians.
- Gerhard_Gentzen type GermanMathematicians.
- Gerhard_Gentzen type LivingThing100004258.
- Gerhard_Gentzen type Logician110269785.
- Gerhard_Gentzen type Mathematician110301261.
- Gerhard_Gentzen type Object100002684.
- Gerhard_Gentzen type Organism100004475.
- Gerhard_Gentzen type PeopleFromGreifswald.
- Gerhard_Gentzen type PeopleFromTheProvinceOfPomerania.
- Gerhard_Gentzen type Person100007846.
- Gerhard_Gentzen type PhysicalEntity100001930.
- Gerhard_Gentzen type Professional110480253.
- Gerhard_Gentzen type Scientist110560637.
- Gerhard_Gentzen type Whole100003553.
- Gerhard_Gentzen type YagoLegalActor.
- Gerhard_Gentzen type YagoLegalActorGeo.
- Gerhard_Gentzen type Agent.
- Gerhard_Gentzen type Person.
- Gerhard_Gentzen type Scientist.
- Gerhard_Gentzen type Person.
- Gerhard_Gentzen type Q215627.
- Gerhard_Gentzen type Q5.
- Gerhard_Gentzen type Agent.
- Gerhard_Gentzen type NaturalPerson.
- Gerhard_Gentzen type Thing.
- Gerhard_Gentzen type Person.
- Gerhard_Gentzen comment "Gerhard Karl Erich Gentzen (November 24, 1909 – August 4, 1945) was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died in 1945 after the Second World War, because he was deprived of food after being arrested in Prague.".
- Gerhard_Gentzen label "Gerhard Gentzen".
- Gerhard_Gentzen label "Gerhard Gentzen".
- Gerhard_Gentzen label "Gerhard Gentzen".
- Gerhard_Gentzen label "Gerhard Gentzen".
- Gerhard_Gentzen label "Gerhard Gentzen".
- Gerhard_Gentzen label "Gerhard Gentzen".
- Gerhard_Gentzen label "Gerhard Gentzen".
- Gerhard_Gentzen label "Gerhard Gentzen".