{"entities":{"Q3557086":{"pageid":5586990,"ns":120,"title":"Item:Q3557086","lastrevid":50969006,"modified":"2026-01-16T00:02:29Z","type":"item","id":"Q3557086","labels":{"en":{"language":"en","value":"Trace-based symbolic analysis for atomicity violations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702252"}},"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":"Q3557086$252B9598-EAEF-4F03-B0D1-11FF60C92254","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fc3ec10f040d6f1e65d2ed7dcd0d85b305b55e9","datavalue":{"value":{"text":"Trace-Based Symbolic Analysis for Atomicity Violations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557086$4E2610AD-3FA1-4366-9933-20EC0D5C5FB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fff11ce13d10407d8547db7d4e6732659b8a135f","datavalue":{"value":"1284.68418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557086$3E930379-0D23-4E6A-8079-39B3EFAE1F48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb173af8cc77169ef39748a5d907a0e3a2d54ba7","datavalue":{"value":"10.1007/978-3-642-12002-2_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557086$23B549BF-D8B7-4ED4-B104-A9CDD21B1B77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557086$987F1E74-73DA-457D-A0CE-D26E3AAA4B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"553848991d30114d4b3e2438cfad715d9b678e5b","datavalue":{"value":{"entity-type":"item","numeric-id":432143,"id":"Q432143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557086$C4E73C62-B7CD-4083-8F6A-DB56BBB8D447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557086$D05C08A1-5F14-46FE-97BB-0AC58F1DD623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3495207d1965356b5c09ec509a7ee4275d91cd14","datavalue":{"value":{"entity-type":"item","numeric-id":947793,"id":"Q947793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557086$AFB40CF3-29EE-48E7-94EE-8E7A037E8B7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557086$12F870EC-6E3B-451C-9EF5-EFDF53EEC176","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557086$EE40504C-1A3F-4671-A4CF-3B24BE8ABC52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557086$61545A1A-26EB-4185-B188-3184B0A82DD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b27a52bdd38f9cdb8fbf2b4bb4fdb91b660382e5","datavalue":{"value":"5702252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557086$01E160B7-DE0B-4AC9-8860-A1ABA7926721","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"876cdc198015d132fabee7f7976964e4a2f99640","datavalue":{"value":{"entity-type":"item","numeric-id":21862,"id":"Q21862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557086$E193F915-1F0C-46B0-B86E-4A6B22D3CF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0264c458824c0394336bb6cc942a0d1696a3763","datavalue":{"value":{"entity-type":"item","numeric-id":20920,"id":"Q20920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557086$43CD6B1A-DC3F-43D2-B6CA-EC87CCDD5773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a3b2bc7a1628fa1eabda220afee61eefbe04040","datavalue":{"value":{"entity-type":"item","numeric-id":20921,"id":"Q20921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557086$BCF88EE7-8CE1-4FB7-9CF4-E101D5C164B4","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":"Q3557086$FE35A4B8-0137-4936-AC50-9A64B759B2E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b145ab71a1a4d6f3c5b8f93c8a4eedd17f357692","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557086$B95B3DB3-33C2-497D-B849-FFABC43531DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d8d4fc73de8eec9e346822e4fdd95622983ded3","datavalue":{"value":"W1581214603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557086$05458BFB-3AC7-4252-8E8D-3806B066225C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf451d6c4e4ddce88f9441ba23791d1b6b0d373","datavalue":{"value":{"entity-type":"item","numeric-id":3617757,"id":"Q3617757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4731bdc33e02e2f628d655a54386060a3c51076c","datavalue":{"value":{"amount":"+0.8251398801803589","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":"Q3557086$102C88CB-238C-4D06-BA7E-E91B559733B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"411cfabe0a6fa12dcc954e21c6ab92be2ecfd524","datavalue":{"value":{"entity-type":"item","numeric-id":3636865,"id":"Q3636865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea7be67ea165dbc352224f73bffa980fa24c14e","datavalue":{"value":{"amount":"+0.8153812289237976","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":"Q3557086$4FAB7F02-5356-4B11-978A-1419A48969DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26e66def2119f0829e69e657eda0bdd61375c955","datavalue":{"value":{"entity-type":"item","numeric-id":432146,"id":"Q432146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc121a13a1313478112d56e903c7c1e4975b06b0","datavalue":{"value":{"amount":"+0.8047590851783752","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":"Q3557086$0922E364-FDAC-4E13-8229-95019CFC5160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2164f0576e69d10dcd86ec792c6932288b32c2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3512481,"id":"Q3512481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf55af10c4235548ba003a8d83da10b76c20a394","datavalue":{"value":{"amount":"+0.7654175758361816","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":"Q3557086$9C1385AB-FCBC-4E98-8D1D-9DAB28F84352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8410a731140e0c1d260ac9ee47fd4c24e4e917","datavalue":{"value":{"entity-type":"item","numeric-id":4989030,"id":"Q4989030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059f08045107b8732f41b76da09d176d3b9efa28","datavalue":{"value":{"amount":"+0.7473791241645813","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":"Q3557086$FD8D8CB7-D036-4A1B-925E-63C61B3D827B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557086"}}}}}