{"entities":{"Q4630802":{"pageid":6660384,"ns":120,"title":"Item:Q4630802","lastrevid":53405333,"modified":"2026-01-24T22:04:28Z","type":"item","id":"Q4630802","labels":{"en":{"language":"en","value":"A proof complexity generator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7046725"}},"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":"Q4630802$03474423-37E0-4D9C-A228-350FF941A5E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e45df9a9557595160420df18ca87f8006bee996","datavalue":{"value":"1419.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630802$688CC04C-6695-4838-B1E1-AE7F05B4255B","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":"Q4630802$79883ABD-E82B-459B-A254-329A1F9B01F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42f5a203e12a88e86db3449a4fde34dbee6430d","datavalue":{"value":{"time":"+2019-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630802$9C6B3BDC-1FAB-4AB6-936F-E912E065421B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630802$20699436-2D58-4811-9744-01CFFD299BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630802$2D4937F2-53E2-400C-BDC5-DBAE2961A8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630802$4C0746EB-9CAB-418A-BC3D-33EB19BCDCFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2792d8d36edb487348e4943c210e16a11865bd2","datavalue":{"value":"7046725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630802$1FAEA0AD-B55C-4197-94B7-322E31E6517D","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":"Q4630802$7DACEB74-44B6-44DA-A14B-331140C1BA66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56f6cc49e8babb67d365ccbe97ecae50ca12879","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a70f26345b58e84d3455dfd3ace3d2bd17feaa6","datavalue":{"value":{"amount":"+0.8322237730026245","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":"Q4630802$03583A44-41C5-4B09-87C0-153082487D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d4fb9568a7bd9b4eebd05bcf19edb58a76ced7","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d70dbdb520a748a73c2182e7137543fff35482","datavalue":{"value":{"amount":"+0.8281776309013367","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":"Q4630802$7F1FD1EA-F416-4A6F-94EA-DF96F0D1BD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5a0e042b24fe5f31f61b7b6b0d22521e19d98a","datavalue":{"value":{"entity-type":"item","numeric-id":3094358,"id":"Q3094358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217f00881b2ae37e1b279c74c7d029fc470e30f8","datavalue":{"value":{"amount":"+0.7868906855583191","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":"Q4630802$15292D48-8313-431D-BFF5-ABEB2E4EB042","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":"c41ea51c1b200ee03d0fc0ce092e2f0b57f5d132","datavalue":{"value":{"amount":"+0.7813493013381958","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":"Q4630802$DD6419D2-4E0E-4A21-A02F-20F4E7CF6BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188d8cfa75abf564be9291830821175c9f03836","datavalue":{"value":{"entity-type":"item","numeric-id":4829363,"id":"Q4829363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e82c3f2c774d593b469420463d68e8f930bd802","datavalue":{"value":{"amount":"+0.7493965029716492","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":"Q4630802$820D9ECD-8E08-4AB5-A70A-3C87B23EF13D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4630802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4630802"}}}}}