Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/dbtax/Theorem> }
- 15_and_290_theorems type Theorem.
- ATS_theorem type Theorem.
- Abelian_and_tauberian_theorems 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.
- Alexandrov_theorem type Theorem.
- Almgren_regularity_theorem type Theorem.
- Analytic_Fredholm_theorem type Theorem.
- Analytic_subgroup_theorem type Theorem.
- Analyticity_of_holomorphic_functions type Theorem.
- Angle_bisector_theorem type Theorem.
- Annulus_theorem type Theorem.
- Argument_principle type Theorem.
- Arrival_theorem type Theorem.
- Artin_approximation_theorem type Theorem.
- Asymptotic_equipartition_property type Theorem.
- Autonomous_convergence_theorem type Theorem.
- B-theorem type Theorem.
- BEST_theorem type Theorem.
- Back-and-forth_method type Theorem.
- Baire_category_theorem type Theorem.
- Balance_theorem type Theorem.
- Banach_fixed-point_theorem type Theorem.
- Barwise_compactness_theorem type Theorem.
- Bauerian_extension type Theorem.
- Beatty_sequence type Theorem.
- Besicovitch_covering_theorem type Theorem.
- Biconditional_elimination type Theorem.
- Biconditional_introduction type Theorem.
- Bijective_proof type Theorem.
- Bing_metrization_theorem type Theorem.
- Binomial_inverse_theorem type Theorem.
- Binomial_theorem type Theorem.
- Bipolar_theorem type Theorem.
- Blaschke_selection_theorem type Theorem.
- Bochner_identity type Theorem.
- Bonnet_theorem type Theorem.
- Book_of_Lemmas type Theorem.
- Boolean_prime_ideal_theorem type Theorem.
- Borel_determinacy_theorem type Theorem.
- Borel_fixed-point_theorem type Theorem.
- Bott_periodicity_theorem type Theorem.
- Bounded_inverse_theorem type Theorem.
- Brahmagupta_theorem type Theorem.
- Branching_theorem type Theorem.
- British_flag_theorem type Theorem.
- Brouwer_fixed-point_theorem type Theorem.
- Burnside_theorem type Theorem.
- Bussgang_theorem type Theorem.
- Butterfly_theorem type Theorem.
- CHSH_inequality type Theorem.
- CPCTC type Theorem.
- CPT_theorem type Theorem.
- Capital_market_imperfections type Theorem.
- Caristi_fixed-point_theorem type Theorem.
- Case_analysis type Theorem.
- Cassini_and_Catalan_identities type Theorem.
- Cauchy_formula_for_repeated_integration type Theorem.
- Cellular_approximation type Theorem.
- Central_limit_theorem type Theorem.
- Chain_rule type Theorem.
- Chebotaryov_theorem_on_roots_of_unity type Theorem.
- Cheeger_bound type Theorem.
- Chernoff_bound type Theorem.
- Chetayev_instability_theorem type Theorem.
- Chinese_remainder_theorem type Theorem.
- Circle_packing_theorem type Theorem.
- Classical_involution_theorem type Theorem.
- Classification_of_Fatou_components type Theorem.
- Classification_of_finite_simple_groups type Theorem.
- Classification_theorem type Theorem.
- Clausius_theorem type Theorem.
- Closed_and_exact_differential_forms type Theorem.
- Closed_graph_theorem type Theorem.
- Closed_range_theorem type Theorem.
- Cluster_decomposition_theorem type Theorem.
- Coase_theorem type Theorem.
- Cohen_structure_theorem type Theorem.
- Coimage type Theorem.
- Cokernel type Theorem.
- Collage_theorem type Theorem.
- Collineation type Theorem.
- Combinatorial_proof type Theorem.
- Commutant_lifting_theorem type Theorem.
- Commutation_theorem type Theorem.
- Commutative_diagram type Theorem.
- Commutativity_of_conjunction type Theorem.
- Commutator type Theorem.
- Compactness_theorem type Theorem.
- Comparison_theorem type Theorem.
- Completeness_of_atomic_initial_sequents type Theorem.
- Complex_conjugate_root_theorem type Theorem.
- Component_theorem type Theorem.
- Componentwise_inequality type Theorem.
- Compression_theorem type Theorem.
- Condensation_lemma type Theorem.