{"entities":{"Q406463":{"pageid":408230,"ns":120,"title":"Item:Q406463","lastrevid":52084718,"modified":"2026-01-20T21:59:09Z","type":"item","id":"Q406463","labels":{"en":{"language":"en","value":"Relational properties of sequential composition of coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341217"}},"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":"Q406463$022AADFA-7C00-4E3E-9A71-F98E7F292E51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c40c407452b4271d1c8e920b26f5c3ebd0cbdb63","datavalue":{"value":{"text":"Relational properties of sequential composition of coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q406463$EE8E68F0-F170-4BDC-A142-200D19395610","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"005e8cc519b38dcd31de668fc7e9b561378ef4de","datavalue":{"value":"1434.68306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406463$CF4EBC4A-37B1-4495-9A56-27F02F482F5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f56b190e71015a871f15c3d88a85fbb2910354ee","datavalue":{"value":{"entity-type":"item","numeric-id":238923,"id":"Q238923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$3B72DB59-2E7B-430B-B006-A95007578F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b518656f681c21f483cac13d8cde38fa15f3b33a","datavalue":{"value":{"entity-type":"item","numeric-id":406462,"id":"Q406462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$A2FC9136-1223-49BA-BCD4-3336BCDC557E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$1D5E18F7-8F38-4999-9225-3A16CD0B77E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q406463$A50E049D-5DE8-4E73-8E50-06E9FD9E1C2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406463$20B46972-F091-42BD-8E86-3BE8C7FD5D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406463$49986C91-E405-483F-B1BF-1607EABDCF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406463$29D3BF3D-C355-4F03-9568-997222B3D84D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a3164e5ba1b47a0830d241b50890d8b89685c69","datavalue":{"value":"6341217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406463$E960AAE1-90DE-4B84-AADB-4F58344072E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q406463$C4626E5F-634A-4A15-AF65-1C0DA2CB691A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q406463$5E0F4C6C-A959-4AE7-94D8-D841359EEF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed6a274aad73026c83d15ad56f65963f8c93e7","datavalue":{"value":"sequential composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q406463$91CA3D05-A1DC-47CF-B872-92D0104F234B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10730aaa06b3ddea8753db5aca4bcb2f9fdf77b8","datavalue":{"value":"Dedekind categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q406463$EBAE37EE-8BF3-4C5B-A8E1-D904CDE0E829","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":"Q406463$D55613F6-78AD-4C7E-9B7C-63D2C12F5161","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bf9b08261c4c5dba14a06d90453ea72c75104ff","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2014.02.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q406463$275A0A4B-1E7E-48D5-86BE-B4965CC057E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"726fcdadb9728c1561847899888d12846860f8bd","datavalue":{"value":"W2066238078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406463$8D8C38AC-A784-45FC-BC0B-A92352A86C19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"083aadca839e006675db7605a0cedc93bbfaa619","datavalue":{"value":{"entity-type":"item","numeric-id":5458362,"id":"Q5458362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$3F5CBC33-51EC-406F-8DBC-FEE2FE69E303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$E19F67D2-AE0A-449B-8696-81F6262CABE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$1BAAD0AA-B59B-4004-8EDE-ED08A5847611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$6D8A352B-954F-424E-BAEB-4B08E3745510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$324725E3-4F67-42A0-BBCE-86E95943BDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a467544404fe6d50e225e2430d156425894e9b0","datavalue":{"value":{"entity-type":"item","numeric-id":3879418,"id":"Q3879418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$F4AAE57A-2D38-4089-B9DE-8C1ADC042891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23859aec3022b81b57dce6f71c45aa05eaca9392","datavalue":{"value":{"entity-type":"item","numeric-id":1914508,"id":"Q1914508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$877CBA20-0DAE-4E35-85E7-324D1F38B3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298c345c5fd5e9751c3c32a918b118916c5b64f5","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$DAF68E11-C609-401D-BE69-3C0404539EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$81D9ACC3-3BE6-4DC8-A7FF-8D3D3AD56750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdb623d68ba2bcf78efdf32a62fbceb68891ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5483014,"id":"Q5483014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$A6710133-2C24-4FEA-8E7A-680B69398479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$FF8881D1-F5FF-428E-BD81-584347D5A797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e8a7f3e5c1edf4423142601c5ff9a7fbc17795","datavalue":{"value":{"entity-type":"item","numeric-id":4338907,"id":"Q4338907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$933BB5BB-8693-4EE4-852C-64446E086690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532044da81db0c98aab240a6669ce0292750399f","datavalue":{"value":{"entity-type":"item","numeric-id":3498427,"id":"Q3498427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$C4244AA0-2DDB-461D-8016-04D004CE4773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26aa4818d514b0f09990041878460f9b98d30061","datavalue":{"value":{"entity-type":"item","numeric-id":4329263,"id":"Q4329263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406463$2ACC07EB-C3FF-445D-8055-7DA80F64A619","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b38eeb69241940245fbef2da7603faed67856669","datavalue":{"value":"10.1016/J.JLAP.2014.02.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406463$072C71E6-0E70-46CE-A313-96F6459C05EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2367557ff0f7491fb97f89fb9b987f17ba8f1f2f","datavalue":{"value":{"entity-type":"item","numeric-id":4924968,"id":"Q4924968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ca1f03d51edd1de20048521f1ac9ad9994ba35","datavalue":{"value":{"amount":"+0.7457404136657715","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":"Q406463$34CD8E3A-C0CE-41E4-9E3C-8D3CC093AD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b22f43818c351f449dc0b5be7901c3f8bbe614f","datavalue":{"value":{"entity-type":"item","numeric-id":4657753,"id":"Q4657753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0b61b91354a6e86186c2865d9c05a0a462606c","datavalue":{"value":{"amount":"+0.7417189478874207","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":"Q406463$12799659-74A8-455D-82D8-C1401AF4C121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b158564105e72aa2e5e8cb1be85c43dd08cb1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05bb585ef80047bb65069562b81fe62a2ba6d00f","datavalue":{"value":{"amount":"+0.7414486408233643","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":"Q406463$418BEFD1-1F54-47D2-8B5A-D6A67E2A3F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132c4127d0f45f4441368c015bf9f611cfec84bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7edf3b47d947c40f667590ad59b0f61fd7e47e","datavalue":{"value":{"amount":"+0.7409552931785583","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":"Q406463$38A10467-EA18-4CA4-AABA-735D32F298AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9002e71b42ddc0ba5db1a900f8510d2916e4b566","datavalue":{"value":{"entity-type":"item","numeric-id":4460687,"id":"Q4460687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001f05668040bf37d5df508a56acb9692ee0ef66","datavalue":{"value":{"amount":"+0.7405775785446167","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":"Q406463$EE9CEB91-7AD7-436E-AC32-63FF1105DBF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:406463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:406463"}}}}}