Armin Haken

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Illinois_Urbana-Champaign
gptkbp:awardReceived	gptkb:Gödel_Prize
gptkbp:birthYear	1953
gptkbp:doctoralAdvisor	gptkb:Wolfgang_Haken
gptkbp:field	gptkb:theoretical_computer_science gptkb:mathematics
gptkbp:knownFor	gptkb:Haken's_theorem exponential lower bound for resolution proof system
gptkbp:nationality	gptkb:German
gptkbp:occupation	gptkb:mathematician
gptkbp:bfsParent	gptkb:Wolfgang_Haken
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Armin Haken