About: Proofs

Property	Value
rdf:type	skos:Concept
rdfs:label	Proofs
skos:broader	dbpedia:Category:Theorems dbpedia:Category:Mathematics
skos:prefLabel	Proofs
is skos:broader of	dbpedia:Category:Article_proofs dbpedia:Category:Automated_theorem_proving dbpedia:Category:Proof_theory dbpedia:Category:Articles_containing_proofs
is skos:subject of	dbpedia:Cantor's_diagonal_argument dbpedia:Law_of_large_numbers dbpedia:Double_counting_(proof_technique) dbpedia:Commutative_diagram dbpedia:Proof_by_exhaustion dbpedia:Elementary_proof dbpedia:Invalid_proof dbpedia:Mathematical_proof dbpedia:Gödel's_completeness_theorem dbpedia:Combinatorial_proof dbpedia:Conditional_proof dbpedia:Constructive_proof dbpedia:Direct_proof dbpedia:Infinite_descent dbpedia:Q.E.D. dbpedia:Structural_induction dbpedia:Existence_theorem dbpedia:Minimal_counterexample dbpedia:Mathematical_induction dbpedia:Back-and-forth_method dbpedia:Bijective_proof dbpedia:Tombstone_(typography) dbpedia:List_of_mathematical_proofs dbpedia:Of_the_form dbpedia:Original_proof_of_Gödel's_completeness_theorem dbpedia:Proof_by_contrapositive dbpedia:Proof_sketch_for_Gödel's_first_incompleteness_theorem dbpedia:Probabilistic_method dbpedia:Proof_by_intimidation dbpedia:Proofs_from_THE_BOOK dbpedia:Probabilistic_proofs_of_non-probabilistic_theorems dbpedia:Proof_without_words dbpedia:Proof_by_contradiction dbpedia:Proof_of_impossibility dbpedia:Turing's_proof