{"entities":{"Q5431613":{"pageid":7461177,"ns":120,"title":"Item:Q5431613","lastrevid":50232110,"modified":"2026-01-13T14:34:57Z","type":"item","id":"Q5431613","labels":{"en":{"language":"en","value":"On Independence of Variants of the Weak Pigeonhole Principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5219653"}},"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":"Q5431613$79FB2E82-2B5D-4C4C-B06C-B056788F4A5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1326d94f4537a39639a78075c5a6e7956ba5605","datavalue":{"value":{"text":"On Independence of Variants of the Weak Pigeonhole Principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5431613$36C27A60-F6D1-4F1D-897B-4753DD1FCB8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f0532bc558a6ed3926e4679082634d241715d4a","datavalue":{"value":"1132.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431613$5BC17738-DF50-4417-871D-4D421E5C9E0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431613$98A617AF-55AF-4E27-AFC0-C4DDAC7712FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"314b76050ef3171781c5f6c923ad9c6a4de18f5b","datavalue":{"value":{"time":"+2007-12-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":"Q5431613$9BEDA7A9-24DA-419E-8BB6-580CFAE30CF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7eaab06d6aafc11ccbad20e60a851a229050e13","datavalue":{"value":"https://semanticscholar.org/paper/8352008c0adb73e8f8b52ed9e8572d16c79f9420","type":"string"},"datatype":"url"},"type":"statement","id":"Q5431613$9C633651-CD09-4B18-AA26-71F4DACB83F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431613$C7EBBD4C-525F-482E-9F2A-CE28B831A3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431613$767DDE6C-84CC-4F28-A38C-06F836446E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431613$8B3130DA-F9A0-40A6-A8F4-1C95489C45E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e53d3c82c84c604a5f9f35c83bf06acec5791d43","datavalue":{"value":"5219653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431613$4CB37E84-3B1E-42DB-948C-967F410200EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431613$1F6E0182-716E-4A48-A5BF-0D76897245AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431613$C608306D-C339-4B87-BBFF-B94F622FA84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f840d37cc775830ed73d0ce0f8037b94107306c6","datavalue":{"value":"KPT witnessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431613$A87553A8-7BD6-419B-8E15-C6AA72D18E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe708dcce91d571d1ebd3853007f0b16521f4c8a","datavalue":{"value":"Boolean circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431613$45A7C15F-D4C1-46E1-AF2A-213571F8CA2F","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":"Q5431613$272720DA-2874-4589-AA51-A5815B20D694","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30e217e29008485db21bb1c346a9d13416f41b27","datavalue":{"value":"W2109248502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431613$610B3737-B2EA-4C3C-B0E9-3B08E6707D0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32c506721fb35bf32fcc693f0782f7546482344d","datavalue":{"value":"10.1093/LOGCOM/EXM017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431613$DA43E7A8-048D-4D9F-9B98-935737BB72DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431613$E584BF76-EF86-40B8-A0D5-FAD3A0E79468","rank":"normal"}],"P1643":[{"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":"b284c40ccf5e3a6a00d648e59b2355af3724faa7","datavalue":{"value":{"amount":"+0.8114684224128723","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":"Q5431613$706E7C64-B1CE-4497-B10E-33A49C020C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334697507061b516809510dc0b216fdc07c433bc","datavalue":{"value":{"entity-type":"item","numeric-id":2383589,"id":"Q2383589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3014e0f1706d2c9fbee4124203b6b6e1dc2e19","datavalue":{"value":{"amount":"+0.790831446647644","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":"Q5431613$F80AD8B2-4EAF-483D-9CA2-B03355D94733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da05fbac9b993755443e247bd8a868445028d37","datavalue":{"value":{"entity-type":"item","numeric-id":1849868,"id":"Q1849868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f1ecbad8406f166a9cefa0af80cc656c551493","datavalue":{"value":{"amount":"+0.7804723978042603","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":"Q5431613$9B4F2A58-9B48-4E06-A4DA-2080A264C707","rank":"normal"},{"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":"ba1cbad95efd50cf0b57e9b7ffd9d7b1c9ef7a13","datavalue":{"value":{"amount":"+0.7768961787223816","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":"Q5431613$FD6EFA93-8A6D-4026-9CFA-429E5B8C199D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8943b179d80b55bc3d9babba280dce23882714ad","datavalue":{"value":{"entity-type":"item","numeric-id":3418087,"id":"Q3418087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5d1b39ec881c8cf5d68b9c756a35a711eaa7fc","datavalue":{"value":{"amount":"+0.7691991925239563","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":"Q5431613$7D3321B4-66A8-49D3-BAB2-D89B80724BC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5431613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5431613"}}}}}