{"entities":{"Q5206950":{"pageid":7236521,"ns":120,"title":"Item:Q5206950","lastrevid":53622566,"modified":"2026-01-25T10:54:44Z","type":"item","id":"Q5206950","labels":{"en":{"language":"en","value":"Verifying opacity of a transactional mutex lock"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145902"}},"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":"Q5206950$BAE4CAED-1BBD-4F99-A1BA-7E9855772550","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ce5393eaaee34649f330053d1ac3452cba91927","datavalue":{"value":{"text":"Verifying Opacity of a Transactional Mutex Lock","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206950$77B9CE06-DA60-4839-8385-899DB1C3112A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96c8dc55532bdba46ea133f2d217e03c70c07e79","datavalue":{"value":"1427.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206950$9ED75349-7D2C-47D7-ADBA-3183B92231BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47acfd3e0fa7b7e4773daeb8a7c2f0ddf377968b","datavalue":{"value":"10.1007/978-3-319-19249-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206950$D0A25411-A000-434C-8C7A-B191F65116F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$3D4D90B4-E835-4A01-BEEA-2A44F1A10F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$DB186F14-82DA-4948-996D-FA7D28E2256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$87A52A1A-5747-4742-A3A8-BF43C9934B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bc3d94fc68456fbac29032762d77339b119d10a","datavalue":{"value":{"entity-type":"item","numeric-id":1673657,"id":"Q1673657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$A55CC049-98E5-49A7-B68E-DD1506C31CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$24BDCA45-CF4B-4C54-AED7-FA794435AAFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$ADB547B0-A107-4D78-8B7A-0AF2B55FC1B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206950$81E238B1-864D-4FC4-BA0F-34D86EE41D86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"934b00d6124128269bf2cc25d7ddaf34e3d1126e","datavalue":{"value":"http://bura.brunel.ac.uk/handle/2438/11265","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206950$B1501199-E817-4581-9D1E-A09649EB104D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206950$08780F84-5D31-4F5F-A78B-88BE06BE934E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206950$8E1B8DF7-9039-474E-9871-AA974B6A53D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fcf4ab76d1036c4989674cca30d0a8169504092","datavalue":{"value":"7145902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206950$D9FB365D-BE00-4883-A751-719DBFB3B41A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$588967D9-CF88-41A0-9FC0-176E336440F7","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":"Q5206950$B4066CE1-BE08-4118-940F-F5E8071FE56A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd709e8739614c73292683f53f7917f64529d757","datavalue":{"value":"W1560394043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206950$569A7F2E-40D2-47D2-A435-AF638150FCFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4df13cda2689c3d64942e188693ef44a601f73e","datavalue":{"value":{"entity-type":"item","numeric-id":5176110,"id":"Q5176110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$F31FCCD1-EA08-43D0-8091-2FBE524BDFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c8a84737a3e0f2a57c5db96c324e66952a0914","datavalue":{"value":{"entity-type":"item","numeric-id":3162871,"id":"Q3162871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$3557E40E-926C-47E2-B372-88756D9CEAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b391d71ec35651061bd75745fabb9de874a68158","datavalue":{"value":{"entity-type":"item","numeric-id":470040,"id":"Q470040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$5A6A4B10-18A4-4A67-A11E-1548E59A458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60afbff77d5124564f2eb1343393bd717aee9917","datavalue":{"value":{"entity-type":"item","numeric-id":2377134,"id":"Q2377134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$BB02FE5D-7A5C-4298-A15F-8ADACA5BAA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2420fb89597eccc6929313663e437d3f726c781","datavalue":{"value":{"entity-type":"item","numeric-id":3636851,"id":"Q3636851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$FEA1A8F6-D799-4738-AEF4-4E87A976C89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0362db984d976dc081ef9b34c4ad130497eb62","datavalue":{"value":{"entity-type":"item","numeric-id":442277,"id":"Q442277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$0059D090-6E9F-4FC6-872E-1470B0CE0AEF","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":"Q5206950$C704D914-8900-40F6-97E9-BFBFC52FE273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20b55cf3bc328f8589f330f96a951a3345ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4524764,"id":"Q4524764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$85AA3182-B805-4E42-A8FF-882B53837CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b13457cb42ad28623335ab31537f25be6c73f9","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$8FCA4EB3-6DA4-4E53-8729-6814F6297280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"732d30e63645998d4ed6ec810a70637d887859b5","datavalue":{"value":{"entity-type":"item","numeric-id":5137331,"id":"Q5137331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$38492FEA-2EFF-4CC2-B902-034E1C7C2C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$677BE07F-9336-46EB-97FF-9B074CAB84D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34476e0fc3213e918db7c48fd221cd690cd8a79","datavalue":{"value":{"entity-type":"item","numeric-id":3612005,"id":"Q3612005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206950$6E6D8D54-E29A-4D03-8F20-8EC94528C5B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4161f1704d1a07aaf583b34c77a4b0ca127b531","datavalue":{"value":{"entity-type":"item","numeric-id":1673658,"id":"Q1673658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a6e06fd23e35efb9b085e6f25757e719e02579","datavalue":{"value":{"amount":"+0.9291372895240784","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":"Q5206950$3132729A-EE84-45E4-86EE-C6AE77995E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88e1650159d34a21836024f3763bc9c890d0454","datavalue":{"value":{"entity-type":"item","numeric-id":5082190,"id":"Q5082190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25987164986745c5e8b18cd886ee449944923bdf","datavalue":{"value":{"amount":"+0.8527984023094177","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":"Q5206950$D1E9153E-68E4-4C8C-93F6-3611182B067D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6949439cd286ee00f307f46fbd310ea505bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":5082189,"id":"Q5082189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b39dd07128bc1fc1635c0f00a3e5cf3d4f62b47","datavalue":{"value":{"amount":"+0.8513449430465698","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":"Q5206950$85FB5E5C-8C27-4E47-B4EE-B05211CD1C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865baf72e3d1a99cd8c01f11c171b92b9c876787","datavalue":{"value":{"entity-type":"item","numeric-id":3174968,"id":"Q3174968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da1abbc5f671b5fef6117761cfc690fafcd8fbb","datavalue":{"value":{"amount":"+0.850150465965271","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":"Q5206950$61F8296F-F35F-4D6C-8FA1-7DEB19E9E2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89194db90f2317cc0dd532a2048083e78cad5339","datavalue":{"value":{"entity-type":"item","numeric-id":1675797,"id":"Q1675797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7bb9a0ae50e462ea9330a32a7dd994b21879a1","datavalue":{"value":{"amount":"+0.838583767414093","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":"Q5206950$AEA9BC6A-CB06-45E2-BEB7-A8F0DBC3BCC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206950"}}}}}