{"entities":{"Q2084572":{"pageid":2095314,"ns":120,"title":"Item:Q2084572","lastrevid":43505689,"modified":"2025-07-29T15:50:47Z","type":"item","id":"Q2084572","labels":{"en":{"language":"en","value":"Natural deduction for quantum logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7603237"}},"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":"Q2084572$CE96B89D-2173-4645-B1ED-217840332C4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"263aae6fd5dcf7defc30f9713c065e86507cf0b7","datavalue":{"value":{"text":"Natural deduction for quantum logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2084572$A6FFE4A4-DA45-4384-98F1-1476322645E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c9d591dc5132e8700d44c2dc41346aae9d7c4ff","datavalue":{"value":"1501.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084572$3E996DA8-C66E-4BFB-9749-11F4928AD96A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb21941f9b3d10ac802e637a6b71cec0c1cb3ed2","datavalue":{"value":{"entity-type":"item","numeric-id":1411359,"id":"Q1411359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$4B7E82E1-453A-4DEA-B96B-E7C983D8FCCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$3A96D781-7547-4B8D-AB69-BE01F93A0893","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56990fd6540c9785f009870b6cba51a68900b81f","datavalue":{"value":{"time":"+2022-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2084572$905C35B3-BAB3-4173-B851-8D853E39A3FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc8fc39d3580ae05fc27d3fb7403fb6f11cf9d0b","datavalue":{"value":"A natural deduction for quantum logic was proposed in [\\textit{Y. Delmas-Rigoutsos}, J. Philos. Log. 26, No. 1, 57--67 (1997; Zbl 0868.03029)]. Different from this, this paper proposes a natural deduction system corresponding to the reviewer's quantum sequent calculus \\(\\boldsymbol{GOM}\\) [ J. Symb. Log. 45, 339--352 (1980; Zbl 0437.03034)]. While the reviewer's sequential system adopts conjunction (\\(\\wedge\\)) and negation (\\(\\lnot\\)) as basic operations, this paper adopts the Sasaki hook [\\textit{U. Sasaki}, J. Sci. Hiroshima Univ., Ser. A 17, 293--302 (1954; Zbl 0055.25902)] as a kind of quasi-implication as well. Since the Sasaki hook fails to satisfy the deduction theorem, special care is required in dealing with assumptions.  Once a natural deduction system for quantum logic is obtained, the corresponding quantum \\(\\lambda\\)-calculus is introduced via the Curry-Howard correspondence. The proofs of the natural deduction system can be reversibly translated into the terms of the \\(\\lambda\\)-calculus. The strong normalization property for the quantum \\(\\lambda\\)-calculus is demonstrated. The proof of the strong normalization property follows [\\textit{J.-Y. Girard} et al., Proofs and types. Cambridge etc.: Univ. Press (1989; Zbl 0671.68002)]. Some \\(\\lambda\\)-calculi based on intuitionistic linear logic were studied under the name of quantum \\(\\lambda \\)-calculus [\\textit{P. Selinger} and \\textit{B. Valiron}, in: Semantic techniques in quantum computation. Cambridge: Cambridge University Press. 135--172 (2010; Zbl 1344.68052); \\textit{A. van Tonder}, SIAM J. Comput. 33, No. 5, 1109--1135 (2004; Zbl 1057.81016)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084572$FDC2C9B4-6B52-4AA2-B7CB-25A650F15FF4","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":"Q2084572$9A78B342-AC38-49CE-876F-3ADC1EDCA4DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084572$7B258EB1-6B0C-4A58-861A-EFCDFAE2CC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084572$6F647DAB-B0E3-418B-8747-E0AFF1F86E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084572$42C6AF79-5C31-413C-AEE7-16E53A86C066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084572$43336471-5009-474B-9B11-61D20BA3EB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084572$B8E8EAF0-DCFA-40F1-9BEE-62E9F370296B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af544dc4d870daef1eff3d417ed65e442079cbe4","datavalue":{"value":"7603237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084572$9E4C3214-8625-4C2F-B515-B3948E9C492F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084572$D073C3C0-B42D-470D-B889-1BEE412D5081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084572$0FA49BA8-6025-4270-BEB9-010A8AE58CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084572$2B04CF19-DB51-4499-83D8-854AD9BD381B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9ebda65372723b833a23b4a9ec1798b667c8e5","datavalue":{"value":"curry-howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084572$B5E7267D-6CEB-4942-B3AB-879244A27EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084572$C8B313AF-2FBE-41BD-AE6B-76CDA58B7C23","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":"Q2084572$8F5B176D-2CD6-437A-B542-93FF0E419489","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2157bed53e45e437962bf8efb8cf05f881170ff0","datavalue":{"value":"https://doi.org/10.1007/s11787-022-00307-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2084572$BC412AB6-0387-4B16-BD29-25288B8414C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75a39dc901f437c1509b46450ca6e90e27c26b90","datavalue":{"value":"W4289884257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084572$945D0125-FEE5-4CD4-A711-1A7B780A86C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef499e85b786090489b8295dbee902e6591d79b","datavalue":{"value":{"entity-type":"item","numeric-id":2505957,"id":"Q2505957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$0753DB8B-8025-417B-ADA9-B9F88A7FAD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951b73e1191d1ff9b0e54ce7ca0fd0e62de19cc6","datavalue":{"value":{"entity-type":"item","numeric-id":3625736,"id":"Q3625736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$484C4C63-F7EC-4F39-99F6-2C7063ABC4BD","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":"Q2084572$E5C9957B-6F57-4C27-B988-66DEB776FB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$EA5A730F-DFDB-4980-B0C1-9C001DB442EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf78b20ff2311920e4671ca0680b9ad6d9cfa28","datavalue":{"value":{"entity-type":"item","numeric-id":676184,"id":"Q676184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$C470DB55-C57C-4E10-B35A-10DBCE3747CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9cfffecd73096ae743fe2b02cc12210bfe43da","datavalue":{"value":{"entity-type":"item","numeric-id":2851806,"id":"Q2851806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$8DF700CB-9769-48C0-9B8E-1723847F18EF","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":"Q2084572$235CCE08-75DB-421A-BC31-A55A1D845251","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":"Q2084572$F2B776D2-E67B-4FCE-852B-2C9D2D94F18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ecb2d92c20807d3735fc6e5660d70756c657799","datavalue":{"value":{"entity-type":"item","numeric-id":1239315,"id":"Q1239315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$0A99EF72-9D9C-48F4-82BD-EA3D0F96E0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c5dcb3454c7b6d8c72c6c23b9b22aa1a6d561e","datavalue":{"value":{"entity-type":"item","numeric-id":5427874,"id":"Q5427874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$DFD2CD00-FE7F-4B0C-A0CF-2E64E83AF54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a40c9a27d321ea22bc8421cbdca3a16f77f7312","datavalue":{"value":{"entity-type":"item","numeric-id":2560812,"id":"Q2560812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$CEE5AFC7-2094-4B21-9A31-78A0C6E6345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa9a153abf00a9cb4ddf59c716d791180fbeb1e","datavalue":{"value":{"entity-type":"item","numeric-id":3480040,"id":"Q3480040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$05EC5F0A-144D-4AD1-9FAC-AA4421EC187B","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":"Q2084572$52BE78C9-D223-4F2F-AEFB-0BE2BD4E098F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fb5fc211871b1396bbdbfaae178fe05cfa1a13","datavalue":{"value":{"entity-type":"item","numeric-id":2851799,"id":"Q2851799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$45F724EC-C1AE-4636-B4D8-3AE7493F020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fa93f49af1d94e30d0b0c516fd90af502aacf3","datavalue":{"value":{"entity-type":"item","numeric-id":1101108,"id":"Q1101108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$4063C599-6B1E-4242-B929-20985A375A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f185b630a25545b8eee4f12ed9f620fbec5c76f","datavalue":{"value":{"entity-type":"item","numeric-id":4240157,"id":"Q4240157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$2B8F064E-5AE6-44CE-8F8E-BB55632F63E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82402d0b04fd70ff932fca0760d93c62bb3690b","datavalue":{"value":{"entity-type":"item","numeric-id":2259009,"id":"Q2259009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$133ECB67-03C0-43C5-AFBA-0AC073ADDFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc2ced1e969865df9d9245d868238ced7c33ba8","datavalue":{"value":{"entity-type":"item","numeric-id":1805638,"id":"Q1805638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$1DB3406E-EB57-4C66-872A-7E7741699FB3","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":"Q2084572$3465C16E-202B-43AB-ADF8-2CE3759C58CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a53aa878a0e3d2d54f529465218e08501ed64c9","datavalue":{"value":{"entity-type":"item","numeric-id":4651508,"id":"Q4651508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$7FF39943-2245-4B56-99A9-D7FE372D6BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffe1e978d99e2fe2287f54e017548dfc49d814c","datavalue":{"value":{"entity-type":"item","numeric-id":2575078,"id":"Q2575078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084572$A644E8AA-3079-4F10-8D74-130E87660FC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ceb8b534a208f149e235f8545858afe6b1252c95","datavalue":{"value":"10.1007/S11787-022-00307-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084572$D7B143CA-3984-42AB-98D7-668EB73CA964","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211aa3d112e3db67ee7e36b8454286f5c7a15263","datavalue":{"value":{"entity-type":"item","numeric-id":676184,"id":"Q676184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15967e0386a4554354fa31312b59b9a86c09a33","datavalue":{"value":{"amount":"+0.9419375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$CC32DB98-D76A-47AE-9A99-FF24396F49C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b0b279a793fd1107ada41b81535e266ae148bc","datavalue":{"value":{"entity-type":"item","numeric-id":5918648,"id":"Q5918648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d8b18459431c9758e1a8ad876dc44e4174f294","datavalue":{"value":{"amount":"+0.91836804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$D561B7C5-1866-4F59-9596-242F78ED8CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374defd950f33a1a660933af9bbd5a5546dba922","datavalue":{"value":{"entity-type":"item","numeric-id":5925711,"id":"Q5925711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d8b18459431c9758e1a8ad876dc44e4174f294","datavalue":{"value":{"amount":"+0.91836804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$427D90D5-6942-4B9F-B221-1B5E9FD22E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af61ac75b6fa2bc8bdd8a7bf0313c5ee26182d96","datavalue":{"value":{"entity-type":"item","numeric-id":5696621,"id":"Q5696621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8739a410660721702e25a475ca73a7b441540740","datavalue":{"value":{"amount":"+0.90524876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$20FBEB45-3983-43BA-AA83-36C9A960391A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2d9e50efa0bfadb50d957b0bb8469ee628ee0c","datavalue":{"value":{"entity-type":"item","numeric-id":1604802,"id":"Q1604802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2ad56f17e30cc07f84869a42cf9913f0406de1","datavalue":{"value":{"amount":"+0.9014521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$33CE5C90-061C-4BBF-AEE5-6F03938F7CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977c57ed566ac3bffc5ce2635e286b6be6bbd7d9","datavalue":{"value":{"amount":"+0.89500785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$BFB4FC6E-B78E-44CC-8249-5427DB7E8FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f61167b81b55335b658d5c1261dafc2453a904e2","datavalue":{"value":{"entity-type":"item","numeric-id":4342085,"id":"Q4342085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bca53cf1bdca2a0968aaad7da2776f006e5bf35","datavalue":{"value":{"amount":"+0.8941054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$14A52AB3-C1A8-49D2-A570-21400EECA4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0da087417b670d4a9d3ee4b360902cd042c4430","datavalue":{"value":{"entity-type":"item","numeric-id":4224183,"id":"Q4224183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bca53cf1bdca2a0968aaad7da2776f006e5bf35","datavalue":{"value":{"amount":"+0.8941054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$73990B5D-5BA0-4CEA-8C3C-847AAA600E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d78a95804798e7b7b7e358794dd4032f9aad8ee","datavalue":{"value":{"entity-type":"item","numeric-id":2365439,"id":"Q2365439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed124811cdc8f7cf91eced492b1f84e937dcb1d","datavalue":{"value":{"amount":"+0.8937413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$BD899FE7-CFED-43F3-94C8-4081B8FFB468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a435560622873191a0b8477a1aed3a4763df95a3","datavalue":{"value":{"entity-type":"item","numeric-id":3789561,"id":"Q3789561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369dff7c234ba105b5bb8bfc2ca40f0e8d80d943","datavalue":{"value":{"amount":"+0.8931883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2084572$37E413C5-6F25-4335-BC45-E377EDFDEEEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2084572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2084572"}}}}}