{"entities":{"Q456862":{"pageid":458629,"ns":120,"title":"Item:Q456862","lastrevid":62010675,"modified":"2026-04-11T03:10:18Z","type":"item","id":"Q456862","labels":{"en":{"language":"en","value":"Relatively terminal coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6094149"}},"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":"Q456862$5EE819D1-9D71-4087-BAE6-7902458FB35A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28666ae9205ef533caaaa7cd154a89338914547e","datavalue":{"value":{"text":"Relatively terminal coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456862$FC021D8A-59B0-4B56-9DEF-DFC25988F1BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11d3ffa74ffa70cf7a895d0370d92530235de9ee","datavalue":{"value":"1266.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456862$53BD6C9F-4A20-4B61-9F81-AE6797CEA170","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":"Q456862$4574BC61-C2BE-4168-8330-79436972E157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8124976778a8742ad47f4813c985423b0264ec9","datavalue":{"value":{"entity-type":"item","numeric-id":409254,"id":"Q409254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$6A47AE8E-BC1E-43C1-99CF-319616D7AEBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$778861E8-6288-4E1C-B5A7-C559B0009AE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f739794021e4cde5dedcfec3f5debef30c31d67e","datavalue":{"value":{"time":"+2012-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456862$F465D11C-2673-4D7D-8683-6EB39C1AC270","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d36c6802931deb68c06da4243cbe950a4c8d7013","datavalue":{"value":{"entity-type":"item","numeric-id":587396,"id":"Q587396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$218A7FF9-A176-4729-8BD3-BD24DED791C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456862$EB21B84B-128D-41B6-B096-B7AF2B469951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456862$EA3F8CB1-A655-4672-B594-3ABD319254DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd14109b728357c96051ccc125db5e1d8c36ea77","datavalue":{"value":"18A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456862$023ECEFB-94B7-4F94-AA1E-E186A27B40E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bb630e08a6802587c6e70fab8ad08c6fdb26f73","datavalue":{"value":"6094149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456862$BA2F1643-935C-469C-BBED-7C8DCBAFC78A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bced3c1312d48940ca2dec00159777ae9909fe2a","datavalue":{"value":"terminal coalgebras of accessible functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q456862$84378747-E6A3-44C7-8E85-DF35D041D060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6a77021b504e2d49176001a7202b1e0ff615e68","datavalue":{"value":"enriched categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q456862$BE58DDBB-CC1A-41E0-83ED-4A97E7A74D9A","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":"Q456862$05083FB4-8012-48BB-AABD-7C91FB89E94E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de6656756bc995f9d9c39ae8e8dab5edbd95d98d","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2012.02.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q456862$4DE731F1-D92A-4E9F-8DD0-2422B0D25B0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b07beb823474ba88300eba2aa556da2424e952ef","datavalue":{"value":"W2040620485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456862$ADEE97DF-51E3-429E-9DB2-333CE73065CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$4E3EA342-BE5B-4B25-83FA-D0243EEA9F35","rank":"normal"},{"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":"Q456862$322A1D2B-6C22-4A83-A239-6693D22773F6","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":"Q456862$1500233A-7807-4FA3-9C3F-BBFDC61BE5D7","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":"Q456862$0763714A-C873-40BF-8F9B-58862D766923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4495e9115afa36bd137d97cc0b6ba73c54678289","datavalue":{"value":{"entity-type":"item","numeric-id":3005994,"id":"Q3005994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$D9756C68-E958-4138-B9BE-6ED6555A1D5F","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":"Q456862$EA871B70-BFF8-4132-B91D-BAEFA61B1E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$93D0403C-A558-4710-BBFA-5912043DA441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$6DAE79AF-AFF9-4173-9EF9-AADB6CA7C1BB","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":"Q456862$9679EB45-D199-40CF-9740-F584CB4DA892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$3160BF35-A9AC-45DB-9E2D-11464F801DE7","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":"Q456862$7E93D017-FBB0-4C18-9D60-8E3BCC66AC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$2085885C-8F4F-4C34-963F-B4C41FBBA3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b22501c4a522544765e1fbc099ade352ff4e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5574731,"id":"Q5574731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$EB3723D4-B8CF-4A93-AFDB-C5BA23375F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456862$EADC14A2-26AA-4ED9-BAAD-2AFDD393B8A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26e93a867058878321f2d0cdfc2913590b6120c6","datavalue":{"value":"10.1016/J.JPAA.2012.02.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456862$2972E3E8-0F5B-4255-BDC3-8B171E56B95F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4221ab1ac78f0f452ec936532f1c4777fc2d9715","datavalue":{"value":"The authors explore terminal coalgebras independently studied by Dana Scott and Jan Rutten. According to the authors, Scott's approach is based on limit construction whereas Rutten's approach is based on behaviours of states in the concerned systems. The authors demonstrate that Scott's study is a special case of the concept called coalgebra relatively terminal with respect to a given algebra.NEWLINENEWLINEThe authors' development of the paper is a testimony to the organizing power of analyzing various concepts to a universal state.","type":"string"},"datatype":"string"},"type":"statement","id":"Q456862$B82FF5EE-6FEF-4EF4-90E0-17359A1E321A","rank":"normal"}],"P1643":[{"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":"c56dea780a1e9f6367ae2b2d753b5d327662fbfd","datavalue":{"value":{"amount":"+0.7465125918388367","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":"Q456862$CDA47596-3317-4E37-944C-39CB86C35B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b64717fd66a7cb568f26599f7b4f50f37d5662","datavalue":{"value":{"entity-type":"item","numeric-id":3653200,"id":"Q3653200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40cdff6573906b6a5b6650979b4a4dea949da85c","datavalue":{"value":{"amount":"+0.7421875596046448","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":"Q456862$BFB68AAD-0DE2-4645-B4B2-D6D066F691B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5ed2ddcae0b6c38208821b9dd6635ed082a2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4466657,"id":"Q4466657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0780113128f6ed97e0c67c24bbcb0541a5ab76be","datavalue":{"value":{"amount":"+0.7378404140472412","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":"Q456862$FAA3BFF2-18C1-44E7-B533-A5E9A728FF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679fdbf07f18e3ee121963b57b3d8627d7fb0777","datavalue":{"value":{"entity-type":"item","numeric-id":4408809,"id":"Q4408809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effbada4c8316192bc168033d3c437a900e2ec12","datavalue":{"value":{"amount":"+0.7249183058738708","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":"Q456862$C871E4B7-F13B-45C9-A8CF-93C465EA3F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ca8a2e01f8239d03ca7a8219c9f482f702440a","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c0c5efef5a1586350c8a99ebb72533113a87eb","datavalue":{"value":{"amount":"+0.7223213911056519","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":"Q456862$694ED272-323D-4A85-97C0-594BB15AE65F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relatively terminal coalgebras","badges":[]}}}}}