{"entities":{"Q1632052":{"pageid":1642793,"ns":120,"title":"Item:Q1632052","lastrevid":71574495,"modified":"2026-04-13T23:09:33Z","type":"item","id":"Q1632052","labels":{"en":{"language":"en","value":"Canonical extensions and Kripke-Galois semantics for non-distributive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992800"}},"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":"Q1632052$87FF8356-1F1B-482C-8D4D-64D455C36D4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"801d459b2015a2fb8fc2b54ee946ca4a4a19ee36","datavalue":{"value":{"text":"Canonical extensions and Kripke-Galois semantics for non-distributive logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1632052$C543A169-A6E2-4F63-888C-63F462A7578F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3f5f12bc024c12f02a2e69ddb8c135c92315803","datavalue":{"value":{"entity-type":"item","numeric-id":456960,"id":"Q456960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$8A7049C4-4C97-4160-B346-C44FC378238F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$3E26FCE9-3825-4422-9B48-461BE45F7963","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84c7fbcde7ae48252617c6fbfdd934a12e29771","datavalue":{"value":{"time":"+2018-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1632052$712B55CE-0905-4626-A46F-52860B4222E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632052$0A59FB5A-0A7C-4701-9690-80AA05B5D3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632052$2A844180-4BC1-41BA-A9B4-FDC50558A5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632052$21D4657B-FA5A-4F4D-B110-2EAB09C91360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632052$D2EF14BC-02FB-423E-9B20-01A4DAF59488","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffc3b34e4bcf0e53891a631f65fd60a74f641ce7","datavalue":{"value":"6992800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632052$EFC9F656-7183-41BB-B7E2-631E0CA39052","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fe5df9800f51b8b9ad2cb9bdee5a023b0c69706","datavalue":{"value":"canonical lattice extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632052$79EE9643-B78F-4FD6-903A-75CB115812B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51fed5ed1bf79f1b258d6bcdf3ec08119a7849e2","datavalue":{"value":"logic of lattice expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632052$A0F9A7FE-1200-48BB-9BDC-6DD6EB6DC7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632052$75C1C3AD-3533-49C1-9040-B317050E8F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb457132452041bcb2bd93288856962479aed86f","datavalue":{"value":"Kripke-Galois frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632052$09AE643E-8C7C-4010-92A0-FD9263F9EE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc017264ef6c1091696a15d17871d5ebddb93c71","datavalue":{"value":"generalized Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632052$3CCF94AF-30E9-4A31-AA53-51FF23B9EE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d925281ac43702b9777239c80a19535198ca3f69","datavalue":{"value":"modal lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632052$A4706B08-03A1-42C2-82D9-E635FF6935EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec08d55cd596ed1ebfc51b19ffa38fc23cb655ff","datavalue":{"value":"implicative lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1632052$6F7AFB2F-75C5-4E5D-BF7D-E7297F017D6B","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":"Q1632052$4BB230C6-A556-477A-92B3-829B3A0A5541","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd97b48a80322bb300444f9c741272b9fef09595","datavalue":{"value":"https://doi.org/10.1007/s11787-018-0195-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1632052$0195E58A-7255-495C-BBA9-2FF17DCBD6DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e17a6a16fd116a6f59d409f208c63753d9cb5a72","datavalue":{"value":"W2884665404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632052$6B70CE75-FF25-4BF3-AC4A-8A03FB27CB98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd86bec6d90d0f7880185d67b1aaed2ecdba979","datavalue":{"value":{"entity-type":"item","numeric-id":3599059,"id":"Q3599059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$6FB9854B-DCDB-40E5-BB7D-C1D84E87DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3eba5d2aded92c8646ce415fa646dbcbbb39d3b","datavalue":{"value":{"entity-type":"item","numeric-id":4914003,"id":"Q4914003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$8E713713-EE38-43C2-B1C6-6F6FE171DA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$DFE1D632-5A87-4566-A401-2CEA61C3AE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8712b02c3a3074f8ae444450b3b6c6a86277a8af","datavalue":{"value":{"entity-type":"item","numeric-id":494628,"id":"Q494628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$6DFAC3E5-04ED-4A6D-AFD4-025746F2E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc35a1ef0e1c8aaba882e9c8ed94171d3fb1ec1","datavalue":{"value":{"entity-type":"item","numeric-id":395673,"id":"Q395673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$525ADFF4-2815-4AE2-AE01-3566AD885556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7863f2174c0a55f7876d0a9cacbcef92afe17a8","datavalue":{"value":{"entity-type":"item","numeric-id":4287485,"id":"Q4287485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$A3A9B8C4-5C22-4902-8ECE-42A073296A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328d2f5d61ca2f242d573803cf1ae0db66ea1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":863180,"id":"Q863180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$BA549F08-EAE0-4586-97C1-7E6A623744A7","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":"Q1632052$E6269F48-2432-4E8E-A9F4-C0F089EF9E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ee318e773dd0d5382d4bffb9a8fa7de331f962","datavalue":{"value":{"entity-type":"item","numeric-id":1368914,"id":"Q1368914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$AB13E588-6860-42D4-87CB-24D2E8E320C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782147e7c36c019b3f0d478c21a4e72e1ba9a746","datavalue":{"value":{"entity-type":"item","numeric-id":4586154,"id":"Q4586154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$8F5E75B1-EE12-4446-A7B1-2591FFD0335F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9dba20884a838477f51bbb1e57bf3cecf6eb93","datavalue":{"value":{"entity-type":"item","numeric-id":4644536,"id":"Q4644536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$F0997F19-F544-4426-9D05-F3E26DDB7A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66a92187e712eba40e3f3dea29a082b1956b083d","datavalue":{"value":{"entity-type":"item","numeric-id":4644475,"id":"Q4644475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$22D38A5B-1379-425F-9A52-AB9651A411C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43d2536ea25c2a20bc3b464821d7796d4225195","datavalue":{"value":{"entity-type":"item","numeric-id":1702978,"id":"Q1702978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$5EB5CAED-D3AA-4325-909F-A55BC1BC7D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481a441d538eae7c6a03f622bc0ee221721e0d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1272119,"id":"Q1272119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$A8714582-CBA8-4B9F-BAA3-7A8191F62EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3a0368b92607cf8bde9df7817f65fa49f3430c","datavalue":{"value":{"entity-type":"item","numeric-id":1193504,"id":"Q1193504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$0A461666-9510-48B2-A8A0-A006D098B55E","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":"Q1632052$840FE5E2-872D-4521-B108-E001449FBC20","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":"Q1632052$034FE066-B800-4F9A-9FE8-0B628BCF75EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7ac8613c2a1c4b1805f0b1701e90bb99026b97","datavalue":{"value":{"entity-type":"item","numeric-id":4886948,"id":"Q4886948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$B569EA3C-3190-4ECA-9A18-60065F87F6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$26401C6F-E6E8-4CAA-9079-2CC97D78E11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2602422b1b9a961df0ba2025967b41fe30ab3a","datavalue":{"value":{"entity-type":"item","numeric-id":1247989,"id":"Q1247989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1632052$7526CA79-E6FE-4CD7-98C8-C98082E75767","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"80682983203fe6a9892dff03a9d178c1659f96f3","datavalue":{"value":"Q129501595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632052$6D25326E-227A-4850-8D89-B67DF56818CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dbf050948710e861b804d60e8c2466c1cb3c37d","datavalue":{"value":"10.1007/S11787-018-0195-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1632052$500D54D8-8CF5-4202-A457-2EFD65FB84AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10b80dd14a7a8fc44fde564acb1d9308d644499","datavalue":{"value":{"entity-type":"item","numeric-id":4644475,"id":"Q4644475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929dad44c3f9caf162c6d176adea17ddf1b20d17","datavalue":{"value":{"amount":"+0.8463102579116821","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":"Q1632052$2FCEEB33-53EA-45AF-A4F1-2C22837516C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bb6ea8a2e61fe4af7f9ddf898f094799ff2b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1975160,"id":"Q1975160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0821eb473f296ddce31a61f46195446691c1994b","datavalue":{"value":{"amount":"+0.8372845649719238","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":"Q1632052$196716C1-6A07-425C-8507-E6EBB71A264A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663cb31ba092088468c4d2a6019532c36888abd3","datavalue":{"value":{"entity-type":"item","numeric-id":3305430,"id":"Q3305430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0821eb473f296ddce31a61f46195446691c1994b","datavalue":{"value":{"amount":"+0.8372845649719238","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":"Q1632052$FF4581A7-9752-4D68-8BB4-4DE28CD7A306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d35e3200d31b03d3422fe831cb12f344da8f739","datavalue":{"value":{"entity-type":"item","numeric-id":4644536,"id":"Q4644536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c319ab4dfa455c20024952e0b20b9a23533463db","datavalue":{"value":{"amount":"+0.8068373203277588","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":"Q1632052$03A2AF82-75DC-4C45-88B5-33B2EF117DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3f485ea5f31009a5dfd8878aaab2b74dccafd1","datavalue":{"value":{"entity-type":"item","numeric-id":1702978,"id":"Q1702978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cb8560bcfc272c7a968708ba88e91f4f9bb085","datavalue":{"value":{"amount":"+0.7989187836647034","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":"Q1632052$0C6B60C5-C254-44D9-B127-F15572D58973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonical extensions and Kripke-Galois semantics for non-distributive logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonical_extensions_and_Kripke-Galois_semantics_for_non-distributive_logics"}}}}}