{"entities":{"Q4408807":{"pageid":6438406,"ns":120,"title":"Item:Q4408807","lastrevid":40951048,"modified":"2025-04-14T18:41:21Z","type":"item","id":"Q4408807","labels":{"en":{"language":"en","value":"Free iterative theories: a coalgebraic view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1941747"}},"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":"Q4408807$3448EE4A-C840-4ACD-95A2-02EFFE409298","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4b82206b7b2e70b2b7421743fa026a5b941b48f","datavalue":{"value":{"text":"Free iterative theories: a coalgebraic view","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4408807$A8ED57CE-219F-462F-B5AC-8AB075C75347","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52a79cec6ca71896b388e18f03aece95c8328f18","datavalue":{"value":"1030.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408807$476EEEBC-A5D2-431C-AA9F-37D8F52A514F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43ed8bac6a8ff5b175aa8f921a622efb35518a75","datavalue":{"value":"10.1017/S0960129502003924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408807$52E72BED-7190-4022-8219-5BD233A2392D","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":"Q4408807$CF6A5D4E-57B2-4964-96A5-A52B22556BE2","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":"Q4408807$A93F12C4-2466-4891-ACE4-E09EA9154CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28684bd1f4bbc00add773aebdab5a83cf01fa02","datavalue":{"value":{"entity-type":"item","numeric-id":234458,"id":"Q234458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4408807$4C5EA9BA-0437-47C0-A31B-DD62EBFBD83F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4408807$77DBA084-E797-4D52-8E4B-E719BB2E6377","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca5125b05e2c98c67e38c71dce31dfb7bf4b962a","datavalue":{"value":{"time":"+2003-10-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":"Q4408807$778D70D5-3421-40E8-979B-0FD6B3106CAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408807$FB238384-24B3-4A99-B4DD-6EC76070AAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408807$C7DB44CD-246B-4D44-B000-AC1309902F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408807$C5706B8E-2270-483E-B330-F9047003ABEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408807$45DA16B8-61D9-477C-B272-2EECB38B3D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408807$AFCF5477-D64A-497F-937F-C972D5F564D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20b18972e5291eafb136a00c2dffd5cc10d6c4aa","datavalue":{"value":"1941747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408807$36536FD0-96E0-493D-88CA-C7793D50A45E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f69a5af2dcbf7a90a170bdb7b28de44c7e2880","datavalue":{"value":"locally finitely presentable category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408807$33C1267F-7765-4D4A-9B4F-A4F5D026CE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61eef39cc528897ca7ab9a04db7825b2ce314802","datavalue":{"value":"free iterative algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408807$7A806D01-2A87-4D21-92AF-AF47CC988FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408807$024F1590-0DF5-4254-9F2B-09A9912A2FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a9af3c348dd19e1424bff779d1dfd8fb8311ca","datavalue":{"value":"system of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408807$608B7511-61AC-4D85-AE5A-21D63FB70037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408807$5F2893A3-647F-442F-A692-64D2A7CA4FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370bbb3eb432ddb133a3f5061bca1e9ebb4b31c0","datavalue":{"value":"Kleisli triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408807$86E0F5B3-8A40-48F5-BA8E-8E3ED632F4D9","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":"Q4408807$BC82D7DA-CE05-473F-9228-25A7D6C546FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a81fac443534104fefff2092eee7170e8d3d19","datavalue":{"value":{"entity-type":"item","numeric-id":2500475,"id":"Q2500475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b350b2cfb20f3a70770e34c89674687617a84b8f","datavalue":{"value":{"amount":"+0.9385011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$192F225C-BC7D-4960-B6C8-64040CE31379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a15071138a3b4fda96f6bd56150be5e8b43b87","datavalue":{"value":{"entity-type":"item","numeric-id":3612489,"id":"Q3612489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4cb56f450b26b86625e41e6a3cf3f60f8f8f5bb","datavalue":{"value":{"amount":"+0.91299236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$EAB382AA-3CC9-48A7-8C68-5CA203D83344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097c8ef9620475a14e7ae2109da40defd8b49a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e4dae7235147bc95ff0944080eb55dccca801b","datavalue":{"value":{"amount":"+0.9036194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$6AF62D9F-5E71-412D-B624-432FAA33D3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354fd34c7851ef54ce34767bed4b71340da16dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2843717,"id":"Q2843717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9129792f63fd52210a3adfd81c0ae0ce520f4347","datavalue":{"value":{"amount":"+0.9006326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$D2F50888-8509-4E4F-913C-A5A5266CEFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cc30dcae649a72ffb67c617cfa13ed093a1f038","datavalue":{"value":{"entity-type":"item","numeric-id":2229228,"id":"Q2229228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0ec5e4ba7cb058345403ab0fd05285c688324c","datavalue":{"value":{"amount":"+0.8952951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$15C4AC5D-EB70-4D0F-A0CE-0A5D465E3CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b983d8d1da11e96e0f955a47066e0628edde22","datavalue":{"value":{"entity-type":"item","numeric-id":2842813,"id":"Q2842813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4886546ba4ec244e4e5a36eea736a25129c5a14a","datavalue":{"value":{"amount":"+0.8887484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$47DD4B58-B09B-4941-A6FB-09EA25CBBDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51c8fa4fe763fc7a672dd73f04d0611c337ee2d","datavalue":{"value":{"entity-type":"item","numeric-id":4917030,"id":"Q4917030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f527638d958082489ab8f3d64fe22c14da8fe6","datavalue":{"value":{"amount":"+0.88307285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$0D94B15D-760E-4B9A-B8A7-0E81B3ED8B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95f1fd27ea1872387d7ad74afb2654dbcfcab16","datavalue":{"value":{"entity-type":"item","numeric-id":5139287,"id":"Q5139287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5aee04b7b638165a58edc6e057d3a000b805507","datavalue":{"value":{"amount":"+0.8810058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$76E7A6E0-A68A-420D-9E43-DFE5EEF737B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297aceb16a7e0c6e7362a942d5f6be4dedd7009d","datavalue":{"value":{"entity-type":"item","numeric-id":4868186,"id":"Q4868186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a6c24fc52f29f53bbc9459a769435e9eb08480","datavalue":{"value":{"amount":"+0.88010836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$7CE25655-FD67-417C-A922-D87021639F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b4e9b45d29fdc1204ea529a5bec284a3519b06","datavalue":{"value":{"entity-type":"item","numeric-id":1208226,"id":"Q1208226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69bcb26625b0033d80f99e868706f4c038da21e3","datavalue":{"value":{"amount":"+0.87727356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4408807$E3730560-37AF-470E-ACB4-9369CFC4AB7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4408807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4408807"}}}}}