{"entities":{"Q2062196":{"pageid":2072938,"ns":120,"title":"Item:Q2062196","lastrevid":57631188,"modified":"2026-03-31T16:50:45Z","type":"item","id":"Q2062196","labels":{"en":{"language":"en","value":"Cut-free sequent calculus and natural deduction for the tetravalent modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450674"}},"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":"Q2062196$1F9B8EC4-B831-4FCE-B305-38C30E3C5538","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4e9bc71620462713b83c943c8493157bf6351e6","datavalue":{"value":{"text":"Cut-free sequent calculus and natural deduction for the tetravalent modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2062196$F807FA16-E444-4D4D-A9E4-8CDCED150F74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44c653e58c5090a735660d928d35e93c3cc089e9","datavalue":{"value":{"entity-type":"item","numeric-id":456966,"id":"Q456966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$5DEB3856-29C1-4CEF-BC88-08C6F8ADACA8","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":"Q2062196$67B514FD-C49A-4BDE-95C1-D1B3825CF58C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e280b55b5616e58d755c5121c3b03bd5f8690da1","datavalue":{"value":{"time":"+2021-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2062196$12B768E4-062D-4F17-A2AF-476A7E5894BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23595b750f87245ae50ddb2922c917dcf41fcfd4","datavalue":{"value":"https://arxiv.org/abs/2101.09724","type":"string"},"datatype":"url"},"type":"statement","id":"Q2062196$86C4F1E4-AF80-43C4-B3EE-352399DB03BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062196$7CDA6555-8ADC-444E-9709-B32C0ABE77A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3c7ee9bd0c4358bcaa2d0a0d0cf3a6f622ba3b3","datavalue":{"value":"7450674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062196$462548F4-601D-44E4-B4D9-5690EDE712CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ecb7f195e719501567f01a005e59394f7c5096","datavalue":{"value":"four-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062196$F6F3FAC5-7A2A-4209-8CE5-3816D6980BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062196$E9E3C1F5-26F9-41AF-A524-8A9E1FB398C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5811ee01be7b6090e46931f12c7b72244d4806da","datavalue":{"value":"sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062196$67B42295-A914-4854-A750-6A261E63E727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c3de2f79aa44b98e74bebfd1943a49545e800f","datavalue":{"value":"natural deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062196$3A76517F-34F2-4C28-870F-CAE88D9168A4","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":"Q2062196$A6B56505-566E-4614-82E4-42B49A61F8F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7dd0ca7103a1d6489a91e821d2d2e8fa13ecfa3","datavalue":{"value":"W3169375340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062196$1E7B2358-75DA-4AD3-AC4C-5893CBD9FE1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$F55A8A0D-085E-40B2-BA85-5BDC9F170654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d7992e583cf45900673369824994739769f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$53650082-78A4-405F-A26C-D4F4333ACCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cdb2b765f973a0f9222ca8bd9da646898a07b2","datavalue":{"value":{"entity-type":"item","numeric-id":874747,"id":"Q874747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$D85FAD29-96A7-4795-9FE7-55E96BE98D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$DB71C28B-6D81-4809-B5D6-15D8AC2ABFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$E85C5E3B-82D6-4B83-B239-DCB49C858655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd3cbdf1c00595f847ccc16b1891ff1f32a54b0","datavalue":{"value":{"entity-type":"item","numeric-id":456967,"id":"Q456967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$935B5864-7E14-40B5-A7F4-308F857B374E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b76c286bca2e8d0135faf084af974142b47595","datavalue":{"value":{"entity-type":"item","numeric-id":5690138,"id":"Q5690138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$FB3713FF-DEB2-4A27-98C7-52BE98438D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a04c7e0e5bc0759d6de0eeeaceb69fd5f2b6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4508244,"id":"Q4508244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$1A745BEA-0BE1-4BD8-A799-3A1F01104AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcce34f5229eaf414dc4fb69899015360174aa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5271081,"id":"Q5271081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$AE52ACD8-1E8E-4C67-9693-1C7DD1191314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b489ecb185e043b01abbcffb5cb13fc040e05700","datavalue":{"value":{"entity-type":"item","numeric-id":2901198,"id":"Q2901198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$464EC345-0EE0-42F4-BE03-D19D1D9A8574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787a150b84274e460f276fe7fbf47cace27aebaf","datavalue":{"value":{"entity-type":"item","numeric-id":1685570,"id":"Q1685570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$60197702-15F0-4254-8E90-B5CB189269F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e19c9003c18edc5e65fff75387249184382f27c","datavalue":{"value":{"entity-type":"item","numeric-id":3580668,"id":"Q3580668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$668D45BC-EAC4-44D7-92B7-75A77515B273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31763be9eea38d9cbc02ba202f92b9820e64c7b7","datavalue":{"value":{"entity-type":"item","numeric-id":2987046,"id":"Q2987046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$0FEBB663-348D-4CFB-9770-09E7EEC51258","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":"Q2062196$E7B902A6-B8CB-4646-B1AB-02206594FEF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"818d9eeb460953f3ebc229fd1e306dcab64eb541","datavalue":{"value":"10.1007/S11225-021-09944-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062196$67753DF1-6A69-4773-A843-589437F42CDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe575c67b2803bf6c526e63e1e50e64167474d5","datavalue":{"value":{"entity-type":"item","numeric-id":456967,"id":"Q456967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24919fcb86e4ee4a557ac00ed6bbd6d064c38c4e","datavalue":{"value":{"amount":"+0.7744736075401306","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":"Q2062196$0BD5D134-B7BF-497C-9E3D-6C010B79CC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0247ca60d5b00f5badc261a5acdcf3cad02dd3dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948528,"id":"Q4948528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48a9aaab9ae082317e2563d63306df506976b67","datavalue":{"value":{"amount":"+0.7497981190681458","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":"Q2062196$1AC21B27-80FA-4934-BC3B-A94ADB722EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edf5053d2f7086802f565a5c6f800e4362c9943","datavalue":{"value":{"entity-type":"item","numeric-id":5169613,"id":"Q5169613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed112492f60ea97cee26eb0dadae9fde80cc580","datavalue":{"value":{"amount":"+0.7491205930709839","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":"Q2062196$B82247FD-4CF9-4AE9-9509-E2E002226C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724f2ccf66829d7ef6797710abe1fea8b909587f","datavalue":{"value":{"entity-type":"item","numeric-id":1203764,"id":"Q1203764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5979294ec0fc55418f345119fd82a3426def56c3","datavalue":{"value":{"amount":"+0.7478894591331482","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":"Q2062196$E0A34B7A-A336-43AB-8552-B14FEF8E6D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eabfadcc6c7e02259b9de46de1f95af4db5571","datavalue":{"value":{"entity-type":"item","numeric-id":5027667,"id":"Q5027667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c040c99eed444b07c5e26cde3b371e06df7d6a15","datavalue":{"value":{"amount":"+0.74666827917099","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":"Q2062196$E482F134-228A-4842-B0DD-998570D9A5A3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062196$006266F8-18A5-46DD-91AA-CB11614A0D99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2062196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2062196"}}}}}