formal proof (Q2762418)

From Wikidata
Jump to: navigation, search
establishment of a theorem using inference from the axioms
  • derivation
  • justification
  • proof
[edit]
Language Label Description Also known as
English
formal proof
establishment of a theorem using inference from the axioms
  • derivation
  • justification
  • proof

Statements

[edit]
[edit]
[edit]
[edit]
[edit]
[edit]