GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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