{"entities":{"Q2566031":{"pageid":2576774,"ns":120,"title":"Item:Q2566031","lastrevid":72795048,"modified":"2026-04-14T07:53:14Z","type":"item","id":"Q2566031","labels":{"en":{"language":"en","value":"A functional correspondence between monadic evaluators and abstract machines for languages with computational effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207194"}},"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":"Q2566031$A74565E6-813D-4F6F-9A55-AB082791A53D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b912f4e777e87cc54284c5a95384858d1f44051","datavalue":{"value":{"text":"A functional correspondence between monadic evaluators and abstract machines for languages with computational effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566031$B679BC5D-7526-44B2-9A28-AA2DAF2C7BD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1099e51bb95fe57370fa88e7994e7f1ee91348d","datavalue":{"value":"1077.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566031$095C27A4-B2C9-4BB3-9B47-B450B5B9F3EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"814587f44882ec3a4c3f78367587ac03f30128d9","datavalue":{"value":{"entity-type":"item","numeric-id":2390255,"id":"Q2390255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$D3075504-8344-4F2A-A82E-F37AA10B6300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7ebf08f82ce515e0740dc978f18c660e5f4735","datavalue":{"value":{"entity-type":"item","numeric-id":232933,"id":"Q232933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$E8107FF6-77B2-43CC-B05F-68475A55A868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81a1364d41851f19faa185d9d68284ae8b9bd596","datavalue":{"value":{"entity-type":"item","numeric-id":418129,"id":"Q418129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$4120C2F7-B87A-410B-878D-DF34376DC814","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$84348407-CE99-49E1-9551-429E2E1CC451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566031$081FA4B2-D89B-44D0-85E2-F144BA00A0A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566031$8E722D11-BF89-4E57-A57A-2C5B5315440D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566031$2883C394-3CAD-4A05-A08A-4F6EE2702B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566031$005E615C-B931-495E-BC49-B33336EFC69B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2b26a6c1af044a90f1c6eae221f89d2bf761aa1","datavalue":{"value":"2207194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566031$56BDE358-4D14-469B-B5B2-803455F44F55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566031$FCAB79FD-ABDB-4C71-848D-3E126B39C835","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$01825A60-AE8F-4227-A15B-C9806C39E2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d03c68017d5000f64215f5108b7c51e60c33ff","datavalue":{"value":{"entity-type":"item","numeric-id":32249,"id":"Q32249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$C7770CBF-41AF-439E-A0BA-2B244450A30D","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":"Q2566031$ED0CA0ED-6CCD-4973-B87C-6571F53F6A37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e50ee24c9c2ce4b6b57e080b2fea09fdfbbd7576","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.06.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566031$47884021-9770-421A-B0E7-80A8D2875153","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21299e4519dc0db945e684b4bce9ac17e77a72c4","datavalue":{"value":"W2113098044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566031$237A3236-F30B-414B-A563-B99D0A3E7AC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2dceb0945904c43f199d35b1b3cc849bc44877","datavalue":{"value":{"entity-type":"item","numeric-id":2390256,"id":"Q2390256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$96E08DEF-B513-4AB5-A7CA-42DEA74B5020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d6fff22d80d103a67815db01fea22a1e6d57bf","datavalue":{"value":{"entity-type":"item","numeric-id":2566031,"id":"Q2566031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$A7E87F7C-2E61-47A1-8378-EB064D5632AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23eb2407f5476ca1216e796189f27de1b8b868d0","datavalue":{"value":{"entity-type":"item","numeric-id":4813222,"id":"Q4813222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$3A9A47DA-2D73-41C5-A304-FEB5D8001BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ce3d273aa0b446a9703cf25c86a536f7d241ad","datavalue":{"value":{"entity-type":"item","numeric-id":5713938,"id":"Q5713938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$2ECBFE65-C85A-4A45-9031-A9401096B382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6a94f896d4c80747f7fc907c773a87640f46f2","datavalue":{"value":{"entity-type":"item","numeric-id":4417880,"id":"Q4417880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$DBE04643-310F-406C-930E-15ED250D7BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26f8704a0b000af4d343dc5939f771377b8c12a","datavalue":{"value":{"entity-type":"item","numeric-id":5423543,"id":"Q5423543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$8A4257A8-AEFB-4277-AF28-E5916BED1839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$A2BBC8CA-D458-4801-AFEE-9E04D5F06F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1438fd4250313f4c8142530b17cd167971aa95c","datavalue":{"value":{"entity-type":"item","numeric-id":3372478,"id":"Q3372478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$22C59A09-CC91-4115-983A-7609DD557B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff27f5946856220003755cf06c909459651e863","datavalue":{"value":{"entity-type":"item","numeric-id":4510397,"id":"Q4510397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$9F59329D-254F-4750-B959-7846F31E4607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1f656279da7b62fb310a2931362daf8282e1f7","datavalue":{"value":{"entity-type":"item","numeric-id":2736592,"id":"Q2736592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$D32FF13B-0189-4D4F-B144-E6488759D5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e036cb48b37a0cafe96d5a6bf3f3f6ac1308a9","datavalue":{"value":{"entity-type":"item","numeric-id":3685171,"id":"Q3685171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$60780FFB-FDC1-40C5-BD73-EF239CD8005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$EB019B5C-5A27-4496-B9CD-EA0957DE27B2","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":"Q2566031$2CB952C6-5DD4-4430-8439-49F32D4391AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$5400C816-48D5-4A8D-A9C9-475BDC4AA51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4565b509be0f4ba30f743a32b404db2248049204","datavalue":{"value":{"entity-type":"item","numeric-id":5687570,"id":"Q5687570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$7CDDA81B-947C-49C4-834A-BF59F9ABAE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$4660D41E-B1AD-4A1C-B1F2-5DB5CF0C4FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036e5c22d0346ebd8afe2f0065acf9457584fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1566861,"id":"Q1566861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566031$928705D4-75CB-4234-B9CA-658683609A91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cd9efc5839e682fd5bfb77e220316054342f500","datavalue":{"value":"10.1016/J.TCS.2005.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566031$3040FDED-9FE5-485F-A926-47AC33777A61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f37bcf29f0a46418011de049aed32f8ad50cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2390256,"id":"Q2390256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937324003aaf0b65ca993334d2c9ae46e77eb11b","datavalue":{"value":{"amount":"+0.7811324596405029","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":"Q2566031$30E53B83-1485-4171-BCFD-D5A39579B8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c458e70f6038dd41325747d4ffa82a543c9745","datavalue":{"value":{"entity-type":"item","numeric-id":4279254,"id":"Q4279254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f8839276be84da24228518dca719db9f5879b1","datavalue":{"value":{"amount":"+0.7632958292961121","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":"Q2566031$7574B6AF-E8F5-48AF-BB35-03167FC3B1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55c566f477bca872217f92f23dfdb4d4d023acd","datavalue":{"value":{"entity-type":"item","numeric-id":6102250,"id":"Q6102250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeba09be3cc83a5f6c3be838e1318f3c5f799c68","datavalue":{"value":{"amount":"+0.7595860362052917","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":"Q2566031$FDF9A508-B12F-4747-87C5-F0C7C00E43BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9deaaf301098f3fcc5ead85ece4c44700337a584","datavalue":{"value":{"entity-type":"item","numeric-id":5423543,"id":"Q5423543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8232b7f8c5358edcbc4dc345bb72025b02dcb1","datavalue":{"value":{"amount":"+0.7588083148002625","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":"Q2566031$4F010478-8D5C-4C15-AE8C-67B5A3639E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10054636e829ffa0c0d0fe4d8992ec2f1af818c4","datavalue":{"value":{"entity-type":"item","numeric-id":879356,"id":"Q879356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541c2c47135d201b66e314ea4c876da0238ecca8","datavalue":{"value":{"amount":"+0.7486330270767212","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":"Q2566031$3CA22D5E-5D6D-4130-BA62-62E7F83A4485","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A functional correspondence between monadic evaluators and abstract machines for languages with computational effects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_functional_correspondence_between_monadic_evaluators_and_abstract_machines_for_languages_with_computational_effects"}}}}}