Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/dbtax/Theorem> }
- 15_and_290_theorems type Theorem.
- 2π_theorem type Theorem.
- AF+BG_theorem type Theorem.
- ATS_theorem type Theorem.
- Abelian_and_tauberian_theorems type Theorem.
- Abels_binomial_theorem type Theorem.
- Abels_identity type Theorem.
- Abels_inequality type Theorem.
- Abels_theorem type Theorem.
- Abel–Ruffini_theorem type Theorem.
- Abhyankars_conjecture type Theorem.
- Abhyankars_lemma type Theorem.
- Abhyankar–Moh_theorem type Theorem.
- Abouabdillahs_theorem type Theorem.
- Absorption_(logic) type Theorem.
- Absorption_law type Theorem.
- Abstract_model_theory type Theorem.
- Acyclic_model type Theorem.
- Addition_theorem type Theorem.
- Adiabatic_quantum_computation type Theorem.
- Adiabatic_theorem type Theorem.
- Ados_theorem type Theorem.
- Agmons_inequality type Theorem.
- Ahlswede–Daykin_inequality type Theorem.
- Akhiezers_theorem type Theorem.
- Akra–Bazzi_method type Theorem.
- Albanese_variety type Theorem.
- Albert–Brauer–Hasse–Noether_theorem type Theorem.
- Alexandrov_theorem type Theorem.
- Algebraic_number_field type Theorem.
- Algorithmic_Lovász_local_lemma type Theorem.
- Almgren_regularity_theorem type Theorem.
- Almost_flat_manifold type Theorem.
- Alperin–Brauer–Gorenstein_theorem type Theorem.
- Amitsur–Levitzki_theorem type Theorem.
- Analysts_traveling_salesman_theorem type Theorem.
- Analytic_Fredholm_theorem type Theorem.
- Analytic_subgroup_theorem type Theorem.
- Analyticity_of_holomorphic_functions type Theorem.
- Andersons_theorem type Theorem.
- Andreotti–Frankel_theorem type Theorem.
- Andreotti–Grauert_theorem type Theorem.
- Andreotti–Vesentini_theorem type Theorem.
- Angle_bisector_theorem type Theorem.
- Annulus_theorem type Theorem.
- Apollonius_theorem type Theorem.
- Appell–Humbert_theorem type Theorem.
- Apxc3xa9rys_theorem type Theorem.
- Area_theorem_(conformal_mapping) type Theorem.
- Argument_principle type Theorem.
- Aristarchus_inequality type Theorem.
- Arrival_theorem type Theorem.
- Arrows_impossibility_theorem type Theorem.
- Artin_approximation_theorem type Theorem.
- Artin–Hasse_exponential type Theorem.
- Artin–Rees_lemma type Theorem.
- Artin–Wedderburn_theorem type Theorem.
- Artin–Zorn_theorem type Theorem.
- Artsteins_theorem type Theorem.
- Arzelà–Ascoli_theorem type Theorem.
- Askey–Gasper_inequality type Theorem.
- Asymptotic_equipartition_property type Theorem.
- Atiyah–Bott_fixed-point_theorem type Theorem.
- Atiyah–Segal_completion_theorem type Theorem.
- Atiyah–Singer_index_theorem type Theorem.
- Atkinsons_theorem type Theorem.
- Atkinson–Mingarelli_theorem type Theorem.
- Aubin–Lions_lemma type Theorem.
- Auerbachs_lemma type Theorem.
- Aumanns_agreement_theorem type Theorem.
- Autonomous_convergence_theorem type Theorem.
- Ax–Grothendieck_theorem type Theorem.
- Ax–Kochen_theorem type Theorem.
- Azumas_inequality type Theorem.
- B-theorem type Theorem.
- BEST_theorem type Theorem.
- Babenko–Beckner_inequality type Theorem.
- Babuška–Lax–Milgram_theorem type Theorem.
- Back-and-forth_method type Theorem.
- Baer–Suzuki_theorem type Theorem.
- Baire_category_theorem type Theorem.
- Bakers_theorem type Theorem.
- Balance_theorem type Theorem.
- Balian–Low_theorem type Theorem.
- Balinskis_theorem type Theorem.
- Banach_fixed-point_theorem type Theorem.
- Banach–Alaoglu_theorem type Theorem.
- Banach–Mazur_theorem type Theorem.
- Banach–Stone_theorem type Theorem.
- Banach–Tarski_paradox type Theorem.
- Bapat–Beg_theorem type Theorem.
- Baranyais_theorem type Theorem.
- Barbiers_theorem type Theorem.
- Barlows_law type Theorem.
- Barrows_inequality type Theorem.
- Bartletts_theorem type Theorem.
- Barwise_compactness_theorem type Theorem.
- Basus_theorem type Theorem.
- Bauerian_extension type Theorem.
- Bauer–Fike_theorem type Theorem.