{"entities":{"Q4553284":{"pageid":6582876,"ns":120,"title":"Item:Q4553284","lastrevid":97333268,"modified":"2026-06-05T14:08:31Z","type":"item","id":"Q4553284","labels":{"en":{"language":"en","value":"Codensity lifting of monads and its dual"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6970798"}},"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":"Q4553284$C5F8F274-AC30-4C1C-AB33-81207841A07D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4189e4291e8544e21584b1bd9ccfcbe85d3b8ada","datavalue":{"value":"1398.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553284$49DB6FBF-D20A-4F32-8F73-13883298037C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e0ee8394e1a1d3fc94e09f083784b108db058e3","datavalue":{"value":"10.23638/LMCS-14(4:6)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553284$B18EB1D2-8428-4245-8A04-506258253F6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c03210fd9ce4ad9876a1650d95ea915c3881207f","datavalue":{"value":{"entity-type":"item","numeric-id":1652970,"id":"Q1652970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$9DB51B5C-E126-415C-BC30-EE433244B31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d775ab79a72fac62a16b3751c11e9f531a58bde8","datavalue":{"value":{"entity-type":"item","numeric-id":231248,"id":"Q231248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$E2195FB2-4F61-44CC-8C36-8155F32F6446","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":"Q4553284$B70196A8-6CA3-4012-907D-841B0D606D12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ceb376c62d58da4cb190e228be8e352c77702c07","datavalue":{"value":{"time":"+2018-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4553284$1283101B-1AF3-4E29-9245-FAD4B8578719","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e99055835507e6bc43fe11382b50cad56d1ac40","datavalue":{"value":"https://arxiv.org/abs/1810.07972","type":"string"},"datatype":"url"},"type":"statement","id":"Q4553284$019D61F6-AC39-485E-86F0-353C7BA84317","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553284$01D1AD2B-B649-4D94-9D32-363FF749DD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553284$D99F7396-E906-495D-B3A7-9369C365806E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb3ed1d463ce96f54767d6a1b223f8a4e53cb9f2","datavalue":{"value":"6970798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553284$FF1C48CC-443E-4C41-9E88-3A72CCC8304E","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":"Q4553284$77E3104A-7DEC-4267-83AF-A24899616CC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97074c4951109a121727f3076e8c78bd4c628070","datavalue":{"value":{"entity-type":"item","numeric-id":4500170,"id":"Q4500170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$141DB8BD-D63C-4433-A79A-943391012816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96954404dfbbc62a33a9750ac0ac66cacd28ac9b","datavalue":{"value":{"entity-type":"item","numeric-id":5602969,"id":"Q5602969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$642A5A50-AEF8-4A6E-97F3-8BD766687AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc26bad4d04cafdfd1edc5928570e1e04b1bb45","datavalue":{"value":{"entity-type":"item","numeric-id":5418956,"id":"Q5418956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$E301A75C-3599-4EE0-B29B-A6EB7A58FE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f80bd569568dd60e0aecd80316d7117694212d9","datavalue":{"value":{"entity-type":"item","numeric-id":879354,"id":"Q879354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$BD279701-9FD5-44BE-9743-BB4CD857258F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c57d37caefd2f4873536ece3666850d6f574484","datavalue":{"value":{"entity-type":"item","numeric-id":5168928,"id":"Q5168928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$12876B6A-A574-4BEA-AB23-C18E2597D95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$59393D0B-9332-46AC-A4EE-EE27903FC223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$342295F9-A436-40EC-AB24-832300F6E9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$FBAB36A0-48AC-4CE3-A55F-75384C701EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$009F48E5-7651-48DC-A7EF-8DCBAB3A4352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0016ef4b330eb172a6310caac5413e99655cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1575253,"id":"Q1575253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$DB9DACE8-F859-4232-A74B-4FC7840BE212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$F3815456-4185-4D65-91F4-7BA0B575ED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ccd45aeb027fff602ca1b995c566c28f105f34","datavalue":{"value":{"entity-type":"item","numeric-id":2843725,"id":"Q2843725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$71485416-7C47-41AB-9931-B90E701C416E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1b2121fb39961209147ea9074ea26e7b6ca52b","datavalue":{"value":{"entity-type":"item","numeric-id":5394571,"id":"Q5394571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$D789C3C6-D7F7-4918-AB00-A6CFA1A01514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d016207f32b9925a2af9ea47531e18042dee351a","datavalue":{"value":{"entity-type":"item","numeric-id":1951584,"id":"Q1951584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$35D2C744-1155-41DC-BC4F-1DFBB82DB166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$F72E0346-EDAA-49DB-BCB4-03B6C6D8A619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed9bd2d610fa975e50d6a9024d44ec7d94b27a1","datavalue":{"value":{"entity-type":"item","numeric-id":4910417,"id":"Q4910417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$383C94E3-7CFC-4797-9685-F1725A918660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3403dce4e0e5c6922c01329aaf00bbcd05ac3fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5275349,"id":"Q5275349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$397ADC1D-F585-4598-A070-5768FA677988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31862ba1a6e135191931a51c3d4974b59863c42","datavalue":{"value":{"entity-type":"item","numeric-id":3000597,"id":"Q3000597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$BD69D359-7D09-4F22-9E7D-AE9532ADC29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70310057f6e65c7bae9c8a38aad2028890ef7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$BFB99F3E-D3E2-4904-9207-5092D688D5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66cc4b433a7230e47e5f58d1ea220d0e92f4725","datavalue":{"value":{"entity-type":"item","numeric-id":5704015,"id":"Q5704015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$BCFE2518-EFF3-4D34-A064-6DE27520CD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$7DAC521A-4522-4300-BAAF-886427CB2A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$450F633A-4CC8-47F1-B5E9-0E74A8BA4443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ece9f88a5860d659787874ff1cb3f2701585e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4283246,"id":"Q4283246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$72BF0565-AB06-48C6-AB2E-54BAD0A3FD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f99c3767f220921bd5141aad82c56e84e6dd18","datavalue":{"value":{"entity-type":"item","numeric-id":2341702,"id":"Q2341702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$C8D7A4AE-E4D5-49EA-8499-FCFD80C60499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d34a9c4e2d8231512ffc28ee4d474595b3025d","datavalue":{"value":{"entity-type":"item","numeric-id":2819783,"id":"Q2819783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$2111A70D-3C78-4AE0-ABFA-A26E809EF5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd6daea69b1a61f365df9802d58e74ee4af9ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3869981,"id":"Q3869981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$6A1D7FB1-51FB-4DEC-B005-F3BF9F672A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$A2A278F6-DB90-41B3-8BE4-5C11F5A5790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$320DC35F-3951-40D4-BBDA-A7E6B49F2693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c4cc508d02765ef12103f5a3aaa61b4f1d7664","datavalue":{"value":{"entity-type":"item","numeric-id":1798795,"id":"Q1798795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$0B400E3E-2206-42D5-80B1-3340C4C11220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd28852b9fa82aee195b6b013c46503ab17cd68","datavalue":{"value":{"entity-type":"item","numeric-id":2873672,"id":"Q2873672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$C69750C9-69A8-4097-B8ED-EB428C241589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da291fe0aec0c935ea4169bb1d644b1e04f22e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770416,"id":"Q1770416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$D29A883C-589A-472F-A7D7-1AB6ED8F6341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6998adb434207097a33a6b5ff9544d4e37465881","datavalue":{"value":{"entity-type":"item","numeric-id":5178022,"id":"Q5178022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553284$EBB3EECA-2B6E-4607-AC24-7C7C12378277","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868a4ee3fa5d289471bda7c3f9f12e86f26e2a17","datavalue":{"value":{"entity-type":"item","numeric-id":5275349,"id":"Q5275349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3632cf5c9cc00e8015c9e93a74b9cecbb689af","datavalue":{"value":{"amount":"+0.986319899559021","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":"Q4553284$BC922039-650A-4D76-8CF6-59CC1020576E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6726c7c705b7518bcdd8c5d3c258ec7765420c8","datavalue":{"value":{"entity-type":"item","numeric-id":4499236,"id":"Q4499236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4aeb2869dc41bce04cf9e6cb67f4c76744994c0","datavalue":{"value":{"amount":"+0.7356749176979065","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":"Q4553284$0A1F505D-73A4-4A33-8433-FEE1E4A9A7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6189013faeb06c0f5139f1437840a97775e08567","datavalue":{"value":{"entity-type":"item","numeric-id":1794270,"id":"Q1794270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424ac1c321b8d6ee08e0d6680fc652ea242098e2","datavalue":{"value":{"amount":"+0.7345358729362488","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":"Q4553284$E2726EC2-94C0-4377-B119-8BC4055A35C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f22e915b554cd420403141551fc8abfdc23d2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1398461,"id":"Q1398461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d256d35b6b4ad466f49aaf6d21f87ea4e5c6ad4d","datavalue":{"value":{"amount":"+0.7322938442230225","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":"Q4553284$2E27E328-D4F7-4E7B-98A0-A171E10A68E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17049bebf5ee2652a62dfe86caaaeb75fa45c336","datavalue":{"value":{"entity-type":"item","numeric-id":5890054,"id":"Q5890054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8075d2cdd6c1190505e805bf36a98fa247f0efe","datavalue":{"value":{"amount":"+0.7253254055976868","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":"Q4553284$72C51864-D2E1-4B65-B735-293121279874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Codensity lifting of monads and its dual","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Codensity_lifting_of_monads_and_its_dual"}}}}}