Stephan Schulz

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