{"entities":{"Q4610324":{"pageid":6639907,"ns":120,"title":"Item:Q4610324","lastrevid":90508163,"modified":"2026-06-04T20:33:08Z","type":"item","id":"Q4610324","labels":{"en":{"language":"en","value":"Non-elementary speed-ups in proof length by different variants of classical analytic calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002275"}},"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":"Q4610324$07E1949C-5D38-45DF-A27E-2E9FCBD85A0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57af0449b62bd7252979a46720406f9d62c219e4","datavalue":{"value":{"text":"Non-elementary speed-ups in proof length by different variants of classical analytic calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610324$E52AC737-4826-4B10-8B93-BD150313D1EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af52ccd1f1bd6180f28fada0bec765969b7fdffb","datavalue":{"value":"1415.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610324$EC038AA1-3E7C-40F5-95CB-8A5B6A30C65B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$4B381057-52CE-4427-928E-E7068C1039E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$DCEAA6D6-8FD3-407A-A703-BF3A7AF63837","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610324$4D199AAA-B9D3-4C46-BA06-D7264879EA5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610324$5AE22332-B9C9-4E3B-80A9-D73F24EFF47D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ae86144a76538842ddfcba7c4a5a9e66c955caa","datavalue":{"value":"7002275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610324$0DCB75CE-77F7-4F8D-8531-46E81039B86C","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":"Q4610324$53001212-8A76-4600-8349-37BEE3E62D35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf0668882096950ddb02f67e43430ea14df0c2e","datavalue":{"value":{"entity-type":"item","numeric-id":4610315,"id":"Q4610315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$A76A4AA9-01A5-432E-AFE2-63A2D1972276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$D24FFF8D-6382-457E-8370-9A104F4AEE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$36EB0A44-7F6B-42B4-8502-E5D20C7747EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed083649962311e9cb36edd1af7a903443454ddc","datavalue":{"value":{"entity-type":"item","numeric-id":3833651,"id":"Q3833651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$D28C4E81-245D-40A5-80D6-BFE8DCE713EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd44858abd76ba6a4654ef8a7945fafeb171c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1057847,"id":"Q1057847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$2D49218A-113C-42CC-9906-E75BDCE24F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565e2039f16dc5757baa41da9dea1aaabca87213","datavalue":{"value":{"entity-type":"item","numeric-id":1091390,"id":"Q1091390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$51BA7114-47E9-4077-9EBC-F3D70462D7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$493B20FB-3E28-4C42-9B0D-F75C614FF9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$CC080401-4C37-4975-B806-385CE3476F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$6E94EF9B-66FF-4002-B1BC-A2F66B3C62FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2227c5ea815995f463a0878b0349e6b04c0cced1","datavalue":{"value":{"entity-type":"item","numeric-id":1129262,"id":"Q1129262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$3873A0A4-1E9F-4E10-9074-5676CA5F3E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c904ee72aed10f9210e9e7629acac3859a983c75","datavalue":{"value":{"entity-type":"item","numeric-id":674761,"id":"Q674761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$40E4C517-413D-4234-9A81-9749D0D6CAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$F21944F0-B679-46D6-9C22-267F87018ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$14F499A8-3760-4CA5-9121-735BEDB0C4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$477F8456-D363-495D-A40D-F4D95278F27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5a52049791eff1e794bc7bab216824fc094503","datavalue":{"value":{"entity-type":"item","numeric-id":3866101,"id":"Q3866101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$CFE8A485-295F-4724-98B9-0A05D141E52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$15F74B77-F612-40F0-9B60-A3AA73D8FDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e299710355abad548b5cb01c684a2fb0f4121df","datavalue":{"value":{"entity-type":"item","numeric-id":4868260,"id":"Q4868260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$B5E243E2-3554-45FC-80D4-1A616DB2806F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55935a33a4068e50acd8ffc5f9c7a852c375a5c","datavalue":{"value":{"entity-type":"item","numeric-id":5613198,"id":"Q5613198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$E4FFEBAB-B5A3-4963-86B2-20D10080EB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$DC9F244A-4D7B-403D-A610-770FD599BC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$528EFE64-CDE7-4D06-BF6F-DCC6C52A51E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$D9A2962C-58F0-4C07-84C8-4C382AF512FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610324$A7C4A1A7-45F9-499A-92C4-F50883EC9588","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4cf533332d12f45e92245f68a86efd58325641b","datavalue":{"value":"10.1007/BFB0027412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610324$C4FC4AE1-73C3-4D89-BFF5-93F0369A924D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37fab5e2f150bba846c33ad819a72d23cd5bfc2","datavalue":{"value":{"entity-type":"item","numeric-id":3545216,"id":"Q3545216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b53d4dc6eb7eb3b254e40f208646ecf6c6a2e2f","datavalue":{"value":{"amount":"+0.7749646306037903","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":"Q4610324$0A4A93B2-3DC8-4736-870E-8EAC4E4D7AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc57a124127ad651cc132544e66751911d5a9d1","datavalue":{"value":{"entity-type":"item","numeric-id":4530461,"id":"Q4530461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6828c2a0ed6f8233c037d9553d03dbd841c33956","datavalue":{"value":{"amount":"+0.7541138529777527","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":"Q4610324$7EBAAB70-E9CD-4802-AD21-1007AF85BA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0248a02bdcd65163fe9b559e3498d6bb3ebc853","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c70448d0d8ad78c1e4068d78ec75c43f1c02c8c","datavalue":{"value":{"amount":"+0.747806191444397","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":"Q4610324$04200040-29FD-4FD9-847E-11B27EA04E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750d093e8fb33f817a0b544ea58b5a93ef7660d8","datavalue":{"value":{"entity-type":"item","numeric-id":4524785,"id":"Q4524785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c70448d0d8ad78c1e4068d78ec75c43f1c02c8c","datavalue":{"value":{"amount":"+0.747806191444397","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":"Q4610324$09CF87D7-5E69-4C95-8B73-8913CC56D032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a1e17eddf55b13c84ff2defa149d71a93296f0","datavalue":{"value":{"entity-type":"item","numeric-id":4530460,"id":"Q4530460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8126815a392f730f0dc36f1f38168dd0d0713ded","datavalue":{"value":{"amount":"+0.747262179851532","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":"Q4610324$9F5331AE-6B51-4B41-9129-B219606C9E1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-elementary speed-ups in proof length by different variants of classical analytic calculi","badges":[]}}}}}