{"entities":{"Q1749807":{"pageid":1760549,"ns":120,"title":"Item:Q1749807","lastrevid":53095748,"modified":"2026-01-24T05:19:58Z","type":"item","id":"Q1749807","labels":{"en":{"language":"en","value":"Proof theory of paraconsistent quantum logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6875349"}},"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":"Q1749807$21000D5F-8F44-4223-A30C-69CA3EBA803D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d8eb5880a9f45bea9ac98034e90e4f38f8d00a6","datavalue":{"value":{"text":"Proof theory of paraconsistent quantum logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749807$BE34E907-FD0D-486A-B5C0-91D76B3EDAEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de2b1bb9df614bd3152a668dad13e4556d1dbb4d","datavalue":{"value":"1437.03178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749807$73D416BB-5305-4422-96BD-5BB61621C844","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$7D4DAE19-9204-4B26-9901-D56FEC3D8B68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$2C42B622-7E15-425F-8704-6A156A1FE285","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb0b4f8448cb732f5cf8cffa419b2f4d1d4c8c86","datavalue":{"value":{"time":"+2018-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749807$8D1AF619-EFEA-4C98-9D6A-F8719869262D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab2869071fc0226cdfa614d1cb1e31f30b9e6972","datavalue":{"value":"Minimal quantum logic or orthologic was introduced in [\\textit{G. Birkhoff} and \\textit{J. von Neumann}, Ann. Math. (2) 37, 823--843 (1936; JFM 62.1061.04); \\textit{G. Birkhoff} and \\textit{J. von Neumann}, Ann. Math. (2) 37, 823--843 (1936; Zbl 0015.14603)], and its Kripke-style semantics was provided in [\\textit{R. I. Goldblatt}, J. Philos. Log. 3, 19--35 (1974; Zbl 0278.02023)]. Its Gentzen-type sequent calculi have been studied in [\\textit{N. J. Cutland} and \\textit{P. F. Gibbins}, Log. Anal., Nouv. S\u00e9r. 25, 221--248 (1982; Zbl 0518.03029); \\textit{C. Faggian} and \\textit{G. Sambin}, Int. J. Theor. Phys. 37, No. 1, 31--37 (1998; Zbl 0904.03031); the reviewer, in: Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvure\u010denskij. Amsterdam: Elsevier/North-Holland. 227--260 (2009; Zbl 1273.03089); the reviewer, Int. J. Theor. Phys. 33, No. 7, 1427--1443 (1994; Zbl 0809.03045); the reviewer, Int. J. Theor. Phys. 33, No. 1, 103--113 (1994; Zbl 0798.03062); the reviewer, J. Symb. Log. 45, 339--352 (1980; Zbl 0437.03034); \\textit{S. Tamura}, Kobe J. Math. 5, No. 1, 133--150 (1988; Zbl 0663.03050); \\textit{M. Takano}, Int. J. Theor. Phys. 34, No. 4, 649--654 (1995; Zbl 0824.03032)].  Belnap and Dunn's paraconsistent four-valued logic [\\textit{J. M. Dunn}, Philos. Stud. 29, No. 3, 149--168 (1976; Zbl 1435.03043); \\textit{N. D. Belnap jun.}, in: Mod. uses of multiple-valued logic, 5th int. Symp., Bloomington 1975, 5--37 (1977; Zbl 0417.03009); \\textit{N. D. Belnap jun.}, in: Mod. Uses of multiple-valued Logic, 5th int. Symp., Bloomington 1975, 5--37 (1977; Zbl 0424.03012)], a.k.a. \\textit{A. R. Anderson} and \\textit{N. D. Belnap jun.}'s first-degree entailment [Entailment. The logic of relevance and necessity. Vol. I. Princeton, N. J.: Princeton University Press (1975; Zbl 0323.02030); \\textit{A. R. Anderson} et al., Entailment. The logic of relevance and necessity. Vol. II. Princeton, NJ: Princeton University Press (1992; Zbl 0921.03025)], is known to be equivalent to the $\\{\\wedge,\\vee,\\sim\\}$-fragment of Nelson's paraconsistent four-valued logic [\\textit{D. Nelson}, J. Symb. Log. 14, 16--26 (1949; Zbl 0033.24304); \\textit{A. Almukdad} and \\textit{D. Nelson}, J. Symb. Log. 49, 231--233 (1984; Zbl 0575.03016)]. Its Gentzen-type sequent calculi have been investigated in [\\textit{J. M. Font}, Log. J. IGPL 5, No. 3, 413--440 (1997; Zbl 0871.03012); \\textit{J. M. Font}, Log. J. IGPL 7, No. 5, 671--672 (1999; Zbl 0937.03028); \\textit{N. Kamide} and \\textit{H. Wansing}, Proof theory of N4-paraconsistent logics. London: College Publications (2015; Zbl 1436.03003); \\textit{A. P. Pynko}, Math. Log. Q. 41, No. 4, 442--454 (1995; Zbl 0837.03019); Zbl 0323.02030].  Paraconsistent quantum logic, a hybrid of minimal quantum logic and paraconsistent four-valued logic, was introduced in [\\textit{M. L. Dalla Chiara} and \\textit{R. Giuntini}, Synthese 125, No. 1--2, 55--68 (2000; Zbl 0969.03070)]. A cut-free Gentzen-type sequent calculus for it was investigated in [Zbl 0904.03031] by extending the $\\{\\wedge,\\vee\\}$-fragment of basic logic in [\\textit{G. Sambin} et al., J. Symb. Log. 65, No. 3, 979--1013 (2000; Zbl 0969.03017)].  This paper introduces four cut-free Gentzen-type sequent calculi for paraconsistent quantum logic. The first is obtained by Takano [loc. cit.] by deleting some initial sequents and negated logical inference rules. The second comes from a Gentzen-type sequent calculus for the $\\{\\wedge,\\vee\\}$-fragment of basic logic by adding some negated logical inference rules. The third derives from a Gentzen-type sequent calculus for the $\\{\\wedge,\\vee\\}$-fragment of \\textit{H. Aoyama}'s weak sequent calculus LB [``On a weak system of sequent calculus'', J. Log. Philos. 3, 29--37 (2003)] by adding some negated logical inference rules. The fourth, PQL, is obtained from the third by restricting the sequent definition, being obtainable from a Gentzen-type sequent calculus for \\textit{lattice logic} [\\textit{G. Restall} and \\textit{F. Paoli}, J. Symb. Log. 70, No. 4, 1108--1126 (2005; Zbl 1100.03049); \\textit{J. Schulte Moenting}, Algebra Univers. 12, 290--321 (1981; Zbl 0528.03029)] or from \\textit{finite sum-product logic} [\\textit{J. R. B. Cockett} and \\textit{R. A. G. Seely}, Theory Appl. Categ. 8, 63--99 (2001; Zbl 0969.03071)] by adding some negated logical inference rules. These four calculi are logically equivalent. A first-order predicate extension FPQL of PQL is shown to be decidable after the decidability of first-order \\textit{substructural logics} without contraction rules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749807$99759329-8681-43A6-ACD3-D877BC3F18D1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$E85838CF-0D3A-404B-9A11-C77BAF7BCDF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749807$A1E525BD-3356-4C72-B644-F9BE670A789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749807$5DC56EB1-6964-40C0-A67F-A6D021E11BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749807$E2ABF719-BB49-4C4A-AD09-C73C67079CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749807$6183A30D-7679-4AFA-9EBE-BECFFCC14022","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"540730cfb1d499db58c6c4317f16f0c7eb7518f1","datavalue":{"value":"6875349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749807$01DBF197-36EA-448A-A53B-C3D85AC89E04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749807$3685819E-24B6-4D35-AE4F-84E25323165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749807$1308FAB0-2E69-467A-908F-D1DB818F92DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749807$B03BB3B2-E2A5-43B1-A53A-27714BBB3E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749807$D5983064-A50C-4776-B20E-0297A962C1C2","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":"Q1749807$0CBC5EE6-F0C5-4727-9EDA-51A3C5AD4021","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fab553a869da24d2cba4057fe3f38f68cfe0cd9","datavalue":{"value":"https://doi.org/10.1007/s10992-017-9428-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749807$FD28E255-41D8-4526-92A1-F48665E9CADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a05698f4f5de3da6a822b32589b29bd034591f25","datavalue":{"value":"W2594264882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749807$48E29A78-1F20-4AF9-B565-17CEEA28391B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$64AD6FAE-EC4F-4CDA-95EB-519BE299371B","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":"Q1749807$9CA02C58-B765-4361-9BEC-E018B5DDD0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925e42ad67ae36eae62085365571716a6706b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":558432,"id":"Q558432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$4C5AD949-6526-4D1A-BBDF-323C6DDC1E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$504552C7-9E0B-4D10-82F8-728934B82D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$F59BD8A7-3F15-4303-986F-5B1106375DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad289803c0aac5fbf57ce212aab2f54d76a1713","datavalue":{"value":{"entity-type":"item","numeric-id":2707132,"id":"Q2707132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$96A42BDA-0B38-4B38-B9E0-7DC8C0357268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ea96e0eef7ec43602077899dd74e624fab0591","datavalue":{"value":{"entity-type":"item","numeric-id":3666849,"id":"Q3666849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$EFC23E74-38DE-4D35-9863-AFC441B244E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$1FAA67A1-C09B-472D-8D24-99A93748B64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a55025adbc0829a6ef916a864eb62a5459c973f","datavalue":{"value":{"entity-type":"item","numeric-id":1840645,"id":"Q1840645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$788A3C6B-6F12-403E-B940-181AF307ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7def4364199c395f7c269e41553f29c7cc03de4","datavalue":{"value":{"entity-type":"item","numeric-id":1264370,"id":"Q1264370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$BB7164E3-EC4E-46F4-A77F-9647154A1E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$1FA4978D-903B-4B70-873B-7B5DB05F1883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$B1D4FED9-C81C-42C0-A4EB-687F02B04E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d5fd92f1ca04342fdad39d66fe038125cb05d6","datavalue":{"value":{"entity-type":"item","numeric-id":5175691,"id":"Q5175691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$F76008B9-281F-4232-A065-C72A4FADD3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f54f83144546552d2ad10df238ae04ef552280","datavalue":{"value":{"entity-type":"item","numeric-id":4268480,"id":"Q4268480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$F47A7FB9-F12E-4455-B3FE-CB98160A28C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9103d7ee76eff9ee82384b09b9f91758be1fc477","datavalue":{"value":{"entity-type":"item","numeric-id":786808,"id":"Q786808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$0019A83C-7623-4DA1-A9E3-8EE60CF7DBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$B61CA846-B9E5-4451-B540-B80A646D4D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4278bbf7c3a34ba16400403dc2fb40591639b3","datavalue":{"value":{"entity-type":"item","numeric-id":3877681,"id":"Q3877681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$0232E053-F8D7-4C5C-B7EE-4F274C682311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407c0f8ee16cf2d3375df8566af92e18d6833779","datavalue":{"value":{"entity-type":"item","numeric-id":1325718,"id":"Q1325718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$AC630433-4B91-44F1-9DAC-1EE8138CF1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c096141a440c36c614350915e140b76291c7f5","datavalue":{"value":{"entity-type":"item","numeric-id":1340318,"id":"Q1340318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$90F31C96-1DE7-4B66-9390-F3F2DFA80555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658fbffaf2ae85f06a398287b1897cc70567d3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4857857,"id":"Q4857857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$7C106345-23CA-4041-A197-31547047AB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38746c75713113e917552ed7f6e81e5dd87e370c","datavalue":{"value":{"entity-type":"item","numeric-id":5486243,"id":"Q5486243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$20A0E8B3-9D51-4912-B7DF-F00EA3A6107E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbd2b93540a898c02c61dabf9d1006db2e5390","datavalue":{"value":{"entity-type":"item","numeric-id":4527908,"id":"Q4527908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$C3D05D96-448A-4D6C-89A2-DE1D0F192A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56644985cf57e9ed0ff4fbd8710db0680e92663b","datavalue":{"value":{"entity-type":"item","numeric-id":1894594,"id":"Q1894594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$11B7160E-8B34-4DD8-8FC4-669161DF4B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36dac6d27982dd2016e9a5c32c0a4782053372d0","datavalue":{"value":{"entity-type":"item","numeric-id":3813818,"id":"Q3813818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749807$04905A7E-59DB-40D8-8470-D98FE17A268D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"addbfdf883e0e8d20858584c7dba843e8465687c","datavalue":{"value":"10.1007/S10992-017-9428-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749807$B7C16BC9-90F2-43B6-9B3F-8DB6483348FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ead796e88fe0a6fa77c5c0265e9747ebc372977","datavalue":{"value":{"entity-type":"item","numeric-id":5109233,"id":"Q5109233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e572062e4bcf03bc08657b4dd11c7567a380f7","datavalue":{"value":{"amount":"+0.8354457020759583","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":"Q1749807$C3ED5D2C-F763-42A1-88A3-591968414838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb7147cfbc30362aa62ae770aeec403457bb842","datavalue":{"value":{"entity-type":"item","numeric-id":1325718,"id":"Q1325718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b396a77f1bbc9a26376baf67c1092a1735175d","datavalue":{"value":{"amount":"+0.7914877533912659","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":"Q1749807$7226504E-0861-4430-B208-132667EA4D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd73cac53fba691c91f3c5bb0c0521936e275dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3819043,"id":"Q3819043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b296ae57c1965d1cb229a59f024cdea3a7b17832","datavalue":{"value":{"amount":"+0.7867758274078369","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":"Q1749807$0ABFAFCE-07CF-4064-8F12-CFD66E8D37D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e7cf8d018a0ddd7911c855c04f44201c28b7b6","datavalue":{"value":{"entity-type":"item","numeric-id":2956249,"id":"Q2956249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412409ca6376de5f485f96e195fbed7a753ea295","datavalue":{"value":{"amount":"+0.7733549475669861","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":"Q1749807$B4EA8850-5CAD-4C87-8C3D-2F83857AD845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad524bc80e621343989ea93d0b23a67bf829792","datavalue":{"value":{"entity-type":"item","numeric-id":5869680,"id":"Q5869680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841f9260431b150f8c6b253d946e0efd48e478ca","datavalue":{"value":{"amount":"+0.7727465629577637","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":"Q1749807$65AD76F4-85C7-4DFA-8F45-542776F81EAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1749807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1749807"}}}}}