{"entities":{"Q1694448":{"pageid":1705189,"ns":120,"title":"Item:Q1694448","lastrevid":68151339,"modified":"2026-04-12T21:46:44Z","type":"item","id":"Q1694448","labels":{"en":{"language":"en","value":"On the decidability of certain semi-lattice based modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833548"}},"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":"Q1694448$A70D6F1C-C245-449B-99C5-A6BDBAECF50B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fe639f75fd0226d3eefdcdd8dea64ab33680ce8","datavalue":{"value":{"text":"On the decidability of certain semi-lattice based modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694448$0EAD4379-C90C-4D8C-9B28-3E23FA930864","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e3656fa625e5c9d65a12abe03b3f2e6608e394","datavalue":{"value":"1496.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694448$4C49A9F3-2BD1-40C4-89C6-0FD54C530E45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6a19ac5bb4957b26bca1e988037133b1e8322e6","datavalue":{"value":"10.1007/978-3-319-66902-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694448$04395D69-BB06-4940-BBAB-B811ABEE55FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694448$76C6EB26-8F50-4412-87E6-81A1763334B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694448$B9449FA7-7F5F-4790-9593-8028AD5E7993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694448$EBFE7D83-C86F-4A72-A30D-0AB1C4A02F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694448$3BADACD1-DB4F-44AC-8BAF-D77F5301CFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694448$9E720A37-8DF5-45D3-857E-28B65C10A413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2601cb0c1f4629f8cd8f11b6777a101ec69a66b9","datavalue":{"value":"6833548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694448$41B60C8A-08F9-47D4-961B-33D8A1AD139D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694448$B64DBA41-19ED-4D33-85CA-FB64B1AC0BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694448$03E0E298-BCF4-46B0-AE8B-2D4C006B522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694448$1D2B0D38-321B-4279-B732-5178612F1E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694448$743A1A86-F1FA-4764-BC34-F5238A0D9656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337b36018d725953e720e0dc95d471d1eb6f8272","datavalue":{"value":"heap number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694448$9E35547E-6778-4CCF-852E-BF5D5976057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc8157ce2fa17a7f15a4daa7f8c5bdd29b42825","datavalue":{"value":"semi-lattice based logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694448$4333649F-9BE8-4242-813E-56696B260D4A","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":"Q1694448$0B04EF75-686D-420C-81C6-E204C338DCB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86d06fd6148c016d8a528a42d47e488655c8c10d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66902-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694448$9A5614EE-D7BC-4941-B65A-41FEECAE12F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a590a4bffc537c1b325ceb5b6afc75f814889f4","datavalue":{"value":"W2751464668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694448$74BD77FB-4103-4238-B374-E7496C58638F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9811b78e21550e6ed8e5fd6048505344b03a1c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5004947,"id":"Q5004947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd9787480c9c90d8cfd8b8153bc1b285e1557b4","datavalue":{"value":{"amount":"+0.811220109462738","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":"Q1694448$FDB51B62-2EF0-4367-8D77-BCF332F9E87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07c9712f59fa6d965aeb3d830723db6ecacc63","datavalue":{"value":{"entity-type":"item","numeric-id":1873248,"id":"Q1873248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d0c30133b94c73c473a069ec787d444482c87a","datavalue":{"value":{"amount":"+0.7860841751098633","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":"Q1694448$6467D0C6-7CA9-4F1D-B4DD-3652E744F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10a625021a0858b8f886bb18497e17fe079acec","datavalue":{"value":{"entity-type":"item","numeric-id":4916555,"id":"Q4916555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca96dbd42370b296229e4a183b0d087ff86a24f0","datavalue":{"value":{"amount":"+0.7810997366905212","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":"Q1694448$A2E52F99-1C19-4202-A73A-43B541AC4333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd55ae9dcb65cece843adac76d4c010995d636a3","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5042627b0a8a3017f38225cfae281219bfc9eac2","datavalue":{"value":{"amount":"+0.7714135050773621","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":"Q1694448$562D894E-95F5-41EB-8C16-1F4CE86E0571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a225444c9ec2b1154b01b708045be0199837770a","datavalue":{"value":{"amount":"+0.7697677612304688","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":"Q1694448$96F1A53C-D1CF-40A9-84C4-05ABFA7C421B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the decidability of certain semi-lattice based modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_decidability_of_certain_semi-lattice_based_modal_logics"}}}}}