{"entities":{"Q453523":{"pageid":455290,"ns":120,"title":"Item:Q453523","lastrevid":42541203,"modified":"2025-07-02T15:07:55Z","type":"item","id":"Q453523","labels":{"en":{"language":"en","value":"Fences in weak memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087628"}},"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":"Q453523$2E57C579-4261-4F44-AD11-0E8F8BA85BAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9a7402fcf1fd12e263cf8e4d220de0df44660b0","datavalue":{"value":{"text":"Fences in weak memory models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453523$E218F031-B1E7-4079-AF9A-E15EDD361967","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eef85385e2a246cf53211066940d6acbb3c0ee25","datavalue":{"value":"1247.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453523$3680FB71-120A-4A79-9282-1687321F728A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5ff3e8c52b6f49323bfd186d81f823487b8017","datavalue":{"value":{"entity-type":"item","numeric-id":453520,"id":"Q453520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$4776AD0B-A980-4599-8B7B-DD777611A2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3834b4eeab4ea9897275a163b7967947d31e830c","datavalue":{"value":{"entity-type":"item","numeric-id":453521,"id":"Q453521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$9B6D8C19-EEDA-4FFA-A638-2E1ED3F60334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"150a6b0b2b8289ee781f8cda58bd776255ac6b3f","datavalue":{"value":{"entity-type":"item","numeric-id":453522,"id":"Q453522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$3FDE6F25-9B8F-459E-9B1D-091CA56B7647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f688dbdbd0131e419730283649f1321b89972f6","datavalue":{"value":{"entity-type":"item","numeric-id":236083,"id":"Q236083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$AB4F99F3-EC2C-47F3-B508-7C04B25EB3EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$2056F074-3B67-43DE-91ED-F8256802A347","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453523$3F5642D8-0DA6-4BAF-B39F-A93328C82AC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453523$ED6E9620-6E70-4D95-B8F3-3157ED8FFD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453523$B0919884-B84C-4A18-BFB5-A8C75ECA85B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453523$7BE8081D-1165-4AF7-8C6D-63DB103FFBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453523$8A88483E-0E11-4106-8C69-1156339D305D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c110aafe22c6efd8dfd7bde762ddcee07388c47d","datavalue":{"value":"6087628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453523$12B73DD7-4991-45D5-B4B7-253CC3809E22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9050ced9d3aa3989a9247249531599596448f01c","datavalue":{"value":"weak memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q453523$B96A447D-AA9B-40A5-9657-11D4CD971EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q453523$27F5FFC0-773C-47FF-AD24-8403B01DC1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c27dffcaa282cba5dca9bb377ef2c402ce824b4","datavalue":{"value":"testing tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q453523$ABA10CD4-E0AA-4B3B-82BA-91E7F39A8145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc08c964d8fc443db699893a72d77bd65c25c3e","datavalue":{"value":"powerPC","type":"string"},"datatype":"string"},"type":"statement","id":"Q453523$F2F2BC55-0CAB-4C04-84AE-755FAED3BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e184bf70d2d0eea6cb65974ce667ecab7e2563","datavalue":{"value":"generic framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q453523$F3B2528A-A39E-47E6-A514-66E8D7F60198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5dbac78da9dc1bac1ee3d91e403b692115e5914","datavalue":{"value":"fences","type":"string"},"datatype":"string"},"type":"statement","id":"Q453523$2255915F-3160-4916-9A84-A9CBAA71AF50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$0A5F31C7-79AB-4ADA-BE00-E1077FB077D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"170ccf721178258c21fb4fe9c26f36046af0ecf8","datavalue":{"value":{"entity-type":"item","numeric-id":22099,"id":"Q22099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$AB0F0A41-A378-45A6-BC4D-F3C789F2BFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e0883f941bb980e3b01a34d83dd8c3a67055c8c","datavalue":{"value":{"entity-type":"item","numeric-id":22100,"id":"Q22100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$7D999F68-4504-4326-977B-C9BE29D3C631","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":"Q453523$F47301EB-2728-421A-8668-0E7C405075F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2c1fda6064eb7c8e72fe83bf16a9347c2596314","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0135-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q453523$A6A5A108-0043-4656-BB56-8518BF1666AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6cab57484185caefe88bf78a662dc4f110691ee","datavalue":{"value":"W2066615989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453523$BDBAD79A-FC21-4B83-AEB7-7BD7AB8838A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"381701828d1cd2d1d2fea906d017e00eb31e908f","datavalue":{"value":{"entity-type":"item","numeric-id":453523,"id":"Q453523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$A743E7B3-0C1F-46A2-97F2-CFDCAE11BE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d7b9e297fcd76c14248efc49c105939c29438e","datavalue":{"value":{"entity-type":"item","numeric-id":3512487,"id":"Q3512487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$34E18A9E-53B9-498F-A63F-CC1594693D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a585b1284ab5ad9cc38b7f1d4f9d943eead175d4","datavalue":{"value":{"entity-type":"item","numeric-id":4023279,"id":"Q4023279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453523$E05BE2D7-38E4-4AFA-B3FC-4A7F85FEF71E","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":"Q453523$38DD740F-5888-4483-9ECE-7157CAE2C8E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45d00c53ca4835bb5ef0230cbd251536c869f815","datavalue":{"value":"10.1007/S10703-011-0135-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453523$C5B77246-3756-48F7-877A-28A82C4B6676","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04f76e3f1e70d610d8ccd063f221ab4d73be756","datavalue":{"value":{"entity-type":"item","numeric-id":2796254,"id":"Q2796254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67592430b5c8db1c4d93ccfea20ea725d21f5f37","datavalue":{"value":{"amount":"+0.8591821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453523$228C320A-CB87-4BAF-B5BC-0718CCDF28A6","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":"c7dc9bd43bdd0d0df635914346e0b2905524de40","datavalue":{"value":{"amount":"+0.8547992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453523$A5153068-E25D-4F3D-9884-D3D480025AEA","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":"9519f89169cd3f42f4bd6957f92d572ba853f3ac","datavalue":{"value":{"amount":"+0.81226873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453523$D643D5CE-74D6-4613-93E2-A345861C6DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67303c82678628ecfc3c2251f31c6a2e5a9b0753","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8840cca1a4dc8e782d2983326b1d25de94af51","datavalue":{"value":{"amount":"+0.8064263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453523$BA3F4F4C-40E8-450B-842B-816C421312AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6198f2e19ef5d7c12efcb9c9ab350d07afeff774","datavalue":{"value":{"entity-type":"item","numeric-id":6115452,"id":"Q6115452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c277ae1146d4fa36df7579639a3167bfced28d72","datavalue":{"value":{"amount":"+0.80357826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453523$C657040A-C090-4FC3-A036-6806C6BDF116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e387f8de5131b4b9f1488f9882fe6e5797d4838","datavalue":{"value":{"entity-type":"item","numeric-id":5206951,"id":"Q5206951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123ad699348f7740127e7cb99b9345f0b33b3587","datavalue":{"value":{"amount":"+0.80176747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q453523$C2A4F52F-2C7B-4CBD-A3FA-B39A34445BA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453523"}}}}}