{"entities":{"Q5875353":{"pageid":7904904,"ns":120,"title":"Item:Q5875353","lastrevid":97508222,"modified":"2026-06-05T14:55:10Z","type":"item","id":"Q5875353","labels":{"en":{"language":"en","value":"On terminal coalgebras derived from initial algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649895"}},"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":"Q5875353$AB5E7B68-C3F9-44CD-9F90-75A94CAC5FBA","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":"Q5875353$6FF879A3-D200-4F9B-8DD1-239AE1DDF8D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875353$95EBE1B1-69EC-4505-97B4-3C49C03F0809","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875353$2ABC4D75-920C-4AD1-B001-F228DE2D7A9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ab22fe287a6952b66dccacc067101e21f04be4e","datavalue":{"value":"7649895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875353$41BF11BD-7494-4790-8F34-28CFC3576964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceec32d5c532f49b2053075e43d38f61f92fdf8b","datavalue":{"value":"terminal coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875353$B424AD3A-5796-4E01-BCFC-6B7A83DBCAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875353$14D32873-5920-4018-A4B4-C790DBC22997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f85bfcca9fc8f5e8d3a9e52c7f3f112fca34de","datavalue":{"value":"algebraically complete category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875353$9EA8EAA1-7E12-440C-9DBF-815528A3C1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d2bf237feecae8165947c47bf8435f1b145d94f","datavalue":{"value":"finitary functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875353$44FD1217-AB99-476A-AC9A-112F94C9547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023aabf411aaf87fb3b8508291ffee40fedab78d","datavalue":{"value":"fixed points of functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875353$E65C5BB7-0907-4E60-A4B2-514F607338B2","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":"Q5875353$278FFB50-CCB9-4A0E-B0EC-171172F208AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875353$73AB2942-B8BF-4AF5-9B67-73CE1885C3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d8654f4e44d767cea2a52de15909776ea6d1fa","datavalue":{"value":{"entity-type":"item","numeric-id":4542236,"id":"Q4542236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875353$E43CEE57-ECBD-4240-92EE-545F43C30942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69870d0e01af12e6cce5f02dfec8095aa44e8838","datavalue":{"value":{"entity-type":"item","numeric-id":1134211,"id":"Q1134211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875353$D2B12C8C-72DE-4490-AD89-07514B841257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875353$81B9C142-7932-4195-9E48-3D4339D8B1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875353$4E7BB016-1182-4D24-A763-1BE0F7C2F9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875353$3F83E517-6A9D-4E4D-A6A4-C7160F4FD580","rank":"normal"},{"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":"Q5875353$BD00EB5F-2383-44AD-B3FC-0058ED86C440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875353$1E5A9330-BD52-46D1-BC55-442DD55087D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875353$DC8BA4D7-2958-401B-888D-C7693B0A8B47","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":"Q5875353$0D3A9BC4-8F4D-453C-8731-C46235D2D1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875353$09DC78DC-4BB1-4394-BBAF-7C68914551DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"feb3244afef146948fd6db88f932225076833b01","datavalue":{"value":"10.4230/LIPICS.CALCO.2019.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875353$4412A599-A3F9-413E-A926-B7A24C828773","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95598febc17448db1238cea5cf5ed01914df81a3","datavalue":{"value":{"entity-type":"item","numeric-id":5009709,"id":"Q5009709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f4f8dcff2ef04e1e014a3cedbe0f68d18f2c0b","datavalue":{"value":{"amount":"+0.8800157904624939","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":"Q5875353$720AF609-A0E6-417A-8D03-E48DCA33AF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383145027579612f57504163b196702460df9068","datavalue":{"value":{"entity-type":"item","numeric-id":4542236,"id":"Q4542236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4cf6bf0d00b38b1d6d6f643da6384b22bc7e758","datavalue":{"value":{"amount":"+0.8354628682136536","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":"Q5875353$D940DE20-669C-41FE-856F-4497F5B33BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8856a28cd46a211981a640a9dcf4285ed30dfa11","datavalue":{"value":{"entity-type":"item","numeric-id":1398459,"id":"Q1398459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439bef5325b93aad810dda5f342e47d096da0a46","datavalue":{"value":{"amount":"+0.8216878175735474","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":"Q5875353$C2B75ADD-0BA3-442F-9705-5ED09A374D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c8905fe64b790e3999a33f5bbcc4e68e922a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf6b2fe61e6987b02c2194bce52ec55d3266462","datavalue":{"value":{"amount":"+0.8068533539772034","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":"Q5875353$B5E8D2E8-14BB-4629-91ED-252A2ACCEE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d46ca4ffabbd6f34b2eccc4e47b23c9d5f7e72","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e8d6908a85bec35738992dae7fadc2e41377df","datavalue":{"value":{"amount":"+0.8050466179847717","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":"Q5875353$426CAEE7-6616-4045-A070-B3C431F2F7EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On terminal coalgebras derived from initial algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_terminal_coalgebras_derived_from_initial_algebras"}}}}}