{"entities":{"Q2882563":{"pageid":2893288,"ns":120,"title":"Item:Q2882563","lastrevid":51459698,"modified":"2026-01-18T08:38:09Z","type":"item","id":"Q2882563","labels":{"en":{"language":"en","value":"Exploring the computational content of the infinite pigeonhole principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6031078"}},"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":"Q2882563$C5611FC9-3C90-4AF3-AF6C-A3DF86B5F2A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a62c8b4d702911da360b33a639492e32cc64a139","datavalue":{"value":"1259.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882563$6FFE746F-B783-4EA2-B280-7ED23D8693BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f693cbba765a19ae99d4ca0497070d9f5e80341d","datavalue":{"value":{"entity-type":"item","numeric-id":2876076,"id":"Q2876076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882563$C83D25E5-1F5F-44C1-B8A2-F123D7B2B1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"000a0ee59568f95ac474e6925f3a489823044724","datavalue":{"value":{"entity-type":"item","numeric-id":636372,"id":"Q636372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882563$9B6A709F-7F97-4981-A252-1FBB1EFD56C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7a1c120dc379e55cc80f89048abc2e9af9a7f71","datavalue":{"value":{"time":"+2012-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2882563$A437C474-92AE-4F2A-BCAF-E9F090F842B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882563$93C9B02D-A920-4A54-AB3C-48209FC46765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882563$4F999737-65CF-4A0E-B5E5-7585435AFEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882563$E443B5A1-A0AE-41CA-A460-22A08FD80C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882563$3046262B-D1D0-4C1D-9B74-EBE671B4EA53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37f161e588b1f17f662a54236dfd2f70fe66af0e","datavalue":{"value":"6031078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882563$1F3824C6-632B-4FA5-BDF6-2516980C03ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882563$CEDACE87-4866-4DA4-8835-F9D41F8CBC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9face30ad47488a70fa39a20d018ca10baacc48b","datavalue":{"value":"nonconstructive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882563$132C0FF4-3716-4170-B651-546437BBE34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"607de0978137be1b2062e722141c7a46cc30143f","datavalue":{"value":"A-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882563$2445B9D5-C9A0-41FB-BDD6-09EA7EE2E5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a18e4334c7b2d8fa3ab86c83d1ef4d5c919a0","datavalue":{"value":"Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882563$03E34B3F-95A3-4208-8328-12946DA15DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10df274846aafbc26e4f4ebca105556b75c35532","datavalue":{"value":"infinite pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882563$7FEB55DB-CE40-43B4-8350-385D9A7FA5D3","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":"Q2882563$48F0C8BD-6B0F-4688-B387-A3B51673A46B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dda1a987790c38593e2cb96600885235f0be6e8","datavalue":{"value":"https://doi.org/10.1093/logcom/exq011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2882563$571244CA-8E9E-4778-866B-07E7FDECB789","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5831ff31aa5963c6483a7e9ea036c2c77acf9490","datavalue":{"value":"W2006395151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882563$7537C30F-6215-41D0-AE3D-65FF41379CE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bba689d8f60a4ec44a58a03caf4b7fcc75c545b3","datavalue":{"value":"10.1093/LOGCOM/EXQ011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882563$A387CD2F-992C-4BC6-8908-3E7F017608D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fbf4377857663f89151977819feddb5fdde16b1","datavalue":{"value":{"text":"Exploring the computational content of the infinite pigeonhole principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882563$99D034E2-9568-4B28-8039-D385C978B55E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882563$9C16FD2F-287D-433D-8F26-63A10CE113EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5839c49cff4b05b7c8f8c54b6ad535a709aa61d8","datavalue":{"value":{"entity-type":"item","numeric-id":5718567,"id":"Q5718567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a933825d338b38f042be1d5a78897adbc49f60ac","datavalue":{"value":{"amount":"+0.7529692053794861","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":"Q2882563$83AE420C-D44A-48B4-BAB9-F6CC957B8AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f049ad994992d3502281cb465c6a726710ff80d4","datavalue":{"value":{"entity-type":"item","numeric-id":4012886,"id":"Q4012886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70181ea70d275d7e36468b6e09cf3b7db8e451d3","datavalue":{"value":{"amount":"+0.7468460202217102","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":"Q2882563$E14BA7BD-8EDC-4AFA-8DE1-73D2C7A75E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0979c896cfb1612759a330c29034ac6c2a22c8","datavalue":{"value":{"entity-type":"item","numeric-id":3118894,"id":"Q3118894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b83c37bcc6e9d90046a689cbb3113a2ddda3249","datavalue":{"value":{"amount":"+0.7453281879425049","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":"Q2882563$5B343830-A3B1-4929-B4FF-C670A3A64FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0037b042d10908455dbd830bb139aacf188ace7","datavalue":{"value":{"entity-type":"item","numeric-id":2482844,"id":"Q2482844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5ec4b78b4c1c70066b1c6018d584a301d4608a","datavalue":{"value":{"amount":"+0.7324667572975159","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":"Q2882563$518A689D-A6D6-46D1-81FD-11C1BFF62F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4de2f674dc67d9ed71923062e0cb417a719c83","datavalue":{"value":{"entity-type":"item","numeric-id":1882897,"id":"Q1882897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6991d7a506442155fc6f6be3adfff960db78113","datavalue":{"value":{"amount":"+0.7306767106056213","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":"Q2882563$2A36E67D-FC07-4AFC-9695-FE9E3262F351","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2882563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2882563"}}}}}