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

Identifiers

 
edit
    edit
      edit
      edit
        edit
          edit
            edit