{"entities":{"Q6856013":{"pageid":20632717,"ns":120,"title":"Item:Q6856013","lastrevid":84259985,"modified":"2026-05-14T07:59:21Z","type":"item","id":"Q6856013","labels":{"en":{"language":"en","value":"What monads can and cannot do with a bit of extra time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8161617"}},"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":"Q6856013$913FCB0E-F8A2-4406-9D00-F3300380DC9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6548acaca00a8fc0fd9b24de20ec2af2edad2b0d","datavalue":{"value":{"text":"What monads can and cannot do with a bit of extra time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6856013$8B9D3BA2-A4C7-4BC9-BED8-364F71ECB2DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8a78b21ad077146fbef668f6ec91c263e4d9f23","datavalue":{"value":"10.4230/LIPICS.CSL.2024.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856013$552A65A9-B749-46AF-AD37-D4AEAD570C74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$0EFC00F5-65BB-4E74-B660-A5161208107D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f3cb9d7d96536a2c7b2545e4a5b16939d339f37","datavalue":{"value":{"entity-type":"item","numeric-id":6856012,"id":"Q6856012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$A114C613-0DC8-4FE4-A631-479527CB4DFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0acc3e310b002e7d9eb6bd1bd0a699ed13f8904","datavalue":{"value":{"time":"+2026-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6856013$59E34E94-411A-46E6-8D42-406B49F0C294","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856013$A755B35A-673A-4969-BC5E-525136CCA778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856013$B6EAB6E1-D434-4E9A-BC3F-5FBF1AA90535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfcb36229f9134378997a6a085aaec92ae9922e1","datavalue":{"value":"8161617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856013$B976CDF2-70B0-4A51-8987-2D0650C5BB26","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$BE5DD70C-57FF-473F-B6AA-1C7C2535DA42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9913f2644f721dd58582beb95318b05b03133001","datavalue":{"value":"delay monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856013$18BEC979-F1F7-4811-81F2-098926EBAC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe6767b5ed93293183b317747f446c3caaa240d","datavalue":{"value":"monad compositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856013$804FBEF1-03E9-4CAD-90E7-60A4E089DC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b681e5e76ee6e412b156689781ac06af17087f42","datavalue":{"value":"distributive laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856013$CE41A429-B47F-4350-88DC-464142EDE6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856013$5AEA8D11-D197-4FA5-B098-E0307EB7EDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856013$C78F0F9F-3D31-4645-A062-1B9000C2967E","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":"Q6856013$C265A6A8-88F4-485E-B133-F9CE567AA2DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6fd92b9833462fe42760b8d6fc3f0d085dea203","datavalue":{"value":{"entity-type":"item","numeric-id":2988390,"id":"Q2988390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$20D53828-A460-45E9-88AA-DE95E6603668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c7616163d4c3c1da7c14cb6770dc41c8c4dd14","datavalue":{"value":{"entity-type":"item","numeric-id":5244800,"id":"Q5244800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$95C786F9-B6AB-4DE6-B6E5-C8FBC9E4137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064320c898684f731a75d9b590e5a89bb2e057ec","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$23FCBA88-0BFA-4F14-A861-871FE8BB1E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eea64488860ca26e1f40767b36a53c44a8969c2","datavalue":{"value":{"entity-type":"item","numeric-id":6649477,"id":"Q6649477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$2C8E577F-0797-4730-B47E-4ECA6F360AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$900A23C4-DB6E-4CFE-80E2-1531852FE9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456459239ab3bc5fb70e6036ded27e15251da27","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$7823B897-AF67-441B-9898-85B51D50C22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$201E6C95-F596-4FEC-AEFD-2FFB032BA4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680cb7bdaa877f329b8283a06cadcaa6b75be5ac","datavalue":{"value":{"entity-type":"item","numeric-id":4559601,"id":"Q4559601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$16A59DCF-77D6-469F-A9AE-DD48F500D6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e71729ea20b25ac29e78246550bb4c8ab42ed4d","datavalue":{"value":{"entity-type":"item","numeric-id":1652988,"id":"Q1652988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$635E8E55-797A-45DE-B2CA-458FBCFAD6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$9A54B31F-20D9-4BF2-9846-CB07C3874104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fb3d968c7ba633284d295852a66dedabdec399","datavalue":{"value":{"entity-type":"item","numeric-id":1623129,"id":"Q1623129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$77C3A69F-3E3A-4E7E-9140-33747B14C123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2d5cf70957811b3c1a72086f7c66b724e20b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3559969,"id":"Q3559969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$06F5C1D5-2CEB-4EB9-9DB2-1D4DE2296A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2581061d5932bbbc735146711b351bc678a3fa4","datavalue":{"value":{"entity-type":"item","numeric-id":3249805,"id":"Q3249805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$7BD28568-AFD0-426D-9FA3-2888516DABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43931b7a31794794da0d0ce7bb6746d1f03462c","datavalue":{"value":{"entity-type":"item","numeric-id":5145658,"id":"Q5145658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$BF36ED60-E361-48C1-951F-E971FB30A2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a3b8f91f2e8b987c8ed20228a9aa959e618994","datavalue":{"value":{"entity-type":"item","numeric-id":4995160,"id":"Q4995160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$11F9D50B-6CC3-4937-8C9C-20C159B0E84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$ABF4E8E2-FF35-41CD-BAA8-DA18A09D0583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359ce7a09b828315d6714453c2f81ad5e1a17102","datavalue":{"value":{"entity-type":"item","numeric-id":860883,"id":"Q860883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$E7CB7FF8-467D-4665-83E7-2E5DC040E11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb4c131130624e587de1240ac15c83225c44787","datavalue":{"value":{"entity-type":"item","numeric-id":2134821,"id":"Q2134821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$09B1990C-5169-4B26-8911-3F9AB637D0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5bc0e3eba9c0ba237df4d31d84fac3bde0d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2539417,"id":"Q2539417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$ACCE4687-94C1-466E-923B-B1DAB1E70218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$C628E4C5-15A3-4EB6-9E3D-210BFB79A2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41904df0fa1ea8e219dc3231404b7a48069a5c57","datavalue":{"value":{"entity-type":"item","numeric-id":5599205,"id":"Q5599205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$2C4E53DD-BAA8-4FC7-915B-8FAE219F20C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$03BD26A4-261B-4D0A-9EBA-055C3CF78A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f5bd7e02fbdebf5becb223f7027d33454969d2","datavalue":{"value":{"entity-type":"item","numeric-id":3432078,"id":"Q3432078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$ABB014A0-DC4A-4A76-B7CE-6ED6774258EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b95bc54c2ca668726487abee7078bed1e46a458","datavalue":{"value":{"entity-type":"item","numeric-id":3520147,"id":"Q3520147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$92543B0A-F716-4FAD-AD8D-AF243099F2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9923e58a966b328788de3828943f7787ad773ece","datavalue":{"value":{"entity-type":"item","numeric-id":5141620,"id":"Q5141620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$564BD63E-12B7-49F7-9637-E2901FA1EE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$4B129307-DBA1-4594-911D-805EE3B331D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943a523b7cbb0aa1180e62f02172f23674d20d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746866,"id":"Q3746866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$8F8F3FC6-F67D-4D9C-8CCE-BC16BB4D0903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37625f2f471554526f738a5da1e6d6153be7ab51","datavalue":{"value":{"entity-type":"item","numeric-id":4623133,"id":"Q4623133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$764D54E8-5AF1-403E-88D4-619C9F7CFD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d05aac20d7c7767c0a7fac3753c86e0d4eeee0","datavalue":{"value":{"entity-type":"item","numeric-id":6653758,"id":"Q6653758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$8B38A9D7-2458-4F8C-ABC6-31C924241C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402e108bc6f35c00c8603158bafbdeead025397a","datavalue":{"value":{"entity-type":"item","numeric-id":5089251,"id":"Q5089251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$63287A03-0365-4FE6-9821-247C548133A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df4665af2f8c56e5500784941d01b7088d3b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5971407,"id":"Q5971407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$B518429A-98D5-474F-A1D8-BDB8A280DD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$AA6B7B7E-06A9-40AF-A674-C986842A8E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$E530F5E8-A1C8-4761-94B0-C112CEB1FFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$0DAE570F-DAD7-4171-B8E3-18A23B06D0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c155911c4c0212a650e383daa08d8d048afd1e7f","datavalue":{"value":{"entity-type":"item","numeric-id":6653761,"id":"Q6653761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$32E53C17-454C-4836-9C58-589D50706C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982a2d0dedc4910873cc2c80f19a35f8fd3d83eb","datavalue":{"value":{"entity-type":"item","numeric-id":6654503,"id":"Q6654503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856013$AF047064-B2E3-4E8A-86F6-55DC2629AE8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What monads can and cannot do with a bit of extra time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/What_monads_can_and_cannot_do_with_a_bit_of_extra_time"}}}}}