Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
abbreviation
|
| gptkbp:alternativeTo |
gptkb:cemetery
Halmos symbol |
| https://www.w3.org/2000/01/rdf-schema#label |
QED
|
| 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
gptkb:Quantum_electrodynamics gptkb:électrodynamique_quantique |
| gptkbp:bfsLayer |
5
|