Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:abbreviation
|
| gptkbp:alternativeTo |
gptkb:cemetery
Halmos symbol |
| gptkbp:languageOfOrigin |
gptkb:Latin
|
| gptkbp:meaning |
which was to be demonstrated
|
| gptkbp:standsFor |
quod erat demonstrandum
|
| gptkbp:symbolizes |
completion of proof
|
| gptkbp:usedAtEndOf |
gptkb:mathematics
gptkb:philosophy |
| gptkbp:usedIn |
gptkb:logic
gptkb:mathematics gptkb:philosophy |
| gptkbp:usedUntil |
17th century
|
| gptkbp:bfsParent |
gptkb:Quantum_electrodynamics
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
QED
|