{"entities":{"Q5108014":{"pageid":7137590,"ns":120,"title":"Item:Q5108014","lastrevid":41129336,"modified":"2025-04-18T10:13:27Z","type":"item","id":"Q5108014","labels":{"en":{"language":"en","value":"Modal logics with hard diamond-free fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7194690"}},"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":"Q5108014$678258CE-3177-4706-92D2-188CD6AFABF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d7f3d3466bcb4ba31953c4058b1075f66385f0d","datavalue":{"value":{"text":"Modal logics with hard diamond-free fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108014$C84A39C8-F286-424A-82C8-1EF9F5178707","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c8411560fc28b1b609a2591d5a543bf011c80b","datavalue":{"value":{"entity-type":"item","numeric-id":1652981,"id":"Q1652981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108014$8A978B01-0883-45FD-A6D8-64ACD94F3BC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce2e4d67bcb4c2c2fdc795276eac481d2c3c6d16","datavalue":{"value":{"time":"+2020-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5108014$ABDD2AFA-5723-4072-8853-8C2CE6DD1B40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"840717c431241c78b94c69b008d8f90afeb620c1","datavalue":{"value":"https://arxiv.org/abs/1401.5846","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108014$1FC32C2C-6ECE-46D7-8A7A-E838661BB5BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108014$A4DF61A1-BB08-4DD0-AA5A-6A8AC6A9456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108014$9300626B-6AC0-4ADF-9FAB-CC675B8F607C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3cf9aaa032997b5fd122526fd837ad8939d84b4","datavalue":{"value":"7194690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108014$2B68023C-038C-4C50-9C93-5CF73933A6D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108014$A33A0417-A4B0-4261-BA3F-9B34622B9BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108014$5BBD8117-A369-4E44-BD7E-21EA1871D4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108014$691DD6EF-30C6-4E98-88F2-20087CA4AA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b84e9addb94214e0b6e0d00fc0df19cd25e376","datavalue":{"value":"diamond-free fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108014$E78A8F71-AB1A-4E2A-96D4-64DF47426B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a3b5f4d4b49345caa06ad1d4f2f6a126b59f4a","datavalue":{"value":"multi-modal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108014$535F3017-A660-4290-80D6-0FF5B79C507B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108014$7617F465-0D58-4E55-935B-E348E1A082A6","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":"Q5108014$1720B54B-865C-4676-9BF1-E17189607453","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe6525c0bd8fa1e096a826d3fd9f239a08fe4944","datavalue":{"value":"W3008086539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108014$09F13E00-A67C-4E3F-8C04-B73F7CBDB0AB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"974bba08d7d1d771b7c955acf29fd42adbe88120","datavalue":{"value":"Q126399225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108014$99117AFA-6A2D-4D66-835B-F5C08717F753","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7674cb46a01e84a6716244a5ed289a765743a39","datavalue":{"value":"10.1093/LOGCOM/EXAA001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108014$6483C8FF-6FEA-41D1-9D94-9A4C7E251ACC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab13cbd4a769f86905b011c7b75eb353e80d757","datavalue":{"value":{"entity-type":"item","numeric-id":5283414,"id":"Q5283414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$71C6B500-A446-48A6-8BE9-C21109EB5C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ef33c177672d71a768cd65be23f99d989386c7","datavalue":{"value":{"amount":"+0.9016572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$A51EB5D9-DC76-473E-A627-F3B02A6C0B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51adb723b3798fbca3c53cf107c97449cdfaf978","datavalue":{"value":{"amount":"+0.8829669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$184FB96D-90B1-4739-9DBF-D470E45063B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14831d2027db8a13d78a2961dc6bb1f3a733e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef1260d14f50cae26d87de9b265f80b829b7d12","datavalue":{"value":{"amount":"+0.8822013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$137EBC2E-886F-40EB-B095-49E2ABD0DF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9feaf5a26db187259b052cdc23a6f67419a653","datavalue":{"value":{"entity-type":"item","numeric-id":4580320,"id":"Q4580320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142bbec1114476d69dfe708be4c94b097c7b5f9f","datavalue":{"value":{"amount":"+0.88053155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$66861F0D-38D8-405E-8FA0-3E7F28D04133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af23c2ae3a6ef9a4478538375841a93b248813d","datavalue":{"value":{"entity-type":"item","numeric-id":508827,"id":"Q508827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60f6be1b8521a2133a0f3fcec6861e9624869e5","datavalue":{"value":{"amount":"+0.8785822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$5553EB41-26E9-4FCA-96BF-8E1C2F93E007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573252574e755c7b356ee16e3205533c40947d07","datavalue":{"value":{"entity-type":"item","numeric-id":5015271,"id":"Q5015271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae13d8a38c9386d5f34f719172e0261e6054651","datavalue":{"value":{"amount":"+0.875057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$05DCDCB5-1AE9-49A3-8B94-6886941B3876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d03571aa9a2a45d545579db9ac057522d9a85e","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e931cb2ffecdd3f46fa4b80a99108c6719a07ab","datavalue":{"value":{"amount":"+0.87484384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$F80570B1-9949-4F9E-8603-466C385B85BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ad431d1d82438ce19fb21b06727626dcf54b35","datavalue":{"value":{"entity-type":"item","numeric-id":4657049,"id":"Q4657049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca316e48d8bd01984ae6cae651134ec7b38a8de6","datavalue":{"value":{"amount":"+0.8739618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$E635FFF3-5A83-454A-BD7D-5C8ED0C08D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4253fccc871044e483c35d08d07d67d9d8b67a","datavalue":{"value":{"entity-type":"item","numeric-id":4511321,"id":"Q4511321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64778c4ec12357394aea871695e5554319713922","datavalue":{"value":{"amount":"+0.8738207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5108014$1980BC2A-16E6-4C24-B30A-F7CA32911603","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108014$9CCCD1DA-DBC7-4A99-89E9-95CCE42E39B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5108014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5108014"}}}}}