Mathematical proof
flowchart AA["Associated Authors (0)"] C[Mathematical proof] BC["Broader Concepts (1)"] NC["Narrower Concepts (12)"] C== skos:broader ==>BC NC== skos:broader ==>C AA== dcterms:relation ==>C click BC "#broader-concepts" click NC "#narrower-concepts" click AA "#associated-authors" NI["add incoming edge"] NO["add outgoing edge"] NI-- ? -->C C-- ? -->NO click NI "#add-incoming-edge" click NO "#add-outgoing-edge" style NI stroke-width:2px,stroke-dasharray: 5 5 style NO stroke-width:2px,stroke-dasharray: 5 5
- Wikidata
- https://www.wikidata.org/wiki/Q11538
- OpenAlex ID
- https://openalex.org/C108710211 (API record)
- OpenAlex Description
- rigorous demonstration that a mathematical statement follows from its premises
- OpenAlex Level [?]
- 2
Broader Concepts
Narrower Concepts
- Analytic proof
- Automated proof checking
- Coinduction
- Computer-assisted proof
- Curry–Howard correspondence
- Formal proof
- Gas meter prover
- Proof assistant
- Proof complexity
- Proof theory
- Sequent calculus
- Zero-knowledge proof
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.