Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
http://dbpedia.org/class/yago/Proposition106750804
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
rdfs:
subClassOf
yago
:Statement106722453
owl:
equivalentClass
yago-res
:wordnet_proposition_106750804
is
rdf:
type
of
dbr
:Calderón–Zygmund_lemma
dbr
:Cantor's_theorem
dbr
:Carleson's_theorem
dbr
:Carlson's_theorem
dbr
:Carnot's_theorem_(thermodynamics)
dbr
:Cartan–Dieudonné_theorem
dbr
:Casorati–Weierstrass_theorem
dbr
:Catalan's_conjecture
dbr
:Amdahl's_law
dbr
:Amitsur–Levitzki_theorem
dbr
:Beauville–Laszlo_theorem
dbr
:Beck's_monadicity_theorem
dbr
:Beckman–Quarles_theorem
dbr
:Beck–Fiala_theorem
dbr
:Beez's_theorem
dbr
:Behnke–Stein_theorem
dbr
:Belevitch's_theorem
dbr
:Belyi's_theorem
dbr
:Bendixson–Dulac_theorem
dbr
:Poynting's_theorem
dbr
:Preissman's_theorem
dbr
:Prime_decomposition_(3-manifold)
dbr
:Prime_number_theorem
dbr
:Proof_of_Fermat's_Last_Theorem_for_specific_exponents
dbr
:Proofs_of_Fermat's_little_theorem
dbr
:Propositional_formula
dbr
:Prékopa–Leindler_inequality
dbr
:Rolle's_theorem
dbr
:Rouché's_theorem
dbr
:Schilder's_theorem
dbr
:Schneider–Lang_theorem
dbr
:Schröder–Bernstein_theorem
dbr
:Schuette–Nesbitt_formula
dbr
:Schwartz_kernel_theorem
dbr
:Braess'_paradox
dbr
:Brauer's_theorem
dbr
:Engel's_law
dbr
:Engel's_theorem
dbr
:Enriques–Babbage_theorem
dbr
:Factorization_lemma
dbr
:Menger's_theorem
dbr
:Mertens'_theorems
dbr
:Midy's_theorem
dbr
:Minkowski_inequality
dbr
:Miquel's_theorem
dbr
:Mirsky's_theorem
dbr
:Modigliani–Miller_theorem
dbr
:Mostow_rigidity_theorem
dbr
:Mostowski_collapse_lemma
dbr
:Myhill–Nerode_theorem
dbr
:Noether_normalization_lemma
dbr
:Lévy's_modulus_of_continuity_theorem
dbr
:Löb's_theorem
dbr
:Haag–Lopuszanski–Sohnius_theorem
dbr
:Mellin_inversion_theorem
dbr
:Mercer's_theorem
dbr
:Mergelyan's_theorem
dbr
:Meusnier's_theorem
dbr
:Monodromy_theorem
dbr
:Monotonicity_of_entailment
dbr
:Monsky's_theorem
dbr
:Montel's_theorem
dbr
:Mordell–Weil_theorem
dbr
:Moreau's_theorem
dbr
:Mori–Nagata_theorem
dbr
:Rellich–Kondrachov_theorem
dbr
:Omega-categorical_theory
dbr
:On_a_New_Organic_Base_in_the_Coca_Leaves
dbr
:Paris–Harrington_theorem
dbr
:Menelaus'_theorem
dbr
:Tucker's_lemma
dbr
:Routh's_theorem
dbr
:Summation_by_parts
dbr
:Weber's_theorem
dbr
:Probabilistic_proposition
dbr
:Proizvolov's_identity
dbr
:Side-approximation_theorem
dbr
:Varignon's_theorem
dbr
:Bauer–Fike_theorem
dbr
:Bayes'_theorem
dbr
:Beatty_sequence
dbr
:Bell's_theorem
dbr
:Beltrami's_theorem
dbr
:Berge's_lemma
dbr
:Berger–Kazdan_comparison_theorem
dbr
:Bernoulli's_principle
dbr
:Bertrand's_theorem
dbr
:Binomial_theorem
dbr
:Bloch's_theorem
dbr
:Bochner–Yano_theorem
dbr
:Bohr–Mollerup_theorem
dbr
:Bohr–van_Leeuwen_theorem
dbr
:Borel–Weil_theorem
dbr
:Borel–Weil–Bott_theorem
dbr
:Bounded_inverse_theorem
dbr
:Brahmagupta's_formula
dbr
:Brahmagupta–Fibonacci_identity
dbr
:Briggs_Initiative
dbr
:De_Bruijn–Erdős_theorem_(incidence_geometry)
dbr
:De_Moivre's_formula
dbr
:De_Rham_cohomology
dbr
:Density_functional_theory
dbr
:Desargues's_theorem
dbr
:Descartes'_theorem
dbr
:Algebraic_number_field
dbr
:Algorithmic_Lovász_local_lemma
dbr
:Almgren_regularity_theorem
dbr
:Almost_flat_manifold
dbr
:Annulus_theorem
dbr
:Appell–Humbert_theorem
dbr
:Apéry's_theorem
dbr
:Archimedes'_principle
dbr
:Area_theorem_(conformal_mapping)
dbr
:Argument_principle
dbr
:Homography
dbr
:Hopf–Rinow_theorem
dbr
:Horseshoe_lemma
dbr
:Hotelling's_lemma
dbr
:Hurwitz's_theorem_(complex_analysis)
dbr
:Hurwitz's_theorem_(composition_algebras)
dbr
:Hurwitz's_theorem_(number_theory)
dbr
:Jordan's_lemma
dbr
:Jordan_curve_theorem
dbr
:Josephus_problem
dbr
:Bertrand's_ballot_theorem
dbr
:Bertrand's_postulate
dbr
:Besicovitch_covering_theorem
dbr
:Betti's_theorem
dbr
:Beurling–Lax_theorem
dbr
:Bhaskara's_lemma
dbr
:Pentagonal_number_theorem
dbr
:Petersen's_theorem
dbr
:Reshetnyak_gluing_theorem
dbr
:Residue_theorem
dbr
:Resolution_(logic)
dbr
:Reynolds_transport_theorem
dbr
:Ribet's_theorem
dbr
:Riemann_integral
dbr
:Riemann–Siegel_formula
dbr
:Riesz's_lemma
dbr
:Riesz_representation_theorem
dbr
:Riesz–Fischer_theorem
dbr
:Riesz–Markov–Kakutani_representation_theorem
dbr
:Riesz–Thorin_theorem
dbr
:Cubic_reciprocity
dbr
:Cut-elimination_theorem
dbr
:Cyclic_surgery_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
:Virial_theorem
dbr
:Vitali–Carathéodory_theorem
dbr
:Vizing's_theorem
dbr
:Von_Neumann_bicommutant_theorem
dbr
:Von_Staudt–Clausen_theorem
dbr
:Dawson–Gärtner_theorem
dbr
:De_Branges's_theorem
dbr
:De_Bruijn's_theorem
dbr
:De_Bruijn–Erdős_theorem_(graph_theory)
dbr
:De_Finetti's_theorem
dbr
:De_Franchis_theorem
dbr
:De_Gua's_theorem
dbr
:De_Moivre–Laplace_theorem
dbr
:De_Morgan's_laws
dbr
:California_Proposition_187
dbr
:California_Proposition_18_(1958)
dbr
:California_Proposition_19_(2010)
dbr
:California_Proposition_1A_(2008)
dbr
:California_Proposition_8_(2008)
dbr
:California_elections,_2009
dbr
:Decision_Linear_assumption
dbr
:Decisional_Diffie–Hellman_assumption
dbr
:Decisional_composite_residuosity_assumption
dbr
:Deduction_theorem
dbr
:Degen's_eight-square_identity
dbr
:Dehn's_lemma
dbr
:Descartes'_rule_of_signs
dbr
:Destructive_dilemma
dbr
:Dominated_convergence_theorem
dbr
:Donaldson's_theorem
dbr
:Donsker's_theorem
dbr
:Doob's_martingale_convergence_theorems
dbr
:Doob–Dynkin_lemma
dbr
:Doob–Meyer_decomposition_theorem
dbr
:Double_centralizer_theorem
dbr
:Double_limit_theorem
dbr
:Double_negation
dbr
:Double_suspension_theorem
dbr
:Duggan–Schwartz_theorem
dbr
:Dunford–Schwartz_theorem
dbr
:Dvoretzky's_theorem
dbr
:Dynkin's_formula
dbr
:Dévissage
dbr
:Earle–Hamilton_fixed-point_theorem
dbr
:Earnshaw's_theorem
dbr
:Easton's_theorem
dbr
:Index_of_a_subgroup
dbr
:Infinite-dimensional_Lebesgue_measure
dbr
:Initial_value_theorem
dbr
:Inscribed_angle
dbr
:Integer_factorization
dbr
:Intensity_of_preference
dbr
:Intercept_theorem
dbr
:Invariance_of_domain
dbr
:Inverse_(logic)
dbr
:Inverse_function_theorem
dbr
:Jacobi's_four-square_theorem
dbr
:Jacobson–Bourbaki_theorem
dbr
:Kuratowski's_theorem
dbr
:Kurosh_subgroup_theorem
dbr
:König's_theorem_(complex_analysis)
dbr
:König's_theorem_(kinetics)
dbr
:Künneth_theorem
dbr
:Kōmura's_theorem
dbr
:Kőnig's_theorem_(graph_theory)
dbr
:L-balance_theorem
dbr
:Lethargy_theorem
dbr
:Levi's_lemma
dbr
:Levitzky's_theorem
dbr
:Liberal_paradox
dbr
:Lickorish–Wallace_theorem
dbr
:Lie's_third_theorem
dbr
:Lie–Kolchin_theorem
dbr
:Lie–Palais_theorem
dbr
:Lindeberg's_condition
dbr
:Lindelöf's_lemma
dbr
:Lindelöf's_theorem
dbr
:Lindenbaum's_lemma
dbr
:Chou's_invariance_theorem
dbr
:Isomorphism_theorem
dbr
:Japanese_theorem
dbr
:Marcinkiewicz_interpolation_theorem
dbr
:Sylvester's_law_of_inertia
dbr
:James'_theorem
dbr
:Radó's_theorem_(Riemann_surfaces)
dbr
:Tarski's_circle-squaring_problem
dbr
:Truth-bearer
dbr
:Weak_formulation
dbr
:Stewart–Walker_lemma
dbr
:Tilted_large_deviation_principle
dbr
:Peeling_theorem
dbr
:Preimage_theorem
dbr
:Vafa–Witten_theorem
dbr
:Whitehead_theorem
dbr
:Artin–Wedderburn_theorem
dbr
:Proposition_U
dbr
:Van_der_Corput_lemma_(harmonic_analysis)
dbr
:Proof_by_infinite_descent
dbr
:Proth's_theorem
dbr
:Ptolemy's_theorem
dbr
:Public_choice
dbr
:Pugh's_closing_lemma
dbr
:Trilemma
dbr
:Novikov's_compact_leaf_theorem
dbr
:Peirce's_law
dbr
:Propositional_representation
dbr
:Thermodynamic_potential
dbr
:Tusi_couple
dbr
:Robertson–Seymour_theorem
dbr
:Robin_boundary_condition
dbr
:Robinson's_joint_consistency_theorem
dbr
:Space_hierarchy_theorem
dbr
:Scheffé’s_lemma
dbr
:Thue's_theorem
dbr
:Commutation_theorem
dbr
:Compact_space
dbr
:Consensus_theorem
dbr
:Conservativity_theorem
dbr
:Constitution_of_California
dbr
:Constructible_polygon
dbr
:Convolution_theorem
dbr
:Correspondence_theorem_(group_theory)
dbr
:Craig_interpolation
dbr
:Cramer's_rule
dbr
:Crofton_formula
dbr
:Analyst's_traveling_salesman_theorem
dbr
:Analytic_Fredholm_theorem
dbr
:Analytic_subgroup_theorem
dbr
:Analyticity_of_holomorphic_functions
dbr
:Anderson's_theorem
dbr
:Maschke's_theorem
dbr
:Max-flow_min-cut_theorem
dbr
:Mean_value_theorem
dbr
:Chen's_theorem
dbr
:Cheng's_eigenvalue_comparison_theorem
dbr
:Chetaev_instability_theorem
dbr
:Cheung–Marks_theorem
dbr
:Chevalley's_structure_theorem
dbr
:Chevalley–Shephard–Todd_theorem
dbr
:Chevalley–Warning_theorem
dbr
:Elitzur's_theorem
dbr
:Elliptic_boundary_value_problem
dbr
:Chomsky–Schützenberger_theorem
dbr
:Gauss's_lemma
dbr
:Gaussian_integral
dbr
:Gauss–Lucas_theorem
is
rdfs:
subClassOf
of
yago
:WikicatCaliforniaBallotPropositions
yago
:Axiom106753550
yago
:Conclusion106753030
yago
:Converse106751742
yago
:Lemma106751833
yago
:Negation106751572
yago
:Particular106751142
yago
:Postulate106753299
yago
:Theorem106752293
yago
:Universal106751367
yago
:WikicatPropositions
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License