{"entities":{"Q5408530":{"pageid":7438104,"ns":120,"title":"Item:Q5408530","lastrevid":51972467,"modified":"2026-01-20T16:10:33Z","type":"item","id":"Q5408530","labels":{"en":{"language":"en","value":"Relaxed-memory concurrency and verified compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282592"}},"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":"Q5408530$E8490868-025A-4BB8-BD56-A64B1D70FE9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60aed770e6a5c3bd99c148a3301af600fa44c58a","datavalue":{"value":{"text":"Relaxed-memory concurrency and verified compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408530$450546B3-1893-41A6-AE44-962DD33B9416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37b8db38ebdba4a598a53a541f90fcebb59a9939","datavalue":{"value":"1284.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408530$3D47124C-D40B-4782-9F45-C0728312E999","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74cda717ec8fe925acc4d97be9ad7ccc6fb44c77","datavalue":{"value":"10.1145/1926385.1926393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408530$ED4A894E-D195-4311-ACBA-0A8178CFB6C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9b4b499f6a995de0961b72498edb0e18a3188b9","datavalue":{"value":{"entity-type":"item","numeric-id":3523162,"id":"Q3523162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408530$1A5640D8-3159-4D7F-8840-0A042D109703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408530$5A8181B7-C74E-41F6-A8E5-EB5DD5C89B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9af27c63fdd54e2cc0051dbc5db6bf3d4334c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2566219,"id":"Q2566219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408530$E93D159F-7496-48EC-B90B-D1A2A2E86CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9ea0621027ebcea1bc6d57ecc6f0e59b3fb507","datavalue":{"value":{"entity-type":"item","numeric-id":436390,"id":"Q436390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408530$15712D23-B8FC-4C89-AC28-2F9B7DDBB8EE","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":"Q5408530$52CFA4A7-AABA-4199-A639-B5C954C8966E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408530$AFCEB7C2-2846-4DA1-AE72-157BEF768885","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408530$61AECA86-AFA8-4CE2-ACE1-CC86F63F55DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408530$26D967D2-0119-4DFD-8B0A-E279B7E05B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408530$FDFB3677-4AA0-4855-9A48-47C2A21F3A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408530$7A2F6E05-0A34-4E8E-A5E8-BBCC6CC93519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408530$A6ED127D-0561-4E0D-B13F-F13705A253F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb82defcc5e84a692474130ecdb4d0f5fe89b270","datavalue":{"value":"6282592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408530$71B647D4-76B9-4788-A5FA-3952984DBDE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c5d74db814ce63482dee23e586c9469a6bc76","datavalue":{"value":"relaxed memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408530$C8E1FCBA-E52A-4DA0-B2DF-AD3571FCE1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408530$D5164155-E05C-4FEF-AFE2-0ED67C0956C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154eb051c96c39e8e505b872d2e768c4eec59e83","datavalue":{"value":"verifying compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408530$C01217DA-662A-46F3-924B-06EA67ECAB62","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":"Q5408530$891AD441-5057-40FD-8EC3-7F094B20B1B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c38f1b1cecde9b2579865eee0b97547e428982","datavalue":{"value":"https://doi.org/10.1145/1926385.1926393","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408530$8A32F397-484D-456A-97D5-63813EEA04A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7941ca53ae6d42c7d1a8ce6be5b3cee00c7cba0c","datavalue":{"value":"W4247648759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408530$943156D7-0979-41F1-809E-8E12B8215837","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82eeeda3db65ba0c9e637877280a18f0e7bccd","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611af178b9948508d21ed8d6ac5d3f86e294c1ca","datavalue":{"value":{"amount":"+0.951818585395813","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":"Q5408530$C2BCC08C-4E96-480F-87DD-E597B3F6C2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2ab24876d56aa97c07c1539437e0b429707101","datavalue":{"value":{"entity-type":"item","numeric-id":5410696,"id":"Q5410696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2162ba7d97e032fdd57c5ee036fd134dc0b982fb","datavalue":{"value":{"amount":"+0.7991223335266113","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":"Q5408530$5DD555F1-E87F-4CD2-BB07-9F5A05EA81DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b66b19dcb34d20e7302d9ed697daf5c94068fc","datavalue":{"value":{"entity-type":"item","numeric-id":5240132,"id":"Q5240132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968f8c4182d29f615d7f298393e251f1b3011024","datavalue":{"value":{"amount":"+0.7933973670005798","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":"Q5408530$1CA288A3-BEC1-46DB-ABE4-9A02BD4D950C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b3fd1dec21feb09955bb3289ad5041e6de3501","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c969f7be1b318cb654eb91305f2083315c4a90","datavalue":{"value":{"amount":"+0.7842105627059937","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":"Q5408530$4770E22B-DB56-4411-9977-AB716D8DB9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5beef82811c1ed410a89dd64b21f082cf77902e7","datavalue":{"value":{"entity-type":"item","numeric-id":5172657,"id":"Q5172657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06535c15c9d47a4424e3d5dbf094c2da1189fa2e","datavalue":{"value":{"amount":"+0.7811825275421143","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":"Q5408530$7FEFCFBA-2336-40BE-AD50-59256FE8E20F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408530"}}}}}