{"entities":{"Q1694812":{"pageid":1705553,"ns":120,"title":"Item:Q1694812","lastrevid":57478443,"modified":"2026-03-31T02:42:51Z","type":"item","id":"Q1694812","labels":{"en":{"language":"en","value":"The omega-rule interpretation of transfinite provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6835071"}},"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":"Q1694812$2BEFDD71-B26E-4A75-AEDB-6C95ADF2FAFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f8347d20679a89c4895d1018cb08892106143be","datavalue":{"value":{"text":"The omega-rule interpretation of transfinite provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694812$DFBDC25F-96D6-4FF9-89E5-3B19E976D31E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83f6a594c00c6227b7b46dca1c5749ee1f126e2a","datavalue":{"value":"1429.03211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694812$BB84FB8E-DC91-4B0F-A860-89882F276871","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$D4CEE843-8137-41B0-9B64-5E12BADB5DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$162982F7-1BB5-4D54-BAB3-FDB0A44B5471","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$ACF1AC6F-CE81-4D46-839D-3EAF3C7B050C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a56c33c49680ed15bf9438494fe87a6286c086fc","datavalue":{"value":{"time":"+2018-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694812$C091D4F3-C50F-447B-8BA6-0CD83ED94344","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31b917a1fb5c29c78635d35d1adba32b58adc6a7","datavalue":{"value":"https://arxiv.org/abs/1302.5393","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694812$25EFD55F-A645-4F52-AE04-CA92B5166136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"491ba04018ded1bb894968a6838e95b7c9e238bd","datavalue":{"value":"https://biblio.ugent.be/publication/8566402","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694812$BA9CC8A0-04BF-49A8-87F7-B68C82C71D4F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f0150790eb74acf377183587814eea4941df753","datavalue":{"value":"For any linear order $\\Lambda$, the polymodal provability logic $\\mathsf{GLP}_\\Lambda$ (generalizing the logic $\\mathsf{GLP}_\\omega$ introduced by Japaridze) has modal operators $[\\xi]$ for each $\\xi\\in\\Lambda$, representing a chain of provability operators of increasing strength. Japaridze's logic has various arithmetical interpretations in the literature: for example, for subsystems of first-order arithmetic, $[n]\\phi$ may be interpreted as $n$-times iterated $\\omega$-provability, or provability relative to the set of true $\\Pi_n$ sentences. The latter was exploited by \\textit{L. D. Beklemishev} [Ann. Pure Appl. Logic 128, No. 1--3, 103--123 (2004; Zbl 1048.03045)] to give a modal logic proof of the ordinal analysis of PA in terms of $\\varepsilon_0$. \\par This paper investigates the interpretation of $\\mathsf{GLP}_\\Lambda$ for a recursive well-order $\\Lambda$ in systems of a second-order arithmetic $T$, where $[\\xi]\\phi$ denotes provability from $T$ using the $\\omega$-rule with nesting depth at most $\\xi$. It is shown that $\\mathsf{GLP}_\\Lambda$ is sound and complete under this interpretation for theories $T\\supseteq\\mathrm{ACA}_0$ meeting certain conditions, and more generally, that the same holds for any so-called $\\Lambda$-uniform proof predicate for $T$. In particular, the authors include a self-contained, relatively simple Solovay-style arithmetical completeness proof for $\\mathsf{GLP}_\\Lambda$. The paper is intended as a groundwork for a possible future ordinal analysis of subsystems of second-order arithmetic in the spirit of Beklemishev's method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694812$68B8099E-BCCB-46C2-9106-2B5640236DFC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$5A4CB50E-31CC-497B-8C56-F2850B7A4C40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694812$721E36C4-6691-41FA-A518-E864A959E0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694812$67EF56B3-5E8D-442A-AB41-CD3B353393F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694812$042A6FA0-3B17-45DE-BA7F-11F31074244A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2b76eaac49792ce612e838b7a661ccc4c22d08c","datavalue":{"value":"6835071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694812$AA47B3FF-3F71-4887-9E48-0D2038AB02FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694812$5D0B9553-A56A-41E7-8BEE-919F2421302B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dfb91c5fe834c13c42e0d47849da3368028536","datavalue":{"value":"omega rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694812$873B19AE-00FC-4AB8-9425-6ECFAF00DCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a00686f812386cb4fa12d798f3533c15e4835c3","datavalue":{"value":"iterated provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694812$E1E2C758-1B6A-4679-8AE0-6A035EB2D478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694812$5EFE881D-D223-4463-9D5B-56900F65D779","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":"Q1694812$AF62793C-086B-4F73-BF53-FA6885648E44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a23856b29b95071616d6682f045401358dcc5875","datavalue":{"value":"W2963814436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694812$6431D993-FF5D-49C7-A4BA-694D7ED4DE5F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3d05abbbf06ab9497e9c1d3027b5a352946eb5d2","datavalue":{"value":"Q120514402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694812$7A642CC4-2BBF-4084-83F4-BDE954034BF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220dbc781dafa493813c640157524f7a834d9a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$BD1B34DB-3A35-4271-AFF2-4C7CDD06A944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$77672978-E145-4DBC-B135-42A26EBA8BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a809803e18561d5ce2af1fe749a337f10f2dfdd5","datavalue":{"value":{"entity-type":"item","numeric-id":804564,"id":"Q804564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$1232DD11-8065-42B8-A163-B65EB6B65967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003cabfda8dbc08b7fe4967e6f584f98e1dfcb30","datavalue":{"value":{"entity-type":"item","numeric-id":1204765,"id":"Q1204765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$6DF84C5B-0219-41DC-B73E-5FED65A3CA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfeaf66b5318c9d92cf3d120ecbf975172a3da7e","datavalue":{"value":{"entity-type":"item","numeric-id":1899141,"id":"Q1899141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$BB0679FB-3B92-49A4-ACBA-AC06ABEEEAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$2CA0DF3E-FCFA-4806-8E2E-29A66C73118E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfa7552e485598aa5ecf7b430881d0fdd8d66cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483298,"id":"Q5483298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$12EE37D1-1077-4CC8-899C-4A8014F8C50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2a4e644bff5b8b5231520e7ca8c97f8fb8f19b","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$22D91130-8F14-409E-9552-DB94A7E5B1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b296164d3c0f8a07121a259f764f7ceb4a2e74","datavalue":{"value":{"entity-type":"item","numeric-id":2510758,"id":"Q2510758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$CAEAA75F-BFEF-486D-9B4D-B453A60DB109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c83f198c5c7178639e27c9a7003d0d2773d2a0b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$5C2A1038-806C-48E0-B63D-229371177804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d25d21135b8b2822c873d87c7973c99b3a1051","datavalue":{"value":{"entity-type":"item","numeric-id":490656,"id":"Q490656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$3579E419-1A87-44E6-8AA4-5C1BD99F2E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$5B80CBB7-896F-4F1E-9B0C-67A51C4085B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d558c00f30291bc883563882c953842e78b4ad5","datavalue":{"value":{"entity-type":"item","numeric-id":685073,"id":"Q685073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$42C0F0E7-798B-4D53-995F-504C7DF0F0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$12DCFD37-6BC5-4237-A98B-62EA61AE1378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$B480B242-9EA6-4E33-8E01-915237B811B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb660a8cc042e4117791d071b0bac96f9dedeaf6","datavalue":{"value":{"entity-type":"item","numeric-id":5359565,"id":"Q5359565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$35A45576-49D5-4F29-A445-664594BD46D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2eabd3062c1ff3ceaead59b8eeae3c8424d7c42","datavalue":{"value":{"entity-type":"item","numeric-id":1176096,"id":"Q1176096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$B34E8AD2-C2E2-46CC-8E67-620A0393964F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83d3dd844e10f76030e452cd367614249e8fec0","datavalue":{"value":{"entity-type":"item","numeric-id":2449857,"id":"Q2449857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$0BD65BCC-5B0D-4098-BFB4-C78B91B9D69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db76dbb5d9a2cebcf74117cdaebc314ebfde27ab","datavalue":{"value":{"entity-type":"item","numeric-id":5419879,"id":"Q5419879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$13C19A2C-38A5-431B-8222-3731969F246C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8417887f2a76ba50f6f7c5f56c86d3e9fee6319","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$DE54D1C9-625A-4155-AAE5-2E86690BC002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$7E662775-BB43-4CC2-8181-3FDAEEBA6D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d67b6a890a5650336a67663daecd3ea3e574c8","datavalue":{"value":{"entity-type":"item","numeric-id":3252699,"id":"Q3252699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$850BC48E-97CC-463C-BC97-B82904F36FA4","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":"Q1694812$267229D1-1038-4F2E-A0FB-8230DDD2D789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9548c19a8d51e89141447b12675f2874b1f915ec","datavalue":{"value":{"entity-type":"item","numeric-id":3094148,"id":"Q3094148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$8A134477-6B8F-4D11-B2B3-633EC171C999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$BE740EE9-9A30-4716-B305-0C5D86490983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7021b8f12a8870837b2ed06bf45c0e1a122b683","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$8B9EE6F1-BC66-4FDB-B220-8F34C2230489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02efe1eb7d0ff60026bd2b8792eed3944a549364","datavalue":{"value":{"entity-type":"item","numeric-id":2862108,"id":"Q2862108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$BA10206A-ADF2-4F7F-99FF-8C6A3F81F0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb685597e7f0fa3e9b2031d9f7cf1f13ac4adf11","datavalue":{"value":{"entity-type":"item","numeric-id":3758815,"id":"Q3758815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$3944420C-BE85-413C-B478-1598DF3E7E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ddf610f7ffb36345de91ddc0182e3595ec29c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4295231,"id":"Q4295231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$02D53FE0-C390-4178-A9A2-8EDCF7829957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c760059e7dedbb8b7864d59fb746fef23ead35","datavalue":{"value":{"entity-type":"item","numeric-id":930618,"id":"Q930618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$F5F85A0C-F3F2-428B-8F74-A121BA90E6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$C1363031-B4E9-43A1-A609-B0B60D138340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$1D74766A-5189-47A6-ACE9-916821DCBB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694812$099AC294-D39A-406C-A3AF-F1C8DD717C02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8b5c6ad855e76e01b22f3d3a7c736b898bfeea9","datavalue":{"value":"10.1016/J.APAL.2017.12.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694812$E4CA1254-ACC8-4B80-A617-9EE57C6B5764","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0c6344883227ff095e22020d479cea00967b1b","datavalue":{"value":{"entity-type":"item","numeric-id":5015723,"id":"Q5015723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816af3eaf261ead7a92eeb695238326e8509f672","datavalue":{"value":{"amount":"+0.8199937343597412","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":"Q1694812$6885DA62-25DC-4CD2-B273-52C6A87E0282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaf2aa6dfbd45412019c03011961f4a9ad602b0","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab553dacf1e5548b27817d6039e1e59e31cd328","datavalue":{"value":{"amount":"+0.8127337098121643","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":"Q1694812$36EAF077-E0DF-4180-8FD4-3E0E82FDDCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd45cb9f36132729a99432f45cc43673ae33557d","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbe255f31abe7fd0422c4a734c1d472454cfae0","datavalue":{"value":{"amount":"+0.7923445701599121","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":"Q1694812$9D3FFCB5-D111-4F52-A0C9-88620E10C512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d4fd67aca13bf9f31762222841fded936ad2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5419879,"id":"Q5419879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595ec23b619bc578ddc6e4696595e0ec95ed4310","datavalue":{"value":{"amount":"+0.7900283932685852","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":"Q1694812$AFDCC1F7-2583-48ED-8772-479D4B61E5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9699d318a03e3b911c83b4b7cd31b7676126b6a9","datavalue":{"value":{"entity-type":"item","numeric-id":392274,"id":"Q392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7258fca828d2d50c28fd72ce9b7d0f4fd58d505b","datavalue":{"value":{"amount":"+0.7865986227989197","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":"Q1694812$0B411C47-6DBB-4104-9E2C-7DE02167B928","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1694812","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1694812"}}}}}