{"entities":{"Q2819670":{"pageid":2830408,"ns":120,"title":"Item:Q2819670","lastrevid":83586380,"modified":"2026-05-07T09:08:58Z","type":"item","id":"Q2819670","labels":{"en":{"language":"en","value":"Compositional semantics for composable continuations: from abortive to delimited control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631184"}},"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":"Q2819670$12D2457D-0288-4DA0-99FF-487F7009E2D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ed20d5ae9f056b07bdeb6d2080e2cbfeff0264e","datavalue":{"value":"1345.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819670$92EE1BE5-B5F7-4140-8281-30BC5EAD9CC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8887dfb44e535258e899d86f898e0099e476c9b","datavalue":{"value":"10.1145/2628136.2628147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819670$758F96FE-B9DF-4760-83BD-E28387B4A7E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"397b909de6be11d2502cc1d0ac55755d5d9ac3f8","datavalue":{"value":{"entity-type":"item","numeric-id":2291826,"id":"Q2291826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819670$1D68A07D-B5EF-4FA3-AE83-E498A66F94E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819670$2D698CE1-456C-4703-86AA-48AA58FF85C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"634f1ea1676ae7835264bad5a15e4c75868049fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819658,"id":"Q2819658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819670$587179A2-AB74-48A1-8211-3BBFAA89AE4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819670$431280E1-9899-4D78-8AA4-7F548B88CC0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819670$D9E4FC89-AE53-41FC-B50D-9AFCD4F02169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819670$99727FC3-5006-4D95-BD1B-A418EE041858","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e7330d5dc740b3dfe407e56e403cb4e23bd695f","datavalue":{"value":"6631184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819670$0E734FA7-56DE-4360-92CB-B8ADE0001AEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab87aa835f8252208f84aeeed9d52ac88067f31d","datavalue":{"value":"continuation-passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819670$8B376C3C-BFB5-429E-82CA-05B44B64B0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb983378a3eb7aeef5a11172d082018554f7b86","datavalue":{"value":"delimited control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819670$6290198A-6E73-4CA1-B111-F95D577D88E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819670$F59368BF-CC5B-4CB8-A91E-5C1B90EBD6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6940a0c4ab1b7150c8720319ad217244a30fe5ef","datavalue":{"value":"evaluation strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819670$093C05AB-40E2-44E6-BE2E-A1F9F9F1CDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819670$959B0BD4-53FF-4636-A129-155FE77DB14F","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":"Q2819670$02FB2B1B-F2D3-4755-9AB5-0D0FE97FD1AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74bdabaeda4ee3c266719f31cfb75b4a6df78992","datavalue":{"value":"https://doi.org/10.1145/2628136.2628147","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819670$78A833EB-41A3-4DE6-9F16-F9743A69B1AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"818422bc97748bcc214f27b246609b8ff851ec99","datavalue":{"value":"W1983018816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819670$31E846BC-21E7-47C3-9863-A8FCC85A2786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f85d732a668d1d688e2c90f9b095c1994e758df","datavalue":{"value":{"text":"Compositional semantics for composable continuations: from abortive to delimited control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819670$C1140921-C082-49F8-AAE8-C3BB7CD3A372","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34581548f2c4ddf85c7788a340ed05be9c35e64","datavalue":{"value":{"entity-type":"item","numeric-id":3189857,"id":"Q3189857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35ec4e8182f3e8ca9e6157739917d7edcc7cba1","datavalue":{"value":{"amount":"+0.8234732747077942","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":"Q2819670$6FE7AEDB-0AD8-460A-A183-B6FAEAB223C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3141d5ca6cbfe7c14e4be78aa2ad3ead5ab86104","datavalue":{"value":{"entity-type":"item","numeric-id":2875223,"id":"Q2875223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47a163ec65c171daea4fea60a84cf63e992d192","datavalue":{"value":{"amount":"+0.8165181875228882","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":"Q2819670$FCB1BF77-804C-4FE3-B7AF-425BBE092104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722a85784f6eb74d947848e4dd6484eb95f053d6","datavalue":{"value":{"entity-type":"item","numeric-id":968364,"id":"Q968364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712e62fb5c1221a339382fb04ccdb6a94685102f","datavalue":{"value":{"amount":"+0.804560124874115","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":"Q2819670$CBFBD11A-610D-4CA0-863E-13DBE98FFA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d550264b6e0b9b9e34fc68c3834fa65e248c7ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d6bcb63f14b4508189c172283cacd6d91ccc88","datavalue":{"value":{"amount":"+0.7808282971382141","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":"Q2819670$0260E543-B2D6-4176-870E-6F3EB6C4E2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6fecb7fcc0461f4fb7553ce0cecab3b1f44361","datavalue":{"value":{"entity-type":"item","numeric-id":2892730,"id":"Q2892730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e3a2734623f0f14567c8bd096a8f148f4e394c","datavalue":{"value":{"amount":"+0.7757658958435059","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":"Q2819670$1F2D57A7-6F1C-4A2D-A5D0-5F75D13775C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional semantics for composable continuations: from abortive to delimited control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_semantics_for_composable_continuations:_from_abortive_to_delimited_control"}}}}}