{"entities":{"Q5158115":{"pageid":7187686,"ns":120,"title":"Item:Q5158115","lastrevid":91443857,"modified":"2026-06-04T23:11:00Z","type":"item","id":"Q5158115","labels":{"en":{"language":"en","value":"Where pigeonhole principles meet Koenig lemmas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7412277"}},"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":"Q5158115$7501852E-D5D1-4A68-87C1-F2435B74C84B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8f5422788b296456d1ac08b3d2f01b381192272","datavalue":{"value":{"text":"Where pigeonhole principles meet Koenig lemmas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5158115$899750E3-41FA-4BC8-83A2-7915F17CB02F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63ea68637f5cfe48b0d0d77e5f0fa82323c89d78","datavalue":{"value":{"time":"+2021-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5158115$7CA7AD2A-D860-4D6D-AD36-FCCD9BC8F4F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f0e4fabb78d02247e4d1df7539206cb850a848b","datavalue":{"value":"https://arxiv.org/abs/1912.03487","type":"string"},"datatype":"url"},"type":"statement","id":"Q5158115$3ED50415-88F7-4CA6-95A4-A583BBBBB02B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158115$3AF5B581-DAB3-4F20-898A-98C32781A780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158115$81B894F9-FB27-48C8-8A18-ECA63DF9B9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158115$58EF0018-4BF4-47CE-969D-E2D6AFA4F254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158115$1E8F542D-7826-4AF0-88F6-9520229CFEB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52ad04af80376d1d85c7b6af84511d09c0664679","datavalue":{"value":"7412277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158115$3B3F4EEF-3F41-49A4-986E-81DCE72DBCBD","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":"Q5158115$FF89B8EF-FEE3-4DB5-958F-05CCE854E088","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"424f894d7fbcd149e00465686fdf50169850d394","datavalue":{"value":"W3197943137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158115$C620A9DC-E5EF-40E0-8DD8-571533E6554A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bc06dbf3731697a67c4cf4f2c88c3e70cd5b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3136460,"id":"Q3136460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$47319BCC-3572-4DBC-8915-F7829E75674D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea72a0b6f492719735a88c38789be486b04287bd","datavalue":{"value":{"entity-type":"item","numeric-id":714719,"id":"Q714719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$BFB9048F-86DF-4554-BA31-1BDD512CCB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c36d3f2be7827491b5673d0e04c23217f1388","datavalue":{"value":{"entity-type":"item","numeric-id":3190948,"id":"Q3190948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$A5C958DD-43B5-4747-866C-7D324F273917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9261d074908cf9696109c50a66e4ac4f08d1d65","datavalue":{"value":{"entity-type":"item","numeric-id":507201,"id":"Q507201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$2BEA7E5D-C54E-468D-9E42-240E4FA22CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ff0dc6531ee3de7e4a13824d333694a738501","datavalue":{"value":{"entity-type":"item","numeric-id":5233979,"id":"Q5233979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$AC67F0EA-C9FE-4A89-A29D-01A5FF3707F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9182e1e08dd41cf99fb976a8a02c7dd5bddd4bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4916553,"id":"Q4916553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$6827A390-5A31-4FF7-96E3-40E0B621A880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c50c5389506b48a40cc5f50cb3507687109d220","datavalue":{"value":{"entity-type":"item","numeric-id":4931100,"id":"Q4931100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$0BA8F589-EB66-41B2-8A58-493E6ECBB145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bfec257825aa3f55ed80ef6a8cd92cb1d74daa9","datavalue":{"value":{"entity-type":"item","numeric-id":3688388,"id":"Q3688388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$AE9162F7-7FF5-48DF-94B0-DB179417EF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7b8abfbc712d8f958a932b891f007a0aba90c9","datavalue":{"value":{"entity-type":"item","numeric-id":3414770,"id":"Q3414770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$E557A53E-4E5C-4CEF-B44C-4B44F51FD6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cefe670f9982454779d95f4e88d1f7db605d5e","datavalue":{"value":{"entity-type":"item","numeric-id":4314687,"id":"Q4314687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$49D4A127-62C5-40A1-9C7F-B7FEA307BCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6e4157373fd58274a40973fa66ad7b141c13cd","datavalue":{"value":{"entity-type":"item","numeric-id":3962995,"id":"Q3962995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$92932D93-8F73-42EE-9234-6F2E55764086","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":"Q5158115$866F3C51-559F-4930-9D20-ABF48D7FF3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$695F979D-7AE9-45EE-8F6F-2886249B158D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93349138c836c2e5d53066aa25678af557a254a","datavalue":{"value":{"entity-type":"item","numeric-id":1913629,"id":"Q1913629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$458FBC69-D06F-40DF-9978-19FAB72F1E9E","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":"Q5158115$91C74211-13D1-42FA-8EE6-764EEB72584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f71c65f6603cecb67d9b8266a9670a9f8a421e","datavalue":{"value":{"entity-type":"item","numeric-id":3758821,"id":"Q3758821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$0536CB64-1BF6-446A-8BD5-B32EAA695A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054f3f8b0785864466d242030e47b1076d46b298","datavalue":{"value":{"entity-type":"item","numeric-id":3931391,"id":"Q3931391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$28872577-9ECC-412C-9883-7B48AA82C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda7fe08a90908c83832d0367439fbd2a7b4034d","datavalue":{"value":{"entity-type":"item","numeric-id":3853628,"id":"Q3853628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$758684E1-0CA2-4EEA-853C-6FE12660CF26","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":"Q5158115$48DCC64F-7E1F-4279-AC15-6C0B0DF45C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98ec6ee902b0e405217f4c97bc503839cc2ad55","datavalue":{"value":{"entity-type":"item","numeric-id":1644984,"id":"Q1644984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$7F418C58-4901-4E71-BAF0-9B52C99FFE59","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":"Q5158115$6FCEBFEF-5493-442D-AAEC-6DFC87F4E0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145791be41afb1e842f815f01a740997a825544","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$153A7CA5-2E57-4153-BDD8-05322299A3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$C5A96130-3D91-48E5-9C5C-489E286634E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7410f2b3f3aa678cbe756d1c8df423b0162108","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$C574D380-308B-4E9F-8C29-5719110C8836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9350e5bd2483453be87e332e76349d3a3f76f138","datavalue":{"value":{"entity-type":"item","numeric-id":1849868,"id":"Q1849868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$F12707C6-939F-4399-BEF5-06A6E7C66D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ac8787e7c7893030486590f5fa75efd9f4d57e","datavalue":{"value":{"entity-type":"item","numeric-id":2639061,"id":"Q2639061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158115$E6C6F2F3-3F9A-4CAF-90EB-AE573709C2DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f965ad127608dfb1d149f465cdd6858c8c02592","datavalue":{"value":"10.1090/TRAN/8494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158115$42462594-FFB2-48DA-AF58-0BE2D2E41549","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4020f227551d3c2817e85f1106eecce6d38a6970","datavalue":{"value":{"entity-type":"item","numeric-id":5163163,"id":"Q5163163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"765b32bf01ca4e4aeb8de4c8745c2365b45a31de","datavalue":{"value":{"amount":"+0.7725716829299927","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":"Q5158115$C1B282A0-1B37-4019-B0C4-B671C21F9266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69eb4dbdbb3c409ff8dbace80d07f0623b6bf2c9","datavalue":{"value":{"entity-type":"item","numeric-id":3464620,"id":"Q3464620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a97483d6eac5938c190d5085a1158723260a4f","datavalue":{"value":{"amount":"+0.7684285640716553","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":"Q5158115$99C6FBE1-45A1-429A-85F5-4DEA8C606BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e4df56d75e71496ae2fc7a585d83a906c206ca","datavalue":{"value":{"entity-type":"item","numeric-id":4899173,"id":"Q4899173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245e128026fdc99f9641bc89ff0ea5bacde412d9","datavalue":{"value":{"amount":"+0.7527316808700562","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":"Q5158115$9D3BB665-F9D6-40B0-9020-24420DC2347A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfa6eae297280826677d4e790801661b26b32ae","datavalue":{"value":{"entity-type":"item","numeric-id":2313367,"id":"Q2313367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a167b880fa57fb4bfccd8d96c7be7b9fc631d55","datavalue":{"value":{"amount":"+0.7482220530509949","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":"Q5158115$3EB45E75-25FF-442D-A9ED-3D5645B04135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1b88dfe3c026a315c96829e2ef6edddce93dfe","datavalue":{"value":{"entity-type":"item","numeric-id":1762361,"id":"Q1762361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954be2b101296ad5d4eb7e1326ef251215b6581a","datavalue":{"value":{"amount":"+0.7451608777046204","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":"Q5158115$69E57853-2811-4E19-B59D-4D2AA9652C22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Where pigeonhole principles meet Koenig lemmas","badges":[]}}}}}