{"entities":{"Q2805038":{"pageid":2815776,"ns":120,"title":"Item:Q2805038","lastrevid":42138732,"modified":"2025-05-23T17:37:06Z","type":"item","id":"Q2805038","labels":{"en":{"language":"en","value":"Stable canonical rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578135"}},"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":"Q2805038$759B3EED-D1B8-417B-9BD2-D770480645FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4d3dd2029b8445ef9dd294c22edb7fd8f34006a","datavalue":{"value":"1345.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805038$CC36ED90-EED5-40D7-A4AE-972091124BBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$1DC0EE4B-DE68-4D78-BB56-15AB9376F23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$54085A57-CDE0-4AA6-9207-4E9E30B67E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$D6030FB6-8C72-43DE-B950-33D85CF4D449","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5bed0c4e58e149f0de6217b7e76f74031a1108d","datavalue":{"value":{"time":"+2016-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805038$637EAB6A-4599-4359-AAB8-565D19D9DA6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca1d456e75cb706bd017d508d1778ff7dbe51d2e","datavalue":{"value":"http://hdl.handle.net/11245.1/4e39d0ae-9750-49f4-9419-179f742a5a9c","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805038$0BFD9C9C-E96A-4D5B-B8C4-126E8A20BE3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805038$29E85729-9601-4616-A361-C869F657EAC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78d45ab0bb924766b891030a8b46a460c2f8a1b8","datavalue":{"value":"6578135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805038$A391537A-B1F0-479B-92F4-E44091136CA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805038$5FB017EB-8F74-4947-A929-CFBB45D63A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c29e90c539d59746c0a015a4970548b0b2a76ac0","datavalue":{"value":"multi-conclusion consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805038$B28814A7-1D58-4E06-9D65-A5A993E2978A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805038$F489D69C-20E4-432E-A61A-D54B728B729B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805038$2EEC98E0-AA84-4845-9D33-DC559A6846AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d22b4943d233d02ade801f210524a90ddfdff","datavalue":{"value":"modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805038$7E9438DD-2F26-4D65-9E42-7CF897CF93C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805038$1C283C17-7460-46B6-B4B8-C259D16FDE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008271cbec60d50c025b8d3e422e8c57975de2d8","datavalue":{"value":"universal class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805038$7FD4B3E3-87BF-4965-BCA1-E10A6E9D3B7C","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":"Q2805038$057FF477-38AC-48B4-A206-8B2DF1CAC440","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf9b21c57dbe7a3d48d6a16ba1150704a3a1da13","datavalue":{"value":"W2529311106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805038$B17FD23D-0A0F-4C9B-B32A-7A373E67C31B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c11520391d9e7debe31819ecc68ae311087e73","datavalue":{"value":{"entity-type":"item","numeric-id":1288966,"id":"Q1288966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$E0160D4E-B04E-4791-8DAB-889801C356D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a927dfbb71a9201c0aeb556234a4b8650094ce26","datavalue":{"value":{"entity-type":"item","numeric-id":1876093,"id":"Q1876093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$F6A9CD20-4DE3-495A-AE97-81B01302A166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc56f2f655fec3b9707505e4f9c356f0c245d319","datavalue":{"value":{"entity-type":"item","numeric-id":3900020,"id":"Q3900020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$FDA70973-F6AB-4C59-B461-D5B1627E1B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$C0F7AC30-56CA-43A8-9C7E-A3199651D13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323b2b923ecd6bff2f3e3b7245e95962fba319de","datavalue":{"value":{"entity-type":"item","numeric-id":2901195,"id":"Q2901195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$ACBED19E-1ACF-4D4A-8C24-9267019B354A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef37f16853509d4965d78bde21aa5f696bcd791","datavalue":{"value":{"entity-type":"item","numeric-id":5176659,"id":"Q5176659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$0DAA66E1-16FF-42D1-B9A0-8EA46477D136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$99E5189B-39E0-427B-BF1C-E2633BD5EA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40a8073fc4584f2bd15f4ce7078fb6c946d0ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1005954,"id":"Q1005954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$7540B9EC-9A80-4222-BCD8-B396FC552D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$2A6D5C68-F257-4D56-A881-789621545FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46832c4ef192b6cfd7c82ebdd623874bbf8bb91","datavalue":{"value":{"entity-type":"item","numeric-id":2476160,"id":"Q2476160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$FE19908C-1935-4D25-BC9D-4EEC9D6A1E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$CA74D93C-BCD2-4489-8846-0DC058D048A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ee5fdcd591b5e712898d66bccba4d0cc23af4c","datavalue":{"value":{"entity-type":"item","numeric-id":540406,"id":"Q540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$C74625F0-B9D0-40AD-8A36-26FE818FCDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83557badd8d67e934a4bba51305dcb7e415dfe81","datavalue":{"value":{"entity-type":"item","numeric-id":4899969,"id":"Q4899969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$5527C1B9-D461-4FDB-9435-71C470E90F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a35036f3c2f465732e208b60a45aff5f2238bf0","datavalue":{"value":{"entity-type":"item","numeric-id":647410,"id":"Q647410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$A787E370-A905-49B2-98F3-F4B2A4F162D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$368B3A9B-F286-40FF-BA31-74E7109CA593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$53936787-CB3C-425B-A9FE-A9E637747D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e656b64c352f98e2fdeb1c14e7f5ef2ed3b3c","datavalue":{"value":{"entity-type":"item","numeric-id":4531583,"id":"Q4531583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$06CD48BA-7B82-468A-9A8B-ED2923C44E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$EB58D296-439F-4137-951F-8AE77B17BD35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e7ed521deda34b0c9ce43afbdb8973162356d48","datavalue":{"value":"10.1017/JSL.2015.54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805038$635A3C1C-7B53-4C86-94B7-E1BEF401DBF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff6ec6b2bd27e2ad8bd06251dfc45c034b12b66","datavalue":{"value":{"entity-type":"item","numeric-id":3655251,"id":"Q3655251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a50889e8231d1b5c4a88ee924d83ec52a83eb8","datavalue":{"value":{"amount":"+0.90906894","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":"Q2805038$51CE044A-A86A-4914-877B-4CB8DD0C262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8336fba4b52fcd1416c5801defb03bbbd892b376","datavalue":{"value":{"entity-type":"item","numeric-id":284230,"id":"Q284230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2042a7e1063d6cb6f17475b423e64b7511edc12e","datavalue":{"value":{"amount":"+0.8259608","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":"Q2805038$C8C9FC7D-A6BF-49E1-BB50-B6A0A766EE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cf9e60bbe736923d56ac773c63f275df8eccfe","datavalue":{"value":{"entity-type":"item","numeric-id":4723057,"id":"Q4723057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ed5be2affcaaa334eab558d4575689a3304185","datavalue":{"value":{"amount":"+0.8195727","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":"Q2805038$0451F446-AC2D-408E-9F57-A58D0C0E77A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21eb53e45fc07c7d262b1c30732283bcdeaba205","datavalue":{"value":{"entity-type":"item","numeric-id":5338328,"id":"Q5338328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8206eaf7ca7a09409df77cab98517d01cc3fd354","datavalue":{"value":{"amount":"+0.8027764","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":"Q2805038$A498BA50-62B5-4E29-896E-91755E0AF3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2900914dbd0247b0e06846cae5d7051cb89d51f","datavalue":{"value":{"entity-type":"item","numeric-id":4202944,"id":"Q4202944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2e6f6e797b7f5c7080b3a52938a0cca6a5c513","datavalue":{"value":{"amount":"+0.80105215","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":"Q2805038$123B98BE-4A13-4EFD-BF23-142E826AD540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b575c40a3a24d9fb0bff5f924b876af379b29edd","datavalue":{"value":{"entity-type":"item","numeric-id":4726394,"id":"Q4726394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33de0895111e6bdc66b20f7ea1b4db2c86505339","datavalue":{"value":{"amount":"+0.7991661","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":"Q2805038$3A034A24-4716-4801-A4D1-88C7C5651802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7f6ea4c5ff98dc1dfd7b4dc6515c497d554bc8","datavalue":{"value":{"entity-type":"item","numeric-id":2682695,"id":"Q2682695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a334afa97ea686a0ca85f6d2ba2d9ca6800237be","datavalue":{"value":{"amount":"+0.7971233","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":"Q2805038$B37CDEB7-297C-4975-830E-2DB01F911C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d56da195a3e13cb78e18e924f7418eac11eadc","datavalue":{"value":{"entity-type":"item","numeric-id":4284667,"id":"Q4284667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59efed6405b2967f54fed0f89b3378c9a99b3c21","datavalue":{"value":{"amount":"+0.79541117","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":"Q2805038$BAE7DCE1-A491-4D1C-9F81-2707E17D4E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc7f99f0b868f197aa041ff7b8d30cd0a19e48ba","datavalue":{"value":{"entity-type":"item","numeric-id":1938654,"id":"Q1938654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c77968224244196bb1d0b5c98b3cc0bc4d27e6","datavalue":{"value":{"amount":"+0.79321945","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":"Q2805038$CB9E564A-55C5-4EBF-97E8-C2C7B25E6D9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ebe4b4436052b68123a722aae1784e8c2dc1b41","datavalue":{"value":{"text":"Stable canonical rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805038$AB080E59-AF91-4675-9E52-1E4ED80C7B18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$1BD6BA35-8AEA-47C8-9062-D587BE6CAE6B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c01705f807a8d30ac6a64a15ca50683ceba16c05","datavalue":{"value":"This paper deals with normal modal logics with multi-conclusion consequence relation. Its main contribution is, using some ideas from intuitionistic logics, to generate some canonical formulas to axiomatize some modal logics, which were not possible to axiomatize using these techniques.NEWLINENEWLINEThe way it is achieved is to use algebraic tools and techniques together with filtration. Therefore, it remains an open problem how these ideas may translate into topological approaches to modal logic. Similarly, how non-normal modal logics can be treated using these methods.NEWLINENEWLINEIn conclusion, the paper suggests a conclusive generalization to the research program of axiomatizing different modal logics with canonical formulas -- or their sorts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805038$657C6202-1641-4E95-B247-6999C8224F0E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"feb081b7e2e7cdeaf35e49b975323f36efb5fb83","datavalue":{"value":{"entity-type":"item","numeric-id":484904,"id":"Q484904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805038$23521297-F82F-426D-B37B-9CF22A08B027","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805038"}}}}}