About: List of mathematical proofs

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

A list of articles with mathematical proofs:

Property	Value
dbo:abstract	A list of articles with mathematical proofs: (en)
dbo:wikiPageID	255768 (xsd:integer)
dbo:wikiPageLength	5986 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1108321149 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Cantor's_first_uncountability_proof dbr:Cantor's_theorem dbr:Prim's_algorithm dbr:Primitive_recursive_function dbr:Product_topology dbr:Proof_that_22/7_exceeds_π dbr:Proof_that_the_sum_of_the_reciprocals_of_the_primes_diverges dbr:Proofs_of_Fermat's_little_theorem dbr:Quadratic_equation dbr:Rolle's_theorem dbr:Minkowski_inequality dbr:Principle_of_bivalence dbr:Basel_problem dbr:Basis_(linear_algebra) dbr:Bellman–Ford_algorithm dbr:Algebra_of_sets dbr:Algorithmic_information_theory dbr:Hyperbolic_angle dbr:Bertrand's_postulate dbr:Relational_algebra dbr:Riemann_integral dbr:Van_der_Waerden's_theorem dbr:Cantor–Bernstein–Schroeder_theorem dbr:Intuitionistic_logic dbr:Invariance_of_domain dbr:Kőnig's_lemma dbr:Kőnig's_theorem_(graph_theory) dbr:List_of_incomplete_proofs dbr:Power_rule dbr:Proof_of_Bertrand's_postulate dbr:Combinatory_logic dbr:Coset dbr:Mathematical_induction dbr:Mean_value_theorem dbr:Estimation_of_covariance_matrices dbr:Gauss–Markov_theorem dbr:Quotient_rule dbr:List_of_long_proofs dbr:Clique_problem dbr:Co-NP dbr:Fundamental_theorem_of_algebra dbr:Fundamental_theorem_of_arithmetic dbr:Green's_theorem dbr:Multivariate_normal_distribution dbr:Product_Rule dbr:Lindemann–Weierstrass_theorem dbr:Liouville's_theorem_(complex_analysis) dbr:Shor's_algorithm dbr:Combinatorics dbr:Compactness_theorem dbr:Computational_geometry dbr:Harmonic_series_(mathematics) dbr:Kruskal's_algorithm dbr:Sum_rule_in_differentiation dbr:Sum_rule_in_integration dbr:Torque dbr:Banach–Tarski_paradox dbr:Cauchy's_integral_formula dbr:Cayley's_formula dbr:Gale–Shapley_algorithm dbr:Galois_group dbr:Countable dbr:Gödel's_completeness_theorem dbr:Gödel's_ontological_proof dbr:Heine–Borel_theorem dbr:Irrational_number dbr:Linear_independence dbr:No-cloning_theorem dbr:Erdős–Ko–Rado_theorem dbr:Euclidean_algorithm dbr:Euler's_formula dbr:Euler's_theorem dbr:Fermat's_little_theorem dbr:Five_lemma dbr:Angle_of_parallelism dbr:Banach_fixed-point_theorem dbr:Brouwer_fixed-point_theorem dbr:Cayley's_theorem dbr:Direct_proof dbr:Goodstein's_theorem dbr:Mathematical_proof dbr:Pumping_lemma dbr:Pythagorean_theorem dbr:Rao–Blackwell_theorem dbr:Recursion dbr:Group_(mathematics) dbr:Gödel's_incompleteness_theorem dbr:Halting_problem dbr:Itô's_lemma dbc:Mathematical_proofs dbr:Tetris dbr:Hyperbolic_sector dbr:Prime_number dbr:Accumulation_point dbr:Lagrange's_theorem_(group_theory) dbr:Lagrange's_theorem_(number_theory) dbr:Lambda_calculus dbr:Sylow_theorems dbr:Highly_composite_number dbr:Wilson's_theorem dbr:Zorn's_lemma dbr:Bolzano–Weierstrass_theorem dbr:Boolean_ring dbr:Boolean_satisfiability_problem dbr:Burnside's_lemma dbr:Burrows–Abadi–Needham_logic dbr:Polynomial dbr:Splitting_lemma dbr:Square_root_of_2 dbr:Squeeze_theorem dbr:Intermediate_value_theorem dbr:Buckingham_π_theorem dbr:Nash_embedding_theorem dbr:Open_mapping_theorem_(functional_analysis) dbr:Original_proof_of_Gödel's_completeness_theorem dbr:Cantor's_diagonal_argument dbc:Mathematics-related_lists dbr:Ramsey's_theorem dbr:Markov's_inequality dbr:Simpson's_rule dbr:Solvable_group dbr:Tychonoff's_theorem dbr:Euler's_four-square_identity dbr:List_of_theorems dbr:Proof_that_π_is_irrational dbr:Proof_that_e_is_irrational dbr:Ultraparallel_theorem dbr:Five_color_theorem dbr:Urysohn's_lemma dbr:Time_hierarchy_theorem dbr:Rice's_theorem dbr:Invalid_proof dbr:Kőnig's_theorem_(set_theory) dbr:Proof_of_mathematical_induction dbr:Proof_that_0.999..._equals_1 dbr:Cauchy_integral_theorem dbr:Addition_in_N dbr:Generating_a_vector_space dbr:Infinite_series dbr:Integer_partition dbr:Gödel_number dbr:Holomorphic_functions_are_analytic dbr:Ultrafilter_lemma
dbp:wikiPageUsesTemplate	dbt:See_also dbt:Short_description dbt:Mathematical_logic
dcterms:subject	dbc:Mathematical_proofs dbc:Mathematics-related_lists
rdf:type	owl:Thing
rdfs:comment	A list of articles with mathematical proofs: (en)
rdfs:label	List of mathematical proofs (en)
owl:sameAs	wikidata:List of mathematical proofs https://global.dbpedia.org/id/4qijF dbr:List of mathematical proofs
prov:wasDerivedFrom	wikipedia-en:List_of_mathematical_proofs?oldid=1108321149&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:List_of_mathematical_proofs
is dbo:wikiPageRedirects of	dbr:List_of_proofs
is dbo:wikiPageWikiLink of	dbr:List_of_mathematics_reference_tables dbr:History_of_mathematical_notation dbr:Mathematical_proof dbr:List_of_theorems dbr:Lists_of_mathematics_topics dbr:Outline_of_mathematics dbr:List_of_proofs
is foaf:primaryTopic of	wikipedia-en:List_of_mathematical_proofs