{"entities":{"Q3647294":{"pageid":5677200,"ns":120,"title":"Item:Q3647294","lastrevid":49768567,"modified":"2026-01-10T13:05:29Z","type":"item","id":"Q3647294","labels":{"en":{"language":"en","value":"A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640571"}},"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":"Q3647294$3039AD9E-B073-4D1D-BB51-B17D20B7D4FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fac6774335b5c88c689792b96c51f399de6af048","datavalue":{"value":{"text":"A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647294$DDC9834F-A73B-4BFF-A4B4-BF8DD4C34EC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a43fea8363eb20640b89671c9227a58ad8c9f8e","datavalue":{"value":"1187.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647294$1A39EF96-66E8-466D-8B7F-E4DC73F23217","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6155b639594601becb1394c040b62e94ce6bdca9","datavalue":{"value":"10.3166/JANCL.19.149-166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647294$61122E76-0646-4A57-9362-D3A1511B2A70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$1A45A7D3-4083-4492-BED2-0A652E8A0FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$C68523CD-4EAE-4EDB-B8D1-E540EC8B57DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$E7085EEC-8CF2-41EF-81F3-BF465B8CCE71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$74EB3AB7-2670-4E77-AEE7-0DC8FA3CCB2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647294$6EF49224-CC8C-4F77-8C71-D5E1FDF14B86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647294$9245F407-6DFF-4401-8A5D-10EFD85FC51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647294$D41124AC-16B2-4F6E-8081-3E4A87CEA4F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc43278a0348260d71d5c5dc17a83ed2dc737f5a","datavalue":{"value":"5640571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647294$E6293440-967F-4869-806A-188008F138CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647294$6D3DC307-45B0-49A9-979E-413158874C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647294$97CF6702-F9B6-4942-BD5A-F417581A3722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647294$B1235827-D4AC-45CA-9342-16E2EBF58366","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2804601b97b7e44dbfbde424596bb535899fd316","datavalue":{"value":{"entity-type":"item","numeric-id":16820,"id":"Q16820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$1CD2B8F6-0B62-4B4B-A8DC-E90DE3E4134F","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":"Q3647294$E6A4F771-309E-479C-B597-230D4A5EA009","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a20ee743781ee4c8b6671f139ef4ad158db302","datavalue":{"value":{"entity-type":"item","numeric-id":959821,"id":"Q959821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$187F23D1-25E9-4041-9BC7-7B62CE69E532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$2E9BDACA-1CE2-4BA2-A713-97F2D5CE424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2f0f75bd1f6308a7434b91f72e0c7b34315907","datavalue":{"value":{"entity-type":"item","numeric-id":4796459,"id":"Q4796459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$8E3C6B00-8C28-4D16-B9D8-CA5256888EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d4e9adfae30c74c6219689c62d0d59ee370b50","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$20A3D624-08A6-46C1-B59D-36C9E1014A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$CC328B53-F746-486B-BF4A-3B462D0974C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca7ab1e9ab8ddfd18235a6bc75423962b3df766","datavalue":{"value":{"entity-type":"item","numeric-id":4340932,"id":"Q4340932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$AD314344-C424-4256-9283-F3FF65DA2B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25111528f272916c4bfd9f74d533409578b49c1f","datavalue":{"value":{"entity-type":"item","numeric-id":877897,"id":"Q877897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$835AF94F-F74C-4B84-B00C-295C2EACC905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647294$B4A1C5B7-4281-4D6B-AFE8-848B7F4D74AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30137174861bee7fd2b8f61a59d950f6fbcf16c9","datavalue":{"value":"https://doi.org/10.3166/jancl.19.149-166","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647294$B18609CB-8595-4B7C-9A3A-98BE5604AED9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a7d8422b31c76a1fa582aa0f3de96169945d304","datavalue":{"value":"W2049227737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647294$0E1553E8-50B4-4E08-B157-8B9E3CC59EC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12075d2f8610df21e57284d588cac5db7fcb8fca","datavalue":{"value":{"entity-type":"item","numeric-id":2305412,"id":"Q2305412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d06ee5a82ee69657c1df4cde1f1c16c459801c3","datavalue":{"value":{"amount":"+0.93134785","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":"Q3647294$96054A99-2A5E-41D2-856A-58D9882654AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67582be9d6edb16e6b837c588eee222212194309","datavalue":{"value":{"entity-type":"item","numeric-id":2753600,"id":"Q2753600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc3f02069304d90c6102409a6c62cce63e10b3d","datavalue":{"value":{"amount":"+0.9179603","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":"Q3647294$AE23E393-CF5D-4AF9-8E84-13567D34B416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a61a9e4c0c36b0184660b60ed2d7b23213da98","datavalue":{"value":{"entity-type":"item","numeric-id":4699343,"id":"Q4699343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65dd729a950550330f67a53b80098c47ff5223ec","datavalue":{"value":{"amount":"+0.91127574","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":"Q3647294$C2A27DC4-236D-4E9D-A7CF-F8857E726D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613cfc2da30320cd624d30ebde6646a607d9e907","datavalue":{"value":{"entity-type":"item","numeric-id":4812964,"id":"Q4812964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63499ad4fa8ab72cccf3e5747ce636082be42233","datavalue":{"value":{"amount":"+0.8989292","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":"Q3647294$7E0B43C2-2CF3-4949-9A76-DBAAD643E882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ab1ef362c9af79ed33ea753f47d8c1e4b26fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4645223,"id":"Q4645223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d5153632d0d8205b5acb5a94a6add63c8fe025","datavalue":{"value":{"amount":"+0.89887255","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":"Q3647294$A9349562-81B9-4480-970D-7DD84FEE453C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08c31ef85d04b2238be7649d89f4e2e16f1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cd71524edefc25e55c01b7a7e04e9f9b9c32e7","datavalue":{"value":{"amount":"+0.89804196","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":"Q3647294$AD0E60C1-D5E2-4402-A8C3-A04E70EA3C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c745e4299f3e115acc0b61cab483358f34bae","datavalue":{"value":{"entity-type":"item","numeric-id":3809765,"id":"Q3809765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8e4a9b572585dcfeade00f66c33527ee8a6873","datavalue":{"value":{"amount":"+0.8972106","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":"Q3647294$5FAD8FA2-512A-4F9A-AAE4-612F906958F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf8aa2dff7735eddaa3aebecb31cb8e0b81c43f","datavalue":{"value":{"entity-type":"item","numeric-id":1378426,"id":"Q1378426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f603945f24324c231d4917ebe5c96613ad792ad","datavalue":{"value":{"amount":"+0.8967246","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":"Q3647294$E1980C47-B695-43B3-A560-A528258D0BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c0bec91397d2419c4cd6446727ef5c89817380","datavalue":{"value":{"entity-type":"item","numeric-id":4244301,"id":"Q4244301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34473457a1de9cfc2b4f2137efc44a601d0613f","datavalue":{"value":{"amount":"+0.895597","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":"Q3647294$3A08D67A-C80B-4012-AED1-4F04BEC0B848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcda087dd396b8813f9c99caab4ebf4cc059de49","datavalue":{"value":{"entity-type":"item","numeric-id":2177587,"id":"Q2177587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca1c19b693d9f8d3c74a8a104a27b3ae1770bbf","datavalue":{"value":{"amount":"+0.89536226","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":"Q3647294$453FD06F-FAEF-4F89-8A3C-5A369F8C1706","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647294"}}}}}