GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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