{"entities":{"Q5283414":{"pageid":7312988,"ns":120,"title":"Item:Q5283414","lastrevid":58520916,"modified":"2026-04-05T14:09:48Z","type":"item","id":"Q5283414","labels":{"en":{"language":"en","value":"Modal logics with hard diamond-free fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751226"}},"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":"Q5283414$4DB1F0C5-2230-4C21-9C54-F9F5F9F63EEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b09bfee6153eb643acdbe919596d86e627771b5","datavalue":{"value":{"text":"Modal Logics with Hard Diamond-Free Fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283414$EB2E0D3A-546F-4316-BAF9-F930AB373982","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7352e7fba04d9c8fca424689bb2a5cb08c4ea76","datavalue":{"value":"1476.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283414$324DB227-14C7-43AB-9766-59CA693D5BA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b50f8d314bf3ca1ace0edc4b5442ece3ad43bef0","datavalue":{"value":"10.1007/978-3-319-27683-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283414$C212C6F9-280F-4BB2-89D7-2E2C1FD00D34","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":"Q5283414$22BB2F15-48A7-4406-871D-0B2357112C40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$E03F1B03-B0E8-41E7-A50C-AB74425980B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283414$88425EBA-EC01-44C1-966C-A2667CC72B7F","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":"Q5283414$BF3D1535-6F83-4BE5-99FF-A3BF166DB888","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283414$A2F4AA59-FCCC-404F-BD42-547915987446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283414$DB0C99A5-9CC0-4D45-BE32-61BFAE3B736D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9be809310674b1e27920d611244a1e4f38780e4","datavalue":{"value":"6751226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283414$5E6A4C3D-6213-4118-92F5-6D9F2F12D562","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283414$6842CF12-6584-4250-B2FB-085A49680AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283414$EEB33DDC-8EBC-4694-A99D-81819790CAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283414$CDE4D716-D245-4B55-9022-132B8B84E904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b84e9addb94214e0b6e0d00fc0df19cd25e376","datavalue":{"value":"diamond-free fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283414$31CBB61A-52C5-4964-B21C-259CABCB20BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a3b5f4d4b49345caa06ad1d4f2f6a126b59f4a","datavalue":{"value":"multi-modal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283414$5530F2A2-287B-48F6-A202-C4262A450DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283414$CE3777B6-48A7-405A-9103-171DAADBBE7E","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":"Q5283414$259A8A3F-7095-4412-B69D-11BFE2751B2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92644d126bb1e287ef27e150926e224c5073562a","datavalue":{"value":"W350238845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283414$DB0CB3D1-97E7-455A-A595-03243BFF00E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5e53c4919fefe8f03bb190dad4b0390ccb8b2b","datavalue":{"value":{"entity-type":"item","numeric-id":5283414,"id":"Q5283414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$A7B8FCAD-501E-49C2-9090-7B572755D439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42af17d4350e2a0f945ece594ed16589983fa33","datavalue":{"value":{"entity-type":"item","numeric-id":3194706,"id":"Q3194706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$D7A1BBE6-F10A-4D2B-B8D6-E2FD701E16AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$0C3257B3-42DA-441B-995B-932981A715AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417ad0b3069d2d8e09dd331de0c221da351b2b21","datavalue":{"value":{"entity-type":"item","numeric-id":5465436,"id":"Q5465436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$D7274522-CBFF-479A-8C68-07D2511FD037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15969da430dd79b9be0499621aa8cddedb6a17a1","datavalue":{"value":{"entity-type":"item","numeric-id":4935259,"id":"Q4935259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$DFCDE327-7373-4767-914E-C30ACCCEA268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ad6e1f7379b37f01b0314ada1886b3d6385160","datavalue":{"value":{"entity-type":"item","numeric-id":2721196,"id":"Q2721196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$166833BD-C2F2-4FDF-A02F-1F8FA9846C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601eb92fb4eb5672b421ee77f36023e965bb0eb7","datavalue":{"value":{"entity-type":"item","numeric-id":4529491,"id":"Q4529491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$80BB38C6-29B8-4CAD-952F-BA8B9A0686F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d67cf8264090fe41d23f087dc2ad7410444041","datavalue":{"value":{"entity-type":"item","numeric-id":2567343,"id":"Q2567343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$FC77C3E5-2A14-4039-9DF3-0CF240AF10A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$D88CDE34-0C4D-4F1C-8AA1-386B4E12E90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$A545E719-E9B3-4862-A45F-CC9A18741E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$9A08CE63-8174-491E-92CC-36F54AFC6D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$60AD550C-4D3F-49B4-81BB-C721E4DBFE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f476881bc6952676ee2735b6a12988a4ff13d","datavalue":{"value":{"entity-type":"item","numeric-id":2761753,"id":"Q2761753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$010665FB-247F-4F32-A026-260EDEAC9C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41120a1aefb8ef4531db2ab097b9e99aa7ccb9b","datavalue":{"value":{"entity-type":"item","numeric-id":988571,"id":"Q988571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$ED035BAB-ABC1-45BD-8119-501322E7BED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$2065A384-CE4E-4F83-BC2A-174C6743719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$088D56A1-2FB0-4795-BFC3-1F2323514F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00eb2cff2c62632a3b236cc3682475d0881afdff","datavalue":{"value":{"entity-type":"item","numeric-id":763333,"id":"Q763333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$2E455518-549B-4973-8777-FF8076271279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283414$8F1458AB-AE31-41BB-840E-7D535C48E1D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e527c2c83736cb7151377ed3bc9a35cf7cbd093a","datavalue":{"value":{"entity-type":"item","numeric-id":5108014,"id":"Q5108014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cba39a43d78e8d7657d818b5020e43a8a492459","datavalue":{"value":{"amount":"+0.9632490873336792","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":"Q5283414$9BD54457-F7E4-4B95-A6F6-25C41CCD5A0D","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":"8acce7ef4cf151c3c1b966c933b290b895e0fc40","datavalue":{"value":{"amount":"+0.8040048480033875","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":"Q5283414$4F4B2A6B-1ADD-43EA-A7FD-E3686229161D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025ca63bba1c9f34330497241aa424dcb045b23b","datavalue":{"value":{"entity-type":"item","numeric-id":3586056,"id":"Q3586056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0eab4621049763eed0efbd50ab3b376afa01fe","datavalue":{"value":{"amount":"+0.7928978204727173","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":"Q5283414$1C7EB1CB-56D1-4A8B-9BA8-E97D9891F15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a649bc554f2fe5c82abcdcd51c1d59c0c16855a3","datavalue":{"value":{"entity-type":"item","numeric-id":1956378,"id":"Q1956378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32575b65d257d06a10e62cdc6df42b731e49755","datavalue":{"value":{"amount":"+0.7865757346153259","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":"Q5283414$F1D3C053-3BAD-4E38-9AA6-04FC593FB2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c17c186198bb5842fff4a416da8bd5e7f854e27","datavalue":{"value":{"entity-type":"item","numeric-id":2721196,"id":"Q2721196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f0c6ea6e98fdc6dcaad7813ebb59ba4985c4ca","datavalue":{"value":{"amount":"+0.781198263168335","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":"Q5283414$470EEAB2-6725-42EC-840B-521C023CF7AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283414","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283414"}}}}}