formal proof (Q2762418)
Jump to navigation
Jump to search
establishment of a theorem using inference from the axioms
- derivation
- justification
- proof
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | formal proof |
establishment of a theorem using inference from the axioms |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(9 entries)
- arwiki برهان فلسفي
- enwiki Formal proof
- eswiki Prueba formal
- frwiki Démonstration formelle
- itwiki Dimostrazione
- nlwiki Formeel bewijs
- ptwiki Derivação formal
- ukwiki Формальне доведення
- zh_yuewiki 形式證明
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(2 entries)
- enwikiquote Demonstration
- itwikiquote Dimostrazione