Benjamin Werner

URI: https://gptkb.org/entity/Benjamin_Werner
GPTKB entity
Statements (6)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:familyName gptkb:Werner
gptkbp:givenName gptkb:Benjamin
https://www.w3.org/2000/01/rdf-schema#label Benjamin Werner
gptkbp:bfsParent gptkb:Coq_proof_assistant
gptkbp:bfsLayer 6