bn:17169548n
Noun Concept
SYL
No term available
EN
A sequence of statements (made up of axioms, assumptions and arguments) leading to the establishment of the truth of one final statement. OmegaWiki
Sources