{"entities":{"Q948908":{"pageid":950756,"ns":120,"title":"Item:Q948908","lastrevid":42784317,"modified":"2025-07-11T11:14:11Z","type":"item","id":"Q948908","labels":{"en":{"language":"en","value":"Harrington's conservation theorem redone"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5351800"}},"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":"Q948908$96A091F6-3EEA-4A81-985C-12D77B8A4628","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19d41f5326c0e70c77bcc7b36d7e541a46cfdbf2","datavalue":{"value":{"text":"Harrington's conservation theorem redone","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q948908$9BB0F722-506D-4339-8428-EE9CF879D46E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b7e4d5cecbdb82f9768428353b97b9afe6e5d07","datavalue":{"value":"1160.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948908$067C2DE6-E131-450C-9DAD-D50C563CE563","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$EE58216C-F0E7-423C-8C22-C6512B6AA0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$2D85D0F4-3A0A-4BD7-9483-75260C3B03DF","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":"Q948908$8F120884-1FB7-43BD-BDC8-21D26BFAEC88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5e1148a8db14a761b33ca61d319fa20c3d24269","datavalue":{"value":{"time":"+2008-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q948908$2D30050A-93BE-4AD3-BBA2-61B01662391B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f268cee8d441f540ad2d66c6418f802a1fe612ed","datavalue":{"value":"The theorem in the title states that the second-order arithmetic \\(\\text{WKL}_0\\) is \\(\\Pi^1_1\\)-conservative over the theory \\(\\text{RCA}_0\\). Harrington proved this model-theoretically, previously. Now, the authors give a proof-theoretic proof. Their set-up is sequent calculus, and they replace Weak K\u00f6nig's Lemma (in \\(\\text{WKL}_0)\\) by its contrapositive, \\(\\text{FAN}_0\\), formulated as a rule. Given a (formal) poof of a \\(\\Pi^1_1\\)-formula \\(XF(X)\\), they use the method of cut elimination so that in the resulting proof of \\(F(X)\\) only \\(\\Sigma^0_1\\)-formulas occur (certainly no second-order quantifier). The authors' crucial observation is that a bounded formula can be regulated, and so this new proof is normalized further. This step requires case analysis of each rule, but shows that the \\(\\text{FAN}_0\\)-rule is not necessary.  In the last section, the authors make observations on contrast between classical and intuitionistic systems. For instance, the conservation theorem of the above type does not hold intuitionistically. On the other hand, the theory \\(\\text{RCA}_0^-+\\text{FAN}\\) is inconsistent classically, but intuitionistically it is \\(\\Pi^0_2\\)-conservative over PRA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q948908$28033349-5DF7-4148-89F4-49B397337A74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948908$1309D7BB-71E8-4FDF-8E75-A4E9528EA41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948908$ECDBBDD4-2185-41F5-9222-1D132E4C6BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948908$D0EC6C5C-C070-46C3-80CC-DDA407ACF0A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16674a13b85554c064a1e87c3beb07e8c8359f7e","datavalue":{"value":"5351800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948908$CD470AA8-D765-452D-8BA0-48A9D68E9547","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a49fdc386b63eb6a79b8fc326c89addeac9e4f7","datavalue":{"value":"system \\(\\text{WKL}_0\\), \\(\\text{RCA}_0\\) \\(\\Pi^1_1\\)-conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q948908$B4C694E3-242F-42A6-A622-847CA5B8BD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"330def18352fb33e388df0803d89faf172c20d9e","datavalue":{"value":"bounded formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q948908$C01D0F12-FCBF-45F0-A67C-2FA6FC0E22B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q948908$93AE5C4A-E2BC-4CF4-B187-D546D829D802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"841fc3efd271382ee36c873dd6a28841fc5dee92","datavalue":{"value":"Weak K\u00f6nig's Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q948908$716BF174-2BED-4484-AE8E-85F832F3BDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q948908$F32167A9-7C56-4D0C-A2FA-DC7C34AF7043","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":"Q948908$770018FE-5F20-4134-A572-373C439FD7E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cc8958e7ef93c41e6d97f43a0414a132e7226d5","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0080-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q948908$9C1C5732-EED0-424E-8C05-4CB535B48604","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ead14b5a263e15cdff793c1834254c0928607c23","datavalue":{"value":"W1985240925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948908$767AF2F8-4A7E-49C0-AB88-170A608761D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$5B5F536D-0F5D-4318-A785-BE99BDD95344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$800EB134-4883-45AC-B637-DE20CC3E0956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$D973BFBA-6DC6-4E89-8470-C937F0D76A6D","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":"Q948908$47E0E3AA-2D94-404A-AB9D-1618A297D56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c56851edf64e33340265bec09e7601c61af10f","datavalue":{"value":{"entity-type":"item","numeric-id":2655140,"id":"Q2655140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$2261C5EB-9567-440F-B9DE-C28A76A8F051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cefe670f9982454779d95f4e88d1f7db605d5e","datavalue":{"value":{"entity-type":"item","numeric-id":4314687,"id":"Q4314687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$AB79ABE5-D0A0-4B6C-9252-523BFCA110E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c3aa229c7d9b117248a861f8bd0ec882e5e5df","datavalue":{"value":{"entity-type":"item","numeric-id":558443,"id":"Q558443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$1708F3B8-BDFD-4DCA-8D2C-DB31398A1308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$DCCFC42F-E13B-486F-847E-D4C2D00B1EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$B9B8D46C-7F7D-482C-ADB1-C171A870B7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5866c8cf369b26c2f36d05d1b0e488a542eba870","datavalue":{"value":{"entity-type":"item","numeric-id":4032661,"id":"Q4032661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$A2A5437C-DC9C-45ED-BB07-8F9DAFC984D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0854fcfbf377fed25fc0745c48f82f38889a384","datavalue":{"value":{"entity-type":"item","numeric-id":1813063,"id":"Q1813063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$699D0F9D-D1D3-47F0-8BD1-E36CFD374AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$5E31F2D7-AEEA-4BCA-8022-6FF7999FA71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$C9249F37-0E45-4EE9-B3B8-EA39AA33C58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb5aa102ce6c71274c34a5360472cea903ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$CCD79912-B425-4BD1-883B-898F47D6964C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$8788E219-FFC6-4524-B571-0CF98720F391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fea0efbf7ea73b5df7afdb60be129365bfead0","datavalue":{"value":{"entity-type":"item","numeric-id":4729781,"id":"Q4729781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948908$E44E0997-0CD1-4205-8D0B-88CDAB194FA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0058b710d267cc5662ecf99ba6be41ca371e0ea0","datavalue":{"value":"10.1007/S00153-008-0080-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948908$D472C5F3-60DA-40D1-B5F4-A7AD3F8C6E00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de395bee12df483a2e23c4bb7bd4a7f77ac96d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5dd0880831534d3425c0e34af204f67de62829","datavalue":{"value":{"amount":"+0.9035283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$EB56A323-4513-4FE7-B226-BA8952E2D554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccf0006a82b6026c4fe993e5978f175f8a40ddd","datavalue":{"value":{"entity-type":"item","numeric-id":886183,"id":"Q886183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bfe5e88e3415857a482537640a3226ff93ee7b","datavalue":{"value":{"amount":"+0.86218643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$00693055-4B06-4C57-8A27-B735245443A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19896fd4cdb3ea9181d498a71fe95f492df5f01d","datavalue":{"value":{"entity-type":"item","numeric-id":1404668,"id":"Q1404668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33810bf959a8d65a459bfdfd6997e9d51804385","datavalue":{"value":{"amount":"+0.8048098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$86D7A244-8EC8-41AA-ADCB-406B5BC782A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf0624e2fa1431b33b6cbeb1f8bfda3aa9d5839","datavalue":{"value":{"entity-type":"item","numeric-id":3825001,"id":"Q3825001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4223c02a62eaef07ddfb0e0268cbc7ebfdc3f36","datavalue":{"value":{"amount":"+0.80113226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$BD777D55-0E92-4DCF-85B3-18E735D76069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78d26475981e134fc78ec8540e34104d4573846","datavalue":{"value":{"entity-type":"item","numeric-id":5687456,"id":"Q5687456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c7076f4820608fd69a80336b6c490d1c42268c","datavalue":{"value":{"amount":"+0.80045295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$196D0CB1-86E1-4C72-947A-F93AB7E7C3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663eb23da4c998cce463929b3c206e06b65d4926","datavalue":{"value":{"entity-type":"item","numeric-id":1293850,"id":"Q1293850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca326d5950d99d5b1df68615180dcb9e82906337","datavalue":{"value":{"amount":"+0.8002332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$2D37A64B-3721-4677-8832-F59E5DFF9EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13685574c066c84af493783307407a36f415d83","datavalue":{"value":{"entity-type":"item","numeric-id":2143218,"id":"Q2143218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634fe68381ebec44b8bbdfffc9c373f1aeb3827a","datavalue":{"value":{"amount":"+0.79828453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$3804C6BD-0728-424E-BEB2-D851BF3D7E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde9bd3b8e9c7dd4bc6e9702ef6f1d103aadafea","datavalue":{"value":{"entity-type":"item","numeric-id":3220958,"id":"Q3220958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac5d49829945f73e2baee0ab30a71845f311196","datavalue":{"value":{"amount":"+0.7980383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$44E2C8DD-D5CF-4E41-8BFC-40FA748B34A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cc3bcc71f17f68246181e43125ed20f62a139d","datavalue":{"value":{"entity-type":"item","numeric-id":4852713,"id":"Q4852713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe0d6b49c36d9e4504c84a41a33803459aa879f","datavalue":{"value":{"amount":"+0.79606545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$D3502C81-E0FF-4B00-A893-8B502F6DF591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6caae6a9421c3ca91a5fdef1e3fb3c89a6ac8dab","datavalue":{"value":{"entity-type":"item","numeric-id":1175102,"id":"Q1175102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b48309d6419a75b9b77cc358d8e77730b25d67","datavalue":{"value":{"amount":"+0.7935696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948908$47B82198-20D9-4F6D-975C-89A2474A2160","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:948908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:948908"}}}}}