{"entities":{"Q4779142":{"pageid":6808722,"ns":120,"title":"Item:Q4779142","lastrevid":74761956,"modified":"2026-04-15T00:12:21Z","type":"item","id":"Q4779142","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1834646"}},"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":"Q4779142$24AD01D6-916E-49CC-B982-1E78F1BF6D15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce2d93b9b347a090c8c6eaec06f5f845e1f963d3","datavalue":{"value":"0999.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779142$DE6E8442-0403-4167-A855-FC76E5F0FB8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779142$525302D1-61EA-4431-9F0D-0890D3688AA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54398e0bde44a65d9fdb144ae2fdcc29e53d998c","datavalue":{"value":{"time":"+2002-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779142$5AC4126D-6A66-4703-84E3-575EDD173AE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4b1a1805f734d4d6c7f9a0615490d157b073d61","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2136/21360148","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779142$A4DF197F-FB1A-4A26-BA30-2CB5F066BC44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779142$033CB0AB-4CE1-41B1-945E-25863692AA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779142$08E28A91-3750-4D6F-A84C-6B826DAA520D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779142$5EF6E04E-FB86-4385-AEE1-2B5A0CF859C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcefe65d14fee6f5d00f9f5d56d9dacf26cfa79a","datavalue":{"value":"1834646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779142$75C50193-A031-426E-9A04-2B37A73349CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779142$3D67E34C-F4C1-4DE6-83FD-0392B9A8759B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5d788dff212a5ac668b31d3f2ad47b96140a66","datavalue":{"value":"weak pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779142$E2B73124-6207-4308-86E6-74B1FF1BD995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779142$2D02700B-B3EA-473B-976A-BF240E610746","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":"Q4779142$74A58872-B542-45C7-ABAA-DEB63395F744","rank":"normal"}],"P1643":[{"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":"fd542bebc10d8a9fd2a08167bff6482f16198a35","datavalue":{"value":{"amount":"+0.9967483282089232","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":"Q4779142$685DE605-06B6-468C-91A5-E1909F835181","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":"fd542bebc10d8a9fd2a08167bff6482f16198a35","datavalue":{"value":{"amount":"+0.9967483282089232","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":"Q4779142$CDC7E0FE-D184-45C6-9725-B8CD6F67688E","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":"eadb738b180fcbeaa10601daee6e897a26273a4b","datavalue":{"value":{"amount":"+0.8231475353240967","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":"Q4779142$8A60045E-E4B1-41C8-AACF-171E09A98DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74a52fe922110f09f29e30f403cf5cf51fa5d11","datavalue":{"value":{"entity-type":"item","numeric-id":5894824,"id":"Q5894824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2083a459fb7b7754bb005fdb25964b666023ba","datavalue":{"value":{"amount":"+0.8229292631149292","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":"Q4779142$A483CEF0-CCFE-44AF-BFE5-2D5D1CA24EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923e633aa420e72da96d9ede24d142bddd87aee9","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100f551b64c300d1b409b482b946bf18b85fcc03","datavalue":{"value":{"amount":"+0.8002539277076721","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":"Q4779142$81F312E3-7BA1-46A6-A680-93C812D50385","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1834646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1834646"}}}}}