{"entities":{"Q1178704":{"pageid":1189453,"ns":120,"title":"Item:Q1178704","lastrevid":66511902,"modified":"2026-04-12T10:34:37Z","type":"item","id":"Q1178704","labels":{"en":{"language":"en","value":"Continuations in possible-world semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22290"}},"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":"Q1178704$D0A41A95-1BEB-4CB8-89E9-425722DC10EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e5ce95582f18a93f7cda137a3f83cb0ca912b2a","datavalue":{"value":{"text":"Continuations in possible-world semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178704$643262DB-3DF8-4D3D-91D3-1019D0A93FC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1746b58a0e92dee311891dc0dbc79b13e966204","datavalue":{"value":"0737.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178704$2B35A3F6-6A44-4D25-97D5-84C0882646D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bd4e414134171e0228e798b355a1f30d33f8795","datavalue":{"value":"10.1016/0304-3975(91)90184-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178704$2E93D2B3-3642-4188-9FDA-F0DB09CD598B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"641efe32a7cf3e53d3a953cdcb29ae0785e3240a","datavalue":{"value":{"entity-type":"item","numeric-id":1178703,"id":"Q1178703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$458841E5-9996-4585-8BA8-B70FC394CA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"482a4cb474e5ce23a1233ad885cb07253d993741","datavalue":{"value":{"entity-type":"item","numeric-id":418808,"id":"Q418808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$E938C255-816E-40D3-B00F-14BB234CBC17","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":"Q1178704$08B39BC7-266C-4329-A681-3550CFA2FFBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1178704$C4C60887-8312-40F8-B04E-3AA7FD776FE7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9eb968930e9a98a59ab89c050e2778b236125a69","datavalue":{"value":"The paper treats the semantics of jumps and block expressions in ALGOL- like languages. The author uses the generalization of conventional semantic domains to functor from the category of ``possible worlds'' to a category of semantic domains. The use of continuations in this generalized framework is discussed. A formal system for reasoning about programs with jumps is introduced and, finally, an open problem is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178704$509AA476-AFB4-4EF8-93D2-D10CFB595477","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178704$30AF2AC4-F277-4DE0-BE82-DA8E452E990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178704$1AB1AA0F-8A9B-417A-8B6E-5CAC7B33FEF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"873bc451d0f3d5f3b24ae2b0bbd5fd677371d2a0","datavalue":{"value":"22290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178704$6111BEAA-B9C0-4DB6-B7C7-C19DC89A485B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2fc9f56209eee2454e3cbbeeba04e4d47883a9","datavalue":{"value":"procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178704$C1BA93FC-AE27-4620-976E-7D313D3DB5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178704$9CA879F8-DD70-4453-9214-08C6C93AE2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f1f60cf51a9bbaa8c7535bb288b74f59430855","datavalue":{"value":"possible world semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178704$54A517CF-3D8C-43DF-97F0-06AB7A29C45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abe83532237ea8c9b80b40e288f5960a78cd9bd5","datavalue":{"value":"jumps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178704$CCF2A4A3-2F2D-4DA5-A8F7-1FBF813532AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40cb5daa9c5d4b160edf3ab06f2d051b80f509de","datavalue":{"value":"block expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178704$5E0FBAAE-A6BC-4F14-A943-EAD994D4A78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc9343b62b0dc40dc847f97d23a21c0357a2949","datavalue":{"value":"ALGOL-like languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178704$BB79EECA-0858-409C-B8C8-6F353FB9F3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178704$B191DC45-57B4-4087-A16F-A2A3BE62322D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9c03730668db67f2f0525cd022cd794bdf73f905","datavalue":{"value":{"entity-type":"item","numeric-id":916649,"id":"Q916649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$D699F542-BA88-4CA3-8E1F-048563E859B1","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":"Q1178704$2373AAA0-FE88-476F-88F2-D32DED8CD279","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40e85260c545dade53abd9d560fffc44cd7350f9","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90184-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1178704$7EA0F158-0ECF-4905-AB53-97816A24A1DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07dd08b2a5ae295a38f20a485607439928cf49f0","datavalue":{"value":"W1978312140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178704$936CD23F-0A32-4ACC-B15E-6EDA96B355E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5822c0fcd7d2b78414880df5a81e0c847851d551","datavalue":{"value":{"entity-type":"item","numeric-id":1225928,"id":"Q1225928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$51C03C5E-3F3D-46F4-AF9E-3AFF06A472BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb6ff5311a74b34184b2722f45306b1bbefaa27","datavalue":{"value":{"entity-type":"item","numeric-id":2550288,"id":"Q2550288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$517DA682-6231-4BC6-8ADB-ED550CC87F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f87a41a66ee230b488d7068e4513e9bad9d5a8c","datavalue":{"value":{"entity-type":"item","numeric-id":3853101,"id":"Q3853101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$26A3FF79-232C-46A4-968C-ED3DD4434579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24307f65174cf2f05425cc472eb7eade74125dcc","datavalue":{"value":{"entity-type":"item","numeric-id":786811,"id":"Q786811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$DE99B05C-8DD9-4690-B5A1-9E9BF94E6067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$033909A2-68D1-4496-81E9-31C66794D80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$A3352365-5A15-4ABB-B144-F65557893A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$FCD7BB2A-860D-48F8-B6C8-DEA068FA7F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624eba9896f5c06653ab73cf1f38cd4489df5d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1583487,"id":"Q1583487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$2562BE55-7A4A-4F55-8C64-237CAF90963C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1db2d402ff5c6f889baeb52606e979869a2ee1d","datavalue":{"value":{"entity-type":"item","numeric-id":3719794,"id":"Q3719794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$97BF63C2-4FE7-4170-93A8-D80387D87285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$D9EC1DD3-4E94-42B9-AEB9-D1A49C99662D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9deecb43d633f0a679ddf4b2f213ec299c95d3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5585029,"id":"Q5585029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$5AD9FFD3-46C8-4635-91A1-C5291C237D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$B87FA873-CEC9-4650-94B4-04102F56BE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227e9d849ae461bb201579c713beb808833f0221","datavalue":{"value":{"entity-type":"item","numeric-id":3673065,"id":"Q3673065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$DB4BEEA3-4DC9-4DD7-A8BF-693074BB7A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f32f04e00e542f620002f68c4a452e6a1aeb65","datavalue":{"value":{"entity-type":"item","numeric-id":3914393,"id":"Q3914393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$DEED608B-5234-42F9-810D-06C5791C303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea72e7ba29eb0d7382028cc80e183d06ad707ecf","datavalue":{"value":{"entity-type":"item","numeric-id":4725711,"id":"Q4725711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$4FFC6CE0-8E62-4C0E-9A18-57F8868CA817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b459c3ae29ae68093eaf6d16ea43862ec5501b3","datavalue":{"value":{"entity-type":"item","numeric-id":913527,"id":"Q913527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$F992AD12-399F-4091-9828-CB5F8D86B150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba4cd235346de0bc02a623953674e572b92e157","datavalue":{"value":{"entity-type":"item","numeric-id":5916300,"id":"Q5916300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178704$65AC617C-2A2D-4271-A366-465A6B932EDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755ff7ab0923e95e7a2c85587c630b79470f49bb","datavalue":{"value":{"entity-type":"item","numeric-id":1566885,"id":"Q1566885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00e51ce9fde14caf8d1d09c6212f4bb25a5a2f8","datavalue":{"value":{"amount":"+0.7739306092262268","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":"Q1178704$A2549B4B-E7E0-42C7-A5ED-F51C1BF20DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9f8ae11479c02c7eee1887bfb29132972b2b0b","datavalue":{"value":{"entity-type":"item","numeric-id":3769941,"id":"Q3769941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc4972300283d0694587aeaafa4b9ee7c281a20","datavalue":{"value":{"amount":"+0.768214762210846","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":"Q1178704$CD05BE26-9CB3-470B-85D8-7BDDBF8B343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbc90b69759bb70f8da668f9339c7959fdd3ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2971178,"id":"Q2971178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c9d23539035778d800f8eaac46c6a7e8a81c0a","datavalue":{"value":{"amount":"+0.7326644659042358","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":"Q1178704$D839723E-BB3E-4044-84DA-0909885A9365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23a42e2f0def881b74499fcea39a7921f3278cf","datavalue":{"value":{"entity-type":"item","numeric-id":5096263,"id":"Q5096263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2817e6acbae885eb6b692bd6f9a742796af4a1","datavalue":{"value":{"amount":"+0.7068698406219482","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":"Q1178704$32BB83E1-70CA-43F8-B6F4-7379933974AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d733b4357b857d59fbc6b6617518173a81ddeb37","datavalue":{"value":{"entity-type":"item","numeric-id":3325069,"id":"Q3325069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce08dba8cfd37ed9bbdeb0bd541e9d72cd49d30","datavalue":{"value":{"amount":"+0.7027437686920166","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":"Q1178704$7A725CFB-E19C-409F-A3CD-99E180AED333","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuations in possible-world semantics","badges":[]}}}}}