{"entities":{"Q705532":{"pageid":707381,"ns":120,"title":"Item:Q705532","lastrevid":63668571,"modified":"2026-04-11T14:44:16Z","type":"item","id":"Q705532","labels":{"en":{"language":"en","value":"A Sahlqvist theorem for distributive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131592"}},"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":"Q705532$DDCB228A-9557-4B38-8B19-AF95D5631274","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"314d2297fa645edbb809fb266b609be37b75b579","datavalue":{"value":{"text":"A Sahlqvist theorem for distributive modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q705532$A34BFF64-7A4C-41A9-8342-58020FF8CA41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f158a263484efbde2f74cf0805f8d8e45b62a102","datavalue":{"value":"1077.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705532$10EF04D5-0A1B-457D-9DF6-0DB4444B6D22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b834b8a5fa066825015fdce4bdac31cee4bdc84b","datavalue":{"value":{"entity-type":"item","numeric-id":186438,"id":"Q186438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$10445929-7B05-43E4-BAE4-071DB863EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52f7c78e8c57b850646e786a63cfe49da21a457e","datavalue":{"value":{"entity-type":"item","numeric-id":705531,"id":"Q705531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$937649AC-4810-42A1-A94D-39831499CDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$04253821-A0A4-4337-B3AE-B5B60A954A1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$DE7C3069-3B3E-45E7-ACE4-2A6ED45D1B5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a8a233f543dd709165488f1586caeaa25d93c0f","datavalue":{"value":{"time":"+2005-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":"Q705532$B7B3C0A3-CC4A-4D25-BA04-16A22D1702D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c7e15da86df9cb5be393d12238687b31fd8f6de","datavalue":{"value":"A distributive modal logic is the negation-free fragment of a classical modal logic. The authors investigate, within the context of distributive modal logics, two types of modal operators: those that preserve disjunctions and conjunctions and those that turn disjunctions into conjunctions and conjunctions into disjunctions. Both algebraic and relational semantics for distributive modal logics are defined. The main contribution of the paper is an extension of Sahlqvist correspondence theory to this generalized setting of distributive modal logic. The proof of the Sahlqvist correspondence relies on a reduction to the classical case. The canonicity proof departs from the traditional style and uses the theory of canonical extensions developed by \\textit{M. Gehrke} and \\textit{B. J\u00f3nsson} [``Bounded distributive lattice expansions'', Math. Scand. 94, No. 1, 13--45 (2004; Zbl 1077.06008)]. Consequently, the authors obtain a general completeness result for distributive modal logics that are axiomatized by Sahlqvist axioms. This approach is related to that of \\textit{S. Ghilardi} and \\textit{G. Meloni} [``Constructive canonicity in non-classical logics'', Ann. Pure Appl. Logic 86, No. 1, 1--32 (1997; Zbl 0949.03019)], where canonicity for intuitionistic modal logics is investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q705532$2F714460-435E-44FE-A34C-E62C34AD2E86","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"92c4f981aadc914f96d132d85a17d7a2385b5878","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$E36539DF-B298-4245-81DE-ECD1AD10813C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705532$318EBFA5-C5F3-4704-9496-1700C3B9D1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705532$55DFF127-B802-4B8D-B5EB-2C9E8BFBF394","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0ba382a8674bc18eb56320568581856b87d9f7b","datavalue":{"value":"2131592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705532$AC4F2275-509E-4107-B30F-DCC8BC97EF7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8c86d22bdb7f9968660c98cc572af8b01e10dbb","datavalue":{"value":"distributive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q705532$4DB2B564-A7E8-45DE-9BDA-64692A48D182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e539b2687533ea12e92c7dfea973c6cabb1ac7","datavalue":{"value":"distributive modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q705532$ACD0E7C4-4A51-4804-991E-0D632A809656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458f4441264824e819e4812bf500b7b1d40794b3","datavalue":{"value":"lattice expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q705532$6428D784-8F50-41C2-B026-1F7A6AAC30EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0366dd319579349da14fdeff0d88dd87b917a305","datavalue":{"value":"canonical extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q705532$19D548FD-6EAB-435F-BFD2-42F08AADEF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q705532$B9AB6606-D325-4AFD-A1C6-5183BD9571F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cf8b61c14ed418968b28073df6780bee58ed19","datavalue":{"value":"canonical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q705532$4FC36604-20B6-4EBC-ADE5-38065CC4ACF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c61a5ff19e3bc3d0dd3b200b1077172ed0ba23b","datavalue":{"value":"canonical varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q705532$E7B34264-AC2E-4B99-84BC-CF5F200228E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q705532$3A4E39FE-F3FE-4BA5-A599-2F911FB3CF2D","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":"Q705532$B2FDD2CD-2FF5-4269-BFBF-7A5684CB39E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec17f05c52d6609f0f19a77513bcac71a2a17cbb","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.04.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q705532$2050E846-7EA9-4EF1-AD9E-9424423458DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"610f513b81151d82f923d767b15ade1adbe55e89","datavalue":{"value":"W2037711229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705532$06C56692-E010-4587-B5E3-1359C085EE13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$F18504A1-A327-40E0-B67C-DFBE0173642D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$2339A884-55E4-4118-99FE-C33DA2639944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$42A71B47-465A-4986-9419-3D9EDA3BB41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$0237F6B3-E945-4553-9BAC-FCAABF848983","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":"Q705532$F3A5CAAA-AB72-4FDB-B93B-A69BADACFC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5627b5d6dd11232b46313e0c1f24553c61be06","datavalue":{"value":{"entity-type":"item","numeric-id":1377550,"id":"Q1377550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$E4567E35-9F31-4CBA-BD32-C5BB77840C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89108f8d5e7b8a9a6c10b9a1b4f1677c89806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934881,"id":"Q4934881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$D254931D-8ECE-432A-A0CD-406F4D659121","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":"Q705532$8926CE64-8BDA-4680-8786-0B67B0D61007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$28B2E48D-AD4C-45E0-8E6C-D0E9EB7F0FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$9DA1208B-E5D3-4444-B072-170F13E20069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$B7E724D0-1C50-4F69-8F1E-4A44F375876D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$064B4087-3B1F-4051-B7D9-3F268A06065E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661e9e11d81604d77dc034ed0b1fd2bff649b0bc","datavalue":{"value":{"entity-type":"item","numeric-id":2704574,"id":"Q2704574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$CFA75A3D-E3A0-46BE-953A-F111C25A3887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa5b40d0d65db6efbf6823780a6d1ba73b285d","datavalue":{"value":{"entity-type":"item","numeric-id":4827039,"id":"Q4827039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$D5DA5BF3-5474-46E8-9E11-65A7FCBD3B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad2bdd319b4a133d3917ef0cacdcfb0f2b72513","datavalue":{"value":{"entity-type":"item","numeric-id":1361246,"id":"Q1361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$9356FDED-8EFD-48A8-AFD7-852DA6F661E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c71c92ca6934e99bf347345b49ebcd38d03fd7","datavalue":{"value":{"entity-type":"item","numeric-id":3160548,"id":"Q3160548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$C7B85CD0-4C15-46FC-B9D7-F3812CF1E2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$856D6B0E-FA7F-4DF3-875E-BD9CC68B9873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f2854fe2ed423b84eb25124143eaa6680f5c06","datavalue":{"value":{"entity-type":"item","numeric-id":4955600,"id":"Q4955600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$6896D6AE-CEFB-4D8C-9DDD-6A3005F05A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ea6390546d4a5e662622c1c745f8229d02e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1338478,"id":"Q1338478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$8EEAEA9D-86AA-41BB-8F63-BA57978E63D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$1BBA4196-6347-4EFA-877A-570275090E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$D9069F05-2774-4B0B-9F42-EA0DBB9C6DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ef7abba46272910e9ba99fbc2a81b57cea783c","datavalue":{"value":{"entity-type":"item","numeric-id":4254623,"id":"Q4254623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$1037EC29-C3A5-42E6-9939-D3F1F8890DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68660451f6f720c8c6c43c4e24c87a6837ac3288","datavalue":{"value":{"entity-type":"item","numeric-id":5810600,"id":"Q5810600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$B960E238-6A71-4C2D-823F-6C4463CEE2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$60F7ADBE-8732-4696-813C-2B8E19D92B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$4A281B96-F07D-4F32-8687-D708F1387B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e894cf50d98f6d23776708d1d4498cd17fde0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4077980,"id":"Q4077980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$7552CAA5-4789-449A-8A27-83F4EB3A18C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb50c78ca5b3b07e1bdd03b8580c9a3593e69b","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705532$364B64B6-F4A5-4D90-814E-34EE6A574A55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4da5c3707351915d5308350cb9dcd96a419e583f","datavalue":{"value":"10.1016/J.APAL.2004.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705532$6725B37E-254E-442B-A35A-2333257DA87E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14c5ec0ec72603a5bc70c81a1862339a5b6a8e5","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea32c87fc2ff958753f8cede44581b82bbf555c","datavalue":{"value":{"amount":"+0.8305397629737854","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":"Q705532$8977CD89-9E3F-4528-B212-0710D90A53F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06a7b178a49417da8020c48217909cd235b0569","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0577f381782c539843d1cebb56de4104f62a5c0","datavalue":{"value":{"amount":"+0.8291537165641785","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":"Q705532$913D1667-7E39-499E-9044-A722F05FDBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9d1a642b79fca45fac6af097dd12ef0d2614bc","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de792640b92000748c813230f27200043180c218","datavalue":{"value":{"amount":"+0.7878521084785461","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":"Q705532$553DE115-A6C4-4813-B2B4-EB59236E8695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b55b422feea490b5131923cd4a61e76a996150","datavalue":{"value":{"entity-type":"item","numeric-id":4636306,"id":"Q4636306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033dfb682c076818f79fc6ff19158386d23b228f","datavalue":{"value":{"amount":"+0.7868741750717163","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":"Q705532$AE71769F-36C8-409E-8964-3EFABAC2A758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87c91d6d46935349947ebce6e34c9f571cdee70","datavalue":{"value":{"entity-type":"item","numeric-id":1361246,"id":"Q1361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eece3e34b84d5ead12d69ed37eabfdf13ba9e15","datavalue":{"value":{"amount":"+0.7787630558013916","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":"Q705532$25F14E5C-3FD4-4956-8AAD-102873D23191","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Sahlqvist theorem for distributive modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Sahlqvist_theorem_for_distributive_modal_logic"}}}}}