{"entities":{"Q5894824":{"pageid":7933850,"ns":120,"title":"Item:Q5894824","lastrevid":101876654,"modified":"2026-06-06T03:03:14Z","type":"item","id":"Q5894824","labels":{"en":{"language":"en","value":"A new proof of the weak pigeonhole principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1800318"}},"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":"Q5894824$92AFCF2C-3DB3-40AA-9269-044A6BD93EC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10dfcc0e41411231ecf07b94dfd7a4657bebd8c2","datavalue":{"value":{"text":"A new proof of the weak pigeonhole principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894824$BD51F27B-5108-4700-8E16-05B44D264D01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8a2c7da9c0b79b1f9b87ac87a959a98e75c3602","datavalue":{"value":"1051.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894824$541421D6-C47F-4685-B5DA-AD31A88E5CB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7458267cc15a417eccd24eb44de7acc2ea5a8723","datavalue":{"value":{"entity-type":"item","numeric-id":696976,"id":"Q696976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$9C33A727-6389-4CE7-9A20-817B7D016A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$E1F06DA4-56AB-4D6C-9A22-16DC3DB16C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52d585795e88d2823ecbad6678edab4b820cb00f","datavalue":{"value":{"entity-type":"item","numeric-id":696977,"id":"Q696977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$F138CF35-5190-46DD-9566-0FDA641B135A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$BC0B7BB3-D7AB-4F72-9A90-ECB82EF89809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8755a965cb8fa70e87a63852ed3c1c884a9f938d","datavalue":{"value":{"time":"+2002-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894824$1F020DD6-F458-4B6B-82C1-39F9BE17EDE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894824$3B8D5E67-F5E3-4B48-83DB-D04841D72457","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc4aeac48ee36d164f6cbfe57f388f0b71c4a8db","datavalue":{"value":"1800318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894824$4AB8BDE9-79FA-413A-9A21-1A011A8F7D9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894824$CCFA6E12-C813-42AC-B536-E146539CBD3C","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":"Q5894824$5DDC2AA2-7635-44EE-8977-A9AFB7D015A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23540d919c4fe08b7584aaf3f26fbdb763796095","datavalue":{"value":"https://doi.org/10.1006/jcss.2002.1830","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894824$1249F810-13F7-4A04-85DA-55B975B4599C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35f7163a2e1effe87c68ac38f311aba4d7b102b7","datavalue":{"value":"W4213091458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894824$63E28A44-6C65-49D1-8A59-42117E5BB642","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3185700e408117a493b6f10760201dda69b0cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4779142,"id":"Q4779142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$251E17E4-920B-49F8-87E8-D8F1185AFB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9247f02580b0b7e54414a6a3913c3200e9561a","datavalue":{"value":{"entity-type":"item","numeric-id":4375784,"id":"Q4375784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$91755EA1-4F12-4346-8F96-56B823FCA6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305afa85a8cc04e13d160761258e43b79fcfb022","datavalue":{"value":{"entity-type":"item","numeric-id":1182430,"id":"Q1182430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$93E6EB6B-A6AE-4011-ADC0-2B2F822A86A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$AD9A0F6B-D74C-4A7F-A4B4-DDE19368E0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$7614A4F3-4EC5-4F27-8107-A2FF3F04A925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145db2d6e46a06cd634c4810cc8c691a66452769","datavalue":{"value":{"entity-type":"item","numeric-id":3476809,"id":"Q3476809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$39DC291B-ADC4-4C70-9A6E-B952BD430CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19bada21e08e27b656eb12e6e9fa9312ff6eaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4218929,"id":"Q4218929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$488991FA-9442-4666-B7C3-A82541E017BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5035ead90ebf2e92af4cb88fdfc91c7dfa88c06a","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$7561F1BF-5D04-4309-8D0D-B1962AB3AC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$D585CFE5-13B0-45E3-93B9-22AB72BAD2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$0E17A850-67D3-4B20-A4F6-B9B7006D38A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$46A38E22-EC41-490C-926A-DB3ABA8BC28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$B2C7FE5A-6A21-4A73-B999-A0D210769585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$BC365128-CF3A-4164-A9A5-D2F70E812064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$BD24704E-398D-4D0A-B0BA-E57B82F5881D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$E7D023C1-1773-42E1-ABBA-E836893D6F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8193d7c4b476fe8a410bad3ae820cd367ab9f75f","datavalue":{"value":{"entity-type":"item","numeric-id":5175989,"id":"Q5175989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$36C99CFA-9DEF-464F-A323-9F4466474E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8df2f636bf6cf025358a9786f3f222a9fdee0","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$218D8B61-9BC1-47CC-85B2-67F1CC63A5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$AA9BBB8A-DF60-43ED-8AA8-86AC195DD15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cca51ed53316b4ad3082264c436bf6f35c32278","datavalue":{"value":{"entity-type":"item","numeric-id":4527043,"id":"Q4527043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$0C040EEB-80EC-4D8E-B3EA-E395C3F1138F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249329e7e0c8ff7b716c07e555a3d0848cecaf21","datavalue":{"value":{"entity-type":"item","numeric-id":4141236,"id":"Q4141236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894824$C190AB47-7E85-4916-8174-9A2D279E6DDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2adb2c5e95348826ff3d48df7717f8706df40717","datavalue":{"value":"10.1006/JCSS.2002.1830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894824$722B992C-ED1D-41CD-8E00-B50BCA5F75CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb6ad412a3f718f7044591dc88020bcb5bd979c","datavalue":{"value":{"entity-type":"item","numeric-id":5895202,"id":"Q5895202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf48138e12f7ac8e05f28d0f25649af4db86881e","datavalue":{"value":{"amount":"+0.9895997643470764","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":"Q5894824$5661B470-C1E4-490F-AA82-C3D6CB38EB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a313ae0355a151e08b3e949539235d6f5e8d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":4218929,"id":"Q4218929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912c86e89fda53960f1a005a76e4f98991dcb630","datavalue":{"value":{"amount":"+0.8503818511962891","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":"Q5894824$499A8AA1-D566-4CDC-88B5-6A22D1FCD3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c3b508bbd46323bd542168fae4542209951028","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c405fd7ff74b57614990ea331e8208785c5858a","datavalue":{"value":{"amount":"+0.840903103351593","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":"Q5894824$AD13672D-957D-438F-A5CE-0DFC72D6E00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e75383ce14f396f97b733012c89399c6885a57","datavalue":{"value":{"entity-type":"item","numeric-id":1401230,"id":"Q1401230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a4cc21375ce3416246102457214d54e4b8ac6b","datavalue":{"value":{"amount":"+0.832586407661438","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":"Q5894824$3B98E7B7-64EA-40FA-A499-86D0FFABDAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d478ac6a9d318401b706fb64dc7d74fb19248e","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a4cc21375ce3416246102457214d54e4b8ac6b","datavalue":{"value":{"amount":"+0.832586407661438","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":"Q5894824$352938D5-11AD-4139-99BC-C0AE956E4177","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new proof of the weak pigeonhole principle (scientific article; zbMATH DE number 1800318)","badges":[]}}}}}