{"entities":{"Q2796064":{"pageid":2806802,"ns":120,"title":"Item:Q2796064","lastrevid":52489940,"modified":"2026-01-22T19:18:03Z","type":"item","id":"Q2796064","labels":{"en":{"language":"en","value":"A program logic for C11 memory fences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559869"}},"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":"Q2796064$9D03F925-6737-4718-8C3C-6029300644DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6cb1e385812068c4da6db868e21a66acad25322","datavalue":{"value":{"text":"A Program Logic for C11 Memory Fences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796064$FCD3D7BB-05CE-4F01-BDEA-D269DDE7D9DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6c116e2a80ae1b4c292a6e598b327cf473209f2","datavalue":{"value":"1475.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796064$2A4E3C5B-EC0E-471B-9DD4-F18C765E92B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cac6a2f0bea880387274cb223d9728550dc40bcb","datavalue":{"value":"10.1007/978-3-662-49122-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796064$E6099AD3-2C45-4201-B2DB-F17B66A308C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c828fabfc5e100c2cbb4e46c246c1bee15a131f","datavalue":{"value":{"entity-type":"item","numeric-id":2323984,"id":"Q2323984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796064$D358EECC-2716-48F5-BF20-2E8CBE6110FB","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":"Q2796064$CA6B736E-E9B8-4858-AA4F-E52D433ECC3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796064$43ACB3EF-BC9D-4491-BE59-08B894BBF97D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796064$B5F04BC0-D485-4C55-8399-64D0A313EA81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796064$F12F14A4-61CF-453F-8FFE-F872C64F4DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796064$9BAD7F02-C818-4925-AE05-844C8CAE527E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796064$71DA0A8A-309D-4DD1-90A2-E08B28C4C17F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67ca221b88913dc1ec749e414c479e943e2a9711","datavalue":{"value":"6559869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796064$1330E786-9999-4CA5-AAE4-EAEA190A7ACC","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":"Q2796064$910A77D5-AC45-417B-A275-588F4D9BE9E1","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":"Q2796064$CEB26EE4-49EB-4B43-BC61-FD6486180C5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"952e35c3d9245e10c088b11792e511286aca0d7e","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49122-5_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796064$841A8E03-EE27-4866-AC68-59B7597579A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58a2657bd6fbdb712d8bdf6b2d1ce3be88356efd","datavalue":{"value":"W2294707073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796064$0C26911E-5AA0-4E5B-955D-5771C145F709","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3331980934a2a2efcc1b96812de8f01e97c981d5","datavalue":{"value":{"entity-type":"item","numeric-id":2988652,"id":"Q2988652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6153986a368711cd8cd7a2610e848ee52c3a2e6","datavalue":{"value":{"amount":"+0.8348590135574341","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":"Q2796064$35AE12F1-7D56-4970-9C25-6B967555791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5558b7bd2391c98b2bcfdc4d59551097defa0a","datavalue":{"value":{"entity-type":"item","numeric-id":2802463,"id":"Q2802463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0e9cda0ca83f8025afec35500b40f53c0bb4fb","datavalue":{"value":{"amount":"+0.7663102746009827","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":"Q2796064$71E15148-0256-4331-A8C1-0FF6F64E786E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a9dbad85b24d9a28aa30ad6051b001874f74ff","datavalue":{"value":{"entity-type":"item","numeric-id":2324213,"id":"Q2324213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e795f41cadc66782da56c86b15dbe881eece3523","datavalue":{"value":{"amount":"+0.7658954858779907","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":"Q2796064$B38D5E42-C588-4DE8-844D-B88EE9A45A68","rank":"normal"},{"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":"378f870c373ad2e04a7cd373537bc0339c97a440","datavalue":{"value":{"amount":"+0.7565332055091858","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":"Q2796064$062BFBBF-6E16-425C-ACC8-72365AE208FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb0465c5d82486ad9d1c489c32508e1f843e6c3","datavalue":{"value":{"entity-type":"item","numeric-id":453523,"id":"Q453523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb727b16f519d81115efd05eb3f76ea158b2bfc","datavalue":{"value":{"amount":"+0.7550970315933228","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":"Q2796064$424BDE3D-3E54-46B8-9B53-13D5F11A426A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2796064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2796064"}}}}}