About: http://dbpedia.org/class/yago/WikicatMathematicalTheorems

Property	Value
rdfs:subClassOf	yago:Theorem106752293
owl:equivalentClass	yago-res:wikicat_Mathematical_theorems
is rdf:type of	dbr:Calderón–Zygmund_lemma dbr:Cantor's_theorem dbr:Cartan–Dieudonné_theorem dbr:Casorati–Weierstrass_theorem dbr:Catalan's_conjecture dbr:Beckman–Quarles_theorem dbr:Beck–Fiala_theorem dbr:Beez's_theorem dbr:Prime_decomposition_(3-manifold) dbr:Prime_number_theorem dbr:Proof_of_Fermat's_Last_Theorem_for_specific_exponents dbr:Rolle's_theorem dbr:Rouché's_theorem dbr:Schneider–Lang_theorem dbr:Schröder–Bernstein_theorem dbr:Schwartz_kernel_theorem dbr:Braess'_paradox dbr:Brauer's_theorem dbr:Engel's_theorem dbr:Enriques–Babbage_theorem dbr:Menger's_theorem dbr:Mertens'_theorems dbr:Minkowski_inequality dbr:Miquel's_theorem dbr:Mostowski_collapse_lemma dbr:Myhill–Nerode_theorem dbr:Noether_normalization_lemma dbr:Löb's_theorem dbr:Mercer's_theorem dbr:Montel's_theorem dbr:Mordell–Weil_theorem dbr:Omega-categorical_theory dbr:Menelaus'_theorem dbr:Routh's_theorem dbr:Summation_by_parts dbr:Varignon's_theorem dbr:Bauer–Fike_theorem dbr:Bayes'_theorem dbr:Binomial_theorem dbr:Bloch's_theorem dbr:Bochner–Yano_theorem dbr:Brahmagupta's_formula dbr:Brahmagupta–Fibonacci_identity dbr:De_Moivre's_formula dbr:Desargues's_theorem dbr:Descartes'_theorem dbr:Hopf–Rinow_theorem dbr:Hurwitz's_theorem_(complex_analysis) dbr:Hurwitz's_theorem_(number_theory) dbr:Jordan's_lemma dbr:Jordan_curve_theorem dbr:Josephus_problem dbr:Bertrand's_postulate dbr:Residue_theorem dbr:Reynolds_transport_theorem dbr:Riemann–Siegel_formula dbr:Riesz's_lemma dbr:Riesz_representation_theorem dbr:Riesz–Fischer_theorem dbr:Cut-elimination_theorem dbr:Céa's_lemma dbr:Burnside_theorem dbr:Uniform_boundedness_principle dbr:Universal_coefficient_theorem dbr:Van_der_Waerden's_theorem dbr:Vieta's_formulas dbr:Vincent's_theorem dbr:Von_Neumann_bicommutant_theorem dbr:De_Branges's_theorem dbr:De_Gua's_theorem dbr:De_Moivre–Laplace_theorem dbr:Deduction_theorem dbr:Descartes'_rule_of_signs dbr:Dominated_convergence_theorem dbr:Doob's_martingale_convergence_theorems dbr:Doob–Dynkin_lemma dbr:Earle–Hamilton_fixed-point_theorem dbr:Easton's_theorem dbr:Intercept_theorem dbr:Invariance_of_domain dbr:Inverse_(logic) dbr:Künneth_theorem dbr:Lindenbaum's_lemma dbr:Isomorphism_theorem dbr:Sylvester's_law_of_inertia dbr:James'_theorem dbr:Artin–Wedderburn_theorem dbr:Proof_by_infinite_descent dbr:Proth's_theorem dbr:Ptolemy's_theorem dbr:Tusi_couple dbr:Thue's_theorem dbr:Compact_space dbr:Constructible_polygon dbr:Craig_interpolation dbr:Cramer's_rule dbr:Maschke's_theorem dbr:Max-flow_min-cut_theorem dbr:Mean_value_theorem dbr:Chen's_theorem dbr:Gauss's_lemma dbr:Gauss–Lucas_theorem dbr:Gauss–Markov_theorem dbr:Gelfand–Mazur_theorem dbr:Gelfand–Naimark_theorem dbr:Gelfond–Schneider_theorem dbr:Geometric_mean_theorem dbr:Noether's_theorem dbr:Ogden's_lemma dbr:Morera's_theorem dbr:Roth's_theorem dbr:Vitali–Hahn–Saks_theorem dbr:Lochs'_theorem dbr:Algebraic_formula_for_the_variance dbr:Rasiowa–Sikorski_lemma dbr:Zeeman's_comparison_theorem dbr:Pumping_lemma_for_regular_languages dbr:Kunita–Watanabe_theorem dbr:Clairaut's_relation dbr:Closed_graph_theorem dbr:Eisenstein's_criterion dbr:Ekeland's_variational_principle dbr:Envelope_theorem dbr:Frobenius_theorem_(differential_topology) dbr:Frobenius_theorem_(real_division_algebras) dbr:Full_employment_theorem dbr:Fundamental_theorem dbr:Fundamental_theorem_of_algebra dbr:Fundamental_theorem_of_arithmetic dbr:Fundamental_theorem_of_calculus dbr:Gauss's_lemma_(number_theory) dbr:Gauss's_lemma_(polynomial) dbr:Gauss–Bonnet_theorem dbr:Green's_theorem dbr:Bourbaki–Witt_theorem dbr:Brahmagupta_theorem dbr:Bramble–Hilbert_lemma dbr:Minkowski's_theorem dbr:Modularity_theorem dbr:Mohr–Mascheroni_theorem dbr:Monotone_class_theorem dbr:Morley's_trisector_theorem dbr:Myers's_theorem dbr:Nakayama_lemma dbr:Conley–Zehnder_theorem dbr:Constructive_proof dbr:Contraposition dbr:Convergence_of_measures dbr:Cook–Levin_theorem dbr:Copula_(probability_theory) dbr:Crystallographic_restriction_theorem dbr:Theorema_Egregium dbr:Erdős–Anning_theorem dbr:Erdős–Gallai_theorem dbr:Erdős–Kac_theorem dbr:Erdős–Mordell_inequality dbr:Erdős–Rado_theorem dbr:Labelled_enumeration_theorem dbr:Sard's_theorem dbr:Wedderburn's_little_theorem dbr:Open_mapping_theorem_(complex_analysis) dbr:Orlicz–Pettis_theorem dbr:Angle_bisector_theorem dbr:Apéry's_constant dbr:Bernstein_inequalities_(probability_theory) dbr:Berry–Esseen_theorem dbr:Leibniz_integral_rule dbr:Lindemann–Weierstrass_theorem dbr:Liouville's_formula dbr:Liouville's_theorem_(Hamiltonian) dbr:Liouville's_theorem_(complex_analysis) dbr:Löwenheim–Skolem_theorem dbr:Bochner's_theorem dbr:Snake_lemma dbr:Stewart's_theorem dbr:Stokes'_theorem dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Stone–Weierstrass_theorem dbr:Sturm's_theorem dbr:Closed_range_theorem dbr:Compactness_theorem dbr:Comparison_theorem dbr:Zeckendorf's_theorem dbr:Fejér's_theorem dbr:Fenchel–Moreau_theorem dbr:Frobenius_theorem dbr:Fréchet–Kolmogorov_theorem dbr:Fubini's_theorem dbr:Fundamental_theorem_of_algebraic_K-theory dbr:Fundamental_theorem_on_homomorphisms dbr:Hahn_decomposition_theorem dbr:Hairy_ball_theorem dbr:Hall's_marriage_theorem dbr:Hellinger–Toeplitz_theorem dbr:Helmholtz_decomposition dbr:De_Bruijn–Erdős_theorem dbr:Horner's_method dbr:Kharitonov's_theorem dbr:Kronecker's_lemma dbr:Krull–Schmidt_theorem dbr:Leray's_theorem dbr:Lester's_theorem dbr:Mostow–Palais_theorem dbr:Pappus's_hexagon_theorem dbr:Poncelet's_closure_theorem dbr:Mackey_topology dbr:Maekawa's_theorem dbr:Stolz–Cesàro_theorem dbr:Sunflower_(mathematics) dbr:Supporting_hyperplane dbr:Sylvester's_theorem dbr:Markov–Kakutani_fixed-point_theorem dbr:Maximum_theorem dbr:May's_theorem dbr:Mazur's_lemma dbr:Mazur–Ulam_theorem dbr:Median_voter_theorem dbr:Parseval's_identity dbr:Automated_theorem_proving dbr:Banach–Alaoglu_theorem dbr:Banach–Mazur_theorem dbr:Banach–Tarski_paradox dbr:Butterfly_theorem dbr:Bézout's_identity dbr:Bézout's_theorem dbr:Cauchy's_integral_formula dbr:Cauchy's_theorem_(group_theory) dbr:Cauchy_product dbr:Cauchy–Schwarz_inequality dbr:Cayley–Hamilton_theorem dbr:Central_limit_theorem dbr:Wald's_equation dbr:Weierstrass_factorization_theorem dbr:Whitney_embedding_theorem dbr:Dudley's_theorem dbr:Girsanov_theorem dbr:Cramér's_theorem dbr:Gödel's_completeness_theorem dbr:Hartman–Grobman_theorem dbr:Hartogs_number dbr:Hasse's_theorem_on_elliptic_curves dbr:Hasse_norm_theorem dbr:Hasse–Minkowski_theorem dbr:Hausdorff_maximal_principle dbr:Heine–Borel_theorem dbr:Heine–Cantor_theorem dbr:Japanese_theorem_for_cyclic_polygons dbr:Jung's_theorem dbr:Lami's_theorem dbr:Law_of_excluded_middle dbr:Law_of_noncontradiction dbr:Law_of_total_probability dbr:Lax_equivalence_theorem dbr:Lebesgue's_decomposition_theorem dbr:Lebesgue's_density_theorem dbr:Lindström's_theorem dbr:Liénard_equation dbr:Skorokhod's_representation_theorem dbr:Pumping_lemma_for_context-free_languages dbr:Tennenbaum's_theorem dbr:Schur_decomposition dbr:Schwarz–Ahlfors–Pick_theorem dbr:Representation_theorem dbr:Nine_lemma dbr:Schauder_fixed_point_theorem dbr:Riemann–Hurwitz_formula dbr:Uniformly_convex_space dbr:E_(mathematical_constant) dbr:Erdős–Ko–Rado_theorem dbr:Euclid's_lemma dbr:Euclid's_theorem dbr:Euclidean_division dbr:Euler's_formula dbr:Euler's_theorem dbr:Faltings's_theorem dbr:Fatou's_lemma dbr:Fermat's_Last_Theorem dbr:Fermat's_little_theorem dbr:Five_lemma dbr:Fixed-point_theorem dbr:Banach_fixed-point_theorem dbr:Barrow's_inequality dbr:Brauer–Suzuki_theorem dbr:Brianchon's_theorem dbr:Brouwer_fixed-point_theorem dbr:No_free_lunch_theorem dbr:Pappus's_centroid_theorem dbr:Parallel_axis_theorem dbr:Pascal's_theorem dbr:Carathéodory's_extension_theorem dbr:Caristi_fixed-point_theorem dbr:Cauchy's_integral_theorem dbr:Cauchy_theorem dbr:Cauchy–Binet_formula dbr:Cauchy–Kowalevski_theorem dbr:Cavalieri's_principle dbr:Cayley's_theorem dbr:Chebotarev's_density_theorem dbr:Bernstein's_theorem dbr:Bertrand–Diquet–Puiseux_theorem