{"entities":{"Q5718678":{"pageid":7748232,"ns":120,"title":"Item:Q5718678","lastrevid":48631918,"modified":"2026-01-05T10:58:52Z","type":"item","id":"Q5718678","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247430"}},"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":"Q5718678$E34FC475-AA49-4380-90E6-316CF0C15D4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe4b6f4cd8177b87160e55a26d42a5adba76a484","datavalue":{"value":"1089.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718678$5F6C572D-1584-483A-B96C-682A957977F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718678$EFC8BB77-C3B1-40D3-B6E0-A6368FDF3B28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5718678$3481F98F-690F-4D86-A17F-BE7C2EFBD89B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718678$8E50A346-A301-4CEF-9CBA-CF888B705886","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9ee4b7fc2282b2b08ecd7f78d46872cf3ecdccf","datavalue":{"value":"2247430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718678$9F04CE2C-9BED-4638-B6E5-37B4CDB74C85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5d788dff212a5ac668b31d3f2ad47b96140a66","datavalue":{"value":"weak pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718678$9595CCAB-BAA2-4024-87F8-20E80C614DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e841b20f130589fc6b8fb419bfb37b3319e98e63","datavalue":{"value":"exponentially large finite relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718678$B2958D75-9B20-4E16-8C12-A849D3FE5C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718678$7F92C401-9157-46A7-A344-A0E34268C7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d2f3d38eabb4007e9bc4af90837b5e448dd487","datavalue":{"value":"weak proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718678$1AD3CB87-BFFC-49D3-AAD1-C925F43468A8","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":"Q5718678$C00DE252-C2C2-4AC9-976C-CBA88F26A922","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":"7003a6874ffa4b43f7fd0cfb3b35165d6df8001d","datavalue":{"value":{"amount":"+0.7897817492485046","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":"Q5718678$EC0BEF8E-0071-4919-AB49-18FD1CC823FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcc53cc0dc881f2942b08c149ce9f9f581dacab","datavalue":{"value":{"entity-type":"item","numeric-id":5402611,"id":"Q5402611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b066ab1bac41cdc8322905d5c6700713108c752a","datavalue":{"value":{"amount":"+0.7515232563018799","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":"Q5718678$0236EC0C-6D84-4EAC-93BC-758E8391815C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6e3512c4a7c64cc8d5fe7df78dfab711d86322","datavalue":{"value":{"entity-type":"item","numeric-id":5311724,"id":"Q5311724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4769824be0bac48688b160dc89856bc7467a09d3","datavalue":{"value":{"amount":"+0.7493977546691895","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":"Q5718678$FFB060AB-8239-44F3-B1E2-08168ADD3D14","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":"64e6d42900e986adfcc496222e3add0be568bdec","datavalue":{"value":{"amount":"+0.7360215187072754","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":"Q5718678$A8AFFBCD-A88E-4B8C-A743-ACB6805582C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73958e283742e376a841f4bf24c4d7073fd8d0e4","datavalue":{"value":{"entity-type":"item","numeric-id":3434537,"id":"Q3434537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe96e66984bf1c3a348d89a8d4d9d5e0860deeb","datavalue":{"value":{"amount":"+0.7344678640365601","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":"Q5718678$A6E906AE-9CFC-49D5-966A-26970C62DAE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5718678","badges":[]}}}}}