Henrik Sahlqvist

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:field	gptkb:logic
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
https://www.w3.org/2000/01/rdf-schema#label	Henrik Sahlqvist