Skip to main content

MetaHistoryBook Browse Today Discover Create

Language

Loading…

Sun & Rain Works

Est. 2005 · Eugene, OR

formal proof — MetaHistoryBook

formal proof

establishment of a theorem using inference from the axioms

Wikipedia ↗Wikidata (Q2762418) ↗

Details

Subclass of: document, reasoning
Has parts: theorem
Follows: conjecture
Said to be the same as: mathematical proof

Connected on Wikidata

Subject of

Mining the Archive of Formal Proofs

Nothing in the MetaHistoryBook collection references this item yet.