{"entities":{"Q2878762":{"pageid":2889482,"ns":120,"title":"Item:Q2878762","lastrevid":58056864,"modified":"2026-04-03T15:27:49Z","type":"item","id":"Q2878762","labels":{"en":{"language":"en","value":"When is a container a comonad?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340405"}},"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":"Q2878762$242705C4-7F13-4ECE-B991-6A944F8787BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11636bdf750e996a94845449628c43175648fc35","datavalue":{"value":{"text":"When is a container a comonad?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2878762$1F3E7724-E282-4173-80FA-3E5BEFC455C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"842547353324f3cad2b412c21a1c5998f09b54d6","datavalue":{"value":"1338.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878762$BE1F2730-86BF-4C94-947E-B2EB8132F6BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ad3ad95d295526fc00080aabe56859c35a31068","datavalue":{"value":"10.2168/LMCS-10(3:14)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878762$4575F9F6-1EA5-4246-A32A-A8115749B772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcd7850e46a0b0acd4be366ca173c3191291ad8","datavalue":{"value":{"entity-type":"item","numeric-id":265790,"id":"Q265790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878762$A3A57DBB-D2B5-4537-8E37-EB9DC3CA6771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00aa7e93fa7f222310ed2c02639443a3d00d9426","datavalue":{"value":{"entity-type":"item","numeric-id":635961,"id":"Q635961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878762$1D35DACB-CA7D-4D1A-B0D1-DB6E40E84211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878762$95F0873A-841C-4F2C-A6FD-B4FF74C19180","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878762$A6D37F60-3A93-4887-9519-B5F4CB87D2FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"129eeaa36edfc12cfb30819e9dd17da235a8ab47","datavalue":{"value":{"time":"+2014-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2878762$F4AA6D35-5B1A-46EA-A428-66FF55577620","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17bf5d91701c25c6f39b1ce6fd311d578dd0cabb","datavalue":{"value":"https://arxiv.org/abs/1408.5809","type":"string"},"datatype":"url"},"type":"statement","id":"Q2878762$36094A64-E296-40E1-A146-0350D6088413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878762$58888A79-3AA2-4672-92E4-711B87128B73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75cd335d7b846acde1e7ab40a09f559b23ac42ef","datavalue":{"value":"6340405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878762$5234E8AA-9D00-4508-81E7-B28759DA7958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09bc3e06e17a36cf6c2cee313f85f4ede69f0738","datavalue":{"value":"containers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878762$F4BDDEB5-40CD-4E29-B3E3-B49273FA0E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd63649bc42cd8761636bf82ada7e534f568f45","datavalue":{"value":"comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878762$74D588EF-2F23-4A09-A4C8-784ED7B84AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c6f76b4e932d5f2fe0ca32a7e72fdafb393f80","datavalue":{"value":"datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878762$BFCFD07F-C04F-4D59-8AE4-9850AE819A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5fde500c1b893101a3b51394b8a804cb1b9660c","datavalue":{"value":"dependently typed programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878762$1FC25BFA-E73E-4F17-9457-7859C4ECBB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878762$7EBCD38A-E551-4F6C-81F8-364B31A21D6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878762$01CDE185-E2F2-4068-83EA-1DBF7002C9A0","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":"Q2878762$B887EC80-2663-42A7-A390-81F76FAC18A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"038809b88bc2e0722148123c9d58f8fe2b05eeee","datavalue":{"value":"W2035890727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878762$8B6B37E0-F2BC-4274-A363-5B3C56E94BE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ba301f4f0cb95a2df98c77cd39a8d53bee3be3","datavalue":{"value":{"entity-type":"item","numeric-id":2892760,"id":"Q2892760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495a6fae7a78fe147309735da56048dc5620ae33","datavalue":{"value":{"amount":"+0.9995303750038148","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":"Q2878762$D93E8870-8A09-4CEC-9216-2A156F616C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d317b3a881612d1d26e196513de508b8f5607e28","datavalue":{"value":{"entity-type":"item","numeric-id":5013830,"id":"Q5013830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abda27c98386bb2500d04d342de93b75c778f95","datavalue":{"value":{"amount":"+0.866312563419342","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":"Q2878762$A4CBE2F3-42EA-4B5C-92E9-3DAB44C1DB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed2f795611702ebbebcddf4c6e1801e55b8d221","datavalue":{"value":{"entity-type":"item","numeric-id":1698760,"id":"Q1698760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2de39fbdfde7160fbf523b11d5eeb4e54f08dd","datavalue":{"value":{"amount":"+0.8273469805717468","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":"Q2878762$74BABAA4-40AB-4A2E-8C80-A853A0ECA456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628cdf366cde89b9975df76e9d00fc94ed5633fc","datavalue":{"value":{"entity-type":"item","numeric-id":1640987,"id":"Q1640987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f44e17bbf2dd59df75d99059f732fdcaebf8af5","datavalue":{"value":{"amount":"+0.8231703042984009","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":"Q2878762$0A5B80DE-5BEF-4FE5-87B6-27947BE8C212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a2ad56c547f5ba68313b6ff40350037ff7b465a","datavalue":{"value":{"entity-type":"item","numeric-id":3576186,"id":"Q3576186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718e0cfa9ba915cdd15c772463994f103e3c786f","datavalue":{"value":{"amount":"+0.7712229490280151","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":"Q2878762$A39A3D71-FDB0-4F81-B136-75E452408EFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2878762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2878762"}}}}}