{"entities":{"Q2517231":{"pageid":2527974,"ns":120,"title":"Item:Q2517231","lastrevid":52326482,"modified":"2026-01-21T11:15:25Z","type":"item","id":"Q2517231","labels":{"en":{"language":"en","value":"The decidability of the intensional fragment of classical linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6473006"}},"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":"Q2517231$4947159B-C840-4755-973F-BA29C97F2B95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c577a038e1b46176fd5a44b47474f5032ef49a7","datavalue":{"value":{"text":"The decidability of the intensional fragment of classical linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2517231$E31CC1AC-C813-41A8-ACDC-BB222253B81F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eccabcaf87b9b9f6b0e95ad387f413d4f55ed4cb","datavalue":{"value":"1331.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517231$CBAB9C7B-F034-4708-87D5-4BE032DE05DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$19AA8617-875B-4D75-8456-7ADCE1152509","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$EF262F13-82F8-4F5C-8BF1-9E84416F8C6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f563e849d82b33747d8a072aeef69bd478f05b24","datavalue":{"value":{"time":"+2015-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2517231$856F1004-652C-464A-833B-8FABA94BA502","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bdfd9da6be09ecf12458b0b32ac8278a6e93b528","datavalue":{"value":"The linear logic by Girard is one of the most interesting substructural logics. In the setting of sequent calculus, one can easily observe its peculiar features like having two kinds of conjunction and disjunction and controlled application of structural rules (weakening, contraction) restricted to some modalised formulas. Although it is known that full propositional linear logic is not decidable it does not preclude the possibility of having its decidable fragments. In the paper, the intensional fragment is examined with two-premiss context-free rules (multiplicative conjunction and disjunction) and it is shown to be decidable. Moreover, the same results are provided for some related logic called intensional interlinear logic, where unrestricted contraction is added. In the last section, it is also shown how to extend these results to intuitionistic versions of both logics and to versions with added so called Ackermann's constants.  The main result (i.e. decidability) is proved for sequent calculi of the abovementioned logics. In both cases, two formalizations are provided; in the latter (the controlled) contraction rules are dropped but the effect of their application is absorbed into other rules. For all calculi, the admissibility of cut (or contraction-absorbing cut) is proved. In case of the first calculus (with explicit contraction rules) except degree and rank of cut-formula, also the number of contraction applications is taken as an additional induction parameter. In Section 4, a decidability is proved on the basis of modified Curry's lemma and Kripke's lemma.  The paper is dense but readable. The presented results are important and may serve as an interesting illustration of the application of methods previously applied by the author to other nonclassical logics. For further information, the reader should consult [Proof theory. Sequent calculi and related formalisms. Boca Raton, FL: CRC Press (2015; Zbl 1302.03001)] by the same author.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517231$DEBDCC2F-E07D-44CC-988C-C2615A394A34","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2e7f704932fd75b813eb7e18ce6ce9f1d9ea52bf","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$002659A9-5BB1-47EC-A59F-4E26EE46FDB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517231$D30183E3-7998-4021-A9F9-CD2832E12F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517231$FE24182B-0D72-418F-A2DA-1D77624C9F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517231$610D31F1-089F-4CE1-A2D1-2849859709B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"695eb721fbc32441bf81f394de656ffcbc3962b9","datavalue":{"value":"6473006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517231$97D30A11-F308-40C5-B669-92442F5FAF44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517231$D87C0757-0E18-4C57-BFD9-6C7E4E5B582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517231$0624CC4D-E9DD-4959-BB1A-B1E003E471C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517231$68840A15-10E7-4BD4-AA65-33A00B34EDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517231$40BFF379-0915-4B81-9501-A4FA891F7235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517231$951242C4-F80D-46C7-B6F6-2679435CCB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517231$2CD72A95-CC09-4FF9-9914-7F139EFB1E35","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":"Q2517231$33EE06EC-E4B4-4039-80FC-1C4E80EA5C85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"890203ca2cd234efac41afd5e9167b1a99a072d0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.06.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2517231$4A1FE7EF-03CA-4E8C-90FC-75746ED87672","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c90015bc46e1dfc9a7a6055558fb99950c14c1a","datavalue":{"value":"W613960602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517231$FB3B29B7-2E9C-400E-BAF3-22DAB7B93D98","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cc65f19cd651d39ecd366182b9d5710d582bf2d9","datavalue":{"value":"Q56340934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517231$FF71AFDB-95B8-4ACB-9C72-64A50D821B48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$53A8A29E-20B6-4218-99D4-6721DB1EF0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$46CB9129-CA8E-4687-9A19-D87A6F1270B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$314EE0C1-99C6-4EB5-93A8-3F5579CF2407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786a6706d1a4aa1960218a83548e9869c3be6e26","datavalue":{"value":{"entity-type":"item","numeric-id":392272,"id":"Q392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$F1EAE929-63A6-42D3-A67B-8A5E095BD3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ada2e62b7cdb185e5aa8c18db346797c4e7a641","datavalue":{"value":{"entity-type":"item","numeric-id":918548,"id":"Q918548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$1626DE71-B0C2-4C45-90F1-FDA973746D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901fd89d121d043876abb0aef984f6ba60e63cfd","datavalue":{"value":{"entity-type":"item","numeric-id":850445,"id":"Q850445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$9D888C8F-819A-49F6-B4AA-B4C7EF5D75F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71138d348d6096487d0692143e4e6ed18d82a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5418473,"id":"Q5418473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$B4C11172-651F-488B-ABAC-A9E57F000BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd86bec6d90d0f7880185d67b1aaed2ecdba979","datavalue":{"value":{"entity-type":"item","numeric-id":3599059,"id":"Q3599059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$B9F73BEE-DED7-480B-A5A1-14A56D917D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3740790bcafb5be42b63a2da2ae21979b744ba73","datavalue":{"value":{"entity-type":"item","numeric-id":4916555,"id":"Q4916555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$818D258F-89F8-418C-9189-C37D2B81C2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$E1F49651-4D42-465D-B441-745C124154C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$1981C546-8D9B-4763-B646-54F2292F3F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$BE3C1450-AE7A-48B2-AE50-65BDFC0E5DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$E5AB530C-5126-48EC-B4B6-4AC6B75C12E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$61D989C7-85FA-45AC-B827-03ED2793D6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d7510aab77c7b5ee1e68e954e229c8b45db575","datavalue":{"value":{"entity-type":"item","numeric-id":3172800,"id":"Q3172800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$81B9EB26-B3F0-42F0-A76B-18EF8C49FB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96120dcfffcd62c367fa8be441cf48d159c30c53","datavalue":{"value":{"entity-type":"item","numeric-id":1854403,"id":"Q1854403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$519BB601-7598-4716-9345-920D92204AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$144B3E2D-A994-42D5-891D-DCC829E967B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$1C18BFA0-C143-4E65-B34E-AD0EA9865B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc96276b204882b9f1c05c0d6dc7b11a36979c1","datavalue":{"value":{"entity-type":"item","numeric-id":4842970,"id":"Q4842970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$41C510B9-3485-4944-A58A-EC2D72A6810B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$C9FA1320-3575-4B26-BBBB-C85616DAC427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c91947d55815a54792983bdbd8e3a81e6d71f8","datavalue":{"value":{"entity-type":"item","numeric-id":1342254,"id":"Q1342254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$F1F60F6F-9734-49F5-849A-8E61D87678A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d45b900e02fff384611ba003c187022d914323","datavalue":{"value":{"entity-type":"item","numeric-id":4842974,"id":"Q4842974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$68EB3BE7-C48B-422C-B37B-33D9D11BC5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272b100438791ebf9cb00211c08c13b3ce04aa14","datavalue":{"value":{"entity-type":"item","numeric-id":4428879,"id":"Q4428879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$7FCC201F-142D-46E4-A11D-C4E8614B9748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ff9e50d48cc7f224534b84074703d5675af0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4263800,"id":"Q4263800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$930A10C3-7685-4674-84B8-9D69AA0752B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$58592B4E-7552-4E0B-A238-E289B6472684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a21243111cda15893417183dd35870b92788e3","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$69D86056-6C3C-4693-A42E-31E6A4C8FBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$E8FBD5B9-677A-4144-9F4B-1B297E0864AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5df81dff1330cb65a91817347ed5d79f5c3605f","datavalue":{"value":{"entity-type":"item","numeric-id":4944927,"id":"Q4944927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$E6B3E6DB-D372-4620-95D3-C6285728F922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054ce90f3f83f9c044cbc2512b60a942d1f061a4","datavalue":{"value":{"entity-type":"item","numeric-id":4790400,"id":"Q4790400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517231$F48FD435-2384-4329-8D28-561729013C52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"508fad5b97cb0c889c0d2019500555296a50ec66","datavalue":{"value":"10.1016/J.TCS.2015.06.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517231$89B07D69-D555-4E39-B107-6EE47642D4F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf4275dbfd7556cddf3ff0f425e51bebb5537e3","datavalue":{"value":{"entity-type":"item","numeric-id":4842970,"id":"Q4842970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abef8711852e659c500c5fb962f9eae313dc210","datavalue":{"value":{"amount":"+0.8061422109603882","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":"Q2517231$A3E9B439-1B09-4715-B52F-DA6FAA360DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aec8e75eca13712bfe24a52de7e4f02098fe8c3","datavalue":{"value":{"entity-type":"item","numeric-id":1854403,"id":"Q1854403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d36579da5243b9054aa763c24bcb3bb827fddd","datavalue":{"value":{"amount":"+0.8040754199028015","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":"Q2517231$28E90252-5F72-41D2-9E78-005CF18F2523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a2bba9cb1c5f07e34ee695748cd5efd172ade2","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f704030f084c705e7532594f90106f0fb550cd","datavalue":{"value":{"amount":"+0.7952888607978821","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":"Q2517231$A11B78CF-EB19-4925-9F67-5DCCDF4A2487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d453e167d37e1e20fa09e1290daa189c05b307","datavalue":{"value":{"entity-type":"item","numeric-id":1917079,"id":"Q1917079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f704030f084c705e7532594f90106f0fb550cd","datavalue":{"value":{"amount":"+0.7952888607978821","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":"Q2517231$B340FE50-92AF-46BF-8576-E7B774DBEF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf70cb17272a71ed82361736593794f6f1e60863","datavalue":{"value":{"amount":"+0.791206419467926","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":"Q2517231$EB8A9B32-EE27-4E8B-B0B8-CC8410EFEE97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2517231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2517231"}}}}}