Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:competedIn |
gptkb:Germany
|
| gptkbp:dateOfBirth |
1971-12-18
|
| gptkbp:gender |
male
|
| https://www.w3.org/2000/01/rdf-schema#label |
Christian Sattler
|
| gptkbp:medal |
World Rowing Championships medalist
|
| gptkbp:nationality |
gptkb:German
|
| gptkbp:occupation |
gptkb:rower
|
| gptkbp:placeOfBirth |
gptkb:Düsseldorf
|
| gptkbp:sport |
rowing
|
| gptkbp:bfsParent |
gptkb:A_Cubical_Type_Theory_(Coquand_et_al.,_2018)
gptkb:Homotopy_Type_Theory |
| gptkbp:bfsLayer |
7
|