{"entities":{"Q5206951":{"pageid":7236522,"ns":120,"title":"Item:Q5206951","lastrevid":53622569,"modified":"2026-01-25T10:54:44Z","type":"item","id":"Q5206951","labels":{"en":{"language":"en","value":"A framework for correctness criteria on weak memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145903"}},"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":"Q5206951$3E126F53-191D-4DF8-9E0C-770297DD0F83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31ef70bfcd98c5c7556654ee35f7d8764cf0cfe6","datavalue":{"value":{"text":"A Framework for Correctness Criteria on Weak Memory Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206951$2577B983-B5DC-4B5B-93FA-CE315B6F6F58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f701d770c78a6b6b7aeef75e05bc76d2171a0f4","datavalue":{"value":"1427.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206951$1322FDC3-CAEF-4EEE-8CF2-EB48811DD2E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4df23d3da197b1a8c0ab38ef22b6a848d39d579","datavalue":{"value":"10.1007/978-3-319-19249-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206951$12DF4F83-1650-4BF8-9E35-0BC3F736497D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$4C22EE12-4621-4EA4-8B4A-76CE21947088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$24EA2580-4106-464F-AA5F-979ABED07938","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$434E2448-ECD2-4390-97C7-C6A959C70A28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206951$091A459A-A065-4B45-9486-626EAD02E18A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206951$1F4AB38C-D214-465B-9D8C-0C12048E60FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206951$CDC7A378-CB29-4F87-9A5B-CD4030E9D703","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c6db4b1ea2e4e1cc719b0364b3604c00107d52e","datavalue":{"value":"7145903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206951$BA75B6FF-DD4B-4517-B6C3-A00333058784","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":"Q5206951$6CB4294F-6741-4540-921D-92B7D5E43E3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d258919dee30a615c0854175cba3a6578955ee4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19249-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206951$74F192CD-4C70-456F-B510-6EC621F2A140","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d91c466bd15449aa680c14cc053f1e9b37e4d75","datavalue":{"value":"W2246674664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206951$1D745475-71FE-4977-B900-9BA746AFB232","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79addb2bbc7d4e5d6fca57510df82f7ed5bfbd30","datavalue":{"value":{"entity-type":"item","numeric-id":4323733,"id":"Q4323733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$55FEF62D-095D-4836-B527-721A8928C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b2ce6ca779c63c212ae4393be7651e37cb46c4","datavalue":{"value":{"entity-type":"item","numeric-id":2892722,"id":"Q2892722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$230D9B17-0500-45F8-BC5F-0B300FF79547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a3951f6cfa13dde45c9759bfadb824e215e06a","datavalue":{"value":{"entity-type":"item","numeric-id":615951,"id":"Q615951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$2EEB45D8-4FBF-4BBD-8977-944791BDDFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c871037251bc05b208e2b36048f84cafcc3a57e","datavalue":{"value":{"entity-type":"item","numeric-id":4909400,"id":"Q4909400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$43EF96C5-5C90-44F3-8747-2688F3E810A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd56ff95a8d8c226a6e1a3d979b24cc1a40f2342","datavalue":{"value":{"entity-type":"item","numeric-id":2943609,"id":"Q2943609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$5E94B96F-645E-41B5-BA80-4ADE487289A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$74D36A2C-2AE9-4387-A7E9-F509B063BB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20b55cf3bc328f8589f330f96a951a3345ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4524764,"id":"Q4524764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$6E6A3BCD-5CDC-4F62-B07E-0A0A3C757C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b13457cb42ad28623335ab31537f25be6c73f9","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206951$C3559DEB-0C60-402A-86D3-983655E66FF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbdca32130c8d14a23dd0030367c5b74e46b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":5082193,"id":"Q5082193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0627b57bda51d0ef3a73465eba20491932bb50","datavalue":{"value":{"amount":"+0.8128039240837097","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":"Q5206951$B6F874E2-4441-4113-BA44-BCB5488A5489","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":"ea673d8a063cd66eafab853973566507e75e52f8","datavalue":{"value":{"amount":"+0.8092710971832275","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":"Q5206951$8ED311FC-A020-4FD2-863C-F91D2EB60C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69d9090aff3b857d29a177295ee04e9e7984ebf","datavalue":{"value":{"entity-type":"item","numeric-id":782494,"id":"Q782494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97f67bde688840f5c587eef9e1a5229c0e2628e","datavalue":{"value":{"amount":"+0.7922838926315308","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":"Q5206951$7F5B7B55-1169-44A1-BB5A-3BF285D4E99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8382678546a1bd28bab11224146a5898a58b87c3","datavalue":{"value":{"entity-type":"item","numeric-id":2892722,"id":"Q2892722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a5f57e91f20e944e9ae6d45c1947f17e8de922","datavalue":{"value":{"amount":"+0.7879669070243835","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":"Q5206951$CAE0B2F6-E9F9-434C-AA02-314E4BB88B6E","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":"4d3813be764b5438a03137903e7fdb4ca8e03aa2","datavalue":{"value":{"amount":"+0.7774065136909485","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":"Q5206951$8E9AE6D7-7F1F-4D89-AF68-9C12690D96C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206951"}}}}}