{"entities":{"Q2369032":{"pageid":2379775,"ns":120,"title":"Item:Q2369032","lastrevid":49821868,"modified":"2026-01-11T01:42:08Z","type":"item","id":"Q2369032","labels":{"en":{"language":"en","value":"An institution of modal logics for coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020441"}},"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":"Q2369032$3092FB46-AFFA-4B62-BF64-1AD94FB976C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"712296cad607927b07bf95781b6359c3090fce97","datavalue":{"value":{"text":"An institution of modal logics for coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369032$E1ADEE6F-97F2-410F-B5C1-02C8FBD543B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f3556a49ba2807b8e1c73e53016208e1cdc7e4b","datavalue":{"value":"1095.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369032$826F2646-D476-42C7-8DF4-D3497383D185","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$CACEC123-4ADD-4A42-B235-D143CB53A963","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$2471B34A-DFD4-4DE9-848E-2B580D249EB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2369032$00DD13F8-D95A-458C-B8E6-CE578F5A0120","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26a54fcc7efb8b6fd83a3a5e226197b35c70114e","datavalue":{"value":"https://eprints.soton.ac.uk/261662/1/jlapfinal.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369032$24A55ECF-F9DB-4828-9661-ADDD7193A328","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"964d64fac4f1a4b6ac17d12067c9d28345473d36","datavalue":{"value":"This paper develops an abstract model-theoretic framework for the specification of certain inductively-defined coalgebraic types, based on the so-called ``institutions'' of Goguen and Burstall. The resulting coalgebraic institution is shown to have freeness properties dual to those which are common for the algebraic specification institutions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369032$26D9E90F-9EB8-4EF7-8D4B-A6FAE030FE39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$13A2A7C2-530B-41FA-BB4F-18DF383D5010","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369032$A5774BC6-B24D-4ECF-8464-3505D2F96B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369032$033FDCEB-8A87-45B4-A32C-D842975ADACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369032$7631E34B-251E-4670-808E-4DD75F5D5686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369032$D6EFB5D7-CDD9-47D3-8764-A6DFE04B556B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c861cf033c43995362f4b0bcfe131f4c04daf6a","datavalue":{"value":"5020441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369032$8F4DF6FF-0400-4964-8E2E-C95593EC74B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f87fbb18a4c738916b95cb91dc46c0a8fa4a3a84","datavalue":{"value":"Coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369032$27827CA8-3A78-415F-BBAB-FD0EA6AD568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecb0f0f4dcd6bbcbb8cb1391a82c865f06ce566","datavalue":{"value":"Modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369032$10116E67-5726-4E9E-A1AE-52B37E022228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1bd38dcb2ca825e9809c728aa0f92f45cca9a08","datavalue":{"value":"Institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369032$D5A8959E-D395-4068-A0E8-BAE3EAD34609","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":"Q2369032$FDFD18FC-8EF9-42B1-A8A8-7F5A1D65BEDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"122519f07f31627ad433d25d01e3e513216a6176","datavalue":{"value":"W2099684895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369032$6CC11174-A56B-44E8-A343-6DD8CB2D8B6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$E021FEF5-6353-4170-A2F5-8BB792772D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$CE7E2DDF-5779-490B-8661-67145C30BE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$5AC87AF5-4EFD-4C33-A746-D25880BD22F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$4EDEA493-BD79-4F11-9207-038A93C42BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$A631CB7C-A330-4BE2-A995-16D7E2577A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b196aa6c33a3fcebb82bed9d6a9d9686fb4b5f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1603816,"id":"Q1603816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$2E94831D-C473-4528-AAB8-935EFE765C35","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":"Q2369032$90A1ED21-6EC7-49E5-8996-224D1DCE40E5","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":"Q2369032$733C63EC-E6AC-48CD-B153-FF6D77C4E1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369032$424044D9-4032-464D-A74B-461047442740","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":"Q2369032$2C534287-2045-4A1C-81C3-682933302600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e75ff9083840a1f22c04a24c7e615a543f0d46d1","datavalue":{"value":"10.1016/J.JLAP.2005.09.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369032$9EA31993-F446-4E5C-B556-BB4B728433A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9fa5426d3518e7e770e5a5e94ebca5a14d46ba","datavalue":{"value":{"entity-type":"item","numeric-id":2842552,"id":"Q2842552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9737477e5f0af0b858b9af28c1b976089201d407","datavalue":{"value":{"amount":"+0.8480867743492126","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":"Q2369032$C35D1227-B08F-4B4D-A714-246025FE049C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0700bb15f8ffc5894a386dc090f8018629bff2","datavalue":{"value":{"entity-type":"item","numeric-id":2863891,"id":"Q2863891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5763c28c7fef6665424be6522b535ea1982514bb","datavalue":{"value":{"amount":"+0.8338035345077515","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":"Q2369032$E102FD81-AF3A-4A1A-93A8-6CD73EF0F87E","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":"1b441ee9a9998b9586ef36e611615d98f9d76fcc","datavalue":{"value":{"amount":"+0.8273398280143738","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":"Q2369032$8F73433A-A716-44C4-831C-42B459621F66","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":"1b441ee9a9998b9586ef36e611615d98f9d76fcc","datavalue":{"value":{"amount":"+0.8273398280143738","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":"Q2369032$29EAAC7B-BBF4-4AE3-A99B-2728333E5869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470bac876fa7e9234d1a8779554c061edff54894","datavalue":{"value":{"entity-type":"item","numeric-id":5900833,"id":"Q5900833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f123c1704d14c63374ca7bb75133855efd11757f","datavalue":{"value":{"amount":"+0.8259842395782471","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":"Q2369032$1C96B1D2-7978-4DC9-9273-68040FE35706","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2369032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2369032"}}}}}