{"entities":{"Q5918263":{"pageid":8048840,"ns":120,"title":"Item:Q5918263","lastrevid":53991260,"modified":"2026-01-26T01:14:57Z","type":"item","id":"Q5918263","labels":{"en":{"language":"en","value":"Operational semantics of a weak memory model with channel synchronization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7343215"}},"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":"Q5918263$A8ECC232-7CE9-468E-B980-CA805A6D7840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"755fdd4759fc24027645976d8914d7f35aba3919","datavalue":{"value":{"text":"Operational semantics of a weak memory model with channel synchronization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918263$47C62994-EC59-4BA5-A4DB-B105894388E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b252b9879455e538bf04d3ab80891c9e7493bf7","datavalue":{"value":"1460.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918263$ABD2FF3B-8300-4D21-AD0D-9EE876AFD27A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a239ee6c4efb379710e32245276589cfa6dc62f4","datavalue":{"value":"10.1007/978-3-319-95582-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918263$1909F0D1-F325-4138-98A5-2F9F4862DBE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$1F2E61C6-8AAF-45ED-B3C8-83D3D23B9FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b123cb8ed588008e378239d988da5831697738d","datavalue":{"value":{"entity-type":"item","numeric-id":338623,"id":"Q338623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$5CA229A9-A46B-4B43-94C3-60EA514B1638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dbc096766d8419d7507c3b3b5b27acc7041e6a2","datavalue":{"value":{"entity-type":"item","numeric-id":2024350,"id":"Q2024350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$4DE05C1A-36FF-4A5B-9FE5-D0BD264A27AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$65D3AF80-AC2A-414B-90AD-C29892B357F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b4f774fe31084737b70f784f8ab95c7884e6162","datavalue":{"value":{"time":"+2021-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918263$44EBF7C6-34B6-4AA1-9944-839F5F947E71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48de35f14e90f4e3f2a974b4a5b0102c7ff2a05d","datavalue":{"value":"http://hdl.handle.net/10852/61977","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918263$E4E6527C-7FA8-44B7-A29F-F6330CF8C30E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918263$5FEEFBBC-ABCE-4DA6-A440-979B8CC6FE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918263$77186170-DFE5-4D71-900F-217484156AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918263$8A1DC3C8-F3C4-4297-891D-C2539B4D27BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918263$E5618F9C-CA3A-4631-B804-C984CFEDFBA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a82d191564fb3522b43ab0b51e6d2e0e041c44a","datavalue":{"value":"7343215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918263$66522F07-F3A1-467D-A682-49878164A735","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":"Q5918263$150C6D1F-6A51-45E7-85DD-85BF4CA657AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5812d32c15853058b0ae65294f40e3388538dd41","datavalue":{"value":"W2809069524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918263$D41EDE74-0A30-4972-A48E-80B79E11664D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97cc18645d611c0ca2e40ecf0afe85f0862763de","datavalue":{"value":{"entity-type":"item","numeric-id":2945130,"id":"Q2945130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$31D70B13-27F5-470F-89A0-17D6DC70ACE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4571140468827117de9ef82d7ef08c246a067fd","datavalue":{"value":{"entity-type":"item","numeric-id":5261535,"id":"Q5261535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$75F2FBB8-224B-4383-9E7B-654AD529AFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494809c62f97ce3eaf29c07f1e3cd6a5fb1333e6","datavalue":{"value":{"entity-type":"item","numeric-id":2963261,"id":"Q2963261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$C64D2433-DBE4-403C-82C2-4C9E0DD5831D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854e173f49eb24123e6c5e5385e3fc3a1c6eb543","datavalue":{"value":{"entity-type":"item","numeric-id":2931808,"id":"Q2931808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$650CBFDB-1A74-4F65-8AE9-9F021FBCC0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ff4a66528a0ca03ca74e92cd90d82acabe53c7","datavalue":{"value":{"entity-type":"item","numeric-id":5918263,"id":"Q5918263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$803D49F2-D376-49A1-A99E-1334A43B7ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139fcb1f4b1a046b32cb129c62dd102539e7c699","datavalue":{"value":{"entity-type":"item","numeric-id":3636871,"id":"Q3636871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$5FE4BD4C-8BFA-4805-A8DB-4EA799D55F69","rank":"normal"},{"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":"Q5918263$4892EF66-0624-4607-BA44-CD88E182A04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f591237a7b965744d09aba483f5977a72592ee","datavalue":{"value":{"entity-type":"item","numeric-id":3994745,"id":"Q3994745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$95143317-2F62-4E4D-B390-41377CD8BC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e24dfcf208ad7ddc97aa163494313cd9959a87","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$F3A8D28A-895F-4213-A67E-2A0D588D7848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$9DFE9FA9-1A0E-4F50-9CA9-63C7B8010D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$8FF66091-C562-49D6-99F6-4FBBB4990244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c444dd303be4aa99d182a23f270fb96936e285","datavalue":{"value":{"entity-type":"item","numeric-id":5370909,"id":"Q5370909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$4910AE2C-4129-41A8-A848-AC2AED62BCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$A34CDDA5-6F80-4C54-BEA1-C26BDD8C765B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$9004C4FB-D328-4E22-A680-0800BF224EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5360f20cbcc4690d807f9a1580a29b37f26ac6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2892772,"id":"Q2892772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$F3126A47-D7E1-486A-82D6-56BBAB91055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e7e067fb82ad366cc3b87efccd4bfc1ed592ee","datavalue":{"value":{"entity-type":"item","numeric-id":2828301,"id":"Q2828301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$9451E8A0-D086-4F84-ACE9-E8936751BBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$525B934E-8F12-480C-9BBD-B38D81185CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882478e1061dde921933e1e7c0221c265b2e67fc","datavalue":{"value":{"entity-type":"item","numeric-id":2026809,"id":"Q2026809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$E0EE4708-CD06-43F8-A48C-4241A455F68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7baf8c318ca804a5135b699c380fda22f3b6d3","datavalue":{"value":{"entity-type":"item","numeric-id":1712426,"id":"Q1712426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918263$1FDCA10D-E5F7-472E-91A0-0ADBBEED99C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d97b0067fe64bb77af2e5ab240a12131473b024","datavalue":{"value":{"entity-type":"item","numeric-id":5915975,"id":"Q5915975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11deacd184860414f2191a35cb2d41caa3f9f8c","datavalue":{"value":{"amount":"+0.9966520667076112","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":"Q5918263$F913E301-AE16-46F2-86A3-9601D8D002B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e763fdac44ab4eb2d0b0f8d66e7259e5fabf667f","datavalue":{"value":{"entity-type":"item","numeric-id":5261535,"id":"Q5261535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47604280953b5d9ddfd88c1cb7c8561aaa1c7dd9","datavalue":{"value":{"amount":"+0.7895289659500122","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":"Q5918263$AF456B07-3D23-4C98-9D1F-326FEFEDDF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042d341fed79e669004c539e0551cbea2745f4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4986257,"id":"Q4986257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa28a1bd30b237b3e094464fe4311e56110a83b","datavalue":{"value":{"amount":"+0.7503080368041992","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":"Q5918263$59314BED-3E89-4FB7-B2D7-D17A9BC9D373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5d628e56c3440758a0cbfd92dacbeb43c1297b","datavalue":{"value":{"entity-type":"item","numeric-id":3558227,"id":"Q3558227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c507b84abc3ae130c388351cc062a2c6862d27a","datavalue":{"value":{"amount":"+0.7460277676582336","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":"Q5918263$2E12FBAD-5203-4C61-A607-DD14648404D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa25c425d44737190debd10515932f310325acc","datavalue":{"value":{"entity-type":"item","numeric-id":3558229,"id":"Q3558229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45456678981034c2a3efa0ce3dad25a9b901740","datavalue":{"value":{"amount":"+0.7410666346549988","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":"Q5918263$B4AB8587-882A-44CC-944F-1F2DD869757A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5918263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5918263"}}}}}