{"entities":{"Q1948276":{"pageid":1959018,"ns":120,"title":"Item:Q1948276","lastrevid":57635235,"modified":"2026-03-31T17:11:59Z","type":"item","id":"Q1948276","labels":{"en":{"language":"en","value":"Cut elimination for a logic with induction and co-induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6160215"}},"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":"Q1948276$FE12B53B-4EF3-4659-AF3F-BFB2F948B20D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efcf6220398d839ceadf566b76441d3fedf18aa5","datavalue":{"value":{"text":"Cut elimination for a logic with induction and co-induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1948276$F8BD9B67-7433-4BFA-BB58-74A0415D626D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4562646ea75324ba5f79c0a6c6573a9a6d47c806","datavalue":{"value":"1278.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948276$01F5AB70-C65F-4558-96CD-531B71023C35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$1EF627A1-71B9-4ABF-A0BC-20F07727D34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$1934BF16-5526-4816-8E90-DA9880F89640","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$F3B97132-1A7B-40C1-9EA0-A7A88084296C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dc63741ccf24ffe6cdd4c30f45d9d6bea59d0f1","datavalue":{"value":{"time":"+2013-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1948276$516E75D6-AE39-4339-9A94-944F0B9705D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f12b33900a864e2eb396a6dec36c06b1055b65fa","datavalue":{"value":"https://arxiv.org/abs/1009.6171","type":"string"},"datatype":"url"},"type":"statement","id":"Q1948276$339978D4-EA63-41C6-96CB-CF60628414D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da292d41e9749950760f89a155ab1fb4085ab410","datavalue":{"value":"The aim of the paper is to present a sequent calculus Linc\\(^-\\) with induction and co-induction rules based on a proof-theoretic notion of definition due to Hallnas and Schroeder-Heister. It comprises the core fragment of the intuitionistic version of Church's simple theory of types and allows reasoning about properties of computational systems. However, this paper is not concerned with the applications of Linc\\(^-\\) but with a detailed proof of cut eliminability for this system based on the parametric reducibility technique due to Girard.  In Section 2, the sequent calculus for \\(\\mathrm{Linc}^-\\) is introduced. Except having induction and co-induction rules, it has the special feature that each sequent carries a typing context for eigenvariables, called the signature of the sequent. Although the use of signatures simplifies precise accounting for empty types, it is not well suited for proving cut elimination. To avoid the difficulties, in Section 3 the intermediate system \\(\\mathrm{Linc}_i^-\\) is introduced, in which signatures are implicit. After the presentation of some transformations of derivations in \\(\\mathrm{Linc}_i^-\\), it is shown in Section 5 that cut (or rather multicut) is eliminable. Cut elimination for \\(\\mathrm{Linc}^-\\) is proved indirectly in Section 6 by showing that cut reduction steps preserve the operation of `decoration' derivations in \\(\\mathrm{Linc}_i^-\\) with signatures. Finally, some comparisons with other approaches are suggested.  The paper is strongly technical, but the proof of cut elimination is presented very carefully and readable with details added in two appendices. It may be of interest for researchers in Gentzen's proof theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948276$BAA19687-5CBF-4EBD-B4DA-6FB03931553B","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":"Q1948276$3328BA9F-879F-49EF-8211-7A5ABF403087","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948276$9D690301-8D0E-4081-9DFB-7BDDC99E615D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948276$00969812-401F-40ED-A1EE-6CB8AEAB4FFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c77ad14d23363bd557c8e34fc6d900f7c3a0fb7f","datavalue":{"value":"6160215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948276$11E40376-4603-4BF7-A88A-FAFA57C1BC76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948276$C1103D0D-7DD3-4308-9048-FA390D5C86EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948276$D46EA654-ADC8-4063-B100-6F9E746D180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e28abc9ed4103b97c3b983522b8597ab9f30596","datavalue":{"value":"co-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948276$873B1BF3-5DD0-4E10-8668-AF10C936334E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948276$A13DE1E4-6193-4311-816F-F5F6128D1534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948276$9955E8B5-FB11-4EE2-97EC-16F127CDD7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37025c9dbc84e42f604ca41ff70802c4959d777f","datavalue":{"value":"intuitionistic theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948276$578F8949-EFF5-46D8-BD41-FF8DEAC77B1F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f30e5dd378d1c8d431ca832dc781025a9796eb77","datavalue":{"value":{"entity-type":"item","numeric-id":21438,"id":"Q21438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$6647B8F5-FF5D-4DAE-86B7-33D7BE7E6D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$630AE87B-6FE0-40B7-8828-912C1392533B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ca68d9e60f39b64375620b23802b5755dae3004","datavalue":{"value":{"entity-type":"item","numeric-id":13181,"id":"Q13181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$02EEC673-CE71-4ECE-A982-F834119B34EC","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":"Q1948276$66FAD6F0-EC6C-4F5C-83AA-73DCEA779D2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"457f12841c3f9deb890d03444203231f525e22c4","datavalue":{"value":"W2141039045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948276$AAC4470B-0BF7-4077-A1E6-53835B93488E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$AB716A8E-4833-438F-A532-A68D678E5C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90cfd1e48c8cf1f9d7079747a2b5df68fc967ba","datavalue":{"value":{"entity-type":"item","numeric-id":3648723,"id":"Q3648723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$8F433C66-CC1E-46E4-9819-63FBCF742BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ffaaecd3b322c474d533c99472dc2eb16615196","datavalue":{"value":{"entity-type":"item","numeric-id":5747767,"id":"Q5747767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$DB24C105-8C03-439D-8DA3-675D541B4B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea3d89d9caeecb4ce96d5251e582d3bc04e60e3","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$3E6696BB-976A-411F-81BF-F5EC1E09001E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$8B497F6F-FBB9-4581-AA08-7B1FD9D11A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b2bde1b83feb55eaa9c825c633af636d80354","datavalue":{"value":{"entity-type":"item","numeric-id":617715,"id":"Q617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$32373455-10D0-43BB-9C21-E3F8FD8AF957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$D1B37F07-C243-49B0-94F4-CB2664475801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$B3A945A5-D0DD-4758-A392-90C74A9191FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$6F70FCA3-6AA5-4BFE-B487-11624EA0C73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$EF061AFB-5AB4-4257-BE4B-E38458AA17B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$3713E113-AA3A-4E0A-AD72-924A36BDC022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$0A95F030-94F3-47E7-B872-CFD06116C25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b1b6d321e9061de1263bc9768b7050048e21ec","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$E0FC297E-67EE-44E7-BC7C-3C677738B01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797bbf1c2d6bb399f80f079e9983fc833bfa2c2c","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$189EB505-7D5B-4B61-8050-4BB9BC397D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c0b3e148c7a43771fcdf2347b22ddbca70a9d7","datavalue":{"value":{"entity-type":"item","numeric-id":5705871,"id":"Q5705871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$EFAD9284-162B-499C-836B-265DBD75FB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$C400D1DB-5A58-4C8A-8B97-591196D86E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$FEEE460E-940D-4D3A-851D-0F91D5005D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c732fbd529c96b900ffef046072d0570c63aff","datavalue":{"value":{"entity-type":"item","numeric-id":4417871,"id":"Q4417871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$E32A0400-9E2A-4C25-BA68-62AD0BC60F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a5362203b0e3c8347ebddbc722eb15910d45b","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$6FD7E828-EBD6-4F09-9970-CCE717A51CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4fdc336b43063ea23854b1e9b2526543940aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1044837,"id":"Q1044837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$20B03A13-EFCE-4258-8F0C-770E7982F15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa74c271834bf537f060d2b0b575f3bcd6edf97c","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$59D0C1F3-CC42-4295-9C1C-37B91C3CE2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$11680634-808B-4AED-B78C-1F861D553979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$F9B8EE32-2D0E-4DF8-8BC5-3BC5B940C3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$B2E539A2-3268-46DB-A53E-5780E19C9913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f5bc4fa26fc2fd789ae9dacfefd6ae0c0e79a2","datavalue":{"value":{"entity-type":"item","numeric-id":2871857,"id":"Q2871857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$3110B297-B37B-4FA9-A148-6852D434C09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40c81f2144d4484e2ccf5a42d64e8348069be89","datavalue":{"value":{"entity-type":"item","numeric-id":5903941,"id":"Q5903941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$58CD9A41-56C6-4CA3-81D0-7980F333A09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$C5359223-9034-4CC3-9325-C39FF9C59054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a25d0974c4a14532cf07d54fb4d393c25f726f","datavalue":{"value":{"entity-type":"item","numeric-id":2871856,"id":"Q2871856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$1C359E52-BCA4-460F-A474-823F455A58C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948276$63EE4967-DFCA-429F-B78A-56F216A4F970","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e63a4ec5def2df0b9c983faab0680e917ec1f75d","datavalue":{"value":"10.1016/J.JAL.2012.07.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948276$A9A350AC-0810-406E-A4A1-DBF14D503708","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133fc69f4f4f3ab140a9fd8774c068659797fdf1","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09681a41a3faad7708b4f8b0322aa32bfcdda271","datavalue":{"value":{"amount":"+0.8240072727203369","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":"Q1948276$AD50CB34-9D49-4209-9075-7FA93EDD08A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bdf3dcf99bbb982c90981d2d4af8778dfd4e454","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4057655afc5bdb1eb870e1378fe9add1ba6f6ae7","datavalue":{"value":{"amount":"+0.8052783608436584","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":"Q1948276$2EF8FD0B-C95F-4464-90C2-99955B3D4D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19bf7c1cacd35801764740f2d16269c2e448da6d","datavalue":{"value":{"entity-type":"item","numeric-id":5140030,"id":"Q5140030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7260a942b2a87d8f6fdb6ef14807df3672d73ed4","datavalue":{"value":{"amount":"+0.8021138310432434","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":"Q1948276$784C5C04-F8BE-44CE-B28A-5EBB14113DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570bf1c893335d1dd89235f971e8c2f1e586a79b","datavalue":{"value":{"amount":"+0.798768937587738","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":"Q1948276$25653979-A769-4ECF-843D-776BF95390C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c76f77ea149ac341d5cf455fcbd6b85ee4566ec","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319c51aa751b3a50c93dd77b938476b7ee00bec2","datavalue":{"value":{"amount":"+0.7959932684898376","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":"Q1948276$3804A128-0F37-46F7-A2D2-9A6B9B60294B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1948276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1948276"}}}}}