{"entities":{"Q409328":{"pageid":411095,"ns":120,"title":"Item:Q409328","lastrevid":61640955,"modified":"2026-04-11T00:39:35Z","type":"item","id":"Q409328","labels":{"en":{"language":"en","value":"Algorithmic correspondence and canonicity for distributive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6023582"}},"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":"Q409328$94B90475-241D-4B8A-A2C2-8983606FA579","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"047bbbe6bf6909d30d19b10363caa28465de2083","datavalue":{"value":{"text":"Algorithmic correspondence and canonicity for distributive modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q409328$E3A35C24-9816-4C09-BDA2-9D9937A2EDCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bbf3613dc4bbea62f45b60ffef50a6d1bfb1fe7","datavalue":{"value":"1255.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409328$99180D57-809C-4A14-BB42-CDA6F99A6B75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcbd9b52a6ddb457f866f9e91ab3def8d7a2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":409327,"id":"Q409327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$04703FF5-82CD-4838-8AFD-5A67184ABDD6","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":"Q409328$2741599A-914C-42DD-B9C7-9A2BBF2026EC","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":"Q409328$32C59273-8DFC-479D-AA09-8F012EEE13B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q409328$4CACF461-A993-46A0-A6A0-245A2F78D50A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409328$54C48F50-E2BE-473E-950B-F6A36DF65D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409328$D037E532-FD58-404F-8E02-2530C2368A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409328$C69655A4-FA53-43DF-A1BD-B36148F18DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409328$BF4A71F9-4031-401E-A876-B6D0957FB674","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4990d3d009a3c4ce744c47abe10004208184e7c","datavalue":{"value":"6023582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409328$B69FD36D-629B-441C-A557-5663043A5394","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q409328$DADDDC9F-503D-40CE-960D-0409AC45436B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad4699fb6fa90c77507318aa318f98a75a6caf4","datavalue":{"value":"Shalqvist correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q409328$DEAE22B9-F3D8-4BE6-A9C7-9504500C5F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b0fe164e7b6aaa4b8092736d9e026ebae08e","datavalue":{"value":"algorithmic correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q409328$B9105EA3-1C16-49D9-A5F9-DF4CFFC28EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q409328$87131976-069E-41A7-B07E-DA81D354C9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q409328$11BC93D2-E965-4C81-9759-EC81FC2A1735","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$67923DD9-187F-4318-91EE-9CF8C6C9620B","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":"Q409328$A4490994-4F99-44FE-8646-729E013963BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a90582acad4b3d04a28a4e73f83ff04c5517eaf1","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q409328$A181D3E2-A52D-4653-92FF-266CD9891C6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab069c4bf3873169073964a54a93618dce55e25f","datavalue":{"value":"W1970051856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409328$539BCAD7-ED72-4F6B-BD68-32F5E077C9C0","rank":"normal"}],"P223":[{"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":"Q409328$097BA8AA-00CE-4163-8E1C-A27070C60BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76de451e4dcadc3488dd89e8fbdad3660ee9ea61","datavalue":{"value":{"entity-type":"item","numeric-id":3509049,"id":"Q3509049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$B0CE6CF6-1DA7-455E-B642-023010818511","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":"Q409328$2C57E692-861D-4655-9B4E-B7CB2C917263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beaaab9a013a6e19dfc292bb5cf08435c4c06737","datavalue":{"value":{"entity-type":"item","numeric-id":4982120,"id":"Q4982120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$446E583B-ECF4-490C-ACFB-F8C0E9B07FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$C1F8B0AA-498C-4C3A-B106-B24D9E2E565A","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":"Q409328$BCE9D033-0770-46EA-A282-A422B9DD2A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501ec3b78b0fa92739c5819b9d7c6f7d7e1c6c16","datavalue":{"value":{"entity-type":"item","numeric-id":2401020,"id":"Q2401020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$F497E8A5-5DEA-431B-80F8-AF169ACC93D3","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":"Q409328$6047F50B-8305-4511-B7A9-D48600571890","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":"Q409328$026356CF-1F59-45AE-A8D6-2A8E3412F6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$57C3A7F4-A51A-4F30-AD7D-1C18D2A471EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$E5DFE87A-2894-4BA2-ADBF-F67F50FDD5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$287F152D-0D2D-4B29-B4E0-CE8080B9C04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$43AF0C36-34E3-4FCE-B76F-478F5DD3775F","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":"Q409328$B0A6D9D3-804D-4DE8-8E58-7EDE835F6566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f93ae18ce481c57e090142d63bf23f5488aac","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$74DC592D-0E11-4AD9-9227-BBF0AD311571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f689c1a4357e46124a93297cf676351227270bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4430401,"id":"Q4430401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$A858ED0C-3486-43B9-B070-9D21C1895281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$47E46D0C-950F-40BB-A009-6DA26C20B723","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":"Q409328$1D0D0E1B-0701-45CC-97BE-0ABADBC17E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aef7e5ae72b3741a0adfda86ef3c4b712ffd688","datavalue":{"value":{"entity-type":"item","numeric-id":1280045,"id":"Q1280045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$BF68E5D6-56D2-453E-B7BF-A1297F7C6E76","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":"Q409328$96DA9214-33C7-4C1D-8AA2-FE99542485C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b180a8e8531cfbfff84c09c9661e83fc404d4","datavalue":{"value":{"entity-type":"item","numeric-id":3005995,"id":"Q3005995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$087E5835-B2A7-49A6-B139-3B9509CA19AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e39f652d0e6f631d7d8d06a29e27d73daf67d7","datavalue":{"value":{"entity-type":"item","numeric-id":5697717,"id":"Q5697717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$4EA1117E-D1A5-4892-8C40-C0E0DD52D8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17c2a2749a60b6792f64d39628e2d672b79ea82","datavalue":{"value":{"entity-type":"item","numeric-id":5311052,"id":"Q5311052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$F650552E-2605-41B5-B8E3-AC81DCB9E62C","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":"Q409328$D84F9747-1B86-4B2B-B11B-B7F8F957BA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e112085dc5d4557d449936b394eab7633694a7","datavalue":{"value":{"entity-type":"item","numeric-id":4789452,"id":"Q4789452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$CD495520-E547-444D-8664-CC3471D80905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$767D34D2-5C9C-4E5B-AE06-68B48C9547DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"227a5ae67193c706e7e5f0b71d5245c4b671af9d","datavalue":{"value":"10.1016/J.APAL.2011.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409328$8DB0BF49-5DCF-4FBC-9B7E-EB0068403A43","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7143c6361839f455013982e4000195fb1ffc73d0","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409328$A5026FE4-0B3E-4FF2-AB52-44DEDF88305F","rank":"normal"}],"P1643":[{"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":"5cb160f3b84d3f34367e916eede80b81e2e96e25","datavalue":{"value":{"amount":"+0.8806591033935547","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":"Q409328$223C717D-F028-430A-A529-26DD321DDA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2a2f5c505164bd6836dfd7e2d113fbbaa28ace","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"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":"Q409328$3798D1CA-AF67-4C7F-89DC-43936F848E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e0c4cfcef49bfe0eedabd1c13140198481a037","datavalue":{"value":{"entity-type":"item","numeric-id":2983395,"id":"Q2983395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32944f60480fab14623636c32c91292f62073aca","datavalue":{"value":{"amount":"+0.828223705291748","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":"Q409328$36F9B73E-8785-4AD9-BD43-6052ADEFCB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d89b3dcf098e6b82ca4e638dee0ff6b2fd5d352","datavalue":{"value":{"entity-type":"item","numeric-id":2983398,"id":"Q2983398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6290ecab2d4a32f28dc9e2b73c6a3e9c58c99d68","datavalue":{"value":{"amount":"+0.8088377714157104","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":"Q409328$D19A6A1E-2944-4AD3-8C95-818DE1681389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2bf5e031ce660c43a2ef84fcf6c52ad6b72677","datavalue":{"value":{"entity-type":"item","numeric-id":483295,"id":"Q483295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c717b5d18ad6c12ceac9bf341cfc618e9774d4c8","datavalue":{"value":{"amount":"+0.8069450259208679","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":"Q409328$B50C9986-0DEC-438B-B40C-CE31C125D277","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic correspondence and canonicity for distributive modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_correspondence_and_canonicity_for_distributive_modal_logic"}}}}}