bn:17169548n
Noun Concept
PT
prova  prova formal
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
OmegaWiki
PT
Wikipedia Translations