{"entities":{"Q6132565":{"pageid":13266872,"ns":120,"title":"Item:Q6132565","lastrevid":55475977,"modified":"2026-02-17T17:17:06Z","type":"item","id":"Q6132565","labels":{"en":{"language":"en","value":"Labelled calculi for lattice-based modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728686"}},"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":"Q6132565$397C0E95-2E88-43DE-90CD-8A3451684C6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dc361878f165ce8b9e415911fff4c015880ea8e","datavalue":{"value":{"text":"Labelled calculi for lattice-based modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6132565$3A7888D9-53DF-4CE9-A159-3B879CC29453","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45e1f59827ced81ec7ae8833719fcfed4144001b","datavalue":{"value":"10.1007/978-3-031-26689-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132565$84FF47EF-B061-4E2F-ADA8-A0CC9188F988","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"922adfcb56d6d98b5df478a29a84e3072bcf0b56","datavalue":{"value":{"entity-type":"item","numeric-id":5052005,"id":"Q5052005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$5C724116-A366-427B-8B67-503AA988245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"477c5165a41dfde4cd7b87a826009cbb9b391ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5158657,"id":"Q5158657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$2118AA22-232E-42B4-876C-9F68BAEB0129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$B0850956-8A67-41B5-BB46-9E9675300B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51537565b2e64dd817ed972d6d6e35960b931223","datavalue":{"value":{"entity-type":"item","numeric-id":6081074,"id":"Q6081074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$D698E0AB-F66D-4EEB-96C3-18D5BC4F1A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$4168C7E6-CE5D-4D38-81B3-60C444931156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd90efa7ff7798fc362e0040f3d2ee9b6c710324","datavalue":{"value":{"entity-type":"item","numeric-id":5884969,"id":"Q5884969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$7CD259C9-1BB9-4B8D-AA5C-7746BF248F3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$EE274692-6170-4C12-8318-4DA2E4006225","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6132565$4F5E8080-F6D9-4509-BC99-C203866DA694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132565$BFB6A9D1-31E6-4E3C-B8C1-8063607D37BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132565$9F5EDBF4-0329-41E8-84F7-7E3705101F6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60575e58f44f466db12d63670da11462a26e37ec","datavalue":{"value":"7728686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132565$AE589D27-556D-4436-97A4-F7ED72F04CCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e03b3e184729f298533c0e07968fcf15ec91","datavalue":{"value":"non-distributive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132565$903B6F0C-F28D-4BBC-AA7D-2C5BF513A350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72198f0f557ee9d2a52f5c84a7d5b5ebe43b901","datavalue":{"value":"algorithmic proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132565$96A6D177-349D-477D-B397-AE6F6E68F62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c97cf87e639697a57111315622ad6b119c3eb71","datavalue":{"value":"algorithmic correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132565$2FFDF10F-EA15-4BF5-BCB3-6376EC11209F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48c0ecb011c87b63e73370e39b45338599a3e08d","datavalue":{"value":"labelled calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132565$0748325C-44DE-476A-BE8E-0AB0E60DB776","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":"Q6132565$FA79A630-DAD3-483C-BEC5-37CE761152E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f38164147bf6584370347209f0c2af30443fd62","datavalue":{"value":{"entity-type":"item","numeric-id":5056369,"id":"Q5056369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$DA5C8543-E8C1-49C4-960B-C89E61AD0EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ba447a60b734af5983da738335a6bd1f4c1a36","datavalue":{"value":{"entity-type":"item","numeric-id":6081075,"id":"Q6081075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$CBD6CD7E-1BAA-4978-9217-34512166D4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97244d3b902b9d27b13cee516eed92e6cd28bf42","datavalue":{"value":{"entity-type":"item","numeric-id":2820692,"id":"Q2820692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$45033EF9-275D-4672-ABB6-07E99F907CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6878997f8183854b2e389a38acbb963b7c017b","datavalue":{"value":{"entity-type":"item","numeric-id":3384065,"id":"Q3384065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$FAF502C5-622F-4AFA-9632-5F9AAA966920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18935d4afcac5fb6e09c409570dbc61677eab44","datavalue":{"value":{"entity-type":"item","numeric-id":5249695,"id":"Q5249695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$3AD85041-63F6-494E-AEAF-CBA3EB70BE8F","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":"Q6132565$7E09ADB6-35DA-4B03-8D71-7AA4C27C615B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905bcd3c2d1841454b2489acc1f46dec6b8812b7","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$0F78B9FB-A59C-4A98-B7EC-694972ACAF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5116bcc58416174736a681f3bd2a735350c0d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5004948,"id":"Q5004948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$BA91E73B-2BE9-4A75-919A-CB4C4146DA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$74E96444-C3DD-457A-999E-654534ED129A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5691154d1f4b46e1deac9ee70f2ec498f843472c","datavalue":{"value":{"entity-type":"item","numeric-id":5884955,"id":"Q5884955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$F69FEFA2-BD85-486E-B629-605C16BE0F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131e70300e3f8227ceafb7d0685319cdbb06e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$85C201C3-7A87-474A-9A4D-84FC687CE92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fc848641fe3fbc4a43830028219e7078030a1c","datavalue":{"value":{"entity-type":"item","numeric-id":2957975,"id":"Q2957975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$3E5412B3-2A5E-4B2B-BFD5-CDA2CEA03C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff238b9befcf05db955e61470def908fa0bdfb0","datavalue":{"value":{"entity-type":"item","numeric-id":4877294,"id":"Q4877294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$24647D2D-D6AE-40FE-B803-1408BE8BE9B6","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":"Q6132565$4996EB3E-34E3-4CBD-A1B9-DCF6D7B04797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e449f792aaa55f2b2ac29dac2a7211be77e4088d","datavalue":{"value":{"entity-type":"item","numeric-id":4612445,"id":"Q4612445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$E27D2A6F-CF43-4BAA-B968-BCB327E2A25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$7E9EF5F9-55AB-4CA3-B91F-7E0710E75DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$101E5CF0-0520-43F1-9962-DF12578ABA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$72BAE6A6-F9B6-41C9-AA94-2EC1E7512EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942eff1ab78e31fe5139d09218c06bd7ae5cc9b9","datavalue":{"value":{"entity-type":"item","numeric-id":6132579,"id":"Q6132579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$83B865DB-3DF9-422C-A9A3-C988C9F195F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$705CD5DC-BDCA-4321-8068-0EA688DBD595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132565$42903ED1-9E08-4D8B-9360-C0FFA18DF021","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10444fdb6d0c7913426f86a9105fd8a0e0f5ee28","datavalue":{"value":{"entity-type":"item","numeric-id":6132579,"id":"Q6132579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acef06e8e155d04b1c489af1a6a9958d225d67e0","datavalue":{"value":{"amount":"+0.8328463435173035","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":"Q6132565$318A610A-5C32-49D2-BC2F-2CDA67C4327C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fe45e4a9076bda27fb31666db456e9c532a00d","datavalue":{"value":{"entity-type":"item","numeric-id":2243546,"id":"Q2243546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9f7be6fddada06a0f27d3d922f6cdd575bc903","datavalue":{"value":{"amount":"+0.8247248530387878","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":"Q6132565$476BBB9C-32AC-4BE8-BD8E-416F4629CDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058609884b66ff12f1e411d17b26570e4400656b","datavalue":{"value":{"entity-type":"item","numeric-id":4823803,"id":"Q4823803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a6be0e9974640b1cc7275ad4fa8c9b07c56034","datavalue":{"value":{"amount":"+0.8014024496078491","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":"Q6132565$DC431D97-ED97-4581-80D0-7764612B826D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd41cf85860439b3be7d63566773110f79f919ee","datavalue":{"value":{"entity-type":"item","numeric-id":377468,"id":"Q377468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba3c7de1ab19f9e5960e7a5653562a66e7cfcb0","datavalue":{"value":{"amount":"+0.7960308790206909","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":"Q6132565$8AD1277C-CC2B-4163-9F57-975DE6639B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"940090ca22bac12c2702dbbaa5f2f0efb8506976","datavalue":{"value":{"amount":"+0.7954539060592651","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":"Q6132565$6DF9F69D-234D-4B4F-9141-47BE59AEB41D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6132565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6132565"}}}}}