{"entities":{"Q5158367":{"pageid":7187938,"ns":120,"title":"Item:Q5158367","lastrevid":54118658,"modified":"2026-01-26T07:03:16Z","type":"item","id":"Q5158367","labels":{"en":{"language":"en","value":"On the behaviour of coalgebras with side effects and algebras with effectful iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7412833"}},"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":"Q5158367$8711A351-01FC-41BF-8CFA-D4B5E80B16D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68915d974515cd9ffecc5fd77f109988985e6df4","datavalue":{"value":{"text":"On the behaviour of coalgebras with side effects and algebras with effectful iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5158367$86C9C514-8C37-4427-A78A-8AE05E90145B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158367$0E8BCC12-33F8-4833-95C7-48A6D182490C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158367$75D64F29-6ED7-44DC-96E5-2489F18E55F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16231eb9cf1a08bfff49d301a5360bb26233668f","datavalue":{"value":{"entity-type":"item","numeric-id":283734,"id":"Q283734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158367$AD17C91F-65EF-4C0B-8572-514750BBF3E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63ea68637f5cfe48b0d0d77e5f0fa82323c89d78","datavalue":{"value":{"time":"+2021-10-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":"Q5158367$8DBF0BD4-D4E7-4B0E-8F62-1544BB26D085","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"957d97f4739d1980ad2e656b74492bf06123676f","datavalue":{"value":"https://arxiv.org/abs/1911.06346","type":"string"},"datatype":"url"},"type":"statement","id":"Q5158367$0A9A1C5A-3429-4ECA-8974-BC4677BB82F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158367$D9516B1D-1A32-4F29-985C-915B4E143C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158367$C1A42D43-239C-417D-81BB-D7E91C0D825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1faed641e69c18bb675d0686a9afa79c982b85e9","datavalue":{"value":"16T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158367$A708FD39-3878-4DED-9668-35BAAA563383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158367$132B2530-9F6C-4709-BB6E-42922FF21B6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c33987dfd1ef1be9b29ed93e3fefc3f3d8f49900","datavalue":{"value":"7412833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158367$A2918F18-A658-4328-BEDC-AB1DCA0F689B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddca4a69d2656fbbe1bfd00944b21ea88e7c8b3d","datavalue":{"value":"Elgot algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158367$7968CF9C-96D8-4B9E-AA36-BF497514B475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158367$8041C17E-07C2-4652-8622-2DC087AFEFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fa8cd7e40fa7629f2bef525ffed52969bba2328","datavalue":{"value":"monadic functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158367$D70E096F-F643-463A-BD93-34628D7E6F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f24c59644df179cb21b4d78eda05231c17cd1d55","datavalue":{"value":"Eilenberg-Moore algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158367$5F890E75-E71F-4EF3-8C40-DBB00C8B1D5C","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":"Q5158367$2F348606-0489-40D2-A773-7EA1D561DE23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b4e3b242f06d1e46881ce037bd52803bbcd7f63","datavalue":{"value":"W3197747332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158367$952ACD5A-E666-43EB-AA04-BB057FE91C8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"957fc8c28211b5306be4351d49a7cc138ae0640a","datavalue":{"value":"10.1093/LOGCOM/EXAB049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158367$F5C21A42-68CF-49D8-9E14-0AE0073D061A","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":"Q5158367$0C0C53F6-26DE-4C62-99A8-CE8B90E500CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7abcd27cd6caf3a28e3284e284c647b8ae0143fd","datavalue":{"value":{"entity-type":"item","numeric-id":1798792,"id":"Q1798792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fd23f7e214024b4b126022a3736dd02a003bd6","datavalue":{"value":{"amount":"+0.9531822800636292","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":"Q5158367$24B201CF-918D-48C6-84AF-8D4E83BE1B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f8711765145ce8da21d5dd2234df43231ff15d","datavalue":{"value":{"entity-type":"item","numeric-id":1744384,"id":"Q1744384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f92597c85be18fe95180987ec1f63aee514c472","datavalue":{"value":{"amount":"+0.7670852541923523","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":"Q5158367$6A2C88A7-A0A2-4B41-B58D-0A697FA2AFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2ffdf93356e33c62966c70954ca6e91ac664b0","datavalue":{"value":{"entity-type":"item","numeric-id":2852346,"id":"Q2852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0335df0c9544a9b0583fc3580b37e3e5f43f422","datavalue":{"value":{"amount":"+0.7581892609596252","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":"Q5158367$7E75813E-7164-4945-877F-1DCEDB3629F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266864d14b8711f68f4a2cdb859adb9677909ea2","datavalue":{"value":{"entity-type":"item","numeric-id":2304521,"id":"Q2304521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9577f6a8ce13a4f8ad4edb92165f9c2ba775a201","datavalue":{"value":{"amount":"+0.7562018036842346","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":"Q5158367$2C92F7B0-93DA-4AB3-975F-CCB53E21FEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e253afa103fcbda5f0135bcd63e0f8e951aa34d","datavalue":{"value":{"entity-type":"item","numeric-id":2888475,"id":"Q2888475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f1c949f50e42d7a2fc15e65e6acaa015b38f03","datavalue":{"value":{"amount":"+0.7559179067611694","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":"Q5158367$63E2BC70-0D49-46F7-8432-AD1CA0E35781","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5158367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5158367"}}}}}