GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Michael Huth
URI:
https://gptkb.org/entity/Michael_Huth
GPTKB entity
Statements (12)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:coauthor
gptkb:Mark_Ryan
gptkbp:employer
gptkb:Imperial_College_London
gptkbp:field
gptkb:logic
gptkb:security
computer science
https://www.w3.org/2000/01/rdf-schema#label
Michael Huth
gptkbp:nationality
gptkb:German
gptkbp:notableWork
gptkb:Logic_in_Computer_Science:_Modelling_and_Reasoning_about_Systems
gptkbp:occupation
gptkb:computer_scientist
gptkbp:bfsParent
gptkb:Emmi_Peltonen
gptkbp:bfsLayer
5