{"entities":{"Q6535551":{"pageid":14146694,"ns":120,"title":"Item:Q6535551","lastrevid":56991444,"modified":"2026-03-25T13:38:37Z","type":"item","id":"Q6535551","labels":{"en":{"language":"en","value":"Quantitative program sketching using lifted static analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7792965"}},"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":"Q6535551$44E3FB30-6DCA-41D5-9358-8F1F4D95C290","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60bfce1da69b32622bb0a57164193bb2e6570cd3","datavalue":{"value":{"text":"Quantitative program sketching using lifted static analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535551$DC8D147C-77F7-4A87-A795-7F4B30D6A784","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a096d97e1b8490cd16b9edefbde2962d0371701f","datavalue":{"value":"1547.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535551$2FC28E4D-03B8-4923-A132-FA22DDBFA56E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14c22a74e47d7de35ea6405ec9af6d6a12a65388","datavalue":{"value":"10.1007/978-3-030-99429-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535551$1E1DE876-C165-44C7-A27C-A37D47A420E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a730e63f1cf4870b40c1ba1697380387b326670","datavalue":{"value":{"entity-type":"item","numeric-id":477212,"id":"Q477212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535551$9D394FB9-EEB0-4038-BE55-A604CBC6F15F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535551$BC3C96CD-994C-4979-AD6E-023601DEE6F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535551$9F3D2963-8B1F-4590-B619-9F5A270934CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f10357478470ed3487bb4df5ca786eda14a235e3","datavalue":{"value":"7792965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535551$EBE463B6-7111-43EC-89DE-C48CD6FE7B6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e922a3ca515b7c4af5f6ab10b5220cea5fdb998","datavalue":{"value":"quantitative program sketching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535551$A3EC50F1-C293-4AFE-AF86-65A8E7BD9B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69968bd2d5a56855e83104f1e2127079267eecb0","datavalue":{"value":"software product lines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535551$BA3B4DB4-6EE7-4F6E-B8AE-FE0763AC653D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535551$F774794A-F941-4164-AA9E-0047B20E7C76","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":"Q6535551$C33A4DEF-2C67-4192-807D-770459EE631D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535551$4E25B7DB-0A8A-4544-963C-CE1F80482559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962fc8e79f87fb075c62283eea2f46f9c639a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5501954,"id":"Q5501954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535551$75F497D7-FA8F-4DC6-8278-CCFE0A79635C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b55213bfcecd7e997f242b86faf4721a68eaa5","datavalue":{"value":{"entity-type":"item","numeric-id":5408417,"id":"Q5408417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535551$A9CB7829-23E1-4B63-AE3F-5536E45CE8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f898ca648162baaaaa43237a18a3ef7a95d804","datavalue":{"value":{"entity-type":"item","numeric-id":3587252,"id":"Q3587252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535551$58504869-67F3-44C5-85AA-84ED12C793A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0688561b1bbb6444b64fed9f99f6baccf0da36","datavalue":{"value":{"entity-type":"item","numeric-id":2044175,"id":"Q2044175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535551$0681F8AC-27A4-4B7E-836C-CA2E48763E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a00a2286b0e8c50555c9946f34ea3ef9dcc4c8a","datavalue":{"value":{"entity-type":"item","numeric-id":2414252,"id":"Q2414252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535551$49E8A310-D247-4E4C-B533-2B5395F74323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535551$B9E2D90D-6706-402D-9440-64BDF0F0D6BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b958831560fb4f10ae04bf31a18a4d8d1b009a94","datavalue":{"value":{"entity-type":"item","numeric-id":5041112,"id":"Q5041112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9094ff2c8dbd6fa650737769ccacfb59588644eb","datavalue":{"value":{"amount":"+0.7778729796409607","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":"Q6535551$708BA65E-B6A9-495D-9AD8-9C273D193F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18bc1da1e5b564440243765567d4cefcb41a0c6","datavalue":{"value":{"entity-type":"item","numeric-id":5408417,"id":"Q5408417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d64d52ab5b2e9acb686f499c95ff11ac5a9365","datavalue":{"value":{"amount":"+0.7591361403465271","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":"Q6535551$CAD4432B-271A-4945-B45D-7D2D3950331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d693f9b18b9ace7f74f21854304ecfecffcb2da","datavalue":{"value":{"entity-type":"item","numeric-id":2828321,"id":"Q2828321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ae942e19dda2f6fcbe2e5f49ff83275c8cc362","datavalue":{"value":{"amount":"+0.7579885721206665","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":"Q6535551$18AE009A-B753-49F3-A38C-9987049A70C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db46351b49e31e524b780d30801740bf678703a9","datavalue":{"value":{"entity-type":"item","numeric-id":6045014,"id":"Q6045014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8034af9f9c1b813085ecdcd0b1bb615638d2cc","datavalue":{"value":{"amount":"+0.7373436093330383","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":"Q6535551$7C2F45B3-8B61-46B4-BC9C-9193FC086AFA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535551$DC2BBE6F-A2CF-49D0-9E41-EBDFEEEDD29B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535551"}}}}}