{"entities":{"Q792754":{"pageid":794602,"ns":120,"title":"Item:Q792754","lastrevid":64375803,"modified":"2026-04-11T19:26:42Z","type":"item","id":"Q792754","labels":{"en":{"language":"en","value":"A denotational semantics for shared-memory parallelism and nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854403"}},"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":"Q792754$7930A50F-5F92-4007-9977-13F07E25ADCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"addeec3fe73655c9b27aa42fbedaa96469b58b7f","datavalue":{"value":{"text":"A denotational semantics for shared-memory parallelism and nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792754$FCE21567-B347-484A-A6FE-D2D4A842072A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3ff369be0b5fdef8f1a49a1894cfd7471c267db","datavalue":{"value":"0537.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792754$00F2B0E5-EDA7-41E4-B7B8-DD87617D6CFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0e384b1918d815b52620863fd9b9487a9631971","datavalue":{"value":"10.1007/BF00289713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792754$FA3677F9-25D0-4FC1-A3A8-B57FAD200171","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d05bfd57859d2bf789cd2fdd458bc93dd25456","datavalue":{"value":{"entity-type":"item","numeric-id":234675,"id":"Q234675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$E0F5DF19-0DD7-4F57-B369-2AB9683B6782","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$E46B577B-8048-4084-B18A-93231E528B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792754$DA2352FE-8BA6-4A8E-958A-F5F846DB6717","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bda9430a1de33fb9fd4a5ec89d700c28acf6e494","datavalue":{"value":"It is first shown how to construct a continuation from a deterministic Vienna Definition Language control tree. This construction is then applied to nondeterministic control trees. The result is a denotational but not quite continuation semantics for arbitrary shared-memory nondeterminism and parallelism. The implications of this result are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792754$C3124DDA-8F31-4681-8ED1-4212B262E938","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792754$CB5D9536-D863-4830-B909-E844B7B35826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792754$94EC34D7-D3A2-47FD-943D-D96B4107A9B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee25be7619ccfe96bc1f8487252422a379d3422e","datavalue":{"value":"3854403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792754$80D61355-5C0A-49FF-B87F-47F35B925C39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580ec722d51ad726981f82fd2f94cdf17b5f5763","datavalue":{"value":"Vienna Definition Language control tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q792754$D7844F69-D7B7-42BB-B392-E4869705983F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ad5134f94df7ef766d8c095bb702ae99f439cda","datavalue":{"value":"nondeterministic control trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q792754$2CCA1DC3-8998-40BB-B2C2-F8EAB1CF5A47","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49eaddd693f0d125ebcbba47522e5639803410e0","datavalue":{"value":{"entity-type":"item","numeric-id":13966,"id":"Q13966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$D8397DB9-3274-4699-A76D-004FF2491247","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":"Q792754$FE35B1F1-146A-449E-AAC6-D1EE03C5B436","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$BBD36A35-A411-4AEE-8EBC-CCB6A4A5EF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a2974a221da09b9f40d75d462e88d40fd4b32","datavalue":{"value":{"entity-type":"item","numeric-id":1139946,"id":"Q1139946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$EA60BD5B-D397-48C9-9B5F-02965A7B246B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52269c610adadcff26528deece015a685bb99129","datavalue":{"value":{"entity-type":"item","numeric-id":796298,"id":"Q796298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$5E303997-50B9-4C51-AF91-A3055A6457CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$171C2268-A9A2-4355-ADC6-280EE3681297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5ddd0fdc7e50df53abfb32ae475ac4495b6549","datavalue":{"value":{"entity-type":"item","numeric-id":5626276,"id":"Q5626276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$C18E13E0-5E17-4774-8B71-F728254B2BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f99474e815e9a58af5ecf38dae1b4c7e0a14b90","datavalue":{"value":{"entity-type":"item","numeric-id":5621937,"id":"Q5621937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$DA77E09B-985C-475C-91C3-C7BB7C7AEE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05717aad3207eaa1d40ae398a6144f525b8ebd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5639702,"id":"Q5639702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$25F74D2F-47B5-4406-B0A4-49F234CDADEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c61fb781bdb81234ed0324e6a989c52c05ed2e6","datavalue":{"value":{"entity-type":"item","numeric-id":5674425,"id":"Q5674425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$32C5BD3D-04F3-4588-A3D8-BAEE762C0F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$0D34A89F-CD94-4E65-91D5-F3585F0BF4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$3E5100D8-59CB-4AA2-A762-21AC3263A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153f41d858a0ab8e0c4e7543389730fed11ffc24","datavalue":{"value":{"entity-type":"item","numeric-id":4187283,"id":"Q4187283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$E9DE228A-901E-46E4-993D-E35B406768FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$78E91A83-1D19-4865-8ACF-E85B123A951C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$EC18BC0C-F998-49F4-B951-9C9BA7F5F9FC","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":"Q792754$FA5A62ED-548B-48F6-A3A6-E46E0A20EC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e3ecd961503ea6dc7d98032d951740c8a4a4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5653569,"id":"Q5653569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792754$6D9D4FE9-F70E-40D8-8DD3-BF46700D4E10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513fb70b2c7da06b197d77aa2c4a7c4452060d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3347276,"id":"Q3347276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e598b3c6aaca25506f4771807ea6eff775d5b31f","datavalue":{"value":{"amount":"+0.8250418305397034","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":"Q792754$78333263-828F-4A04-BFDC-29215CA7152B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7aa24fd28f3c1d1c0599b8d5759e7de0acc261d","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dda343ffb938eab3f0880f2b0ac363ffb47f6de","datavalue":{"value":{"amount":"+0.794783353805542","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":"Q792754$8727C94F-4E93-42FE-8992-CC2A1523B268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2448a549a5931e977dda9299e9b8413c75bbfe82","datavalue":{"value":{"entity-type":"item","numeric-id":4599817,"id":"Q4599817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db592f7ea674987adacf548af962a6d52164a06","datavalue":{"value":{"amount":"+0.7567033767700195","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":"Q792754$EA3445C7-027D-49FA-AD85-6D0AA0809C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f44026e46209e46398735ff69d5e3d6485bc8f","datavalue":{"value":{"entity-type":"item","numeric-id":3541010,"id":"Q3541010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153400772e4ee9da5ee8f4c39d04de48812b2662","datavalue":{"value":{"amount":"+0.7444462180137634","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":"Q792754$C45B9588-07CD-4181-B2AB-BD24E5E97CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be9ffbc2aeed6a969e46cd1937d5e3eccc7848b","datavalue":{"value":{"entity-type":"item","numeric-id":5902366,"id":"Q5902366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1511e18e0e275ce67210da3c82ed90fee7b4ac","datavalue":{"value":{"amount":"+0.7329282760620117","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":"Q792754$DE7FD9CD-C2EB-4C80-B673-37534910F001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A denotational semantics for shared-memory parallelism and nondeterminism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_denotational_semantics_for_shared-memory_parallelism_and_nondeterminism"}}}}}