GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Hans-Peter Grädel
URI:
https://gptkb.org/entity/Hans-Peter_Grädel
GPTKB entity
Statements (15)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:University_of_Freiburg
gptkbp:birthYear
1955
gptkbp:employer
gptkb:RWTH_Aachen_University
gptkbp:field
gptkb:theoretical_computer_science
gptkb:logic
gptkbp:memberOf
gptkb:Academia_Europaea
gptkbp:nationality
gptkb:German
gptkbp:notableWork
gptkb:logic
gptkb:finite_model_theory
descriptive complexity theory
gptkbp:occupation
gptkb:mathematician
gptkbp:bfsParent
gptkb:Formex
gptkbp:bfsLayer
7
https://www.w3.org/2000/01/rdf-schema#label
Hans-Peter Grädel
Please wait…