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

Property	Value
rdfs:subClassOf	yago:Proposition106750804
owl:equivalentClass	yago-res:wordnet_lemma_106751833
owl:sameAs	yago:Lemma106751833
is rdf:type of	dbr:Calderón–Zygmund_lemma dbr:Rolle's_theorem dbr:Factorization_lemma dbr:Mostowski_collapse_lemma dbr:Noether_normalization_lemma dbr:Tucker's_lemma dbr:Summation_by_parts dbr:Berge's_lemma dbr:Algorithmic_Lovász_local_lemma dbr:Horseshoe_lemma dbr:Hotelling's_lemma dbr:Jordan's_lemma dbr:Besicovitch_covering_theorem dbr:Bhaskara's_lemma dbr:Riesz's_lemma dbr:Céa's_lemma dbr:Dehn's_lemma dbr:Doob–Dynkin_lemma dbr:Levi's_lemma dbr:Lindelöf's_lemma dbr:Lindenbaum's_lemma dbr:Weak_formulation dbr:Stewart–Walker_lemma dbr:Van_der_Corput_lemma_(harmonic_analysis) dbr:Pugh's_closing_lemma dbr:Trilemma dbr:Craig_interpolation dbr:Gauss's_lemma dbr:Neyman–Pearson_lemma dbr:Ogden's_lemma dbr:Pyrrho's_lemma dbr:Siegel's_lemma dbr:Whitney_covering_lemma dbr:Watson's_lemma dbr:Rasiowa–Sikorski_lemma dbr:Pumping_lemma_for_regular_languages dbr:Quillen's_lemma dbr:Ehrling's_lemma dbr:Frattini's_argument dbr:Gauss's_lemma_(Riemannian_geometry) dbr:Gauss's_lemma_(number_theory) dbr:Gauss's_lemma_(polynomial) dbr:Bramble–Hilbert_lemma dbr:Morse_theory dbr:Nakayama_lemma dbr:Condensation_lemma dbr:Cooley–Tukey_FFT_algorithm dbr:Sard's_theorem dbr:Snake_lemma dbr:Fundamental_lemma_of_calculus_of_variations dbr:Fundamental_lemma_of_sieve_theory dbr:Kronecker's_lemma dbr:Krull's_theorem dbr:Perfect_group dbr:Piling-up_lemma dbr:Matrix_determinant_lemma dbr:Mazur's_lemma dbr:Bézout's_identity dbr:Hautus_lemma dbr:Johnson–Lindenstrauss_lemma dbr:Lindström–Gessel–Viennot_lemma dbr:Pumping_lemma_for_context-free_languages dbr:Nine_lemma dbr:Short_five_lemma dbr:Estimation_lemma dbr:Euclid's_lemma dbr:Fatou's_lemma dbr:Five_lemma dbr:Diagonal_lemma dbr:Dickson's_lemma dbr:Dini's_theorem dbr:Farkas'_lemma dbr:Fodor's_lemma dbr:Goursat's_lemma dbr:Hilbert's_lemma dbr:Isolation_lemma dbr:Kalman–Yakubovich–Popov_lemma dbr:Kolmogorov's_zero–one_law dbr:Lemma_(mathematics) dbr:Hartogs'_extension_theorem dbr:Pumping_lemma dbr:Szemerédi_regularity_lemma dbr:Grönwall's_inequality dbr:Hadamard's_lemma dbr:Handshaking_lemma dbr:Higman's_lemma dbr:Aubin–Lions_lemma dbr:Itô's_lemma dbr:Cotlar–Stein_lemma dbr:Cousin's_theorem dbr:Covering_lemma dbr:Covering_problem_of_Rado dbr:Schreier's_lemma dbr:Zolotarev's_lemma dbr:Steinitz_exchange_lemma dbr:Abhyankar's_lemma dbr:Lebesgue's_lemma dbr:Hensel's_lemma dbr:Hewitt–Savage_zero–one_law dbr:Schwartz–Zippel_lemma dbr:Woodbury_matrix_identity dbr:Zassenhaus_lemma dbr:Zorn's_lemma dbr:Reciprocity_(electromagnetism) dbr:Artin–Hasse_exponential dbr:Artin–Rees_lemma dbr:Auerbach's_lemma dbr:Borel's_lemma dbr:Borel–Cantelli_lemma dbr:Borel–Carathéodory_theorem dbr:Burnside's_lemma dbr:Sperner's_lemma dbr:Splitting_lemma dbr:Hua's_lemma dbr:Cartan's_lemma dbr:Cesàro_mean dbr:Knaster–Kuratowski–Mazurkiewicz_lemma dbr:Margulis_lemma dbr:Rising_sun_lemma dbr:Schur's_lemma dbr:Schur's_lemma_(from_Riemannian_geometry) dbr:Shadowing_lemma dbr:Slepian's_lemma dbr:Varadhan's_lemma dbr:Riemann–Lebesgue_lemma dbr:Vitali_covering_lemma dbr:Three_subgroups_lemma dbr:Expander_mixing_lemma dbr:Little's_law dbr:Littlewood–Offord_problem dbr:Lovász_local_lemma dbr:Oka's_lemma dbr:König's_lemma dbr:Fitting_lemma dbr:Fixed-point_lemma_for_normal_functions dbr:Malliavin's_absolute_continuity_lemma dbr:Weyl's_lemma_(Laplace_equation) dbr:Schwarz_lemma dbr:Robbins_lemma dbr:Morse–Palais_lemma dbr:Tetralemma dbr:Urysohn's_lemma dbr:Whitehead's_lemma dbr:Shephard's_lemma dbr:Yoneda_lemma dbr:Tube_lemma dbr:Teichmüller–Tukey_lemma dbr:Zig-zag_lemma dbr:Radon's_theorem dbr:Spijker's_lemma
is rdfs:subClassOf of	yago:WikicatCoveringLemmas yago:WikicatLemmas