{"entities":{"Q1749114":{"pageid":1759856,"ns":120,"title":"Item:Q1749114","lastrevid":69128427,"modified":"2026-04-13T04:57:56Z","type":"item","id":"Q1749114","labels":{"en":{"language":"en","value":"A formal semantics of nested atomic sections with thread escape"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868740"}},"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":"Q1749114$4575C482-CB2A-4E63-B548-C43D07C10A76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85026804bcfbc7beb9c9f70763a170789f9d6fd0","datavalue":{"value":{"text":"A formal semantics of nested atomic sections with thread escape","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749114$B65EEA94-42CF-49D8-A1F3-47E690D1DA8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00f477c985dc71f3995ddce8bf0403495ecebc21","datavalue":{"value":"1387.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749114$81D3D0A2-3BD6-4FDF-A1A1-C14D3B2F4682","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ae652292ae655ef69c976593f3f39ffdb770db","datavalue":{"value":{"entity-type":"item","numeric-id":1749112,"id":"Q1749112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$65B874D9-399C-43BC-8218-6BF7FB7FC96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41523071f7928e35d0476c616da8429088b7716c","datavalue":{"value":{"entity-type":"item","numeric-id":1566917,"id":"Q1566917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$E676750F-7B1E-477E-AAE6-0BA03175D579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0e22a3087d5ad7a656b0c479c98ed3fceda140","datavalue":{"value":{"entity-type":"item","numeric-id":1749113,"id":"Q1749113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$2F7D0D4A-3E25-448B-BDEF-9F3DC6C3EE37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$D30C9DFF-A15C-4796-AE1C-85FBD68CD6F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749114$17346143-8DFE-4C7E-AEEF-6D6F791A6843","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749114$D180E750-FB26-4C09-8CC2-8B9EDFDDAB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749114$5D382A5E-FC9D-4776-8C13-5DD83EF3AE03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a9193a022e7403f48cd3cecd62c0b036ea8e753","datavalue":{"value":"6868740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749114$9DB0527A-7331-469C-9B32-2DDDFCD8A424","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4717c8be065e5a3909acf1e9a2b97e03ee26d5c9","datavalue":{"value":"atomic sections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749114$7C3B7767-5DFB-4663-8662-68698621FD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f601f2c03adeb14fa748aa3e1aa5cbf06e526b5","datavalue":{"value":"well-synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749114$7D99BD1B-7631-4A32-AB5C-090C1BE1A12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749114$6747D463-3E5F-4A11-8A9C-CC9BBC3135B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d69cd6c03ed71d962ec5b4739d323642a022990c","datavalue":{"value":"program traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749114$FEEE3B31-3F6E-4222-B856-1841E7C61AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749114$DC7C5D87-452B-44E8-B2FF-6219E4E63D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749114$341DF94B-A999-4908-A02E-71F20608EAB8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e22b8176489c2409392314db08f466f9ad9c934","datavalue":{"value":{"entity-type":"item","numeric-id":30463,"id":"Q30463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$92872B06-5086-4718-90FE-0FBB079B9349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$B6B9F0A6-C688-4FF4-B6E9-9A477210C34F","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":"Q1749114$14CCBBBB-B9C5-46C6-AED3-54A5464AFF9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95b2025f33b90dc68ea1349f6f4946f77c4a5b12","datavalue":{"value":"https://doi.org/10.1016/j.cl.2015.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749114$279374F3-597C-46E2-B698-ED9D424112E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bfd58e7cec075d065234595e0f19099e047b291","datavalue":{"value":"W763938970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749114$33FBC5AF-EED8-478C-A64D-CF6CEDAA2D36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc01c3546dd4a570a6e3cdca264cdb16f26b907a","datavalue":{"value":{"entity-type":"item","numeric-id":5361456,"id":"Q5361456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$AC3F41D3-438D-4ABB-B75A-ABAD20F0DEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5e7e0aca64fa48f1b840a058dc36905bce2e03","datavalue":{"value":{"entity-type":"item","numeric-id":856912,"id":"Q856912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$F6C11B2F-D958-418D-9BCA-45BC6145F8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c618612fdf1cc23278f0b870dd90d099415150f7","datavalue":{"value":{"entity-type":"item","numeric-id":3189825,"id":"Q3189825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$5F3DF336-7267-44D8-97C0-D4A226015F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$EC217E4F-5ABC-4784-9858-5431B69E39A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$22ACB1AD-AF8D-4DD6-A028-17D862CB722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e524579f6324afd2d1602e191b91f88c8420bcd","datavalue":{"value":{"entity-type":"item","numeric-id":1749114,"id":"Q1749114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$863907BB-DAE4-4023-B72B-39D5BF5F0A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6885aeeef83cea9e4ee41af5136ab7e5142ea7a","datavalue":{"value":{"entity-type":"item","numeric-id":3000572,"id":"Q3000572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$D0523735-A2FE-4570-8B24-C8FA55CCC62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1b6fc8dc35ffeec3f4a47a7815d0e7593e7260","datavalue":{"value":{"entity-type":"item","numeric-id":5255058,"id":"Q5255058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$406361DD-AA67-47C7-95A4-058E0264A1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c469b26b9633a8e102b3ab11def224fe75c91a5","datavalue":{"value":{"entity-type":"item","numeric-id":2485278,"id":"Q2485278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$BD461D77-163F-4F1A-BFCF-12B2FF5E6992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8f40d53b2bd3ef8eb212cacafb139de0f8c77a","datavalue":{"value":{"entity-type":"item","numeric-id":3189827,"id":"Q3189827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$706FB65A-FA60-4ECF-9119-5BEA7C74FA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7ac70217829001bfdbe229aa58327de02581ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853111,"id":"Q3853111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$D14253E5-D060-4C29-A0B4-8EAA42809A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$A5E63DAA-1745-4C03-B80F-9920D227460A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$FB525558-EF1B-4F5D-BCD7-1FE70839D7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978f51d37d69b79d88d5f4e9a5e3bd09d56d80b0","datavalue":{"value":{"entity-type":"item","numeric-id":3075245,"id":"Q3075245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$5C1A19BD-BB8E-4E05-90DE-6195DAA2BBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ef8738eccd7b653460e41e83660d0f8b8c95df","datavalue":{"value":{"entity-type":"item","numeric-id":2881098,"id":"Q2881098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749114$30B0A736-73F0-409D-9654-20F22EF0C731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"defc512c603201e6a6f1ad7e25dfcbcfe92fcc4e","datavalue":{"value":"10.1016/J.CL.2015.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749114$785AC508-5CBC-4E51-82EB-09B178DB43C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b21998c8f8f036a8db25c1efd27d61c7ec86bd1","datavalue":{"value":{"entity-type":"item","numeric-id":1192605,"id":"Q1192605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c7cc2065d504da1adc82a2d94f6b503ee47296","datavalue":{"value":{"amount":"+0.7017545700073242","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":"Q1749114$A19CE32A-C86A-4863-B397-40A6161B998C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b41b3af61e32896ad1a08964be468f09c12cb0d","datavalue":{"value":{"amount":"+0.7013406753540039","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":"Q1749114$2A1D126A-A3A2-469A-BA09-804E71BBEF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"411cfabe0a6fa12dcc954e21c6ab92be2ecfd524","datavalue":{"value":{"entity-type":"item","numeric-id":3636865,"id":"Q3636865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b39ed1dc647b7cb411980a198f1ff42427e58f","datavalue":{"value":{"amount":"+0.6970223784446716","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":"Q1749114$E96EE687-F50E-4142-A3A8-BF2C2AED8704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e400c8a5ec3b1da29e0c6f4fb66c7aad576e7978","datavalue":{"value":{"entity-type":"item","numeric-id":2936772,"id":"Q2936772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98f30c84b817d347476707fccf5df8c831962a5","datavalue":{"value":{"amount":"+0.6774218082427979","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":"Q1749114$92CA48B7-4A5A-4704-8C15-3F550669AD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00491b64e64f8bf02c6009898e1a7dff9b78874","datavalue":{"value":{"entity-type":"item","numeric-id":4734781,"id":"Q4734781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe55219900d71b39bdf84eef73d15e6076ed7f6","datavalue":{"value":{"amount":"+0.6773006916046143","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":"Q1749114$70A2043B-DD35-4FF3-9496-67FBB5247387","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal semantics of nested atomic sections with thread escape","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_semantics_of_nested_atomic_sections_with_thread_escape"}}}}}