{"entities":{"Q2193974":{"pageid":2204717,"ns":120,"title":"Item:Q2193974","lastrevid":71519973,"modified":"2026-04-13T22:48:12Z","type":"item","id":"Q2193974","labels":{"en":{"language":"en","value":"Proof theory of paraconsistent weak Kleene logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239283"}},"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":"Q2193974$E23E3A9C-59F2-42E7-AF36-370F5603E779","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa37d0baaa3fdfc8d8644d8253e577c18f07b7c7","datavalue":{"value":{"text":"Proof theory of paraconsistent weak Kleene logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2193974$5A6694FF-DFA3-4792-8A39-0C03C364423F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b92b52b35d4dc2cf1d413f4949e6ba2b5261bec","datavalue":{"value":"1476.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193974$A61A152C-ACEC-4E0A-97AE-5B10AAAF7051","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae733c4e2be1c34797e29c9fd80d79483844b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":284971,"id":"Q284971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$11670E3B-B3B2-4F16-BBB0-09AC0AF38447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d279b6a0a91d400acab76af0fc70867bdefa1f98","datavalue":{"value":{"entity-type":"item","numeric-id":1617817,"id":"Q1617817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$93420666-3C35-428A-A403-5660E908349E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$2D85E581-92BE-4DBB-9DE4-40777473A630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2193974$67795119-2F7C-43E6-BE39-8883EBEBA7EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3730b575ef8d420920b2da73df6a4074f25bdee7","datavalue":{"value":"Paraconsistent Weak Kleene logic (\\(\\mathbf{PKW}\\)) is the three-valued logic that arises from the weak truth-tables due to \\textit{S. C. Kleene} [Introduction to metamathematics. Groningen: P. Noordhoff N. V. (1952; Zbl 0047.00703)], where the intermediate value is taken to be a designated value. Until very recently, (\\(\\mathbf{PKW}\\)) has been the little brother of the other logics in the Kleene family in terms of recognition by the logical and philosophical communities. In [\\textit{D. E. Szmuc}, Log. Log. Philos. 28, No. 2, 277--330 (2019; Zbl 1452.03070)] it was already noted that there has been a revival of interest for (\\(\\mathbf{PKW}\\)), both from a semantic and from a proof-theoretic point of view.  In the present paper, it is noted that on the proof-theoretic side, many of the presented calculi have some linguistic restrictions on some of their rules. A calculus is provided that avoid such side conditions. The presented calculus is somewhere in between a sequent calculus and a natural deduction calculus. Furthermore, a Priest-style tableau calculus for (\\(\\mathbf{PKW}\\)) that uses signed formulas, is introduced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193974$D84CE7D5-BC41-41A0-AE71-A74741A31CE0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$54F9E3DB-A8CE-4EF2-A7B7-8AB2511533F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193974$FB3BAF53-93CA-42E6-AE11-548C1DFF837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193974$47A3C557-DA96-43A1-9C18-7EC271E398D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193974$72D1B6A7-D005-4813-9007-3CC2DBFFB8BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaa41522cc4b702a49a7f7601933bfe8d1af0c95","datavalue":{"value":"7239283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193974$738FC7EE-1B9E-4634-B828-CE1998AE8ACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193974$17FB6721-6C0A-4B36-B33A-9C43F4A2F4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ef87665727de33e24a8b924e5e7c6e68e54d29","datavalue":{"value":"paraconsistent weak Kleene logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193974$1FAE6292-9F60-454E-A040-41D8949D53D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e3c660297e4e03348a0b7cd63e920497d9843e","datavalue":{"value":"3-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193974$B3940640-7B86-45D6-A654-4FA65FA2B604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c353546e8c4116e3cf680a8cb0bf95d08ddb5926","datavalue":{"value":"tableaux calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193974$24494ED8-EDC3-424C-BFE7-6B0045C76B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea28ba5e6ec1a7caa17f180ce828ff9ba10178f0","datavalue":{"value":"logics of variable inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193974$18E44B2B-56B3-464F-AFC8-9AF9C7818173","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":"Q2193974$21BEB42F-B925-408C-AEEA-C9CC0D2924DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5db1708398ebcd29b907e4dd69cb26d0c50f943e","datavalue":{"value":"https://doi.org/10.1007/s11225-019-09876-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2193974$5B57B42D-1D60-49B4-AF31-B531F6911024","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2690872693b86dff0cf52db993b4e1458e3c002d","datavalue":{"value":"W2981680275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193974$31A8629A-85D9-4399-BCAE-44A40AE04FFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$0A7ED78A-BE00-4AB8-A6E9-E699A9DCB9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2c3dd38fb4f31cc6ff0171b4a235ac9803e7c7","datavalue":{"value":{"entity-type":"item","numeric-id":253131,"id":"Q253131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$98673DBE-A769-4E8D-9DBD-66C010F5665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6859974629692e7f7ae9e880660fa35ccbfe1205","datavalue":{"value":{"entity-type":"item","numeric-id":2966524,"id":"Q2966524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$8F1A8E5C-F625-4E5A-AFBB-D0D5FB3ADA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690ffc00371ab63feb1697aed6a1c684e83effb9","datavalue":{"value":{"entity-type":"item","numeric-id":1309339,"id":"Q1309339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$F0F08FFA-C4A3-4442-A4CC-4FF1E18D9971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec69565a0f072194469c8cca4c8004e59972b3","datavalue":{"value":{"entity-type":"item","numeric-id":2433095,"id":"Q2433095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$9ED7FF03-EB26-4895-A51E-8490E5CDC8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdb02a8cbc0c6812de30af50942e4a7fe81b51d","datavalue":{"value":{"entity-type":"item","numeric-id":526733,"id":"Q526733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$2B3A2531-3D5C-473B-A3B8-6B2EDCA6AFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6dd75bc29d4388823f6c7ec82e015787ced037f","datavalue":{"value":{"entity-type":"item","numeric-id":2219088,"id":"Q2219088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$CD1DA348-DC85-4EF1-AFD8-05C819F96A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c777c4724881cfa5d3aa087c8b5779a04ab0d9be","datavalue":{"value":{"entity-type":"item","numeric-id":5215771,"id":"Q5215771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$EC9DD5E2-1040-4324-845E-40B7F47B0268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd3dff7e24d0223e2329d2dde0a22f2406c8b2a","datavalue":{"value":{"entity-type":"item","numeric-id":5742697,"id":"Q5742697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$D6CB7EB7-8723-4FBC-8D82-4D1E5B72E0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b00f1b09fed5fd156c4f65128cdf8837ec5d1b2","datavalue":{"value":{"entity-type":"item","numeric-id":3121048,"id":"Q3121048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$C98978D5-2D61-418C-B166-4470647E9DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bbe5e43a337a5d2274078bba92c0066fdf540c","datavalue":{"value":{"entity-type":"item","numeric-id":5213389,"id":"Q5213389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$6F5302FC-2265-4B35-8EDC-59591A2E3482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1a27e8e555bcf70ae6338f9a4ad951b1d7a04c","datavalue":{"value":{"entity-type":"item","numeric-id":2303584,"id":"Q2303584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$B3E0DB98-C8D3-4C2F-A653-0D99F208F313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360b4354e5666aa2a68d5d79fb4846c4917af615","datavalue":{"value":{"entity-type":"item","numeric-id":4992398,"id":"Q4992398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$A4747F68-1E0C-4E78-BBFC-5FAED4D8FB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7800bc6820ba1dfe0ff93ed54423d801c54d78e4","datavalue":{"value":{"entity-type":"item","numeric-id":4430394,"id":"Q4430394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$E5B949DF-DAED-4921-8803-7C9F8F86EF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064de5a3f742d4be011bf0e27991af03cc5c2a96","datavalue":{"value":{"entity-type":"item","numeric-id":1683263,"id":"Q1683263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$A361753A-CFEF-4D05-BD9A-479EC6721F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$7A8A86EC-42CA-4174-B0E6-7CA1C96F4143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$BA2317FA-6241-4862-8AF2-EDB9F7813793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4aa9fefd25f1f34eeb6bfa44170e419f3416f","datavalue":{"value":{"entity-type":"item","numeric-id":5800353,"id":"Q5800353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$16A7EF86-217E-4E87-B56B-6763FDC7E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$530DCE12-E3F3-44D6-8E43-C0E765168D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$9F69BFDF-2E87-40F9-9C89-08BA11811C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75e1a35ddd94ab97a9da5cc5903ad878a0aecb2","datavalue":{"value":{"entity-type":"item","numeric-id":1679765,"id":"Q1679765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$2B358191-41CC-4D0F-A98E-4A07548CBCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f916507c008fb5003a7ecd169c2aecb255a280","datavalue":{"value":{"entity-type":"item","numeric-id":3112283,"id":"Q3112283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$D9380E10-BB45-4C66-8E29-33530EC4FB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac554835932df1afdf835b0ee8843829837fa5ac","datavalue":{"value":{"entity-type":"item","numeric-id":4994024,"id":"Q4994024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$0F27C875-09D3-4BE4-8D47-9913A0B1F0C5","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":"Q2193974$94841115-B849-45B3-9B29-EF4532BDDC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$89E5A555-BC13-42D8-8871-DF35294F211F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d67536e4aab30e1e281e7fec64117bb28829ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3305619,"id":"Q3305619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$7C1BEC67-2B36-4A8F-A113-DEFD75ACD5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$D82E6BDB-A790-4E50-BDA4-59B2CE38A514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228a229c4d9476b06bf8ed364f34b066467bb2ab","datavalue":{"value":{"entity-type":"item","numeric-id":5411466,"id":"Q5411466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$32A3B2B7-0BBF-4C23-A3F1-2422D91B2560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582343444dd17fd7659b4a58cb490f4b8be727ad","datavalue":{"value":{"entity-type":"item","numeric-id":5215506,"id":"Q5215506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$ACFA8FD5-69EB-447E-84DE-8B64878F7108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f2ffcbd9c0c9f3ba32e1ed813991fc0cffef25","datavalue":{"value":{"entity-type":"item","numeric-id":2075270,"id":"Q2075270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$E82A0B7D-0F89-4973-8267-A7A6BC0B09E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16070969458b7dabde1d7588493fc368a6ec2b81","datavalue":{"value":{"entity-type":"item","numeric-id":4789456,"id":"Q4789456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193974$A6128468-95B9-48EE-B0B4-8EA22F22A9E6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cdb8addda757641270aa1cefa3c6d18ab7bf6d6b","datavalue":{"value":"Q126986597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193974$E57E9F17-F28F-4CE5-92D0-8B67947B5162","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16e85b904e628382a44abbfe1f8c28257799f80","datavalue":{"value":"10.1007/S11225-019-09876-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193974$82451630-79EF-4957-A4FB-99C4E26DD729","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83146bbd2e493ae7d14ba37fec3a9067370e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":5014063,"id":"Q5014063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1181aa5a96be6319209c7b494cf63b8149b9174","datavalue":{"value":{"amount":"+0.8688517808914185","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":"Q2193974$D161A68C-F279-4D29-A3B8-4DFA53165F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133462e3d4b630ce88cf4b1252a3b14c1b670ad4","datavalue":{"value":{"entity-type":"item","numeric-id":526733,"id":"Q526733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e03a5ca0170943bf8426aca8586ee3a2f803eb","datavalue":{"value":{"amount":"+0.8620346784591675","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":"Q2193974$B26533D6-BFCA-4454-B125-8FDBE7EA16DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0d8113d115b46e2920c9fac1357f82a46613d8","datavalue":{"value":{"entity-type":"item","numeric-id":5354796,"id":"Q5354796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3084a3aa3f6c61f95aabf56f948198e31f721119","datavalue":{"value":{"amount":"+0.8539201021194458","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":"Q2193974$0278627E-E159-4EAD-A142-FA5A81BE9B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d312004247364f1532eeffd5cf295e65e8ed3b4","datavalue":{"value":{"entity-type":"item","numeric-id":5215506,"id":"Q5215506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f552a8e2717057a334a6f7c2c00a63105adefc","datavalue":{"value":{"amount":"+0.8491728901863098","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":"Q2193974$2C0522E4-E9D8-4D6F-B1D4-1DD15F6B311A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429a84bcc98820754822eab5a16fdf3f67f4d10b","datavalue":{"value":{"entity-type":"item","numeric-id":5215771,"id":"Q5215771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa090d640ae461155374074200d02b1df23385ee","datavalue":{"value":{"amount":"+0.8407435417175293","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":"Q2193974$9D11EBFF-DEAA-421A-97FE-FA2C3B81DBCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory of paraconsistent weak Kleene logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_of_paraconsistent_weak_Kleene_logic"}}}}}