{"entities":{"Q2357153":{"pageid":2367896,"ns":120,"title":"Item:Q2357153","lastrevid":78717269,"modified":"2026-05-06T12:16:17Z","type":"item","id":"Q2357153","labels":{"en":{"language":"en","value":"Non-interference and local correctness in transactional memory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6732307"}},"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":"Q2357153$61AA7BFD-B9B5-4D5A-BA30-B821320EB644","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d30225585ef0aa18214ff2f9d6c742e483d50d6","datavalue":{"value":{"text":"Non-interference and local correctness in transactional memory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2357153$AED1E024-F36A-49A8-BAB5-777F1BBEEAD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2446e10cd4dabe0b6625ab4a9905c003a2424c3","datavalue":{"value":"1371.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357153$5E81FE19-FA64-4C0B-9324-8C471248AC5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9839e4c8250767afcc24720f487a17cf31a7fd3","datavalue":{"value":{"entity-type":"item","numeric-id":550249,"id":"Q550249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$0E25C876-6E7A-459B-8531-731BC1B9160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55d25b5a6c3940536472d8c6254ce4d166b2395","datavalue":{"value":{"entity-type":"item","numeric-id":391261,"id":"Q391261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$59EA8696-917B-45D5-84F7-BCC9A522C5B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$1FB461D1-FBD9-475C-9D47-2E8AD82EA3E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"097cab35ff7bd9820ce6c226585c6de23ce18109","datavalue":{"value":{"time":"+2017-06-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":"Q2357153$B5A1FC4C-55D7-469B-AE27-191C3C5A7AE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357153$761FBD52-407A-4F70-846A-49BB92990FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357153$2F748D69-F612-4A57-A52E-7DE51C9E12B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357153$7533B2E1-AE41-4737-B47B-6FB5F8909CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357153$2BC2661E-1F43-4EF5-91FD-6AEEF7447C06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0edda161995cc90a0b86a412ee90c6928cef7815","datavalue":{"value":"6732307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357153$0F747D47-8635-425B-815E-55F7DC8757F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a87126bb6f5fa8df71470ed6561108b83c931e4","datavalue":{"value":"software transactional memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2357153$181359B3-0DFE-45BE-B8F9-F649BF497F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ef6a6dbe3f6818e8885b9872ec6cd3307cfed8","datavalue":{"value":"correctness criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2357153$3358CB83-46C8-4352-B5FA-FED5427E70EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2357153$81900482-D9A5-4973-9DBB-0AF76535FDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2357153$F9C454D7-2BBC-4C56-9677-E868CC86B1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940e730e98e11722e2d76ab21c8e140eab3e50fd","datavalue":{"value":"permissiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2357153$55997CCA-A59B-4D9B-BC47-D93917CFF181","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"083fd4c5abc69910b9ce956b10e6f7f1f5b45389","datavalue":{"value":{"entity-type":"item","numeric-id":36244,"id":"Q36244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$FCB905A8-FE25-4927-9DBA-8B559BE3CC78","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":"Q2357153$479E8705-F499-4059-A7E3-E9C66AE0E748","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71cbdd78fa477ea4439286fc8aa9894cd91cc82b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.06.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2357153$2052012F-2C69-47E6-9B70-E66D595A79E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d1168b0dc94f2a0ac559c9fb423de0ce790df0f","datavalue":{"value":"W2442252798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357153$C5D4EA33-7155-4414-96FE-6920E15DA972","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f8a597f0b5ad124b11eb01a7480f1ca588b028","datavalue":{"value":{"entity-type":"item","numeric-id":3540238,"id":"Q3540238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$3353CA35-88A6-45A4-9A3B-E8BE8145F16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1109072214a492931294f0da0ef3e3d4e1106257","datavalue":{"value":{"entity-type":"item","numeric-id":3408177,"id":"Q3408177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$006E8336-4DF0-4202-BC79-A20B64A3729A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7ac70217829001bfdbe229aa58327de02581ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853111,"id":"Q3853111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$468B8665-32C9-4934-972E-6D6F4DF15C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38043e24af5c53755f1733e10fe0d2e572f0ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4711346,"id":"Q4711346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$BEA5732C-F116-4D31-AADB-D728325D670E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$637310A2-4101-46F6-8B05-3FE4599FF6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b0a8eef26e8dce40e88725b71dbc583b05e9a","datavalue":{"value":{"entity-type":"item","numeric-id":5361405,"id":"Q5361405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$C2EE6361-A093-49F1-A9E6-5A83AED267BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc07a85d1d77e91b2336d7c2c45d39effd4f8645","datavalue":{"value":{"entity-type":"item","numeric-id":693754,"id":"Q693754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357153$9F63D8A2-5162-4A50-A6FB-B6E429E34677","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53e8adf30b260560038a2205391a0c70047020b7","datavalue":{"value":"10.1016/J.TCS.2016.06.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357153$AE7FA554-7769-4D68-B746-96B44D25E7B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b813c730c2ca7287716f7762dccf0eec65ade5be","datavalue":{"value":{"entity-type":"item","numeric-id":391262,"id":"Q391262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631c0dfa0670bbd215cf90b28efafe327a1325b4","datavalue":{"value":{"amount":"+0.8073243498802185","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":"Q2357153$0DA3DFCB-5FE5-4F81-9DDB-AED7C8958248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b272e12019d907a730c6720acbbd4805fbe345f2","datavalue":{"value":{"entity-type":"item","numeric-id":4967228,"id":"Q4967228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfea6d4473f1ee1fe6dc45c6747aa0e3744d899","datavalue":{"value":{"amount":"+0.792747974395752","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":"Q2357153$60FC651B-C42B-43FD-9108-B610610D1A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d41f4bf6830d5724a7f1e6bdde605230062692","datavalue":{"value":{"entity-type":"item","numeric-id":6487541,"id":"Q6487541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6975296563ba6218ea9ee8e703057c18f9c1d06","datavalue":{"value":{"amount":"+0.7823899388313293","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":"Q2357153$0FA34A02-0CB8-4D89-8DD1-726237174BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573201f06fe9b16eb9dc3d33f5d647a5d78f5831","datavalue":{"value":{"entity-type":"item","numeric-id":470040,"id":"Q470040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77f0ddd988058e95bf2d16ebf29a6f5d7f93522","datavalue":{"value":{"amount":"+0.7789602279663086","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":"Q2357153$6448B84D-D833-41E7-B094-B77DF32B418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893ba7e517ee8e276d0b9e059f30252025f98f2e","datavalue":{"value":{"entity-type":"item","numeric-id":3636851,"id":"Q3636851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee07db9bdd45436a3dc23eb1863a0ff407de43c","datavalue":{"value":{"amount":"+0.7778499722480774","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":"Q2357153$AAFB651A-C94E-4871-A45F-88CB91EE8AFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-interference and local correctness in transactional memory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-interference_and_local_correctness_in_transactional_memory"}}}}}