{"entities":{"Q2155497":{"pageid":2166240,"ns":120,"title":"Item:Q2155497","lastrevid":82566599,"modified":"2026-05-06T21:12:40Z","type":"item","id":"Q2155497","labels":{"en":{"language":"en","value":"Iterated multiplication in \\(VTC^0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7557508"}},"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":"Q2155497$ECEBEEFF-9B5D-4696-936C-B611841070C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aaf7fc157a84b6bb6f7bce9ddda5c998cbac1c2","datavalue":{"value":{"text":"Iterated multiplication in \\(VTC^0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2155497$63AF2F25-1FEE-43C0-BF69-3C8F93CA15DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70bedc4de178f99f9e6de4d3e4e601bc427283d7","datavalue":{"value":"1500.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155497$4179FA4F-ADA1-4EF6-AA7B-65D3A7780172","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":"Q2155497$7DA36CFD-D8E3-46DC-87EE-FF58859E4BA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$E04283C0-255F-4BE8-8494-41EEF6A0C22C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77731aea4b076d729243a54a089644d4e42d7176","datavalue":{"value":{"time":"+2022-07-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":"Q2155497$5744BAFE-7D7D-4BFD-BBDB-F9E4D19F7B2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3764bd50774b674bf250a7f3bbef586d23697a2b","datavalue":{"value":"https://arxiv.org/abs/2011.03095","type":"string"},"datatype":"url"},"type":"statement","id":"Q2155497$8328387B-0FBB-4118-B388-0528C76416E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f313f1e41b8ce9c337347b8d5b778bfc8b795a0e","datavalue":{"value":"The paper is devoted to feasible reasoning. It is shown that \\(VTC^{0}\\), the basic theory of bounded arithmetic corresponding to the complexity class TC\\(^{0}\\), proves the IMUL axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the TC\\(^{0}\\) iterated multiplication algorithm by \\textit{W. Hesse} et al. [J. Comput. Syst. Sci. 65, No. 4, 695--716 (2002; Zbl 1059.68044)]. As a consequence, \\(VTC^{0}\\) can also prove the integer division axiom, and (by our previous results) the RSUV-translation of induction and minimization for sharply bounded formulas. It is shown that similar consequences hold for the related theories \\(\\Delta^{b}_{1}-CR\\) and \\(C^{0}_{2}\\). As a side result, it is proved that there is a well-behaved \\(\\Delta_{0}\\) definition of modular powering in \\(I \\Delta_{0} + WPHP(\\Delta_{0})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155497$40A31205-0B1C-464C-B7EC-54130B77073E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$665A5816-CE3B-4EA0-A14B-D804B86E9395","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155497$BDB52E72-F8A5-4E16-89C1-3B07D70DEA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155497$4BAF967C-5077-4043-B509-50E6D751BC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155497$A5206AF8-63CF-41A3-8BB6-30DC98F8ACB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155497$4B358A48-8BC8-46D8-983A-373B66C6EBB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47f6bb265684795008f022f5df1d24440baa8ef5","datavalue":{"value":"7557508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155497$3036520A-7F9D-4E42-8C63-AD7F50D6546D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155497$38B283C8-A38A-4724-AA8D-0D2F63F4BE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da98b500e064dca15df4baba46bf61ebd209209b","datavalue":{"value":"modular powering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155497$F5D7F15E-B56F-4BA5-8158-1F558F832C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1594d4a699e0c2684bcc4dbba382a715262068ff","datavalue":{"value":"threshold circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155497$E72E360A-C31A-4971-A44C-66FAA6EF262E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed97abd02d6d39669145110898680b565912b0a4","datavalue":{"value":"iterated multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155497$CADD3F0A-8B99-4ECB-BFD4-0ACE2C987B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ee30eb0d05bc3424cd31333815f7869669d2ad","datavalue":{"value":"integer division","type":"string"},"datatype":"string"},"type":"statement","id":"Q2155497$60C84C60-B2CB-48B2-BFF5-970877BD4A15","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"73641307dd9fc97c2a06d2a597d2b414ae9c9dcf","datavalue":{"value":"Q114231462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155497$BC827A7E-562A-45E2-B057-C7B2ADD9BA69","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":"Q2155497$F6242CDC-3312-4965-AEAF-BA977CC8B157","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81ca4a8829e565af3f43abab270440ba650dc62e","datavalue":{"value":"W4205472082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155497$7F15F44E-F5C6-4F3B-A264-D1CF17BC688C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f3c84fedec6be5b8f59fef93a6a8632cda3e40","datavalue":{"value":{"entity-type":"item","numeric-id":4101884,"id":"Q4101884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$EA48DD56-E317-4375-B274-7608EE2E7C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3185700e408117a493b6f10760201dda69b0cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4779142,"id":"Q4779142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$2C073C1B-4655-4259-B29A-F79D82ACF351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5ed553616976d964bbb199804d2f36098c9563","datavalue":{"value":{"entity-type":"item","numeric-id":1401230,"id":"Q1401230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$CDA9735A-3ECD-4CAB-86E6-8E9AB4287973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$D601685B-06C6-4113-AFA6-2886FF8432F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d0aad367cf52891c508c7e7bfb594600ba61f8","datavalue":{"value":{"entity-type":"item","numeric-id":3756526,"id":"Q3756526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$4C22DB92-968C-4A82-9B4D-A167CB2E04B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d8452fc545427ec991c87624c2d5b7ecedfc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1899142,"id":"Q1899142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$0FAF5897-F905-4512-AA40-5CCDE9BF89F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d0c082b7d405f51b87e6f45d22f926180ddd5b","datavalue":{"value":{"entity-type":"item","numeric-id":2773023,"id":"Q2773023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$E75CF98A-A234-4DE4-91E9-3F977395DB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44e25a337277592acbd5304d35cee1523fc637d","datavalue":{"value":{"entity-type":"item","numeric-id":5410826,"id":"Q5410826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$6C0C0DED-37B4-4C8C-97E3-DE80B78272D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac89678f9f092aa130b934746f7f22a2a034ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4008743,"id":"Q4008743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$574DA364-DBEB-4800-8E0B-A0D28240CFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$BFD243F4-D811-4A03-973A-24739858BA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"258e9e9056926a06af9cec351759111a55665eb1","datavalue":{"value":{"entity-type":"item","numeric-id":2366275,"id":"Q2366275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$6B1EC093-4F29-4476-B39C-E6B13954C984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9787e6d0819215c90132b2323576c33dab530fc","datavalue":{"value":{"entity-type":"item","numeric-id":1872733,"id":"Q1872733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$95C82975-E175-4F7F-BA73-F0DFD9CBB79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b712369c9d70d1f4eb2fa189cd3668dbf9934b47","datavalue":{"value":{"entity-type":"item","numeric-id":3566945,"id":"Q3566945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$A9316151-214F-4202-A224-715FAF1B9C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792a064e803e17f2cd35a397bd1602bc7edf1e32","datavalue":{"value":{"entity-type":"item","numeric-id":2339958,"id":"Q2339958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$AF970D0B-AC62-4E0A-9D11-B42823957E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b6733c4750b5f1a97e097b690f1c9e66cb24d7","datavalue":{"value":{"entity-type":"item","numeric-id":4944913,"id":"Q4944913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$8203AB43-8A54-4609-9297-98F3FFC0D791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8b9ebfcadd85937095ac4c0e4657dfefecf7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4913779,"id":"Q4913779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$B51CAD39-7B14-44AD-8D8B-B7F35578CAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$2CFD88C6-326B-4B23-B5AE-E56D8A470F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9685bc24e8868389f51f3f76a5f449f5b6d1410d","datavalue":{"value":{"entity-type":"item","numeric-id":5628106,"id":"Q5628106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$11799DF7-43CC-43D2-88FF-FD3F97E47CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6601e401227e4ccf417963f0654247aa09bd6310","datavalue":{"value":{"entity-type":"item","numeric-id":5310650,"id":"Q5310650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$B43B3EF2-CE46-4E81-A649-493E30DDA646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26fbb4690f25bdd6043e67dfdaa1be59326e5bc","datavalue":{"value":{"entity-type":"item","numeric-id":1107324,"id":"Q1107324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$3F455DC2-EC68-40CC-AD0C-465778481ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132e856a3211ec285e510979fe8754f1d205170f","datavalue":{"value":{"entity-type":"item","numeric-id":3030804,"id":"Q3030804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$9DD08ACA-C559-4DEF-A492-605D69BE3708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$3C7B6AC2-E9C7-4366-8EA0-E65CAEEBB8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$C61E0FB6-DEA0-4A9D-9F4B-C8566F5C27B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1e32d5da0847127076336da2cdd3cef69d1da5","datavalue":{"value":{"entity-type":"item","numeric-id":1377910,"id":"Q1377910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2155497$0E5C7395-8C2C-4191-B77F-54B7DA9CCB54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91ff891305c4955157113efda8b3a85d06cfb1e3","datavalue":{"value":"10.1007/S00153-021-00810-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2155497$178B9DD5-5090-48FD-8861-488C8874E0EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e033a8352ef366741fca2470074e9b990fa53a17","datavalue":{"value":{"entity-type":"item","numeric-id":2339958,"id":"Q2339958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40e46dbdc79849716708859030d807f256789fe","datavalue":{"value":{"amount":"+0.8423582911491394","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":"Q2155497$3F6BFDE5-805F-4658-8DE3-C75FD11F3574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694c8995e5adde426b67d4160ef15ab11f60d065","datavalue":{"value":{"entity-type":"item","numeric-id":5310650,"id":"Q5310650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e615569307db7c9c370bde396f711317455f6493","datavalue":{"value":{"amount":"+0.758957028388977","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":"Q2155497$5707171B-42DA-4F08-B40B-94519553F414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e87634e63f9fbd01c59996f138c291a4272d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4281557,"id":"Q4281557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9fdad8f1a0347dfc2f8abdf82502e4ea997442","datavalue":{"value":{"amount":"+0.724981427192688","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":"Q2155497$FDD8C7B9-3C6A-4539-A1DC-A2FA05A7A735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb07dedd02da7261e5cb418087eda076b8927d12","datavalue":{"value":{"entity-type":"item","numeric-id":4210843,"id":"Q4210843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6ce9a40c3bd6f662f83b15fbe21fd4f57147f6","datavalue":{"value":{"amount":"+0.7229298949241638","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":"Q2155497$C5492FA0-EB2E-4CF9-ABC4-7FFEE8E0B75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23137649845b3388d9814f7a38304ab8162aba1","datavalue":{"value":{"entity-type":"item","numeric-id":4596612,"id":"Q4596612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd48cf0744cc8061336888ba0d34ce609fd5ab4","datavalue":{"value":{"amount":"+0.7183250784873962","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":"Q2155497$15B4333A-86C9-4B5B-B494-EB60CE725ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterated multiplication in \\(VTC^0\\)","badges":[]}}}}}