{"entities":{"Q2938060":{"pageid":2948780,"ns":120,"title":"Item:Q2938060","lastrevid":85097993,"modified":"2026-06-03T05:52:22Z","type":"item","id":"Q2938060","labels":{"en":{"language":"en","value":"Relational thread-modular static value analysis by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385874"}},"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":"Q2938060$4EDB2873-778D-4AD4-91C8-D5BFD9D22E51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"511bc5d131cf3a6b0ee53e33cbb68a91ff23eb5a","datavalue":{"value":{"text":"Relational Thread-Modular Static Value Analysis by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938060$6B4F3CF5-6CA2-4883-B82E-67EFE8193322","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b357f8dfa5fe606bdb43aaddc983e5533a446cdc","datavalue":{"value":"1428.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938060$D5458C3D-A3EC-4A3D-A79A-BC67051A76A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6da7f337973d8f8aba82254e10587c875d12c335","datavalue":{"value":"10.1007/978-3-642-54013-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938060$8FE36FA4-F74A-437A-9296-D53E2119F259","rank":"normal"}],"P16":[{"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":"Q2938060$A0426B39-6B25-47DC-AE93-7C0B7300AA77","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":"Q2938060$90E60717-3A69-4C1F-86DC-40600879C2BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938060$A6921143-4717-49A7-AA9C-20621E1981CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938060$F7B5756D-DF39-4B33-ADCC-6E18F75BFD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938060$311B5483-F1D9-4D81-A381-F4AC24A49C09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15551ca09984b3588c90f7bc6d55eb63bef0671a","datavalue":{"value":"6385874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938060$8FD0AD52-A99B-4F74-8E8A-AF1D8AF5381B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938060$3A5050A4-4307-445F-B84A-39365EBF1736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938060$AA23B0C7-0BE3-4118-8157-369D2236DBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938060$842C3627-2484-41B2-8D3D-7A4C840347D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938060$C5F9F928-D51E-499B-8E5E-95C290343069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938060$439BEFED-51DA-4CFA-B57B-410EF29871C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f6fb76267775b60679278a0b0b93590231a5473","datavalue":{"value":"embedded programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938060$3321FF0B-12D1-4AE7-8007-F80FDB902DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5fe7f0b1e79f7cfe4f3a5fa059692a17802888e","datavalue":{"value":"rely-guarantee methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938060$C84B4007-E884-4629-B409-BA432EFB0AF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938060$736E95CD-8547-47FF-A702-FE77F8E15050","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":"Q2938060$44A96CD0-6E99-4595-9AB7-6FF2E5C79865","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0db4750e1e253c0d06b59f8294e84b50c1c487f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54013-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938060$684FE60B-F2F5-451C-854F-B4285CAFEBEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48ec3b2ee05fa74237b74aa7d11ae9cbf1fe7177","datavalue":{"value":"W175092372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938060$F3246ABD-4CF7-46E8-AA77-787DE0996FD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1609815e354014a0213f2a4853304fd3a5213751","datavalue":{"value":{"entity-type":"item","numeric-id":2961579,"id":"Q2961579"},"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":"Q2938060$C9AA8906-04F1-480B-BC32-005732D63A9C","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":"acb38237350af2178f52760094c02afffea0d9d2","datavalue":{"value":{"amount":"+0.831467866897583","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":"Q2938060$3A6DBE8E-B062-4081-A66E-8BF887E4E992","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":"bd1f3d35dae478f3885275f90a8f30de7af4e80b","datavalue":{"value":{"amount":"+0.8025397658348083","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":"Q2938060$2A0B69FB-62C4-4954-AC98-A6C6A08442F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebc2e13a83292040a2e400e32fd2c36af55e57a","datavalue":{"value":{"entity-type":"item","numeric-id":1650954,"id":"Q1650954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12eaa1853a255e7c8923170b8384cd34d79e81e","datavalue":{"value":{"amount":"+0.7705651521682739","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":"Q2938060$2257D56C-B637-4E59-AD5F-A33B281A8C90","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":"7a00a24cc0822f547f26e0f1c7e2f898f398e621","datavalue":{"value":{"amount":"+0.759843111038208","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":"Q2938060$A1AEFCAF-57CA-4DF2-8360-217AE0B494CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational thread-modular static value analysis by abstract interpretation","badges":[]}}}}}