Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/List_of_lemmas> ?p ?o }
- List_of_lemmas abstract "This following is a list of lemmas (or, \"lemmata\", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures.0/1 Sorting lemma (comparison-exchange algorithms)Abel's lemma (mathematical series)Abhyankar's lemma (algebraic geometry)Archimedes' lemmas (euclidean geometry)Artin–Rees lemma (commutative algebra) named after Emil Artin and David ReesAubin–Lions lemmaBarbalat's lemma (dynamical systems)Basic perturbation lemma (computer science, algebra)Berge's lemma (graph theory) named after Claude BergeBézout's lemma (number theory)Bhaskara's lemma (Diophantine equations)Blichfeldt's lemma Borel's lemma (partial differential equations)Borel–Cantelli lemma (probability theory)Bounding lemmas, of which there are severalBramble–Hilbert lemma (numerical analysis)Brezis–Lions lemmaBurnside's lemma also known as the Cauchy–Frobenius lemma (group theory)Céa's lemma (numerical analysis)Closed map lemma (topology)Closeness lemma (functions)Commutation lemmas, of which there are severalComposition lemmas, of which there are severalCotlar–Stein lemma (functional analysis)Couchman's lemma (set theory)Counting lemmas, of which there are severalCousin's lemma (integrals)Covering lemma (set theory)Craig interpolation lemma (mathematical logic)Crossing lemma (knot theory, graph theory)Danielson–Lanczos lemma (Fourier transforms)Davis–Figiel–Johnson–Pelczynski factorization lemmaDehn's lemma (geometric topology)Delta lemma (set theory)Deny–Lions lemmaDiagonal lemma (mathematical logic)Dickson's lemma (combinatorics)Dobrushin's lemma (point process theory)Doob–Dynkin lemma (probability theory)Dwork's lemma (number theory)Dynkin lemma (set theory)Ehrling's lemma (functional analysis)Ellis–Numakura lemma (topological semigroups)Estimation lemma (contour integrals)Euclid's lemma (number theory)Expander mixing lemma (graph theory)Expansion lemmas, of which there are severalFactorization lemma (measure theory)Farkas's lemma (linear programming)Fatou's lemma (measure theory)Feinstein's fundamental lemma (probability theory)Fekete's lemma (mathematical analysis)Feld–Tai lemma (electromagnetism)Finsler's lemma (control theory)Fitting lemma (abstract algebra)Five lemma (homological algebra)Fixed-point lemma for normal functions (axiomatic set theory)Fodor's lemma (set theory)Forking lemma (cryptography)Frattini's lemma (finite groups)Friedrichs' lemmaFrostman's lemma (geometric measure theory)Fundamental lemma (Langlands program)Fundamental lemma of calculus of variationsFundamental lemma of interpolation theory (numerical analysis)Fundamental lemma of sieve theory (sieve theory)Gauss's lemmas (polynomials | number theory | Riemannian geometry)Glivenko–Cantelli lemma (statistics)Gödel's diagonal lemma (mathematical logic)Goursat's lemma (algebra)Grönwall's inequality Grönwall's lemma (inequalities)Gromov's convex integration lemmaGross's integration lemmaGrothendieck lemma (differential forms) named after Alexander GrothendieckHandshaking lemma (graph theory)Hardy–Littlewood lemma (differentiation)Harmonic series summation lemmaHaruki's lemma (plane geometry)Hartogs' lemma (several complex variables)Hayashi's connecting lemmaHensel's lemma (commutative rings)Higman's lemma (order theory)Hindley–Rosen lemmaHopf lemma Horseshoe lemma (homological algebra)Hotelling's lemma (envelope theory microeconomics)Hua's lemma (analytic number theory)Huet's strong confluence lemmaInjective test lemma (homological algebra)Integration lemmas, of which there are severalIteration lemmas, of which there are severalItō's lemma (stochastic calculus)Johnson–Lindenstrauss lemma (Euclidean geometry)Jordan's lemma (complex analysis)Kalman–Yakubovich–Popov lemma (system analysis, control theory)Kelly's lemma (graph theory)Klop's lemma (lambda calculus)Knaster–Kuratowski–Mazurkiewicz lemma (fixed-point theory)Knuth's 0-1 sorting lemmaKönig's lemma (graph theory)Kronecker's lemma (infinite sums)Krull's separation lemmaLambda lemma for normally hyperbolic invariant manifolds (topology)Lax–Milgram lemma (differential equations)Lebesgue's number lemma (dimension theory)Leftover hash-lemma (cryptography)Lindelöf's lemma (topology)Lindenbaum's lemma (mathematical logic)Lions' lemmaLittle's lemma (queuing theory)Littlewood–Offord lemma (combinatorics)Łojasiewicz factorization lemmaLovász local lemma (probability theory)Margulis lemma (hyperbolic geometry)Matrix determinant lemma (matrix theory)Matrix inversion lemmaMautner's lemma (representation theory)Morse lemma (differential topology)Moschovakis' coding lemma (set theory)Mostowski collapse lemma (mathematical logic)Nakayama lemma (commutative algebra)Newman's lemma (term rewriting)Neyman–Pearson lemma (statistics)Nine lemma (homological algebra)Noether's normalization lemma (commutative algebra)Ogden's lemma (formal languages)Parallel moves lemmaParity lemmas, of which there are severalPartition lemmas, of which there are severalPing-pong lemma (geometric group theory)Piling-up lemma (linear cryptanalysis)Poincaré lemma of closed and exact differential forms (differential forms)Pólya–Burnside lemmaPrime avoidance lemmaPugh's closing lemmaPumping lemma (formal languages) sometimes called the Bar-Hillel lemmaQuantifier reversal lemmaRacah factorization lemmaRasiowa–Sikorski lemma (set theory)Recursion lemmas, of which there are severalReduction lemmas, of which there are severalRicci's lemma (tensors)Riemann–Lebesgue lemma (harmonic analysis)Rigidity lemma (algebraic geometry)Riesz's lemma (functional analysis)Robbins lemma (statistics)Rouche–Kronecker–Campelli lemma (linear algebra)Sard's lemma (mathematical analysis, singularity theory)Satisfiability coding lemmaSchanuel's lemma (projective modules)Schreier's subgroup lemma (group theory)Schur's lemma (representation theory)Schwarz lemma (complex analysis)Schwartz–Zippel lemma (polynomials)Separation lemmas, of which there are severalShadowing lemma (geometry)Shephard's lemma (microeconomics)Short five lemma (homological algebra)Siegel's lemma (Diophantine approximation)Snake lemma (homological algebra)Sperner's lemma (combinatorics)Splitting lemma (homological algebra)Stein's lemma (probability theory)Stewart–Walker lemma (tensors)Switching lemma (computational complexity theory)Szemerédi regularity lemma (graph theory)Transformation lemmas, of which there are severalTube lemma (topology)Tukey's lemma (metamathematics) also known as the Teichmüller–Tukey lemmaUltrafilter lemma (order theory)Uniform bounding lemmaUrysohn's lemma (general topology)Varadhan's integration lemmaVaughan's lemma (analytic number theory)Verdu–Han lemma (probability theory)Vitali covering lemma (real analysis)Vizing's adjacency lemma (graph theory)Wald's lemma (probability theory)Watson's lemmaWeyl's lemma (Laplace equation) (partial differential equations)Whitehead's lemma (Lie algebras)Yao's XOR lemma (cryptography)Yoneda lemma, (category theory)Zassenhaus lemma (group theory)Zolotarev's lemma (number theory)Zorn's lemma also known as the Kuratowski–Zorn lemma (set theory)".
- List_of_lemmas wikiPageID "599970".
- List_of_lemmas wikiPageLength "10401".
- List_of_lemmas wikiPageOutDegree "350".
- List_of_lemmas wikiPageRevisionID "706151280".
- List_of_lemmas wikiPageWikiLink 1_Sorting_lemma.
- List_of_lemmas wikiPageWikiLink Abhyankars_lemma.
- List_of_lemmas wikiPageWikiLink Abstract_algebra.
- List_of_lemmas wikiPageWikiLink Alexander_Grothendieck.
- List_of_lemmas wikiPageWikiLink Algebra.
- List_of_lemmas wikiPageWikiLink Algebraic_geometry.
- List_of_lemmas wikiPageWikiLink Analytic_number_theory.
- List_of_lemmas wikiPageWikiLink Artin–Hasse_exponential.
- List_of_lemmas wikiPageWikiLink Artin–Rees_lemma.
- List_of_lemmas wikiPageWikiLink Aubin–Lions_lemma.
- List_of_lemmas wikiPageWikiLink Basic_perturbation_lemma.
- List_of_lemmas wikiPageWikiLink Berges_lemma.
- List_of_lemmas wikiPageWikiLink Bhaskaras_lemma.
- List_of_lemmas wikiPageWikiLink Blichfeldts_lemma.
- List_of_lemmas wikiPageWikiLink Book_of_Lemmas.
- List_of_lemmas wikiPageWikiLink Boolean_prime_ideal_theorem.
- List_of_lemmas wikiPageWikiLink Borels_lemma.
- List_of_lemmas wikiPageWikiLink Borel–Cantelli_lemma.
- List_of_lemmas wikiPageWikiLink Bounding_lemma.
- List_of_lemmas wikiPageWikiLink Bramble–Hilbert_lemma.
- List_of_lemmas wikiPageWikiLink Brezis–Lions_lemma.
- List_of_lemmas wikiPageWikiLink Burnsides_lemma.
- List_of_lemmas wikiPageWikiLink Bxc3xa9zouts_identity.
- List_of_lemmas wikiPageWikiLink Category:Lemmas.
- List_of_lemmas wikiPageWikiLink Category:Mathematics-related_lists.
- List_of_lemmas wikiPageWikiLink Category_theory.
- List_of_lemmas wikiPageWikiLink Claude_Berge.
- List_of_lemmas wikiPageWikiLink Closed_and_exact_differential_forms.
- List_of_lemmas wikiPageWikiLink Closeness_lemma.
- List_of_lemmas wikiPageWikiLink Combinatorics.
- List_of_lemmas wikiPageWikiLink Commutation_lemma.
- List_of_lemmas wikiPageWikiLink Commutative_algebra.
- List_of_lemmas wikiPageWikiLink Commutative_ring.
- List_of_lemmas wikiPageWikiLink Complex_analysis.
- List_of_lemmas wikiPageWikiLink Composition_lemma.
- List_of_lemmas wikiPageWikiLink Computational_complexity_theory.
- List_of_lemmas wikiPageWikiLink Computer_science.
- List_of_lemmas wikiPageWikiLink Control_theory.
- List_of_lemmas wikiPageWikiLink Cooley–Tukey_FFT_algorithm.
- List_of_lemmas wikiPageWikiLink Cotlar–Stein_lemma.
- List_of_lemmas wikiPageWikiLink Couchmans_lemma.
- List_of_lemmas wikiPageWikiLink Counting_lemma.
- List_of_lemmas wikiPageWikiLink Cousins_theorem.
- List_of_lemmas wikiPageWikiLink Covering_lemma.
- List_of_lemmas wikiPageWikiLink Craig_interpolation.
- List_of_lemmas wikiPageWikiLink Crossing_number.
- List_of_lemmas wikiPageWikiLink Cryptography.
- List_of_lemmas wikiPageWikiLink Cxc3xa9as_lemma.
- List_of_lemmas wikiPageWikiLink David_Rees_(mathematician).
- List_of_lemmas wikiPageWikiLink Davis–Figiel–Johnson–Pelczynski_factorization_lemma.
- List_of_lemmas wikiPageWikiLink Dehns_lemma.
- List_of_lemmas wikiPageWikiLink Deny–Lions_lemma.
- List_of_lemmas wikiPageWikiLink Derivative.
- List_of_lemmas wikiPageWikiLink Diagonal_lemma.
- List_of_lemmas wikiPageWikiLink Dicksons_lemma.
- List_of_lemmas wikiPageWikiLink Differential_equation.
- List_of_lemmas wikiPageWikiLink Differential_form.
- List_of_lemmas wikiPageWikiLink Differential_topology.
- List_of_lemmas wikiPageWikiLink Dimension_theory.
- List_of_lemmas wikiPageWikiLink Diophantine_approximation.
- List_of_lemmas wikiPageWikiLink Diophantine_equation.
- List_of_lemmas wikiPageWikiLink Dobrushins_lemma.
- List_of_lemmas wikiPageWikiLink Doob–Dynkin_lemma.
- List_of_lemmas wikiPageWikiLink Double_counting_(proof_technique).
- List_of_lemmas wikiPageWikiLink Dynamical_system.
- List_of_lemmas wikiPageWikiLink Dynkin_system.
- List_of_lemmas wikiPageWikiLink Ehrlings_lemma.
- List_of_lemmas wikiPageWikiLink Electromagnetism.
- List_of_lemmas wikiPageWikiLink Ellis–Numakura_lemma.
- List_of_lemmas wikiPageWikiLink Emil_Artin.
- List_of_lemmas wikiPageWikiLink Envelope_theorem.
- List_of_lemmas wikiPageWikiLink Estimation_lemma.
- List_of_lemmas wikiPageWikiLink Euclidean_geometry.
- List_of_lemmas wikiPageWikiLink Euclids_lemma.
- List_of_lemmas wikiPageWikiLink Expander_mixing_lemma.
- List_of_lemmas wikiPageWikiLink Expansion_lemma.
- List_of_lemmas wikiPageWikiLink Factorization_lemma.
- List_of_lemmas wikiPageWikiLink Farkas_lemma.
- List_of_lemmas wikiPageWikiLink Fatous_lemma.
- List_of_lemmas wikiPageWikiLink Feinsteins_fundamental_lemma.
- List_of_lemmas wikiPageWikiLink Finite_group.
- List_of_lemmas wikiPageWikiLink Finslers_lemma.
- List_of_lemmas wikiPageWikiLink Fitting_lemma.
- List_of_lemmas wikiPageWikiLink Five_lemma.
- List_of_lemmas wikiPageWikiLink Fixed-point_lemma_for_normal_functions.
- List_of_lemmas wikiPageWikiLink Fixed-point_theorem.
- List_of_lemmas wikiPageWikiLink Fodors_lemma.
- List_of_lemmas wikiPageWikiLink Forking_lemma.
- List_of_lemmas wikiPageWikiLink Formal_language.
- List_of_lemmas wikiPageWikiLink Fourier_transform.
- List_of_lemmas wikiPageWikiLink Frattinis_argument.
- List_of_lemmas wikiPageWikiLink Friedrichs_lemma.
- List_of_lemmas wikiPageWikiLink Frostman_lemma.
- List_of_lemmas wikiPageWikiLink Function_(mathematics).
- List_of_lemmas wikiPageWikiLink Functional_analysis.