{"entities":{"Q6841015":{"pageid":18350193,"ns":120,"title":"Item:Q6841015","lastrevid":84286214,"modified":"2026-05-14T16:16:33Z","type":"item","id":"Q6841015","labels":{"en":{"language":"en","value":"Verification of the release-acquire semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175042"}},"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":"Q6841015$8D273988-4C0F-44EF-8985-3C6949686731","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7f9c7c4522840124f02969464913a2ca538f443","datavalue":{"value":{"text":"Verification of the release-acquire semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6841015$5C12985D-2F4E-46F4-AD41-4F909DAFEED8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00b2633e9b8279e9923c77407e50d165afd9edfc","datavalue":{"value":"10.1007/978-3-032-11176-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841015$55AB8FCC-163A-4ECE-8E9D-F4C9E3FF6CA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$B4543A8E-ADC7-4712-BCB7-B33638A1EFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"472e0c5d2912ce9ea64cf7cff981cfa67ddda02e","datavalue":{"value":{"entity-type":"item","numeric-id":2141296,"id":"Q2141296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$29FED4A5-B7F5-4E0B-B60C-A6F489241650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$58BA2ECC-1BE0-4843-8C7D-0F8ECB49C748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dc4f832ce798de414bb9af7616e789887f4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":6841013,"id":"Q6841013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$62F72D56-84F2-4FF3-8A30-83DCE31F46FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cefc5b01f2a823fd075bc66e852b3f0c15dac7","datavalue":{"value":{"time":"+2026-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6841015$C7FBC5C1-9A35-4CE8-BFE4-B96CBD505A27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841015$63A71577-26E9-46B3-9F67-9089E4144B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841015$265BC317-22AF-41C4-BFA7-B8EC2C1251A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841015$835C0B2E-A193-450C-BB9B-E7C1DDF1FC5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35efacb4b51514ee02477a03aadccc6bbac2c631","datavalue":{"value":"8175042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841015$3EB3EDE6-3056-438A-B4AE-C17674BEF4A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49a0a3cfdf1415249a7c3e075d149a96b70434b","datavalue":{"value":"weak memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841015$8E74250E-699D-42FD-818D-C530A6CEB378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1da814d23d7c2ec09f7f20c60cf36b19e966a30","datavalue":{"value":"release-acquire semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841015$D7A9C0D1-814D-418B-BB1C-261EB61023AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841015$6AF7E845-9113-4CD1-986B-1C252D7FA427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7928c1c3157011dec56fb4f8a8cd86d60ac43236","datavalue":{"value":"register machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841015$7A4BE527-FD20-482C-84A6-04B5320D59A3","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":"Q6841015$D9435B32-09C0-424C-806E-5445866D1A24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f1a2bf81f4948b599f0e2c54911aaef52d665","datavalue":{"value":{"entity-type":"item","numeric-id":5137003,"id":"Q5137003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$85D0E46F-0BE4-43A1-B504-F5A44EDB33A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad72a83fa0fa0da4bafc434415496b5de96ed423","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$37082515-13FE-46AD-A827-2A9F10208B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b91bb151cd8a64e803b2a1e144870181c46cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5408531,"id":"Q5408531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$4B5C1E05-6861-4D5C-B671-BD48480B8FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed7d9baee26370588a84ec72c501127f68d4c84","datavalue":{"value":{"entity-type":"item","numeric-id":5370895,"id":"Q5370895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$2F6B58B5-43A2-43DA-9437-7A396657E66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88513da3b40e8d94cc45b6d0ad9dbb72de7a7e33","datavalue":{"value":{"entity-type":"item","numeric-id":1878907,"id":"Q1878907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$DEC1539B-B212-4D1D-8757-5B2DF5A78DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2660255c5b7c99f696f7b838eeb2ec1a3c276d43","datavalue":{"value":{"entity-type":"item","numeric-id":6489078,"id":"Q6489078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$ED3F091A-3FCB-4657-93EC-1762C4C77560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$54410CEB-581D-4673-9AD4-D529C033CE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792c2fd1a6805d7c32a0fdf6f8624cefbc46b361","datavalue":{"value":{"entity-type":"item","numeric-id":4376172,"id":"Q4376172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$6506FF10-EB97-4082-9E89-D999AED79E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8770e3a9b6df5e3878fac05a3bfe1d64a276320f","datavalue":{"value":{"entity-type":"item","numeric-id":2828304,"id":"Q2828304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$CCB7E379-8105-4C1A-9275-101B4063F34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a153b7957d0100c24b046075087f9588e51ca124","datavalue":{"value":{"entity-type":"item","numeric-id":2324016,"id":"Q2324016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841015$A168B013-C833-4A35-AE9C-125EF3D22CEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of the release-acquire semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_the_release-acquire_semantics"}}}}}