Henrik Sahlqvist

URI: https://gptkb.org/entity/Henrik_Sahlqvist
GPTKB entity
Statements (10)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Henrik Sahlqvist
gptkbp:knownFor gptkb:Sahlqvist_formula
gptkbp:nationality gptkb:Norwegian
gptkbp:notableWork gptkb:Sahlqvist_theorem
gptkbp:occupation gptkb:logic
gptkbp:bfsParent gptkb:Sahlqvist_formula
gptkb:Sahlqvist_theorem
gptkbp:bfsLayer 7