{"entities":{"Q681346":{"pageid":683195,"ns":120,"title":"Item:Q681346","lastrevid":63436023,"modified":"2026-04-11T13:10:16Z","type":"item","id":"Q681346","labels":{"en":{"language":"en","value":"Effective abstractions for verification under relaxed memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6832419"}},"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":"Q681346$283B199E-0A50-4A3A-8513-F9CCEB004E4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e6e038917c7783a39fd1490af79262e90475385","datavalue":{"value":{"text":"Effective abstractions for verification under relaxed memory models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681346$757929B8-A72F-450A-9102-A4303FE5BCA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"512cf245daca9fe17d872e0e345182ba4de083c6","datavalue":{"value":"1379.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681346$3B92F8C2-ED02-4685-AE53-6CB502453BA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb6823007120ac31ecb32928e1f78d18890d0f1","datavalue":{"value":{"entity-type":"item","numeric-id":681344,"id":"Q681344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$D8B474F5-0990-4E0D-B4EB-955FE8BB1785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e1f45a09a9a289346056c16d3533cd18ecb557","datavalue":{"value":{"entity-type":"item","numeric-id":681345,"id":"Q681345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$83F997A1-FDCA-4FC7-A6EE-402AD361AF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$816582F8-9C03-4A95-9270-C5E2C425E2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e55c227f8b64771c2649b094e2a0e25a9ba811","datavalue":{"value":{"entity-type":"item","numeric-id":2164252,"id":"Q2164252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$78E041EF-B8DF-4916-A17C-E0D50D67D9AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$FB420CED-BAF6-4D88-B422-F6D257A7D24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee1298fdc8d29584d7dbb02d41e73b7c90698eda","datavalue":{"value":{"time":"+2018-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q681346$646BE0BC-679F-4D6F-910A-5454287935B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681346$848BE491-797A-4C1D-9D24-060996296179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681346$EC8C71F1-CA31-405F-98A8-9AB28747A495","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ece05e3349499cb6a77283664483d905b6dc3b8","datavalue":{"value":"6832419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681346$125FB14F-C8D9-43FF-AD12-69FB50CCF059","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q681346$9ACC3DF3-C1EE-4385-9421-36A1DA51C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c5d74db814ce63482dee23e586c9469a6bc76","datavalue":{"value":"relaxed memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q681346$5D6DC975-BD6C-45DA-92F0-C3D21E47ACDB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$77071E31-3075-4955-9F98-FA307D78D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$32F30581-BC2E-4167-B95D-33A598068644","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":"Q681346$3F4E82F2-F8B6-4898-BCCE-E58B52CD1850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"477fabff186e6afc5ba68d40352f09bd5b1fb931","datavalue":{"value":"https://doi.org/10.1016/j.cl.2016.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q681346$4EEF9D2A-B759-4A6C-A50D-AA6954DE44D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8ae9b18de48fb787d476240875876397bd27a7d","datavalue":{"value":"W2325560378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681346$996C52C7-E8DA-48B6-8035-230A08004B06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278f450e92c60aefd3ce7b062893c4212f063b7","datavalue":{"value":{"entity-type":"item","numeric-id":5326305,"id":"Q5326305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$740EBAA7-9E7B-4433-94F7-93A343D41B8B","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":"Q681346$E66F2F6A-749D-487E-B7D6-5A11F296B6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e332fddbf537e314e1a77dd4548ba78b755c2334","datavalue":{"value":{"entity-type":"item","numeric-id":1935967,"id":"Q1935967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$32CE4640-3D9D-4BCD-8769-D7765E8AAB14","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":"Q681346$9E4EF265-99D3-4221-9570-FD33F411980E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$727A1DE6-C9B1-4CB7-9F73-FB795B0F0471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e14081775351f6e9d8302e29cc683691607c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681346$3D54BCF0-60A6-4807-814B-2842A3F962E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb58d255f46092385018fe28b00c9b8458e0e720","datavalue":{"value":"10.1016/J.CL.2016.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681346$A226C6A0-34CA-47E0-9F90-0AD9E051D8B4","rank":"normal"}],"P1643":[{"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":"f59a8998676f5f5cc571f4464fdb61f579e4d77c","datavalue":{"value":{"amount":"+0.995862603187561","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":"Q681346$FFB90AAC-D851-472E-864A-30F2F3036C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53389ff29cd92def7f542c1a68c503dc45db02e7","datavalue":{"value":{"entity-type":"item","numeric-id":3512487,"id":"Q3512487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81d1d60394e960c95a14f2f22f2ed97c25ee75e","datavalue":{"value":{"amount":"+0.8571339249610901","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":"Q681346$CA8958F0-8DB6-450D-BC83-389FB7E760D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d727fd8d8bcb9eb5c9df51079744dffa35d93f","datavalue":{"value":{"entity-type":"item","numeric-id":6166139,"id":"Q6166139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4cb72e8c537308def8844cf1a1e41a04d2a970","datavalue":{"value":{"amount":"+0.8289312720298767","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":"Q681346$DD43B63A-0624-4FF9-9C37-5ACF47D68438","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":"600e68a4a75dfe21c008e7109355108f0d473d3b","datavalue":{"value":{"amount":"+0.807076632976532","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":"Q681346$7A74C1C0-C1E1-4BE6-9867-38C2025982AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43edea7c4910069bcdaffbce23efce22ef0d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":453508,"id":"Q453508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3171bbe4e1392dc320392fcba770923b5d8bcb","datavalue":{"value":{"amount":"+0.8039323091506958","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":"Q681346$F6D85CB7-8127-4859-A8A5-B1D83A563DE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective abstractions for verification under relaxed memory models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_abstractions_for_verification_under_relaxed_memory_models"}}}}}