{"entities":{"Q2961574":{"pageid":2972299,"ns":120,"title":"Item:Q2961574","lastrevid":52748393,"modified":"2026-01-23T10:22:43Z","type":"item","id":"Q2961574","labels":{"en":{"language":"en","value":"Block-wise abstract interpretation by combining abstract domains with SMT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687363"}},"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":"Q2961574$41E90BCA-091B-46BF-9577-2F90AD23F901","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab7d409382babc65435939a0a2015f4c1a121bfa","datavalue":{"value":{"text":"Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2961574$CB81A4F0-B9B1-4E1D-AE95-E2EDAEC9AA31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d2e06f6093fd177b6e1edff86a2836b129d0877","datavalue":{"value":"1484.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961574$77824803-C0DA-4E3C-9821-231A3C6801A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d383af028efb35153357c5bba325e153c492d89","datavalue":{"value":"10.1007/978-3-319-52234-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961574$659F59BB-57F1-4088-B527-4961A55AA430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bfda1c1725e94eb2f9cf01ce29fab6d51b1cad3","datavalue":{"value":{"entity-type":"item","numeric-id":2961573,"id":"Q2961573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$86EED06F-51FE-45BE-B6D6-6D6C0722840E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15042877c5e33a19551e4b2dfc140da24b7c9013","datavalue":{"value":{"entity-type":"item","numeric-id":281289,"id":"Q281289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$D5E1D0E1-A164-4F6B-9FD7-E01A0BC0CA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ee0fced1d75703c66ef1de94a30cee4fa9f159a","datavalue":{"value":{"entity-type":"item","numeric-id":281288,"id":"Q281288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$EA086809-E5C6-45F4-A86C-B4B4F3655A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a987699fd23888733c3cf6186ec5b68180cd27f8","datavalue":{"value":{"entity-type":"item","numeric-id":281290,"id":"Q281290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$9A8FE5CE-B881-472B-BD8D-F25D0A632776","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":"Q2961574$A08F154D-0CCC-4E40-82E3-75FD2DD255DC","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":"Q2961574$EA1E549C-171E-4214-98E6-CE183490CE47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961574$5438E914-BC54-4791-952D-3F3B2D85C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961574$DEFF7C9F-151E-477F-BF5A-4028DE68B210","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a6862a960194edc77b4f9734028f09bf8e0af6b","datavalue":{"value":"6687363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961574$C2C89AC0-DFBC-4742-95CC-D993D67B6E9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961574$53669F10-6BBD-435A-9864-89E2B78182E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961574$3640E21E-A442-4C30-9241-AE63FFA38A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961574$CE404EA7-AE7F-4AA0-9456-79BABF1808E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008664e5507cb022a01b785c3102834c67bcb408","datavalue":{"value":"block encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961574$BA062179-1D42-4D14-B425-C01C3F57BFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f7b82989b92e55f23a284155ef019acab639cb1","datavalue":{"value":"sparsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2961574$56928509-0626-4638-8C3F-F7166242680A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3100986a2f21986377b1ad1ea1633be0427ca603","datavalue":{"value":{"entity-type":"item","numeric-id":32990,"id":"Q32990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$363189AC-5124-46B5-B6F1-3C2D5DF4B960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58e165eb815084f9a0c331d63332660ffc985e0f","datavalue":{"value":{"entity-type":"item","numeric-id":34457,"id":"Q34457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$2C3CC515-BD1A-4E20-A091-DACA5CE383E7","rank":"normal"},{"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":"Q2961574$CBABB2F0-EDA1-4E6B-8E19-8BBC7CF7C335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f636583a26240d6177ac1ea0a1a2046a522c7b","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$B914174D-44E2-44B4-A84C-0CF2D05A4609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f27acff849365f4ab8e32d28fed6e6b1e1bc2ce","datavalue":{"value":{"entity-type":"item","numeric-id":20537,"id":"Q20537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$E60433FF-26E2-4E1E-A81E-43E9D5593C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42326889d1190ba31d4d38e5f7ccee082e625c72","datavalue":{"value":{"entity-type":"item","numeric-id":25013,"id":"Q25013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$534A6730-CA2B-4D12-8072-78C05BB0356B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$AE2EB506-2674-4183-BCBB-13286F64932E","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":"Q2961574$F83748AA-A4C0-4D48-92AA-278669D375BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"febcb328a78a49efc75244f95bad78d1c394966a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-52234-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2961574$14CFD006-B81F-4FC2-8DCA-97E39E68E19F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d62701d6e66223d0b391402ea88862356269f2c","datavalue":{"value":"W2570631725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961574$92EA354B-F46C-4DE4-A81E-32AB9F4BADDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c84bacb2156f6dee41dbae90f188191d14ff028","datavalue":{"value":{"entity-type":"item","numeric-id":2894271,"id":"Q2894271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$1EB00D29-31DC-46E4-91E9-8CF05EC49FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab228c7e62b1bcdad8c7ad948c685ebbb01d43c","datavalue":{"value":{"entity-type":"item","numeric-id":3522071,"id":"Q3522071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$5214EBDE-2BA9-4062-B3D0-9F10CD2C420C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f29a5684e7a61f7fe324fd8585f3da58269989","datavalue":{"value":{"entity-type":"item","numeric-id":3392932,"id":"Q3392932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$85D5EE31-B90A-42E2-BA5E-112C2B5D224B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2987cf53cc59a0b67a9f3bb1ca867b435291c14b","datavalue":{"value":{"entity-type":"item","numeric-id":3000578,"id":"Q3000578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$9F3B1CDD-B98E-41E4-BABB-4B740E10577D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6320bcdb669492dcf10c397f92f5845b27f99b66","datavalue":{"value":{"entity-type":"item","numeric-id":845249,"id":"Q845249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$5304DACB-9ACF-4758-B777-7DC47A83B925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3527ffb2a53e53bf5a4104d55468d70942ed9c9c","datavalue":{"value":{"entity-type":"item","numeric-id":3000629,"id":"Q3000629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$CACC446D-E6E0-4573-968D-6A65964C7916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06792372c31ab179cb1ad0a30bc7ab6136b78bbd","datavalue":{"value":{"entity-type":"item","numeric-id":2891416,"id":"Q2891416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$C8C23F60-E18A-4149-979F-0738170830A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a42b76ec81d1d9fb0c3efe48d104aa5842d376","datavalue":{"value":{"entity-type":"item","numeric-id":4930734,"id":"Q4930734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$0818466D-0C51-4F57-B0F0-DC725950FA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66abb9095dbc3a897723093a77a1e1d68df2b1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5408453,"id":"Q5408453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$06691AEC-C358-43E7-80D3-35FD2205BC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$59A9D487-537E-4D77-9C99-C115CA0F96A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43d29cea4632ae9e5ef80b3f342a97b7af22778","datavalue":{"value":{"entity-type":"item","numeric-id":3575308,"id":"Q3575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$8D57D69E-E8C3-4B9D-9187-979067923446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc32c53b3b8069113dbbcb5f341961b64ca05d21","datavalue":{"value":{"entity-type":"item","numeric-id":5261513,"id":"Q5261513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$43281183-FF65-46C8-97C1-9249583A14D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$894F810D-E7BD-4C1D-81A5-499F74F56C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622597836737f5c116b557ce1aed5e10431f4f36","datavalue":{"value":{"entity-type":"item","numeric-id":5901913,"id":"Q5901913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$D8323F37-6C26-41D3-81C8-99109BE21300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961574$3801B5C6-FEC1-4157-9718-9DCFEE434C74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e250a238a6b462d756ca6debe1437899ce5a94","datavalue":{"value":{"entity-type":"item","numeric-id":3000582,"id":"Q3000582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f62dde4fe31eec0671ac60fd4c174403993355e","datavalue":{"value":{"amount":"+0.6988189816474915","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":"Q2961574$6853C6EB-B5F6-40C1-B74C-840E2E84DE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a639d3c4e34c89ee33af51ef6fb35f8abf283013","datavalue":{"value":{"entity-type":"item","numeric-id":5248942,"id":"Q5248942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7462c93806561d5799fdbb18cac87963b27de006","datavalue":{"value":{"amount":"+0.6805539727210999","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":"Q2961574$0A4FCBEA-4C77-4988-A683-0011E2EE0F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07c9093e060847b9e13d15dbfc9b71e30450b11","datavalue":{"value":{"entity-type":"item","numeric-id":765513,"id":"Q765513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b410d7d80402123f3c3f5bad080aa8719bbd1eaf","datavalue":{"value":{"amount":"+0.6776810884475708","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":"Q2961574$4FB585EB-1E7A-49C7-A60C-E5AD8E099D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac5fc8ff0618732ad270845236507f325982e50","datavalue":{"value":{"entity-type":"item","numeric-id":5395699,"id":"Q5395699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0b19506589679375746a5a8c0563d8c8b8b2fd","datavalue":{"value":{"amount":"+0.67725670337677","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":"Q2961574$270F5661-53FF-4E76-8035-82A1D6735848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f026028ac2453ab62d29113f9803bb0803845880","datavalue":{"value":{"entity-type":"item","numeric-id":2961582,"id":"Q2961582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc3b0a2cdcee7ee5961dfd282aa54f95c88e64b","datavalue":{"value":{"amount":"+0.6756011247634888","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":"Q2961574$0B1287F0-D793-4B63-A60C-F6E98806D67F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2961574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2961574"}}}}}