{"entities":{"Q283748":{"pageid":285515,"ns":120,"title":"Item:Q283748","lastrevid":60691122,"modified":"2026-04-10T18:33:03Z","type":"item","id":"Q283748","labels":{"en":{"language":"en","value":"On a categorical framework for coalgebraic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580854"}},"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":"Q283748$4C65E93E-4A2C-4751-9D7B-6011945BE70E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c65c6c6ec7eb2b7abb7d374d74d300b9730b8116","datavalue":{"value":{"text":"On a categorical framework for coalgebraic modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283748$11B4AB61-F45B-44CB-8525-B1D89530A26F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"132b93f2c07012ca495b61227f3bc9264bbcfd0d","datavalue":{"value":"1337.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283748$62808B31-C144-4028-9CDB-D55796D0CAF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"414faf6bc4e16dbac41505bf3250934688d1867c","datavalue":{"value":{"entity-type":"item","numeric-id":283746,"id":"Q283746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$26181A39-2E2E-47B8-8F7A-191C12762A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf169dfbc83e2cfb9f268c6e1ff4674697c5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":283747,"id":"Q283747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$BC61365B-983B-4D7A-B45F-F1A6B9BFE210","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-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":"Q283748$20FC1C2E-5A22-48ED-BBD4-5A11ABAC4F4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283748$8F5B1F91-25FA-478A-97ED-4640F9A25CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283748$C17B8092-CB36-46D3-9AA5-CF41217FE362","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba0d28668cc5706d6243d8fb13d3a8a3012960ac","datavalue":{"value":"6580854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283748$B23CB447-C8EB-4BD4-B235-C149C70CE77C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3e7f1f83750b9bd80c7f7332eb0563ba016db0","datavalue":{"value":"predicate liftings","type":"string"},"datatype":"string"},"type":"statement","id":"Q283748$2407DFF3-3A30-4080-A45C-07FAC9E70352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q283748$1EDAF2C9-3EF5-4E9E-B727-C4233B4264C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q283748$C9443E9B-7E35-4E77-946C-39FCE25F7C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q283748$5D7A9A5D-3F0A-490B-8C2C-BF8E38F0419B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q283748$E93C8EB3-C674-43D9-A44B-D4581DE8C65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q283748$4DE09167-F728-46FD-B1E5-E0B1D859A010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q283748$F0A5224C-942C-492D-8B93-4F3E627EE2FB","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":"Q283748$337D038D-6574-4B24-87C8-80611C233984","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b35615f4e4f7e4e06636e31ca80d83e8487654cd","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q283748$CC185668-982B-4DF5-8F34-2608F4C6DD21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9aedea33a4495810fd4fee33208d20992f149556","datavalue":{"value":"W2055999172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283748$DFB2FE1F-190E-4D0A-9DBF-AE94F774BACC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d8b32abdb04ebbcd0f6765caa268460b1308d6b4","datavalue":{"value":"Q113317848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283748$52ADF75C-2D36-45F3-ACF1-91B3AC7D0572","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$2C8EF9AF-5FE8-4333-B9BB-D4DCB8A1E8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8e0fade5f34b9b9b91dbec52a15ebba949655","datavalue":{"value":{"entity-type":"item","numeric-id":1398459,"id":"Q1398459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$53EB0EA9-DF33-48EB-9A43-05E3DEE98C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$CB85E758-45EA-43DC-9902-BF77301169A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72fc53b330df65c06db898861ce0dd086aab1c9","datavalue":{"value":{"entity-type":"item","numeric-id":5899087,"id":"Q5899087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$8736B3DB-512E-4039-80E2-E6BA0C78917B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a217a4f89905810d12fb9d8a428ab9ebf7dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$B5E34F7C-1058-4D9F-8A83-58E5F8390B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509aa27f5ae325daa6c687f6bb13f2faece2e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3090868,"id":"Q3090868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$2BCE9D7B-39C7-4952-A2E7-1691140B9AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$937688AB-3256-440D-95E8-1D84D803790E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f212a06c5be4db5f867d04c1cea9f971a440","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$302FE6C8-EFA7-4A5F-81E4-A045F5D125EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$C86D2467-748E-4AB0-96E8-96898E1708F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8186fdee750524303424d9b05d92653bbb0f6f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5419889,"id":"Q5419889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$C170CF58-612A-44EC-A150-1E67A491D245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d104a4841be68a1ad1e917eff0a8d09046a2ba1f","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$AD4490E4-2DB3-49E4-A480-A22289C388EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f55ce5b3ef6c0010cbbaf9e29337871803b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$E266B12E-BE72-475B-AAF9-F57A4F6F437F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$0E677D60-376C-4CB7-A1F5-634FD18688C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01e6c190a4b251db029fc0e1f0667d3009d7bac","datavalue":{"value":{"entity-type":"item","numeric-id":418820,"id":"Q418820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$ED3EA1EE-96BE-4082-B512-1EFC4BDCF91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ec40f6f4f330ea35ba74c1a48ea5f145a5bdb9","datavalue":{"value":{"entity-type":"item","numeric-id":618170,"id":"Q618170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$602D0946-2222-4828-8F35-E12A53E74A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60558a989ab2391a1e4e90d0b261dbf02ccb027f","datavalue":{"value":{"entity-type":"item","numeric-id":2914235,"id":"Q2914235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$6FC03BF9-6EB3-412E-ABC5-726D11D95E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8abd94ed4f77e98ce4f26b835f3856deb19c3c","datavalue":{"value":{"entity-type":"item","numeric-id":2873669,"id":"Q2873669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$F8F39342-50A3-47FB-AAC5-1FD14DEE507B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$08FD7D92-C225-4088-A9E2-05638195CF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$AD663C09-FDFC-4408-9A51-2D60F752F860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$D159296C-F474-4E30-B1B7-5CB634825FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$52EC16DE-50B1-43CC-A898-6782081097DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$F550DF9D-1249-41B8-BF5B-04768A290DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9959cd8e67cfdb06aaa159914fd6e32623fe777c","datavalue":{"value":{"entity-type":"item","numeric-id":3005988,"id":"Q3005988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$DE1AB446-C9C4-4BD0-832D-956E59A4E00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed422079804ef5e320293e10d77756e7c911a9b","datavalue":{"value":{"entity-type":"item","numeric-id":3005991,"id":"Q3005991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283748$0E919249-3BAE-44C0-B251-EFB21C03AB2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df2ea21b221fdb41ebfd75ef8a554cfe45769dc1","datavalue":{"value":"10.1016/J.ENTCS.2014.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283748$466DF28F-9029-454D-9652-D7A198292B7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7e3ce2b29770d433476af7b8a7c2e3824f06ec","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055c1104f3816266452c943ba360ca479e70be7f","datavalue":{"value":{"amount":"+0.8385065793991089","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":"Q283748$084F8C46-AC6D-4DB8-9246-78D16AD62329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a734d48f8b8cf90d10e9e054ec680c1b7ee9433d","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955217391d4334278e54af49e3c04c431e7da272","datavalue":{"value":{"amount":"+0.8351096510887146","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":"Q283748$169C596A-F650-43A3-AA70-8C94FA5B1BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a0b029343682e0aed93dc5c2dc6e0f520d4654","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6381bfe04294310217dbaa1c9cac17a8e02760","datavalue":{"value":{"amount":"+0.8266789317131042","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":"Q283748$0362B7AB-9E03-4CF5-98D8-2523F77271F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab233438d0829b45e6681e18f385b5fbce73ec0","datavalue":{"value":{"entity-type":"item","numeric-id":2843724,"id":"Q2843724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8be2a112b74bb4c8e164880dc5cbe2c97537bd0","datavalue":{"value":{"amount":"+0.8222335577011108","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":"Q283748$0493F722-4A0E-4595-8F67-4E8AC8214E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015e0f7af8c588c7d82ea48fb523004faaf669f8","datavalue":{"value":{"amount":"+0.820999264717102","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":"Q283748$8DC1EE52-E9ED-4C8A-8826-B69CE139C9AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a categorical framework for coalgebraic modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_categorical_framework_for_coalgebraic_modal_logic"}}}}}