{"entities":{"Q6091305":{"pageid":13225612,"ns":120,"title":"Item:Q6091305","lastrevid":93906692,"modified":"2026-06-05T05:24:46Z","type":"item","id":"Q6091305","labels":{"en":{"language":"en","value":"Extended call-by-push-value: reasoning about effectful programs and evaluation order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770428"}},"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":"Q6091305$6818CC63-A5DB-496E-AEC8-E1D3DCC1CFBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe2008193f634d819c78020780e1304e38b3fcd1","datavalue":{"value":{"text":"Extended call-by-push-value: reasoning about effectful programs and evaluation order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091305$F21AE307-2FA8-4021-B90B-59E3F3CAE5A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"889dda03140334164c718fb7d07e84042862a218","datavalue":{"value":"1524.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091305$AADF881F-3A75-4BA9-9A1C-13F6893E1C57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17c173802332bbe65a02643bf4ccc7e497c2dfbb","datavalue":{"value":"10.1007/978-3-030-17184-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091305$A92A8514-50D3-4396-939E-51A6252FB5CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1319ac13ebf7c072597f26b2696124d56a6b22","datavalue":{"value":{"entity-type":"item","numeric-id":2134831,"id":"Q2134831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091305$D8ECDB43-5997-4647-9EF2-B04E434613C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9eeea77fa294e9bccf24578b7f90fc51f99d2d","datavalue":{"value":{"entity-type":"item","numeric-id":796311,"id":"Q796311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091305$22789491-0BB8-4924-806E-CCF5BD9548BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091305$9AF8C352-362A-4A31-A339-77E10A47AAA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091305$125A7963-D76D-4014-BF98-02708B1C1B26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b324efb98b612408dd3fae2fec5b4ba3c4179fb","datavalue":{"value":"https://www.repository.cam.ac.uk/handle/1810/289870","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091305$0DAA5E13-B75A-41DB-AA30-A73C0FB32A43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091305$B5B5795A-84C1-42F3-B45D-2865176CF366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091305$42A2AD10-4FFB-43B6-92C8-0A65AD93E56C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41f988c123e1ee86ddbc7f01f1f771daf32fdf7e","datavalue":{"value":"7770428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091305$97FDA964-BCCE-460E-90F0-8CD33346F11B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427101fbb686560ed6bee538bf83338f2e8fe4ab","datavalue":{"value":"evaluation order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091305$0D3384F2-4F7B-464F-8C88-84E7F0151C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091305$B72C4571-4D67-4E6F-BEA8-6DC42EEB87B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fb84930e1ac9108ddd697c730f78d686fc511e","datavalue":{"value":"call-by-push-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091305$2B934A9F-B740-4D5B-936B-68C847BBB411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091305$305F236A-A108-46A8-AACD-A905B93DF72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303d5043afc10023e4ff739c2410e9f42444b923","datavalue":{"value":"effect systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091305$4F606DCB-43A7-4F3C-BCBD-CA353FD08EDA","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":"Q6091305$AD43452C-8699-41BD-B55F-EA1D7F00A1D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"707af474a82aceaf34dc34a302be8ae644f5ad51","datavalue":{"value":"W2927060693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091305$D6D66660-0F68-4631-930A-2514D30676E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995530fbce58947803e63e9c81a911c424ab6ecc","datavalue":{"value":{"entity-type":"item","numeric-id":1791198,"id":"Q1791198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b9e0a53c5cff17d0181bfebdf8bd02d6252c7c","datavalue":{"value":{"amount":"+0.8875915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$FDABB16A-291E-421D-AA00-65C48CA69B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c13034916854b58b7bf44dfbcff8d0f3f380639","datavalue":{"value":{"entity-type":"item","numeric-id":3521994,"id":"Q3521994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a12986d224adc3b80d95e30b18f7044baa3ebdb","datavalue":{"value":{"amount":"+0.8707278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$97D6F0A1-6A4A-4DCE-8174-660A8A74368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df86000dc11c8983e74e53323da7dc7b011efaf","datavalue":{"value":{"entity-type":"item","numeric-id":4217956,"id":"Q4217956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9014ed414feb292ac0a5194b27823053b2abe4a","datavalue":{"value":{"amount":"+0.865631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$60DBDAF9-8964-43CA-BA94-9A0AB89D92B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8aabcbe7b9dc7154ac80eeee7d5ea209e11da3","datavalue":{"value":{"entity-type":"item","numeric-id":6116261,"id":"Q6116261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103c1103011ad25122de116f6a7fd01684eea91a","datavalue":{"value":{"amount":"+0.86124796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$4A14F86B-713F-49AF-BB3F-0D8278E86883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a460a926bb69789abf32beba28d2359c22722666","datavalue":{"value":{"entity-type":"item","numeric-id":5874223,"id":"Q5874223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553992f0ac6d0924cf7c201237722d1e0766d504","datavalue":{"value":{"amount":"+0.8593063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$4390541C-A373-4EF8-A75A-3A14C7EAFA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12692beb3302c9ef86135b2604f9a32fe0b17c1","datavalue":{"value":{"entity-type":"item","numeric-id":5410667,"id":"Q5410667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e6e3633c77485fa5a7a21df4586d513a2f0102","datavalue":{"value":{"amount":"+0.85660577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$773239B0-A317-4EC8-88AF-EEF490E15C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a9cf79e1ed5803a8f687285e06121320254bb","datavalue":{"value":{"entity-type":"item","numeric-id":4719353,"id":"Q4719353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2340dfb48c52300afd2d423d4d2c0947befa3af","datavalue":{"value":{"amount":"+0.85652494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$B2D362BB-1812-49B8-A507-DA87E1D04873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6171d909b8a0cac4f0afa84a97be7285b83a09a7","datavalue":{"value":{"entity-type":"item","numeric-id":2506495,"id":"Q2506495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05aa6b46d9b72e9b7c9ef4367b7957b660021a4f","datavalue":{"value":{"amount":"+0.8524388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$6A8B35EE-0107-4990-87F3-B1F625710863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31fc4025beee5e031858610505a84ced82fb1c44","datavalue":{"value":{"entity-type":"item","numeric-id":6171751,"id":"Q6171751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73db7a7659c56c3ac92ec0c13fa8121f8c9de8c","datavalue":{"value":{"amount":"+0.8516665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$D8F7F222-84F9-4846-BCB9-325735440C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd37861f2453a60881fb457b3dfd01f77dc37a1","datavalue":{"value":{"entity-type":"item","numeric-id":4038678,"id":"Q4038678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f82958dcf9ddda69599b6f6ffc2acc451d5d4da","datavalue":{"value":{"amount":"+0.8505206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6091305$00071CDD-FB40-4B39-87E1-7CC95F81446C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extended call-by-push-value: reasoning about effectful programs and evaluation order","badges":[]}}}}}