Thomas Büchi

URI: https://gptkb.org/entity/Thomas_Büchi

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:ETH_Zurich
gptkbp:birthYear	1924
gptkbp:deathYear	1984
gptkbp:employer	gptkb:ETH_Zurich
gptkbp:field	gptkb:mathematics
gptkbp:knownFor	gptkb:Büchi_automaton Büchi's problem
gptkbp:nationality	Swiss
gptkbp:occupation	gptkb:mathematician
gptkbp:bfsParent	gptkb:CERN_Globe_of_Science_and_Innovation
gptkbp:bfsLayer	7
http://www.w3.org/2000/01/rdf-schema#label	Thomas Büchi