{"entities":{"Q5941162":{"pageid":8117964,"ns":120,"title":"Item:Q5941162","lastrevid":47658484,"modified":"2026-01-02T08:53:57Z","type":"item","id":"Q5941162","labels":{"en":{"language":"en","value":"Specifying coalgebras with modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635327"}},"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":"Q5941162$CD88BD5E-F202-4F35-AB1E-31BFCD032B1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7e5bd46c8121a05b584297c7d0de7e49cd6a596","datavalue":{"value":{"text":"Specifying coalgebras with modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941162$B7293DFE-550D-4E1F-B981-9B1BF1AAF529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"899c0d9c8dd917e403d42bf0f0122c9bcc9bd89c","datavalue":{"value":"0974.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941162$B5D797AB-CDB1-49E9-A259-F5E7D7CD5268","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"665a22e36cd00a287aef131d3155a93a3220d006","datavalue":{"value":"10.1016/S0304-3975(00)00125-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941162$7B8D6B41-397B-46D3-B655-910D504C2289","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$964B55BF-FD06-41D0-A4B5-A09DB6315AFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$8E201DA5-A4A9-4803-A035-103BA49B4EE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941162$0C8F5B8E-4F59-4D16-A74B-49A863BD4686","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f92b59e0bdceeaa5512843fbe1b4d1351f9a4a5","datavalue":{"value":"We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on coalgebras as a semantics of object-oriented programming. Two approaches are taken: First, standard concepts of modal logic are applied to coalgebras. For a certain kind of functor it is shown that the logic exactly captures the notion of bisimulation and a complete calculus is given. Examples of verifications of object properties are given. Second, we discuss the relationship of this approach with the coalgebraic logic of \\textit{L. S. Moss} [Coalgebraic logic, Ann Pure Appl. Logic 96, 277-317 (1999; Zbl 0969.03026)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941162$8190E4D0-1C23-4AD5-9B5F-971D116FC85D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941162$2272006B-190D-46CF-A96C-660DD9C46EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941162$10966323-77C0-4539-A50C-9961E3CBE60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941162$C6E9B268-DD2E-490D-8E0D-F7B912BAF5B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7ea6d2c5239bc6ca8c4799fef59354aee2755de","datavalue":{"value":"1635327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941162$3FFD4710-F12C-4C0D-A1A0-422EB225E6FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941162$7A04F54C-3788-4F90-9A21-CB8870E940CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941162$6A7D2519-DEE7-482E-96FF-B6C99DB6B6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941162$B25BBEAC-F25B-4545-97A6-384DD45648A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941162$D2B21A48-F94B-411E-9705-185E7EB6F40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941162$5EF7D44B-E55F-441A-A539-25A019314BBE","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":"Q5941162$89725A6F-FF63-4F9B-BA2D-304C45643B98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"506597d3969def32c6958c38515909e64efe5161","datavalue":{"value":{"entity-type":"item","numeric-id":4400803,"id":"Q4400803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$0DD91080-DFED-4AEE-B801-2EE737BCFE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0fd12e42b2f878fc88d2821712066c0df564bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2576941,"id":"Q2576941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$0F4679A7-61D9-4FC1-A773-F31A658B0596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e9d67cedef0af99ef382671d3ad1177ddf4a7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4222949,"id":"Q4222949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$293389D8-51E8-40CD-B740-ED5994FBD2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab49be008cce20e9a3355d86cadd707817279d0","datavalue":{"value":{"entity-type":"item","numeric-id":5096389,"id":"Q5096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$96BCCABC-3312-4FAE-8609-253F1FD400FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46c998d502727365cc53cafc586112f6c2f5388","datavalue":{"value":{"entity-type":"item","numeric-id":4222959,"id":"Q4222959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$3A1DF694-5B35-4D07-A5FF-03B7CD185061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac18a0f2a80a0259bc88c065a25315b162988fc","datavalue":{"value":{"entity-type":"item","numeric-id":4329244,"id":"Q4329244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$AA885DA9-A2ED-4A7D-A044-2F5DAA88FC11","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":"Q5941162$4AA9FD3E-480E-4239-8FAF-70883113D95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$CF0D9D03-0DAB-4DD4-94D3-C7DFEC37D2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ce55b7ffeba230a297d32bd80c664aafc9d649","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$32B25B48-F2DE-4A33-A048-CDFAB80850E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$31AB2B92-A2B9-4D49-B986-69BA26FD8368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29914b3e56cb84cb7b0a226433f420ce4b8adcae","datavalue":{"value":{"entity-type":"item","numeric-id":1332142,"id":"Q1332142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941162$9C26A12A-5665-407E-BA9F-3413BB2EACC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495112ce375b977a5868e6c48dff8dbe40b400d8","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920b2fd7e8566f3d8c3af0b12949aae465f7a9d7","datavalue":{"value":{"amount":"+0.9847049117088318","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":"Q5941162$913BEABA-D560-4347-9300-50D99057DD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2281f62d80bb1c876136c1875821d96567d0bda","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ac029cfb16cbc1efa5a96fac5da5ab3932bbb2","datavalue":{"value":{"amount":"+0.8912736773490906","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":"Q5941162$BE6B3AB8-CDDA-44C3-A70B-E4F19FDAACCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b64717fd66a7cb568f26599f7b4f50f37d5662","datavalue":{"value":{"entity-type":"item","numeric-id":3653200,"id":"Q3653200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ac029cfb16cbc1efa5a96fac5da5ab3932bbb2","datavalue":{"value":{"amount":"+0.8912736773490906","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":"Q5941162$9CBDBA88-BE38-4044-9E9C-F8476F255783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15e41de91d447e80be50a95d897794eab7e46cc","datavalue":{"value":{"amount":"+0.8798739314079285","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":"Q5941162$1AB52C1E-45E3-4A39-8426-022F4535B8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0575f9cc6e3c3a021aed09e640314a5252f3480","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b326c2c3fc12022cf89b1463588cf04de61b93","datavalue":{"value":{"amount":"+0.853302538394928","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":"Q5941162$129332FB-B2CB-47EF-BF8F-A1920B33FB42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941162"}}}}}