formal proof (Q1768)

From MaRDI portal
Revision as of 15:10, 29 July 2024 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
establishment of a theorem using inference from the axioms
  • derivation
  • justification
  • proof
Language Label Description Also known as
English
formal proof
establishment of a theorem using inference from the axioms
  • derivation
  • justification
  • proof

Statements

Identifiers

Wikidata QID
Q2762418
0 references
 
    Retrieved from "https://staging.mardi4nfdi.org/w/index.php?title=Item:Q1768&oldid=2646"
    Powered by MediaWiki