{"entities":{"Q2961579":{"pageid":2972304,"ns":120,"title":"Item:Q2961579","lastrevid":52748405,"modified":"2026-01-23T10:22:44Z","type":"item","id":"Q2961579","labels":{"en":{"language":"en","value":"Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687367"}},"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":"Q2961579$8AF00230-32D9-4312-8B25-AA5DC4CE9DEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55c21baf71f2e90039290aed78b2f81b2c3b6a07","datavalue":{"value":{"text":"Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2961579$E77E9459-9BBF-4C43-9074-B0C4D086BDDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e39654718f6e91752596119183e59254137ab9c","datavalue":{"value":"1484.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961579$539739BF-7647-4C56-A68E-16A7A07C50F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f694bfba103398794f4dc89099dffb9b4d54b066","datavalue":{"value":"10.1007/978-3-319-52234-0_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961579$1D52F99D-E0C6-4360-9EA1-C4C42AAF640C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a4f7cb52fa626f06c44acd3b274f4ba7dc0fae5","datavalue":{"value":{"entity-type":"item","numeric-id":2961578,"id":"Q2961578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$D7016C33-7737-4484-9004-F228B3725FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79110293abe8df1d1b69baf84d1546747a32f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":681348,"id":"Q681348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$E829BEFF-0AE5-4404-99F4-4158DBF6E9D5","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":"Q2961579$C8F53DE9-815B-4F9B-BD27-2DAA8A6B0E34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2961579$1BACF1E1-664E-4255-A3F2-B79B68CBE8E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ba58cb342713af8616c02e9e26fba73b144f7bb","datavalue":{"value":"https://hal.inria.fr/hal-01490178/file/vmcai17.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2961579$4573FB2D-2AF0-4691-A4B5-6D6065B6E52C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961579$23D5AED0-693F-4699-A72A-1D9675667272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961579$E7DF80CD-BC25-41A4-A478-04EB886AF918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961579$2451310D-4B34-42B8-96A0-7D8419363440","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d2304c53f0595a4aa25cdae38be21975bdc380b","datavalue":{"value":"6687367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961579$3F34FA7C-DEE9-43E8-BCED-87C17E0D3E0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961579$20D3FFDA-195B-4999-8E67-225194252894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961579$7AEA1DE6-9544-4112-8C11-94A3CAD537AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961579$23FC13D4-9626-4F6F-A354-ADDF9D3073EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1efc8a62ea3728b6fd2d03aafe692d629a0d389d","datavalue":{"value":"thread-modular analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961579$C8C4A3E9-38D1-4640-93D3-45FDC8CE57F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5fe7f0b1e79f7cfe4f3a5fa059692a17802888e","datavalue":{"value":"rely-guarantee methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961579$5F921C04-70AA-4056-A6DD-C18941E34FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fbafcd2b87f3e95461485feecb8704240f0335","datavalue":{"value":"numeric invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961579$AE1C98A7-652C-41E5-8265-70A9EB5A67F9","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":"Q2961579$8669C292-95F4-4BBA-844D-6C187E218843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3ec25a371ada0015acf86abd0e4aff2191cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":20423,"id":"Q20423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$83CC9A89-34BC-4050-9594-F78E95882CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3e51a1966904a3ae55453357c0d638f6ec765b5","datavalue":{"value":{"entity-type":"item","numeric-id":21917,"id":"Q21917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$BBD179FF-3784-4749-9E89-3A8E9797600E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$82FA92F5-7FDB-492F-9827-078F3148047A","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":"Q2961579$E1091906-4679-4324-AD21-908E96C39482","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d170c1c06e605a965dcac3001462729553be7642","datavalue":{"value":"W2569507975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961579$BBA231EF-DAA2-4D2A-828D-9BC3BF1854BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4ebf12cf2eb62c6833574ce09cdeadc67088b9","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$B405F541-827F-4AC3-AAD2-6C3A08EBA0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$44A81CCF-CE77-44E0-A375-74C4F5F23A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a25409f0a2955ff9227dd74a7c11fe04dac7c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1039842,"id":"Q1039842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$496BA790-23CF-48EB-BF3F-EE838F7B58D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e445d6a0b46f41096db92cf8935339aaa15c68","datavalue":{"value":{"entity-type":"item","numeric-id":2441711,"id":"Q2441711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$FA8F0BDB-F18F-4DE8-B21F-A08845A7B346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$8253279A-E4CA-4B5B-86E5-044FC6430444","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":"Q2961579$CDF33D90-040B-43E9-BA11-A980BF2DCE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$D6567D74-0862-4B95-A944-141E022AE593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fe9f137dafa8b34f1778e431bd1d6622b97cc6","datavalue":{"value":{"entity-type":"item","numeric-id":3525149,"id":"Q3525149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$B174EA61-E094-4584-8C09-7E31404489C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a51dbc9abffc0a2460ef1d45191e189ab66ec4f","datavalue":{"value":{"entity-type":"item","numeric-id":3000591,"id":"Q3000591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$C4F63A73-6CEC-424F-9DC8-2446734B74C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0800ed1fa7e9f20d3dc382bf09fa43ecc4726d3c","datavalue":{"value":{"entity-type":"item","numeric-id":2938060,"id":"Q2938060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$6CC4DF40-713E-4199-A66C-7587B416F200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916b447b33fd0f2e33de5d81191dc1f4c7211a06","datavalue":{"value":{"entity-type":"item","numeric-id":2881094,"id":"Q2881094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$A5DAFE4E-8D83-4A9E-A1AA-CD5C6D2534B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$4A0B786C-4663-4388-92BB-E68B257FE016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961579$FC102088-36BA-432E-8725-B56E6CF3675C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e119e4eb04887160b9cb7d03680877ce2a9ed7c","datavalue":{"value":{"entity-type":"item","numeric-id":2938060,"id":"Q2938060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f02a6adfde7183efa0259e1f3d9e75868abe5e","datavalue":{"value":{"amount":"+0.9014718532562256","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":"Q2961579$1CA2266E-7BF2-4693-980A-2641987D10EF","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":"a24152abbba79e89b1c4909dd217f3490f012f13","datavalue":{"value":{"amount":"+0.8523953557014465","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":"Q2961579$65A10AC7-D16D-41AA-A542-02BC7DFDEE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c3135e5ecebcacbcced1d8b2de756c24ecf692","datavalue":{"value":{"entity-type":"item","numeric-id":2145342,"id":"Q2145342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b15f9b7a34eab58e7e8a44334517316447f1ee","datavalue":{"value":{"amount":"+0.820018470287323","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":"Q2961579$65EFFB2F-E73A-47C2-9383-0424F8EE25BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f83a6bc04d9e714480577eeb1e3d2fdb1e692a7","datavalue":{"value":{"entity-type":"item","numeric-id":3612004,"id":"Q3612004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f422a7103eeb43769ad98fbe73d6e606ed372e1","datavalue":{"value":{"amount":"+0.7821078896522522","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":"Q2961579$79D41201-9A66-4A6B-B175-8A8B69A16B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b600f87342574e3ea1db5b14d94ebc7d907f3269","datavalue":{"value":{"entity-type":"item","numeric-id":5408561,"id":"Q5408561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec4771d808fbce5a22473583fb46f8a21619aaf","datavalue":{"value":{"amount":"+0.7819572687149048","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":"Q2961579$6BD75129-1EE5-4DE3-80B5-5F58A6EDE007","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2961579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2961579"}}}}}