{"entities":{"Q2997823":{"pageid":3008547,"ns":120,"title":"Item:Q2997823","lastrevid":51240338,"modified":"2026-01-17T09:57:08Z","type":"item","id":"Q2997823","labels":{"en":{"language":"en","value":"Coalgebraic approach for program behavior in comonads over toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886017"}},"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":"Q2997823$7B6CCA3D-DB00-4910-BFC2-32F8CEAAADE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cadf6eee54dbead9a31b0c194ef2d3b5894e5549","datavalue":{"value":"1211.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997823$8B597CA7-47D7-459D-BC9D-51D226AEEDB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfb8837e37a2553981cd1e8effb65dad74f363c","datavalue":{"value":{"entity-type":"item","numeric-id":2997822,"id":"Q2997822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2997823$CB7CC26D-1552-47EE-818A-4A721E9C8EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f63b920d273255a7402d6cc52f0a7a8b350abbc5","datavalue":{"value":{"entity-type":"item","numeric-id":2201095,"id":"Q2201095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2997823$30356382-E2AB-4D83-BB20-749A84F2B9C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"296b8d5e34b7c960d0778d4d1f49ca6872778dc7","datavalue":{"value":{"time":"+2011-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2997823$ACFF6E07-A1E4-448C-BE5B-CECF3F79541F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997823$7AC7E6DA-F5C1-44B3-BBEE-68DDD55BA93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997823$63B63628-42F0-4845-A640-0542B85CB84B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b571fe2590411426721d10ec17fb35ac223a5590","datavalue":{"value":"5886017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997823$3B958A5F-E90E-463C-AADA-5A0F0384511A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69a58160c49da1b86b75d83c9738deaf90ee41f4","datavalue":{"value":"program behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q2997823$0EA6FDBA-320C-4E5E-A1F0-F68A0740AA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2997823$9132E0D8-82F0-4324-9E83-A494F3FB11F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4545a2e593e1545a3991d553bbc49cdf7df90d","datavalue":{"value":"comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2997823$11D917EB-E97D-4462-8C9E-AEE0EF4CD565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e1a27388601c045a8d9f673692f60d4475ff15","datavalue":{"value":"toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2997823$7061D5FC-4A96-4B19-A2EB-EE1109E0BC99","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":"Q2997823$C0C7D9EF-60FA-4D58-925F-55C2F9817CD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90136ceb17346bf0cfe0ae628249373caabf882d","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1cefc52165636551170a49ac6e3eba77901bd3","datavalue":{"value":{"amount":"+0.730650007724762","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":"Q2997823$53A32988-A32F-46E7-9C26-C3749984FCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ea4db0fccb6f3d31fc75b8cfb21a0cc23df8ec","datavalue":{"value":{"entity-type":"item","numeric-id":4222958,"id":"Q4222958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494b5f5121aaa4fff551cb7c3e220b74369449c0","datavalue":{"value":{"amount":"+0.7264909744262695","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":"Q2997823$83F03E43-18E1-46DE-A843-A2C7B54A0830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbaa4ad68aff0b995411ab0228a56fe14b5915c5","datavalue":{"value":{"entity-type":"item","numeric-id":1853752,"id":"Q1853752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db02a9e621e1d52c6c58e5032a850b7766829c9d","datavalue":{"value":{"amount":"+0.7136276364326477","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":"Q2997823$99526278-23A0-4CBA-8FFF-4B59ED2AC73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7e023712e043930d846a27b23e585155ef44a6","datavalue":{"value":{"entity-type":"item","numeric-id":6487698,"id":"Q6487698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61d1f851b492f2b910ca468b4cceaaf94ba25b2","datavalue":{"value":{"amount":"+0.7109286785125732","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":"Q2997823$CBCB1F40-40A4-4E62-85EC-AD9271ECBEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e4b13b9c8e15eb79d17e078f2f9b4e46a3a5a8","datavalue":{"value":{"entity-type":"item","numeric-id":3105114,"id":"Q3105114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeee35ec4556f6df997764103bc628e9ac6eb202","datavalue":{"value":{"amount":"+0.7100810408592224","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":"Q2997823$4855195E-6528-4DD6-871D-DE65DA202DFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2997823","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2997823"}}}}}