Martin Huth

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

GPTKB entity

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
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
https://www.w3.org/2000/01/rdf-schema#label	Martin Huth