Wolfgang Pohlers

URI: https://gptkb.org/entity/Wolfgang_Pohlers
GPTKB entity
Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Munich
gptkbp:birthYear 1943
gptkbp:doctoralAdvisor gptkb:Kurt_Schütte
gptkb:Helmut_Schwichtenberg
gptkbp:employer gptkb:University_of_Münster
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Wolfgang Pohlers
gptkbp:knownFor proof theory
gptkbp:nationality gptkb:German
gptkbp:notableStudent gptkb:Michael_Rathjen
gptkbp:occupation gptkb:mathematician
gptkbp:bfsParent gptkb:Kurt_Schütte
gptkbp:bfsLayer 6