Käytettävä termi
QA9.54 Proof theory
Yläkäsite
Merkitykseltään laajempi käsite/termi.Ryhmään kuuluvat käsitteet
Käsitteet, jotka liittyvät kyseiseen aiheeseen.Notaatio
Tunniste, joka yksilöi käsitteen sanaston sisällä.- QA9.54
URI
http://www.yso.fi/onto/lcsh/sh85107437