{"entities":{"Q1782334":{"pageid":1793076,"ns":120,"title":"Item:Q1782334","lastrevid":74137287,"modified":"2026-04-14T18:33:10Z","type":"item","id":"Q1782334","labels":{"en":{"language":"en","value":"An elementary direct proof that the Knaster-Kuratowski-Mazurkiewicz lemma implies Sperner's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6939416"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782334$44045279-4215-4031-8C13-D9ED47E94F7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fc0d3c6e6cea2ec0fb66c93b2d07d914f12912e","datavalue":{"value":{"text":"An elementary direct proof that the Knaster-Kuratowski-Mazurkiewicz lemma implies Sperner's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1782334$F0AABE15-9C49-444E-84CF-2635E477072E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55bb33cce64c27b2e2a8323bd6460e02dc484676","datavalue":{"value":"1398.54084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782334$7BAA4201-EB2B-487F-BA31-56678D1024A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe4962edab92b829aca361564fe34ca9df87a020","datavalue":{"value":{"entity-type":"item","numeric-id":268615,"id":"Q268615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782334$59F0AD87-9B2E-4497-B874-B0EBA6F0CB0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"63a07b84aa9c87db98189586ec54a02031e131d5","datavalue":{"value":{"entity-type":"item","numeric-id":110123,"id":"Q110123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782334$056FAA21-7BD3-47E0-B9FA-C925F6C67D88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45b0b308b892e14a056523b8ca557a64add37a38","datavalue":{"value":{"time":"+2018-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1782334$6C416C0F-948E-4ED3-8EF8-F211E1141447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b0c9e67fcfb63bbffe83cb085502e8c2c921f8e","datavalue":{"value":"https://arxiv.org/abs/1706.06740","type":"string"},"datatype":"url"},"type":"statement","id":"Q1782334$28E2CD61-A497-49ED-A81A-5E4ED114CB6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782334$FCEBA193-9A36-4877-9A67-8EF298800B10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e2b08be8a1c3452eb5f412192e013781b90fe9e","datavalue":{"value":"6939416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782334$224A19F0-D433-4EDB-B251-D5B99EC41833","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8508a1dd96fb8ccf33fd2306c27bbd3e68973efc","datavalue":{"value":"Knaster-Kuratowski-Mazurkiewicz","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782334$A62A4CEC-1A4A-4381-9991-BCC63659D40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4139d82f34d158adc56edfcbacd56e5461f8e946","datavalue":{"value":"Sperner","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782334$C1FA0793-1AAE-48F8-A12A-0BE436BE547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42905ee77046a7fe3c2ca86ac1f1080c08ddd1e3","datavalue":{"value":"Brouwer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782334$1677244B-8376-4D49-9001-D3AE3837E678","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782334$F9671DE2-020F-44AB-9BA7-5663E61FD2C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e44707ac26501a9a9c22007da1100da629379fc","datavalue":{"value":"W2702201312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782334$977BA394-C2C0-4F02-91DD-AC8BD28C4A26","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6983c2600dc7bf001d30fa436708cf726ab3c688","datavalue":{"value":"Q124798562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782334$36D327BF-254D-496D-A7BC-03F6D6B8236F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"870eb485cdfca27b84816d2607a4ef045673f560","datavalue":{"value":{"entity-type":"item","numeric-id":3223417,"id":"Q3223417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782334$FDF7387B-EC19-4822-BEA3-39D14B42A949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e4ba4eb364b790eddf3aaddb99509247da3796","datavalue":{"value":{"entity-type":"item","numeric-id":1241522,"id":"Q1241522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782334$6B7AE149-E2B3-460D-A376-ABA93D02CAF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7993e78ea547ca7e938b8195b1e1699a7209b428","datavalue":{"value":"10.1016/J.ECONLET.2017.06.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782334$274C1BBF-185A-46F4-A8CE-C0CF6719AA19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a979d3a6996d224053f0879899aa0a7fc547858","datavalue":{"value":{"entity-type":"item","numeric-id":1996898,"id":"Q1996898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e027f33024b30a2564af6303592d85627889be7c","datavalue":{"value":{"amount":"+0.8197354674339294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782334$EB5CB8B2-1E75-4DDB-9378-289090AD5156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f6f7d9f401b1d6631dd9966f61867e4a3ad237c","datavalue":{"value":{"entity-type":"item","numeric-id":3595354,"id":"Q3595354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b092275b205083c36a0309e031b29df6668186","datavalue":{"value":{"amount":"+0.8188872933387756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782334$5D141083-D9CC-4ED2-B4BC-F7B88749563D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc1dc55f26da8c4b199b7412087df33b693f720","datavalue":{"value":{"entity-type":"item","numeric-id":3415170,"id":"Q3415170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01fbbb603bdcdf431e17d65ccce713715fc11106","datavalue":{"value":{"amount":"+0.8185127973556519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782334$E8BD46AF-7D7F-433A-B771-E6333D85F0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ac4f27b9a226886265681f3df73927cc26adca","datavalue":{"value":{"entity-type":"item","numeric-id":2846999,"id":"Q2846999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e881c5f07fbb2ed6aafeeada2b6123dc2b9147","datavalue":{"value":{"amount":"+0.8142977952957153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782334$95DF9EB9-6CD5-46DA-B275-0111947787C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fe5c39e9bd3b6e71dec6889661bbd3aabae6d6","datavalue":{"value":{"entity-type":"item","numeric-id":2159461,"id":"Q2159461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5271de9708a02f13f450aadf324d2975f52b16de","datavalue":{"value":{"amount":"+0.7999189496040344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1782334$FB3945BC-71B3-4031-A110-BBFE2B82DB89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An elementary direct proof that the Knaster-Kuratowski-Mazurkiewicz lemma implies Sperner's lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_elementary_direct_proof_that_the_Knaster-Kuratowski-Mazurkiewicz_lemma_implies_Sperner%27s_lemma"}}}}}