{"entities":{"Q1693596":{"pageid":1704337,"ns":120,"title":"Item:Q1693596","lastrevid":74337027,"modified":"2026-04-14T19:36:36Z","type":"item","id":"Q1693596","labels":{"en":{"language":"en","value":"Natural deduction for bi-intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6832784"}},"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":"Q1693596$22BA0D97-8392-4938-BE62-B68D3DB1D0D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bffad877717a161d6d4bd42c2f7501ac1e2fa5a","datavalue":{"value":{"text":"Natural deduction for bi-intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1693596$D2957532-4E36-4A74-93F4-A7CCFF0A3E94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1924048a63f16345d48541c39e89858c3ffe960","datavalue":{"value":"1436.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693596$3E52C77E-545B-4FF0-AA34-880E30BA3A3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff00a37020abfb1072c98141396d6673e6995d93","datavalue":{"value":{"entity-type":"item","numeric-id":694490,"id":"Q694490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$5D09C76D-9FB2-458E-9424-7279EA02D9F7","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":"Q1693596$A0A3161D-2CC0-4A7D-8920-496E040D3773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da8c0aa6df967c6639d7fba7f3234dcc05081616","datavalue":{"value":{"time":"+2018-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1693596$C25ED3E6-DC24-447C-8E29-DE875A77F772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693596$3B8D2A60-CFA4-41C5-A112-458329E248EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f0387a267de24b9e6ce0154834b72c26a37ad77","datavalue":{"value":"6832784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693596$52CF68F1-25A8-4DE2-BF6B-491C29012827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4f9a4550285a94bf2d307894fc7c31290680e2","datavalue":{"value":"multiple-conclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693596$717E770D-DB87-4273-A6BE-757A7CFA8D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693596$F278DC4A-25E1-4E39-BF36-0BEC5A80489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"315e2e5892bd068ac4dec677b2965524ac903fdf","datavalue":{"value":"proofnet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693596$4DD54519-6650-46EC-A73B-BF795670F1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16366dd97fac686a51355ed7b55a557b65623c4c","datavalue":{"value":"co-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1693596$EFF728B5-F558-4D32-AE65-2FDD2B27E55C","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":"Q1693596$A373DFFF-9578-4554-8E71-89C111CFB49C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac175edbe0db103635b21e2ab521666b7917b6a5","datavalue":{"value":"https://doi.org/10.1016/j.jal.2017.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1693596$78B31633-0E0F-4829-8FC6-FFD822C9918A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24b71cb068f0ba85f921471d5c1aa6e0fb7c92f8","datavalue":{"value":"W2773341309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693596$5AFF122C-C2A7-4744-95C7-6670CE8E2E99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0d8826fc13a12335b777ccb97023881f20b67b","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$444B120C-09ED-47F9-B919-64F44AEF0C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e6baa3f2d1b108638e63f44444eb15fffd0961","datavalue":{"value":{"entity-type":"item","numeric-id":5940919,"id":"Q5940919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$5A83949E-F28C-4F08-A4A2-B0F652A360DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4198ce3dabdf90b9900bb8805d1e27c3f47767df","datavalue":{"value":{"entity-type":"item","numeric-id":4823807,"id":"Q4823807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$38C31008-8F9D-41D4-AC40-D2ADB4FE64B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$F6D0EB80-FD73-44A7-8D87-4A41EFA12AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$A23B3D4A-E8B4-42A5-941E-3C5FFFE9789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ac3680f722b3c4628bd0a6474880604d12b94","datavalue":{"value":{"entity-type":"item","numeric-id":3919679,"id":"Q3919679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$EACB4A26-6460-42BE-AAF2-A2A34D380BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0a2cf77b174e42853c03d75a923ff685e9de7","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$13D63C7A-C416-4EF0-A045-FC461E19E3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011fd0dc657f95a5f080525666aa54d66a669d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3086939,"id":"Q3086939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$FFEE399C-97DD-422D-81AC-416E8C1F1110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ae968e6063fb16827a99e23673e8c2769222ea","datavalue":{"value":{"entity-type":"item","numeric-id":5775746,"id":"Q5775746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$79C41DAF-FF8E-45BC-BD1A-493F2B20544C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47933cf1ff0557e3e670c7e6b85cbc952d671024","datavalue":{"value":{"entity-type":"item","numeric-id":1340989,"id":"Q1340989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$6A3D9939-3054-41A5-BC05-64AE8FD7083C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ac6744fd227e7126e0753fcf431afcfd7f97b","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$0C08F9BE-9BF4-4E54-8B67-C8F365AA74EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3627ced3fa9ee93c8bb660c265a67c6aa802802","datavalue":{"value":{"entity-type":"item","numeric-id":4964699,"id":"Q4964699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$AE8ADC18-A7D3-4A81-91C1-AB2B71F95D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$4B9945B2-FBBA-4F9E-A008-42FB38A12405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0767382d8bf57987ed05b06a96bb3872869474","datavalue":{"value":{"entity-type":"item","numeric-id":5176672,"id":"Q5176672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$4951699C-76E1-41F8-9E65-A29C7666BDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a4c3f78ecaf0fc1e0b609bbd10716aa4a222d","datavalue":{"value":{"entity-type":"item","numeric-id":1846858,"id":"Q1846858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$E3429591-8259-491E-88CC-0F3D05F28B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5aabcec04ea68cd3492777e2e271d92d3e496d1","datavalue":{"value":{"entity-type":"item","numeric-id":4052120,"id":"Q4052120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$53C84DDA-AF7D-4615-A4FC-D950E1BE6D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4460bd75879dd9cb5c80fbd7b49d00914168c9a3","datavalue":{"value":{"entity-type":"item","numeric-id":1239313,"id":"Q1239313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$A44A218F-D7EE-4B17-B7E7-73540B5AD757","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":"Q1693596$AB77DADF-A94F-419F-91A7-BBA2C91398F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$3FBFE575-1CE0-49E3-9BD6-EFB9008B74C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b837d80f785356c5cdc5211c3b9fa55515950df","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$06AA9594-1ABF-4706-B951-FE02C0ABE0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$EC44E063-B4FA-43B3-9075-A7A9626757DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fbd749809973b582e07791018a08ce57c0efb2","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$C4B816BE-4621-444C-894F-2809E6C690EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fc645ef6b13fa26298136aa38f0f9b6d1bbd7a","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$085918A8-AB79-45FD-B496-52E72CB0B6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90b14006522509129d31f0cd522d98218fa2222","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$98ED2FA2-D87B-4338-BF9C-FBD23CC2E159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426768d3d5594345361285607e01ab3b49279bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$DEA77E53-597D-4513-A2B1-9F97418C4CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c8fc48da70d9cacfdb4e9f8862e39feda424e4","datavalue":{"value":{"entity-type":"item","numeric-id":1688710,"id":"Q1688710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$4C247906-C66F-4614-BDEE-FC6EAC2F332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa30a9b8eac202ab30f84481370f60ff4f5fac","datavalue":{"value":{"entity-type":"item","numeric-id":1272827,"id":"Q1272827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1693596$4523BD7B-52CF-48A3-8231-4E7BEBDF483B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79a597eeb74703d1f5ff256b4319763ada1f63ae","datavalue":{"value":"10.1016/J.JAL.2017.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1693596$D6EB0833-45E0-4647-82C3-438339DAE88C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b4c20674077f492553a9f77a6370e4be3eb2b3","datavalue":{"value":{"amount":"+0.871953010559082","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":"Q1693596$0D4DBB25-667F-4959-BFAE-F8E878FA05AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf1751c23be45486b0b1cec1596b176c67b96af","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfc78bc795d6695434f1c40c96b7c0dc9df7960","datavalue":{"value":{"amount":"+0.8184008002281189","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":"Q1693596$5A03B554-74AC-4677-AA3E-715213F96489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc9daa157874e5b08af6ccfb4800f13c2735dac","datavalue":{"value":{"entity-type":"item","numeric-id":4964699,"id":"Q4964699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028ffa496ddce209b5976acfc8eed4480a63b347","datavalue":{"value":{"amount":"+0.8100528717041016","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":"Q1693596$6E0D7C63-2EAC-47AF-B818-787EE8CEACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036dfaccaa05f0eb7ccc59347f11a0294fa47bc3","datavalue":{"value":{"amount":"+0.8045668601989746","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":"Q1693596$531BFAB4-5968-461F-9827-FC640C54435E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20897afd5b0052e26f40cb20f82ba7bf2afec2e3","datavalue":{"value":{"entity-type":"item","numeric-id":3406690,"id":"Q3406690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29878cd64e3d2368e7e9646d71f3f52e2ca3b34e","datavalue":{"value":{"amount":"+0.8045446276664734","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":"Q1693596$FB587032-E581-41FC-A410-3A37832ACB97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction for bi-intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction_for_bi-intuitionistic_logic"}}}}}