{"entities":{"Q2449854":{"pageid":2460597,"ns":120,"title":"Item:Q2449854","lastrevid":51996674,"modified":"2026-01-20T17:24:02Z","type":"item","id":"Q2449854","labels":{"en":{"language":"en","value":"On axiom schemes for \\(T\\)-provably \\(\\Delta_1\\) formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294142"}},"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":"Q2449854$ABAAFFFD-06B6-4647-82DB-7BFC8C6E969D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"915a19d5fa97caa4c5ecba3a4c633d0ad9d1ddb2","datavalue":{"value":{"text":"On axiom schemes for \\(T\\)-provably \\(\\Delta_1\\) formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2449854$476BDD4D-4E61-4BF6-8C0E-B1DBB19ECCB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ca6ec5d039f91c07268eb2be55cf6a04ff1ac08","datavalue":{"value":"1303.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449854$106AC9ED-6D3C-4840-8CBD-48E2F371A8E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991e51a4520a7c3db178435bbefe41ae34b200b4","datavalue":{"value":{"entity-type":"item","numeric-id":701732,"id":"Q701732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$1F72F380-0643-4592-89F6-8887CB9E4BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8239ea47cb0ba00aa3274a8e46ceb44b8cb6bddb","datavalue":{"value":{"entity-type":"item","numeric-id":701733,"id":"Q701733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$06D39310-0BFD-4C87-BECD-0511D2877518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a42ea086f4d35529a6cd304553c7e89c3f56fb8","datavalue":{"value":{"entity-type":"item","numeric-id":391144,"id":"Q391144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$39FDF285-DB54-46AD-93C3-6F5BC4F5E558","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":"Q2449854$E5EF7567-D9F2-4FC9-A2CB-6F0D1DCE7C98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b98a65e001f93197037bf094eccba452bf828a3f","datavalue":{"value":{"time":"+2014-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2449854$C496FFF9-3A4E-43E0-B295-C1FB5EA57E20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7551ca25a6a85c75dccecb5fb187d9b3ac2fa2f3","datavalue":{"value":"Let \\(T\\) be a theory in the language of PA, and let \\(\\Delta_1(T)\\) be the set of formulas which are provably \\(\\Delta_1\\) in \\(T\\). Motivated by the open question whether \\(I\\Delta_1\\) is equivalent to \\(B\\Sigma_1\\) over \\(I\\Delta_0\\), the authors consider theories \\(I\\Delta_1(T)\\), and \\(L\\Delta_1(T)\\) axiomatized by Robinson's \\(Q\\) and the induction axioms and the least number principle, respectively, for all formulas in \\(\\Delta_1(T)\\); and \\(B\\Delta_1(T)\\), axiomatized by \\(I\\Delta_0\\), and the collection axioms for all \\(\\Delta_1(T)\\) formulas. It is shown that all three axiom systems can be characterized in terms of the classical schemes combined with suitable inference rules. For example, for each sentence \\(\\varphi\\), \\(I\\Delta_1(T)\\) proves \\(\\varphi\\) if and only if \\(\\varphi\\) is provable in \\(I\\Sigma_1\\) and it is in the closure of \\(\\mathrm{Th}_{\\Pi_2(T)}\\) under non-nested applications of the induction rule for \\(\\Delta_1\\) formulas and first-order logic. Several applications are explored. In particular, it is shown that \\(I\\Delta_1(T)\\) and \\(L\\Delta_1(T)\\) are equivalent for every \\(T\\) extending \\(I\\Delta_0+\\exp\\). In the study of parameter-free versions of \\(\\Delta_1(T)\\)-schemes, the authors introduce corresponding parameter-free inference rules, and prove some conservativity results for \\(\\Sigma_2\\) sentences. Among other results, there is a characterization of computable functions which are provably total in \\(I\\Delta_1(T)\\), and those which are provably total in \\(L\\Delta_1(T)\\), in terms of some subrecursive operators; and a reduction of the problem of \\textit{A. Wilkie} and \\textit{J. Paris} [Stud. Logic Found. Math. 126, 143--161 (1989; Zbl 0695.03019)] whether \\(I\\Delta_0+\\lnot\\exp\\) implies \\(B\\Sigma_1\\) to a purely recursion-theoretic question.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449854$C7F358A9-2661-48B5-B9FD-360CA34FF829","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449854$5B1B1584-3F6E-4EAA-A415-C621B9DA7BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449854$ED784982-A10E-4D3C-9317-BDAF5DECFA3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d4cb9ae9fc48cd208ff76124eeffcdd7b0a2db6","datavalue":{"value":"6294142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449854$9E87FA5F-95DE-4035-A2F3-DA9B59B0047E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449854$A42EA001-873A-48A5-B841-CB084BAFD16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f0455f36a175f7d4e468fad6d7ba8f6cf8d0ae","datavalue":{"value":"\\(\\Delta_1\\) formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449854$925C8F60-061D-4296-BF3B-3667DC7F7141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f720e895dbc35d4d3ebb0500d5175c057ae4bd","datavalue":{"value":"provably total computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449854$8ACDDC5E-2C7B-4303-AF93-5F9762159402","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$7207E84C-4530-49DB-A861-E8A9F6A21D57","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"12242259f36252478265a03bd12ebee907063f8b","datavalue":{"value":"Q114018318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449854$E2447B3D-49B0-4C7F-A937-8851CDDD7FB9","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":"Q2449854$6908520E-59DB-41F6-AC99-7A11DD9F18C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b4aac3c3c999317aa91bdf2e429d7ed6b1d8353","datavalue":{"value":"https://doi.org/10.1007/s00153-014-0368-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2449854$D9A39D63-0C1F-48DE-94E9-68C364841086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d90d7f16f5b6af83125a6f46ea66cdbbebec032","datavalue":{"value":"W1992999128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449854$FABDF5E9-2718-4F89-B64A-49BCAB6BB3B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ee8dd8b6b66e9df17891f42decb7826a6dd644","datavalue":{"value":{"entity-type":"item","numeric-id":2892683,"id":"Q2892683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$58BAD102-2D49-416B-B00D-DFC443A8A60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb47999908d254e4121198a94fbfb1e4ccaffed","datavalue":{"value":{"entity-type":"item","numeric-id":1861531,"id":"Q1861531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$E2FC7EB6-31C9-42E3-8FA6-14ABE286FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$68CD303A-EF87-49BD-B6CF-9DDE2D08B24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d640f99df8711dfe677d32555a8bcdd9bf6d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":1267837,"id":"Q1267837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$A846A7CF-7862-4362-A9BB-97744B8F100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad2f904f2a46920c89d9e655e0f9d27bb0e58e","datavalue":{"value":{"entity-type":"item","numeric-id":4457724,"id":"Q4457724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$990AA269-DE42-4D14-9E93-EDD8197942C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8cb23c3f2e754617f6638f9b8424a3186e45386","datavalue":{"value":{"entity-type":"item","numeric-id":3140629,"id":"Q3140629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$D68D907C-6B80-4721-9B8D-B79702A4D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d949e5c7ffbdba5e25fd820ecf62865c874fb9f7","datavalue":{"value":{"entity-type":"item","numeric-id":701734,"id":"Q701734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$B6A4308B-6D2F-41EB-821E-5412BA93E55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2594151fd159ce7a1fc9ace023701a342f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":5311268,"id":"Q5311268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$7B794833-2AE3-4B94-B271-D72269BD46ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e31f92803611685314b5626a5e522eab7206497","datavalue":{"value":{"entity-type":"item","numeric-id":4680381,"id":"Q4680381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$B56F647E-C4EB-4C5C-93A8-4AEBB12E492F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4418419edfed2d34686d059d4509f183a95be4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3096079,"id":"Q3096079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$4E731E96-1DE9-4D9E-B384-56D849B7C3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6310d04309fee2d820cfca903d44c6a729cd9bea","datavalue":{"value":{"entity-type":"item","numeric-id":701746,"id":"Q701746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$2060DB99-CD16-4DA4-BAF5-F1C82891C360","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":"Q2449854$14279D7D-43D1-4157-AFC9-AE4EDF7C14DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7596e08c1d9af15f0f806af7e217a07256424fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3778748,"id":"Q3778748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$E24EFD6B-40C5-4D32-8B2A-FD4330027672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$D2E3B306-FE78-417D-9C4A-BB01AF22FB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$CB2FEF75-B616-4722-A456-F4235F3DF228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f26aae10c86e9fa3eebf2b640fe92d4112d1e9","datavalue":{"value":{"entity-type":"item","numeric-id":5222088,"id":"Q5222088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$A98F6E47-51DF-45E6-9FAE-27818601ADD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$9FA59DE3-FE01-4957-B3B1-CBF12A2F1BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$CA6E1DB9-529B-4022-9E14-53507F707C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$F03A42F8-0D06-42E4-8D19-F80466BC8B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f38bc089e32c935f72a4edecd0fd0237af6104","datavalue":{"value":{"entity-type":"item","numeric-id":5441123,"id":"Q5441123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$50010B81-2DEB-4E0F-BE48-63967AB4430E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7410f2b3f3aa678cbe756d1c8df423b0162108","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$6E85F51D-08F9-48BF-859E-54E75A71CCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03733e5f298b5d0b1b5212cb87a796bc484305bf","datavalue":{"value":{"entity-type":"item","numeric-id":4323042,"id":"Q4323042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$9F761460-7C65-489E-818C-6444D138A2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48efd247969fb4c3abf6efa974040a2fb826b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5694289,"id":"Q5694289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$DD23EBC9-8D84-4B66-BB50-86B52E71AEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd225d509accf443965fd398d8d1fca16775d4f6","datavalue":{"value":{"entity-type":"item","numeric-id":3470461,"id":"Q3470461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449854$CF8CAE54-A68D-4D3D-9342-5D9C2C683C20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e277fe5b7ecb1fced1578b569a2f48f1650ed88a","datavalue":{"value":"10.1007/S00153-014-0368-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449854$DDD0073C-1CD6-4F5D-A2D1-FB726E28990A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26116b242829566b0f8eaf836fe0abdd9ecba33a","datavalue":{"value":{"entity-type":"item","numeric-id":701734,"id":"Q701734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb563c9345c42fe31de5a661bf279eaea1f95b7","datavalue":{"value":{"amount":"+0.8013052344322205","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":"Q2449854$60BA225D-78D7-43CA-8C9C-A8F813E4F9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442ac36bb417514e27cd9ff039b47e32d6b5fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":5311268,"id":"Q5311268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6b18d8badb7e03970485ce6b4cab10d6a3a5f7","datavalue":{"value":{"amount":"+0.7978919148445129","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":"Q2449854$C894F979-9671-4F9E-9164-11C685582D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b62945c6d8a0180fd7ebd6c1dbcd8df77ffce7d","datavalue":{"value":{"entity-type":"item","numeric-id":2453069,"id":"Q2453069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb6d41c806c62c5e70379db42589cedb7bd4c9b","datavalue":{"value":{"amount":"+0.7815764546394348","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":"Q2449854$9F5A13EB-B12D-4B79-9E68-E1C0A04F2437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62501950bc4603976627462cf317fe49a5599ff0","datavalue":{"value":{"entity-type":"item","numeric-id":4457724,"id":"Q4457724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5cabaf9165be4231bc3e1b92420b5dc9b1a078","datavalue":{"value":{"amount":"+0.7805145382881165","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":"Q2449854$E93ACC62-38F4-4120-B5C3-86111BF9C13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b21d37809dcc9bae91f5e08cf5d8ac8b5937844","datavalue":{"value":{"entity-type":"item","numeric-id":701746,"id":"Q701746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97876700f9a109826d847d603f4ee77cf6db7111","datavalue":{"value":{"amount":"+0.7783181071281433","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":"Q2449854$B2C1C693-E7EC-45C6-BF6C-D9EEB5CCE4E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2449854","badges":[]}}}}}