About: Lemmas

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	1962798 (xsd:integer)
dbo:wikiPageRevisionID	995404519 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Lemmas (en)
skos:broader	dbc:Mathematical_theorems
skos:prefLabel	Lemmas (en)
prov:wasDerivedFrom	wikipedia-en:Category:Lemmas?oldid=995404519&ns=14
is dbo:wikiPageWikiLink of	dbr:Mostowski_collapse_lemma dbr:Tucker's_lemma dbr:Algorithmic_Lovász_local_lemma dbr:Hotelling's_lemma dbr:Ring_lemma dbr:Dehn's_lemma dbr:Dwork's_lemma dbr:Dynkin's_lemma dbr:Ky_Fan_lemma dbr:Levi's_lemma dbr:Liberman's_lemma dbr:Lindelöf's_lemma dbr:Lindenbaum's_lemma dbr:List_of_lemmas 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:Pumping_lemma_for_regular_languages dbr:Quillen's_lemma dbr:Gauss's_lemma_(Riemannian_geometry) dbr:Morse_theory dbr:Sauer–Shelah_lemma dbr:Mackey–Arens_theorem dbr:Kronecker's_lemma dbr:Krull's_separation_lemma dbr:Perfect_group dbr:Piling-up_lemma dbr:Hautus_lemma dbr:Johnson–Lindenstrauss_lemma dbr:Lax-Milgram_lemma dbr:Lebesgue's_number_lemma dbr:Lindström–Gessel–Viennot_lemma dbr:Pumping_lemma_for_context-free_languages dbr:Dynkin_system dbr:F._Riesz's_theorem dbr:Feld-Tai_lemma dbr:Danielson-Lanczos_lemma dbr:Diagonal_lemma dbr:Dickson's_lemma dbr:Gordan's_lemma dbr:Hilbert's_lemma dbr:Isolation_lemma dbr:Kac's_lemma dbr:Kalman–Yakubovich–Popov_lemma dbr:Lemma_(mathematics) dbr:Higman's_lemma dbr:Itô's_lemma dbr:Counting_lemma dbr:Covering_lemma dbr:Big-little-big_lemma dbr:Book_of_Lemmas dbr:Borel–Cantelli_lemma dbr:Sperner's_lemma dbr:Hua's_lemma dbr:Interchange_lemma dbr:Newman's_lemma dbr:Open_and_closed_maps dbr:Cartan's_lemma dbr:Knaster–Kuratowski–Mazurkiewicz_lemma dbr:Margulis_lemma dbr:Schur's_lemma dbr:Shadowing_lemma dbr:Slepian's_lemma dbr:Varadhan's_lemma dbr:Little's_lemma dbr:Littlewood–Offord_problem dbr:Lovász_local_lemma dbr:Finsler's_lemma dbr:Schur's_lemma_(Riemannian_geometry) dbr:Robbins_lemma dbr:Tetralemma dbr:Urysohn's_lemma dbr:Tube_lemma dbr:Thom's_first_isotopy_lemma dbr:Thom's_second_isotopy_lemma
is dcterms:subject of	dbr:Mostowski_collapse_lemma dbr:Tucker's_lemma dbr:Algorithmic_Lovász_local_lemma dbr:Hotelling's_lemma dbr:Ring_lemma dbr:Dehn's_lemma dbr:Dwork's_lemma dbr:Dynkin's_lemma dbr:Ky_Fan_lemma dbr:Levi's_lemma dbr:Liberman's_lemma dbr:Lindelöf's_lemma dbr:Lindenbaum's_lemma dbr:List_of_lemmas 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:Pumping_lemma_for_regular_languages dbr:Quillen's_lemma dbr:Gauss's_lemma_(Riemannian_geometry) dbr:Morse_theory dbr:Sauer–Shelah_lemma dbr:Mackey–Arens_theorem dbr:Kronecker's_lemma dbr:Krull's_separation_lemma dbr:Perfect_group dbr:Piling-up_lemma dbr:Hautus_lemma dbr:Johnson–Lindenstrauss_lemma dbr:Lax-Milgram_lemma dbr:Lebesgue's_number_lemma dbr:Lindström–Gessel–Viennot_lemma dbr:Pumping_lemma_for_context-free_languages dbr:Dynkin_system dbr:F._Riesz's_theorem dbr:Feld-Tai_lemma dbr:Danielson-Lanczos_lemma dbr:Diagonal_lemma dbr:Dickson's_lemma dbr:Gordan's_lemma dbr:Hilbert's_lemma dbr:Isolation_lemma dbr:Kac's_lemma dbr:Kalman–Yakubovich–Popov_lemma dbr:Lemma_(mathematics) dbr:Higman's_lemma dbr:Itô's_lemma dbr:Counting_lemma dbr:Covering_lemma dbr:Big-little-big_lemma dbr:Book_of_Lemmas dbr:Borel–Cantelli_lemma dbr:Sperner's_lemma dbr:Hua's_lemma dbr:Interchange_lemma dbr:Newman's_lemma dbr:Open_and_closed_maps dbr:Cartan's_lemma dbr:Knaster–Kuratowski–Mazurkiewicz_lemma dbr:Margulis_lemma dbr:Schur's_lemma dbr:Shadowing_lemma dbr:Slepian's_lemma dbr:Varadhan's_lemma dbr:Little's_lemma dbr:Littlewood–Offord_problem dbr:Lovász_local_lemma dbr:Finsler's_lemma dbr:Schur's_lemma_(Riemannian_geometry) dbr:Robbins_lemma dbr:Tetralemma dbr:Urysohn's_lemma dbr:Tube_lemma dbr:Thom's_first_isotopy_lemma dbr:Thom's_second_isotopy_lemma
is skos:broader of	dbc:Covering_lemmas dbc:Lemmas_in_set_theory dbc:Lemmas_in_analysis dbc:Lemmas_in_algebra dbc:Lemmas_in_graph_theory dbc:Lemmas_in_number_theory
is skos:related of	dbc:Theorems

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License