{"entities":{"Q2279128":{"pageid":2289871,"ns":120,"title":"Item:Q2279128","lastrevid":78648584,"modified":"2026-05-06T12:06:24Z","type":"item","id":"Q2279128","labels":{"en":{"language":"en","value":"Completeness of abstract domains for string analysis of JavaScript programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142680"}},"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":"Q2279128$F05F08EC-F411-4343-A762-1539E3D43F1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf1dbea8904a9dccf8e14682bb8ce86f1405d30f","datavalue":{"value":{"text":"Completeness of abstract domains for string analysis of JavaScript programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2279128$B56A1C98-5FA7-4727-A27B-4D3F18256B6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d4531f076dd9a7ba6bd0f364a821433cdd42221","datavalue":{"value":"10.1007/978-3-030-32505-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279128$DB96E91B-C540-409A-BBAC-5A623FE60399","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e905d93a35397d5386e28e1f6b528de978069a","datavalue":{"value":{"entity-type":"item","numeric-id":1650955,"id":"Q1650955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279128$B5F2B488-740F-4B8F-AD20-0E4CFD8F3AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8153105df4a6157a79383e64b85be1dc508ac348","datavalue":{"value":{"entity-type":"item","numeric-id":2051811,"id":"Q2051811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279128$701A4257-82FF-429F-90C8-E1C23D3B1410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279128$9FBBFF04-F0D1-43CF-829B-2647885FA76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279128$BBCDB248-0CA5-477D-B2A2-4A53EA513939","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59fb3af1fc435d619b3c51ed9fbb031a0316176","datavalue":{"value":{"time":"+2019-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2279128$8FBC668A-FCDD-45FC-A1F6-C11BB25F7BE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6efef9ff2b8415b0d0b8ed3eaf3bdeed0d11f6ba","datavalue":{"value":"http://hdl.handle.net/10278/3721097","type":"string"},"datatype":"url"},"type":"statement","id":"Q2279128$92BFDCA7-1F3C-4339-B89F-A5C65041A02C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279128$6F24236B-C630-4B53-8A9B-A69DB2773EF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f1ea4b9ad5c82e7a326f13fe8fbb9ec83efec93","datavalue":{"value":"7142680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279128$729402A7-1C62-4F74-909B-5B96EDDA907D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5320aeddbdac925f52464c1df2b82187d8e822a8","datavalue":{"value":"string abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279128$BC3EF28E-1BA5-4F37-A6C8-04DE0BC89AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60a90c2a6776d9739387766e83f23551f5917095","datavalue":{"value":"abstract interpretation completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279128$593A7B1B-E654-43CC-B1FD-959C4BB23331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadd9a09808f8bd8d66a803913b7ae22ab545df5","datavalue":{"value":"string analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279128$D007A087-454F-486D-B06B-A856ED993F24","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279128$062CFB77-00F0-4648-82ED-AE48124CEEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bdf32cbadeb7558eda754397e87c5420d6ced54","datavalue":{"value":{"entity-type":"item","numeric-id":33653,"id":"Q33653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279128$BCF67DC8-36C1-4BF5-9B2C-116922174270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"685796c51de3795ecab816cd14f25cd9ee64b09c","datavalue":{"value":{"entity-type":"item","numeric-id":42235,"id":"Q42235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279128$38695DAF-AA62-46F6-B678-02FDD94D7C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c447ef2d5d7e0643f70c6b08d4eaf3e7dacfe662","datavalue":{"value":{"entity-type":"item","numeric-id":42897,"id":"Q42897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279128$4AC9913A-38DC-41A8-8B24-E4F4A9A44B36","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":"Q2279128$03B6C0D3-12C4-4CAC-B0F6-EE2A0924578C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41341dfff2c22b2b8bf7cdc72b1ab548ba0048f2","datavalue":{"value":"W2981410985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279128$B0BE3896-7F06-4F8D-9637-F96ACEB59310","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a38c66ab2bdd65ff3d01bfc97043b16083a970","datavalue":{"value":{"entity-type":"item","numeric-id":2051812,"id":"Q2051812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0df5551d2fa3fc345ee9b3ae4953ba1cc4b164","datavalue":{"value":{"amount":"+0.9177148342132568","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":"Q2279128$7CF8834D-F646-400D-811B-792C94FD3667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c45d081081954201ed6147b22adc377d3cd248","datavalue":{"value":{"entity-type":"item","numeric-id":5741575,"id":"Q5741575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92f2a8e6783d7bc09d3abbcc2609fe9bc2c6eb1","datavalue":{"value":{"amount":"+0.7694685459136963","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":"Q2279128$22EB10AA-5264-4760-81A5-483EE7DBC61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3a73d3bee38444a85741cc5e5ebd762a5fe713","datavalue":{"value":{"amount":"+0.7641043066978455","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":"Q2279128$CB44EB74-1655-4334-9C86-AD7823DAF7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff59710ee10f1e04705efd3ee100592586c87299","datavalue":{"value":{"entity-type":"item","numeric-id":2926636,"id":"Q2926636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841a1b166165dc9c593487032a3d794e0664bbef","datavalue":{"value":{"amount":"+0.761355459690094","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":"Q2279128$99E08C8A-1CA4-431F-9CB5-7391E9AFBA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06dba47fdb308b827ae5c4f66f81b03f8e3d58db","datavalue":{"value":{"entity-type":"item","numeric-id":6164426,"id":"Q6164426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad6b8532fdfb11edffd7ddabafa0572a33952d4","datavalue":{"value":{"amount":"+0.7354047894477844","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":"Q2279128$64962A10-62DD-4BE4-933F-536CFEE3B7E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of abstract domains for string analysis of JavaScript programs","badges":[]}}}}}