Wolfgang Pohlers

URI: https://gptkb.org/entity/Wolfgang_Pohlers

GPTKB entity

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
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
https://www.w3.org/2000/01/rdf-schema#label	Wolfgang Pohlers