{"entities":{"Q2474441":{"pageid":2485184,"ns":120,"title":"Item:Q2474441","lastrevid":50293877,"modified":"2026-01-13T18:46:16Z","type":"item","id":"Q2474441","labels":{"en":{"language":"en","value":"Angelic semantics of fine-grained concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5243673"}},"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":"Q2474441$9A4BAA80-22C0-4518-91CB-726972A3C7FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7eb10389d749bdd2fed4dc78f59bf5a1e9c33e28","datavalue":{"value":{"text":"Angelic semantics of fine-grained concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474441$40D53C86-15B6-4D44-B719-BB70A9DA2884","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03849bb755dd2f884aa3969136f7d45d031716a5","datavalue":{"value":"1133.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474441$CE6AA439-FF64-4033-B54B-AAEA232BFEF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5185e8175824add6dc52d9a0d759ffa7ca714345","datavalue":{"value":{"entity-type":"item","numeric-id":1566882,"id":"Q1566882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$4C00F916-0754-4CEA-A0A9-A6E61FFFD679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$99B136EC-452B-478E-BCEA-12BB7C274CF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$E513B73C-93A7-4FF2-A7ED-01AFCA0197C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474441$BBC42214-F8EB-4BCA-BDE6-399F97DADD0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96ae2efd209a7aefc375c523fba978b7858a489c","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:46b97d31-7737-496a-ba2d-175c34ac5f44","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474441$E47AFF06-4764-423E-8FAF-E7C675DAC7BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474441$BAB2B03C-7868-4354-A2D8-DA75B675C50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474441$BD9A2560-0E03-426C-8F0F-64BB22A35CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474441$86753689-6293-4916-B421-3883CADBCB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474441$2E97A99C-957E-4FA6-A2FB-B9780E87EABA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fbe7e2fbbd8ba7f2d7f79449bd8deaa19bf59ce","datavalue":{"value":"5243673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474441$F670AEF4-646F-4BC3-BBD2-EA3732252773","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bea6f31edd0a2121eb44b946458d0866e7098c46","datavalue":{"value":"shared-memory concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474441$BBBBD412-FB64-482D-9859-BFDED20BF246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474441$C52E916B-C773-4B9E-A1B1-D2779B846C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ed81fa785037831ad3117360e85ed43a5480e1","datavalue":{"value":"May-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474441$1BF352E0-853F-4667-B661-C2D2FA88A4F7","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":"Q2474441$A2DED451-15CB-426E-A47E-77102F5313B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac39d56c51b071edc870b40a7040197a0fe4db7d","datavalue":{"value":"W2030121500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474441$BBA77146-A58D-4A40-B244-FF2AAE46D0F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$9F51AEED-24FC-4F46-85A1-E47F14656F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77458faeb6e1dc16159c3c9ec2581a357aae0b93","datavalue":{"value":{"entity-type":"item","numeric-id":1575886,"id":"Q1575886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$D0A3C6ED-397F-4157-B460-F37BCB6ED332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a57ad67cddac85a1ec8508c32d92cfd4c3ce3a","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$2E63AA0E-C592-485A-B5DB-CBF52C67633A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b98d7c7d8dd8afbd0d05e36986bab560ec30ee0f","datavalue":{"value":{"entity-type":"item","numeric-id":5466504,"id":"Q5466504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$86F67EFE-01AE-435B-AE46-3DF23A00C058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$85CB5A9F-AC2A-4C93-A4ED-2C38C8D719C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$4D670741-46DD-40B2-AECA-841701D1F79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d8c892c6f9e085e6e371e9dcd80cb1584e35bc","datavalue":{"value":{"entity-type":"item","numeric-id":4917059,"id":"Q4917059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$873BD0B4-52C2-4A38-8532-7E0D4449FA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dd519176a3c7ad0d991ba3d5eb4a12bf442b44","datavalue":{"value":{"entity-type":"item","numeric-id":5311491,"id":"Q5311491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474441$EFAA8829-76F4-409C-A57A-669110B6C703","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca8392c16bee39c7136241f7bc5155afc1178230","datavalue":{"value":"10.1016/J.APAL.2007.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474441$3553645F-EB68-4F15-B98C-B504CF79E862","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2624814dc00433bef8e8c2caf5d89ae0494215d","datavalue":{"value":{"entity-type":"item","numeric-id":5308452,"id":"Q5308452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b68df93c53bfbf0b18123a3d796aa361933246","datavalue":{"value":{"amount":"+0.9740699529647828","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":"Q2474441$BDED5D51-7B19-470C-86E6-D537767DCB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32411df11188357d797c36f03de87e481ba2b0da","datavalue":{"value":{"entity-type":"item","numeric-id":2958546,"id":"Q2958546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7e7f88b26a53d1593aecd5f71de209f8bd208e","datavalue":{"value":{"amount":"+0.8183158040046692","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":"Q2474441$2A06340C-A54B-4E97-8077-CEA590430719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741c8c96e770b77a80ceb44a95ae6ca9fe43524b","datavalue":{"value":{"entity-type":"item","numeric-id":4917059,"id":"Q4917059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fc1f3115733849e463e484e08f0b9b5e9cf689","datavalue":{"value":{"amount":"+0.8020045161247253","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":"Q2474441$43113A14-31C1-432C-AA6A-1A18E0806AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc67884947a4fec8b69e3e850671852ceb6f093b","datavalue":{"value":{"entity-type":"item","numeric-id":5386004,"id":"Q5386004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f267399ed68f60555ad18dca92755b8eefcf923","datavalue":{"value":{"amount":"+0.7913669943809509","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":"Q2474441$CB9E9957-276E-47EA-AAC4-7E0A5CD77C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57133b5530350dc9deac699dc9190906ed70f8d5","datavalue":{"value":{"entity-type":"item","numeric-id":3178268,"id":"Q3178268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4401c5cbd272aa7d1f61aa62ad70332c149f124","datavalue":{"value":{"amount":"+0.7854683995246887","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":"Q2474441$43EB53A8-3D3D-4CF5-B031-67D118F036FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474441"}}}}}