Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/MathematicalProofs> . }
Showing items 1 to 31 of
31
with 100 items per page.
- Back-and-forth_method type MathematicalProofs.
- Bijective_proof type MathematicalProofs.
- Cantor's_diagonal_argument type MathematicalProofs.
- Combinatorial_proof type MathematicalProofs.
- Conditional_proof type MathematicalProofs.
- Constructive_proof type MathematicalProofs.
- Direct_proof type MathematicalProofs.
- Double_counting_(proof_technique) type MathematicalProofs.
- Elementary_proof type MathematicalProofs.
- Equalization_(proof) type MathematicalProofs.
- Existence_theorem type MathematicalProofs.
- Infinite_descent type MathematicalProofs.
- Mathematical_fallacy type MathematicalProofs.
- Mathematical_induction type MathematicalProofs.
- Minimal_counterexample type MathematicalProofs.
- Of_the_form type MathematicalProofs.
- Original_proof_of_G%C3%B6del's_completeness_theorem type MathematicalProofs.
- Probabilistic_method type MathematicalProofs.
- Probabilistic_proofs_of_non-probabilistic_theorems type MathematicalProofs.
- Probabilistically_checkable_proof type MathematicalProofs.
- Proof_by_contradiction type MathematicalProofs.
- Proof_by_contrapositive type MathematicalProofs.
- Proof_by_exhaustion type MathematicalProofs.
- Proof_by_intimidation type MathematicalProofs.
- Proof_of_impossibility type MathematicalProofs.
- Proof_sketch_for_G%C3%B6del's_first_incompleteness_theorem type MathematicalProofs.
- Proof_without_words type MathematicalProofs.
- Q.E.D. type MathematicalProofs.
- Structural_induction type MathematicalProofs.
- Tombstone_(typography) type MathematicalProofs.
- Turing's_proof type MathematicalProofs.