Knaster–Kuratowski–Mazurkiewicz lemma

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematical_concept
gptkbp:appliesTo	simplices
gptkbp:countryOfOrigin	gptkb:Poland
gptkbp:field	gptkb:combinatorics gptkb:topology
gptkbp:namedAfter	gptkb:Kazimierz_Kuratowski gptkb:Bronisław_Knaster gptkb:Stefan_Mazurkiewicz
gptkbp:usedIn	gptkb:Brouwer_fixed-point_theorem gptkb:Sperner's_lemma
gptkbp:yearProposed	1929
gptkbp:bfsParent	gptkb:Sperner's_lemma
gptkbp:bfsLayer	7
http://www.w3.org/2000/01/rdf-schema#label	Knaster–Kuratowski–Mazurkiewicz lemma