Martin Huth

URI: https://gptkb.org/entity/Martin_Huth
GPTKB entity
Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:coauthor gptkb:Mark_Ryan
gptkbp:employer gptkb:Royal_Holloway,_University_of_London
gptkbp:field gptkb:logic
computer science
https://www.w3.org/2000/01/rdf-schema#label Martin Huth
gptkbp:knownFor work in logic and computation
gptkbp:nationality gptkb:German
gptkbp:notableWork gptkb:Logic_in_Computer_Science:_Modelling_and_Reasoning_about_Systems
gptkbp:occupation gptkb:mathematician
gptkbp:bfsParent gptkb:Triton_Partners
gptkbp:bfsLayer 8