Hans-Peter Grädel

URI: https://gptkb.org/entity/Hans-Peter_Grädel

GPTKB entity

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