{"entities":{"Q2176406":{"pageid":2187149,"ns":120,"title":"Item:Q2176406","lastrevid":57765525,"modified":"2026-04-02T10:46:31Z","type":"item","id":"Q2176406","labels":{"en":{"language":"en","value":"Short proofs for slow consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196091"}},"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":"Q2176406$1B555339-D116-4021-A6F3-E00745CD7389","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c287368fd1d69fe22124bb7e76d0e3bcc76e8116","datavalue":{"value":{"text":"Short proofs for slow consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176406$737D8657-9030-4643-8D28-33EB59DF0892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5755d48bf1fddb46c3e6fe06bd344b9bd81c983b","datavalue":{"value":"1455.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$3B4809F1-E62C-4A83-B849-17FEA9AA3B98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"636fb6972222936a8cf7319be77d3b5b38be1c0f","datavalue":{"value":"10.1215/00294527-2019-0031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$44AF2CDB-9057-4494-AD86-4658FF1A1BC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46cde92a906782ad5f79b8c3d5306f5cd4f870fe","datavalue":{"value":{"entity-type":"item","numeric-id":526963,"id":"Q526963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$8CD52ECA-FE1B-4E54-BAE3-2377462C6174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74dd024ad12b1c706f73d65b42eadcaf1d37b243","datavalue":{"value":{"entity-type":"item","numeric-id":2120975,"id":"Q2120975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$15926A1F-B596-462C-9389-E4623AA5069C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$C629E4D4-C830-4155-B186-FDA7167FE22E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2176406$719030F1-451D-4668-8524-55B241B0CB70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7897b8802f0807d438be3135ca731af6f0c32e89","datavalue":{"value":"https://arxiv.org/abs/1712.03251","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176406$9C5897F2-87CC-47BD-98EF-CC4196EF681B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c1eecbb4c943cb437f1604f1becfabc0e5443f1","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1574996413","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176406$D124841D-4282-495B-AF61-9FC461C984AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e783a46cc3af4a99059479a4aeabfded9081938","datavalue":{"value":"For a consistent, polynomial-time axiomatized theory \\(T\\) containing some arithmetic, let \\(\\mathrm{Con}_x(T)\\) be a natural formalization of the statement that there is no proof of contradiction in \\(T\\) containing at most \\(x\\) symbols. [\\textit{P. Pudl\u00e1k}, Stud. Logic Found. Math. 120, 165--196 (1986; Zbl 0619.03037)] showed that for any standard natural number \\(n\\), a theory \\(T\\) as above can prove \\(\\mathrm{Con}_n(T)\\) by a proof of size polynomial in \\(n\\). In contrast, Pudl\u00e1k [loc. cit.] has also conjectured that \\(T\\) will no longer have polynomial-size proofs of \\(\\mathrm{Con}_n(T + \\mathrm{Con}(T))\\). The conjecture has important implications for computational complexity, propositional proof complexity, and related fields.  In this paper, the authors consider the problem whether PA has small proofs of \\(\\mathrm{Con}_n(\\mathrm{PA} + \\mathrm{Con}^*(\\mathrm{PA}))\\), where \\(\\mathrm{Con}^*(\\mathrm{PA})\\) is the ``slow consistency'' principle of [\\textit{S.-D. Friedman} et al., Ann. Pure Appl. Logic 164, No. 3, 382--393 (2013; Zbl 1263.03055)]: ``for every \\(x\\) such that \\(F_{\\epsilon_0}(x)\\) exists, \\(\\mathrm{Con}(\\mathrm{I}\\Sigma_x)\\) holds''. Here, \\(F_{\\epsilon_0}\\) is the \\(\\epsilon_0\\)-th function in the Hardy hierarchy of fast-growing functions. \\(\\mathrm{PA}\\) does not prove that \\(F_{\\epsilon_0}\\) is a total function, and indeed \\(\\mathrm{PA} + \\mathrm{Con}^*(\\mathrm{PA})\\) is strictly intermediate in strength between \\(\\mathrm{PA}\\) and \\(\\mathrm{PA} + \\mathrm{Con}(\\mathrm{PA})\\).   The main theorem of the paper is that \\(\\mathrm{PA}\\) can prove \\(\\mathrm{Con}_n(\\mathrm{PA} + \\mathrm{Con}^*(\\mathrm{PA}))\\) by proofs of size polynomial in \\(n\\). Moreover, the result still holds if \\(\\mathrm{Con}^*(\\mathrm{PA})\\) is strengthened to a ``slow uniform \\(\\Pi_2\\) reflection'' principle, \\(\\mathrm{RFN}^*_{\\Pi_2}(\\mathrm{PA})\\), which says ``for every \\(x\\) such that \\(F_{\\epsilon_0}(x)\\) exists, no false \\(\\Pi_2\\) statement can be derived from \\(\\mathrm{PA}\\) by a proof containing at most \\(x\\) symbols''.  The proof of the main theorem has two major ingredients. The first of these is showing that already \\(\\mathrm{I}\\Sigma_1\\) proves ``for every \\(x\\), if \\(F_{\\epsilon_0}(x)\\) exists, then \\(\\mathrm{Con}_x(\\mathrm{PA} + \\mathrm{Con}^*(\\mathrm{PA}))\\) holds''. This is achieved by interpreting \\(\\mathrm{RFN}^*_{\\Pi_2}(\\mathrm{PA})\\) as a sentence expressing the totality of a function that grows considerably slower than \\(F_{\\epsilon_0}\\), and then analyzing that sentence in terms of an infinitary proof system due to \\textit{W. Buchholz} and \\textit{S. Wainer} [Contemp. Math. 65, 179--198 (1987; Zbl 0635.03056)]. Proving the main theorem then comes down to showing that for standard \\(n\\), \\(\\mathrm{PA}\\) is able to prove the existence of the value \\(F_{\\epsilon_0}(n)\\) by proofs of size polynomial in \\(n\\). Such proofs are obtained using the transfinite induction available in \\(\\mathrm{PA}\\). Their construction is more or less as expected but with some technical wrinkles.  Interestingly, the statement ``for every \\(x\\), if \\(F_{\\epsilon_0}(x)\\) exists, then \\(\\mathrm{Con}_x(\\mathrm{PA} + \\mathrm{Con}(\\mathrm{PA}))\\) holds'' is unprovable even in \\(\\mathrm{PA}\\). This may suggest that the main theorem of the paper says more about the weakness of \\(\\mathrm{Con}^*(\\mathrm{PA})\\) compared to \\(\\mathrm{Con}(\\mathrm{PA})\\) than about Pudl\u00e1k's conjecture [loc. cit.] as such.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176406$59374E22-CFD4-4D5A-8AF6-29381524F3EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$8A24553A-D147-4F29-BB4D-8B0DD4063CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$8FC291CB-5C5E-4360-AB7B-CFF68B0E9D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$05FD1E40-3534-4D87-BB15-12F42488E33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$DCAF44B0-2648-4E45-B495-361F7ED2F5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$EC99BFEC-E62E-430C-96E2-80F5B27E5F9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e00465845bbc6159bac4f2a2fc1fb13dec1b6766","datavalue":{"value":"7196091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$6B9B9E18-61FB-4F51-AF77-FA22A2DFC0FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176406$CA1510E1-1136-48CC-89F0-F275E2B1B403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43f06d46cdfe3c12d54b0daaee737dea9bb2b92","datavalue":{"value":"consistency statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176406$8BE1C236-DD9A-4E4E-A6BE-6A192D0C19DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c996264fb8a8c506614d2cd85d9c3e5a7236a774","datavalue":{"value":"slow consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176406$146D36EC-4CD3-4D07-827E-B2C86091675B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54d530443288b6d91131d0a2e0caa5ce4779c88","datavalue":{"value":"proof size","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176406$A4CD52B8-24E8-4329-B09A-4E5C86250C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010451b8e9d2e70fd32b2bcaf80a677912be4fd8","datavalue":{"value":"fast-growing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176406$F66465CA-0F5C-4367-A134-94C30F26B2B4","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":"Q2176406$3DA78E6D-5B50-41C6-9E28-1C13CAE109CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92df68c19c03f246d3737b39ffbaf35791cfb48e","datavalue":{"value":"W3104797474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$4EBEB9C5-610C-47E7-88B2-055E6B64E29F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b9ac410bbd57371201c948366b16f9377ad24a1d","datavalue":{"value":"Q113751503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176406$9A5E4909-2F92-41C6-BC97-87FC217077EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$2CAC93A6-4D72-4388-92DF-7449C2D716DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$4CDE0B6A-D3B0-4086-BC31-70D3E762B1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a454ef6b42682012c40ff7e7cb072f359af068d","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$30E8CE1D-07AE-4A8C-B573-BC7E2BCEF71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$0401C2CA-3857-40CF-B974-0611732EFCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4577aab451977e49ee8d4b4a69876cde591022a7","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$75FC9318-51D6-4939-8670-D31B330ED7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$2A977EFE-DD8B-4CAE-8A4F-AC549B10058C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$D11F4716-D8EA-49DC-9A9A-0364C3D677AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$45DC934E-27AD-4E90-9FC4-5C77516F1CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd11e4613a9bd80bf08e96b616c51a288e6004c","datavalue":{"value":{"entity-type":"item","numeric-id":526964,"id":"Q526964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$EBFAE81B-976E-4BDB-BA2C-105236B844C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6b8ec4f14df75ca6f30f0c4fe40b26959bfa79","datavalue":{"value":{"entity-type":"item","numeric-id":2407272,"id":"Q2407272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$D74B984D-B481-4ED0-A1E7-49D5487F1A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8889563d647ae3dfea4132fc55e98a50462d899b","datavalue":{"value":{"entity-type":"item","numeric-id":5081870,"id":"Q5081870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$1261FF20-318E-4F8E-9D1C-BA5A4282B0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2f617f4c1fbac8be1b03334d44fa885ea1edda","datavalue":{"value":{"entity-type":"item","numeric-id":1935874,"id":"Q1935874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$2C23C301-C9FC-403F-9723-42161801026D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$32568A40-BD87-44A8-A368-270F29687D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d756a2dbfc42ad957c96a9182383cf86faa5a35","datavalue":{"value":{"entity-type":"item","numeric-id":3893931,"id":"Q3893931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$50C22F64-272E-437E-B720-8DB56E271A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$35F1E175-9B24-422B-BD8E-376B522A5B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$261C37E7-9018-48F3-9E3F-469E6D1DD66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62756db01e363051fb903b58c62718f57d2ec5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4640304,"id":"Q4640304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$02394F1E-D661-4645-BEDF-342534CE40AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b37a1cd4f4b47b68d114318dca452481bea445","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176406$D2E5BF1E-1408-4BC6-B132-9CE0F4D7DC6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00277a4723dd38f5b0b0df22d2d082ff49e39f62","datavalue":{"value":{"entity-type":"item","numeric-id":1935874,"id":"Q1935874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea43bc5cee17ebebb00fcf76392cb9778956636","datavalue":{"value":{"amount":"+0.8604493141174316","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":"Q2176406$113F73C2-46F3-4562-9468-28D6066B7AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ab6fe676911df85c36a6213966e816a378d156","datavalue":{"value":{"entity-type":"item","numeric-id":4032866,"id":"Q4032866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233f51fbe45f0ec40f7f11eacf72ee0dff213364","datavalue":{"value":{"amount":"+0.8571970462799072","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":"Q2176406$1A1C62C3-F834-46C2-BE24-0BA86D0FE327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d51812502961d5c3e8eaf91311068e789de760","datavalue":{"value":{"entity-type":"item","numeric-id":2407272,"id":"Q2407272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b7810e966cbc8253e70f140f4d10d589fff616","datavalue":{"value":{"amount":"+0.8296732306480408","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":"Q2176406$AD5FC8C1-8BFB-4508-B8FC-95DED56438DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c725820b5baf9eaa55d91d32089e48e59d850b","datavalue":{"value":{"entity-type":"item","numeric-id":4885911,"id":"Q4885911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db12bced669bce5330dbc7cad0b43c471ae49be6","datavalue":{"value":{"amount":"+0.827445924282074","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":"Q2176406$6A9187AA-6B91-480D-A3B5-EA7316897579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e4528a3e641aa04c82a65aafe18056261c0003","datavalue":{"value":{"entity-type":"item","numeric-id":526964,"id":"Q526964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db6e16c87249887c325fb93176fedb6805f0e7a","datavalue":{"value":{"amount":"+0.8160402774810791","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":"Q2176406$72DCE842-3729-4DB9-9586-4A6DF1DE38E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2176406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2176406"}}}}}