Thomas Büchi

URI: https://gptkb.org/entity/Thomas_Büchi
GPTKB entity
Statements (13)
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
https://www.w3.org/2000/01/rdf-schema#label Thomas Büchi
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