{"entities":{"Q6174541":{"pageid":13309429,"ns":120,"title":"Item:Q6174541","lastrevid":55476556,"modified":"2026-02-17T17:17:26Z","type":"item","id":"Q6174541","labels":{"en":{"language":"en","value":"A fine-grained semantics for arrays and pointers under weak memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728849"}},"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":"Q6174541$89FB0146-6221-4178-BDEB-1E68F9865D14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eec9188acd532a238e00e4c571891ce4c652527d","datavalue":{"value":{"text":"A fine-grained semantics for arrays and pointers under weak memory models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174541$C446A227-C850-48B6-8905-AC7D49832395","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"112d0e4ffc1f397f017500e2dc57cbcc80073c45","datavalue":{"value":"1529.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174541$DB85D591-5BEB-4B97-AD34-C7DA994A8C93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e3874771c643134156062565bf0082c43ab16c4","datavalue":{"value":"10.1007/978-3-031-27481-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174541$CA41E01E-7935-47E2-96EE-179B7E08C829","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7fb66b0206130190f243440decd1e8cf3e7850","datavalue":{"value":{"entity-type":"item","numeric-id":264525,"id":"Q264525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$9749B2FA-B11C-4AF6-9DBA-F59D76AA0F67","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":"Q6174541$C298801C-AB10-49B5-8615-B1C680DEA5C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174541$00FBF3C9-BED6-4055-98CE-5E52FBBDD96D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174541$0149D473-37D8-45C3-A418-B0712C9D0446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174541$7327D075-0EF9-494D-AF17-3D5FA7DCEEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174541$3687FD53-E9B1-4C55-8280-2D9C24E6CEB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2fd43e2d9b6cd2ef3241247f8ac806cd04a0632","datavalue":{"value":"7728849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174541$CFEFB9EE-822B-46C7-BAF9-1142E05C1A90","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":"Q6174541$8F38C81D-E777-4DB4-A902-3F252EC108E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a951f4e0aa8bbcc4a0b76a31e12b69f3af6ac21b","datavalue":{"value":{"entity-type":"item","numeric-id":2441720,"id":"Q2441720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$D2A04AA6-75B9-4DE7-A5D2-525F99AE1699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b2024aa8d54e27f7fccd5324cb75636425f072","datavalue":{"value":{"entity-type":"item","numeric-id":5370841,"id":"Q5370841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$F1CF8DDE-E65C-413A-A12B-D4059AD9973B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$8B55BDF0-75B5-47B1-9653-42F68B29A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$A20F7DAF-8D79-41B9-8F7D-C04C2CAF62AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a1ea5737cf850332a9d964580ea660475f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":2863833,"id":"Q2863833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$D9B7DC70-FD34-4A39-8206-3F6D13BA610B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb541d7b5213dfe9005f774f70d16e0ec9a4819","datavalue":{"value":{"entity-type":"item","numeric-id":6045051,"id":"Q6045051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$401B72E2-1445-47E4-A651-923D544B7558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7eea9779481cab76a91c583cbcea71a07981a","datavalue":{"value":{"entity-type":"item","numeric-id":1682288,"id":"Q1682288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$6FBF4A13-77B5-4EB5-91CA-0A15E1BE0725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$C44922DA-C58F-42E7-91B1-D4E6A192F2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24da0ad2f506dcd40fef2cb7f346de9dd02bf71","datavalue":{"value":{"entity-type":"item","numeric-id":5056374,"id":"Q5056374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$486B63D1-952A-45C8-AEC5-BAC47BA6101C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb8b9acf5c0941429f9d82771001b6bfd7ff5d0","datavalue":{"value":{"entity-type":"item","numeric-id":2281642,"id":"Q2281642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$EA9DD1F5-6B7C-4A06-BC0E-EED45B365324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$08C91943-7182-407B-B229-C4F1D61C1586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$92F47A3F-FC6D-41CC-9B28-9E3952A793B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$E6E3FB09-FDB4-41B2-BA12-6E4233D3E6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$2B9BF59D-4288-4298-B318-40C6535EC6D4","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":"Q6174541$1300589D-F461-4F9E-928D-87AB7C78D165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63cf2ce330aed26a5810a4c85886a9bbb0c7639a","datavalue":{"value":{"entity-type":"item","numeric-id":3452345,"id":"Q3452345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$BCFC8E99-5785-4E8C-8177-19220A4B2E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$0A46BF49-6C96-423E-AE86-1161479124FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1cc5a574b49803eb1701499baba77e3e9ea7f","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$2F505450-6D57-499C-A817-FCFE670ECAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$6F0BA57B-18AF-4B86-BB8E-09091E21E81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$95AED110-1F1F-405E-9A5C-5D0F677FECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$B25AF779-A170-44C9-AA49-0C735FEF8E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aded3f9c41f40827cb7b1b61c5c29bdb1bd7f42","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$6B4511B0-9DE5-4B3D-B9F0-DD713C096D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632ed60565519e9dee14e61a64eebd4a38243da2","datavalue":{"value":{"entity-type":"item","numeric-id":5523306,"id":"Q5523306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174541$FD214B66-6D99-438F-AB38-CE85B306F700","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaa25ebb07ee12b83c51af98b12f5d8616b46f","datavalue":{"value":{"entity-type":"item","numeric-id":2151230,"id":"Q2151230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b427145fced68862f01d3bbfb7d240407282a2f9","datavalue":{"value":{"amount":"+0.7830995321273804","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":"Q6174541$22484DCE-413B-4D09-9A05-DDF01348BFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca091b71368f84598d64a3e28ec89303393aebf6","datavalue":{"value":{"entity-type":"item","numeric-id":2024349,"id":"Q2024349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45acd572e711c55a3ae8672421c54227c270e93","datavalue":{"value":{"amount":"+0.7806130051612854","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":"Q6174541$20B513F0-82A7-424F-BF99-CB1F9C828A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a05355ee9e643278d508aa84a113c5e6e15b99","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5cccac38cb34f0362bc51def94269d509670aaf","datavalue":{"value":{"amount":"+0.7700011134147644","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":"Q6174541$D5BF994A-EB97-42FC-8AFA-CC4FBE9B7C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c22a48ae2b0053e68989dbe169654adc18eda","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e704320f66e77f8d3b970fe3ac25f90ca3b1684","datavalue":{"value":{"amount":"+0.7414379715919495","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":"Q6174541$D48CDE17-8EAE-41D4-AE6A-8A4FFD889BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad022efa1d722e2c55c06d65f8653af371f9168c","datavalue":{"value":{"entity-type":"item","numeric-id":2441720,"id":"Q2441720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca256ce7912466ca7f8bab4502b195d63672487","datavalue":{"value":{"amount":"+0.7361176013946533","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":"Q6174541$AE2DECE8-7665-455C-A9BD-684494C81A67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174541"}}}}}