Stephan Schulz

URI: https://gptkb.org/entity/Stephan_Schulz
GPTKB entity
Statements (9)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:familyName gptkb:Schulz
gptkbp:gender male
gptkbp:givenName gptkb:Stephan
https://www.w3.org/2000/01/rdf-schema#label Stephan Schulz
gptkbp:nationality gptkb:German
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:Automated_Theorem_Proving
gptkbp:bfsLayer 7