{"entities":{"Q1077155":{"pageid":1087907,"ns":120,"title":"Item:Q1077155","lastrevid":70062183,"modified":"2026-04-13T12:10:43Z","type":"item","id":"Q1077155","labels":{"en":{"language":"en","value":"An axiomatic semantics for nested concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956424"}},"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":"Q1077155$F7AB743E-41AB-4341-9F5A-FC0211F86A3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c628cffb5bc3dc6dfbd2a5030dbee368b958879f","datavalue":{"value":{"text":"An axiomatic semantics for nested concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077155$172496D6-BDB6-4EF5-87FA-D3E35F627ECE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01b66569af641f93fca154a9a39afc037861818f","datavalue":{"value":"0594.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077155$8CAAFA14-B373-4A81-9605-0A6B7528630C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f6b64a1357c5ce0fdccfee663eedb3547441aaa","datavalue":{"value":"10.1007/BF01933742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077155$EDE7FB1C-0720-496A-88EF-03E41EB69592","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d7530957e02d0b54e937189317ab4d4b77928e8","datavalue":{"value":{"entity-type":"item","numeric-id":808280,"id":"Q808280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077155$F29DB0A4-06D8-415D-84CA-2434DF707371","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077155$9CE67EE6-3DD2-4865-B830-2F3DED8931BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1077155$C32DB642-D4D0-4BCA-8F0D-66740E6BA4D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077155$4C30F276-2F30-4E0A-A93C-000EDE381895","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9ffaeb7c042ae8d2f608150cb6c35f432a508f3","datavalue":{"value":"3956424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077155$56B02F52-376D-4BD9-8D36-45D97D013CD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f760fdfc64ba73d13b855cb278b9d1268f10b8c5","datavalue":{"value":"transformation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077155$F57FB0DF-9E74-4435-803A-5483D1EE3CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c42c361077a6d901257a22342b14739050e8a4","datavalue":{"value":"Hoare's language CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077155$33C10248-141B-44A3-8E60-ADA6E10A8825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af89d5c0dc435978c9b71fe2c0563507750b281e","datavalue":{"value":"concurrent CSP programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077155$11BABED7-5235-47EA-9B7D-20E98F9DF564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077155$353E2A6D-C54E-40DA-B189-61E5565DDFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de6fa9829c807582641f1d0d0b4f8b5264b77727","datavalue":{"value":"nested concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077155$48B77861-77BE-4384-B7F3-DD231526BF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44cdb7d37c3036f7add42caa2af6484c36d69e67","datavalue":{"value":"process composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077155$BEE2D24B-B4C6-47A4-8119-6EFF2D2D4761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642fb89fab960669bf77c30a5366e85b7fb02243","datavalue":{"value":"modular verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077155$41B33E54-7F4A-4355-B165-F8AE3AF2FCAA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077155$E32AF1F4-BB11-418F-BE66-A4B306DFF170","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":"Q1077155$CFF1A47E-0768-4EC8-8AF1-5F7CD264E8C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077155$6EBC15C2-8ADD-424F-8EAC-5498739F702B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077155$795CA12F-AC90-4FD1-876B-FDEEFD6ACAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0817097b6d61530cc9a7e9ec3f78c24eda4ab674","datavalue":{"value":{"entity-type":"item","numeric-id":1153686,"id":"Q1153686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077155$81FC216B-3345-4910-AF8A-D59F0A78E0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077155$E0B47498-16F0-4C50-A668-335ADFE82B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b291930adb91d98cb96265dbbded97a367e48e1","datavalue":{"value":{"entity-type":"item","numeric-id":3906387,"id":"Q3906387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077155$064779E2-F4FA-4343-A0C4-C8C39B7D57A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d47d87270857e9fedec7595e436e4f4ffb2f93f","datavalue":{"value":{"entity-type":"item","numeric-id":1077155,"id":"Q1077155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077155$1E5CA154-769E-4301-B438-5ECB142D6094","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7dc916015a9ffb93c00920138e520fd63a9868f","datavalue":{"value":{"amount":"+0.8129923343658447","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":"Q1077155$A36BD124-25F6-4536-A7EF-5251B38C131F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3bcc655fb1c9520a8d05f506e240a767cab56d","datavalue":{"value":{"entity-type":"item","numeric-id":5756603,"id":"Q5756603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78db291ace371705b5c40a2b5e341e144f89b77b","datavalue":{"value":{"amount":"+0.7864439487457275","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":"Q1077155$B881F74B-7128-4A2C-8E7E-6DD82BBCC5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c73973295e62904ce2821e414edb1f3163c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":3704884,"id":"Q3704884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec48c2176ad97ae6b5a28376531f1bf5b475efb","datavalue":{"value":{"amount":"+0.7848964333534241","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":"Q1077155$7756B017-8D2F-4768-A16E-83B4068DBA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4784a6c5ec6fbca202f1f62bb317af08783e8a7","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb4afea1d3dcc50f4314aebc0ffd4a1eb159ffc","datavalue":{"value":{"amount":"+0.7688343524932861","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":"Q1077155$2814EF15-DA06-4C98-8024-50E6AFBF7FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1190a4bd8b91fad619ad02d89dc4fe8e941bf2a","datavalue":{"value":{"entity-type":"item","numeric-id":1112588,"id":"Q1112588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c0271d60ed4e3286ecc9cb5f096c5e6807246ef","datavalue":{"value":{"amount":"+0.7683887481689453","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":"Q1077155$B9436E31-A2E9-4849-BCE0-79B6BE27EFFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiomatic semantics for nested concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiomatic_semantics_for_nested_concurrency"}}}}}