GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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