{"entities":{"Q4635587":{"pageid":6665168,"ns":120,"title":"Item:Q4635587","lastrevid":41612781,"modified":"2025-05-06T09:18:05Z","type":"item","id":"Q4635587","labels":{"en":{"language":"en","value":"Abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863060"}},"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":"Q4635587$C40B0E31-5C1E-44E4-B55E-EA811B7A08B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a36f7ddeacae7e1b99a22c56de74acd92dd980dd","datavalue":{"value":{"text":"Abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635587$68EA9047-DAE7-4C14-A886-133214511E25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10baad2c26f8a3cfc146eb0a486751aa023705b3","datavalue":{"value":"1401.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635587$C851B9B0-32B1-4EC8-9836-A4742808F3AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1edb879a879a09912b1aa263d245a4983882a2e6","datavalue":{"value":"10.1145/2603088.2603165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635587$C23542BA-CF91-4A0F-96E1-74E41C0B069D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635587$435DCDAD-F46A-4020-9F58-AD109F6877DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635587$C514942B-4965-4F31-B408-4C19123A0285","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635587$A5D9E015-9447-4208-BEA2-A66E218298D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4635587$9E61F9CA-3AD2-4FF0-939B-CFC85D5D7469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635587$F339117E-4FC4-4504-95B1-BD937F61F672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635587$BB7AABC2-3F45-451A-AA67-B0611FA0316A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5edc91c9c56a006c246226b6fbefd4fe6b84295","datavalue":{"value":"6863060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635587$CD6A0EDC-7881-4DFA-9CBC-5BF2EC2AAA9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635587$0C1A9950-6792-47AE-9A89-B4C3D62CC586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635587$B59B9D89-DDA1-4F1C-B517-F8793D32B605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635587$0DB15443-99B6-4A5D-8713-FA0D5C5C3140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635587$BED71D69-E76C-4B40-8DC7-A1E34EA4CD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635587$C71C0B7B-78CE-4B87-80B5-2EC4F16EE45E","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":"Q4635587$9F3468E6-8C74-4626-BEB6-347142ED267D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"378d47d1b5c73d44eb1ea232e0984cf5b2b2ab9e","datavalue":{"value":"https://doi.org/10.1145/2603088.2603165","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635587$BCE2D8E5-3D06-4B27-A4AB-B4C0DF7ED31F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b66f221780ad0cd7bf150e17c079ea56f8a36f8","datavalue":{"value":"W2163563828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635587$A866CD70-FE59-4CB1-AE9B-E0802CD49C3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20df20d10bd6bd17dff0833ae1564e325270088c","datavalue":{"value":{"entity-type":"item","numeric-id":4738461,"id":"Q4738461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20218c8da10e29a11b985034b32c559826090c30","datavalue":{"value":{"amount":"+0.8810344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$5CF9A7B5-FDC0-4A40-8221-1155C507073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c1e3143baadacd9de757995dab24bd4d4030a4","datavalue":{"value":{"entity-type":"item","numeric-id":3142281,"id":"Q3142281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2341bcfc61f27830f273744c0f40a335bd85afba","datavalue":{"value":{"amount":"+0.8352947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$4A06ABAE-90B3-483B-8DE0-329EF1591E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74be4250a95f2f4d16e502bf14990faaf1b4b57","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829dad47de688370f2f334c4566cb7ef522af704","datavalue":{"value":{"amount":"+0.83049953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$B96EF719-C45F-4A3B-90E3-44275DFAA64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698369450c78f76e211c19d1c03abcf374364850","datavalue":{"value":{"entity-type":"item","numeric-id":3680241,"id":"Q3680241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4dfb87b5e5af2f738d2befa71d2d60ff4e7c325","datavalue":{"value":{"amount":"+0.8254766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$A83329BF-D183-4773-AA95-D8B8156FC113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c39de42580b153badabf394eed843b7000f51a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805148,"id":"Q2805148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a42f0f0d23a3a4b58e3e788dd39a49bd57d5f1e","datavalue":{"value":{"amount":"+0.82463336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$AC49DB97-8BBB-478E-A47F-13815A6E0B2E","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":"5f3a7193778367b695b02099432467025e8fdf30","datavalue":{"value":{"amount":"+0.8240446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$6E0FFB0C-6487-4A3F-B25B-B4FCF979C672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74690218a9ab9bd601eea2524dc0e612ac3e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":2164221,"id":"Q2164221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e885a2b95c77ab614ab159bcf2ab413d7c8961e","datavalue":{"value":{"amount":"+0.8141591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$52885CF1-87FA-4A13-ABC1-4D4E1BE39040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff5a3a02891211b28f5b21ef6b501d8bbaa68f1","datavalue":{"value":{"entity-type":"item","numeric-id":557807,"id":"Q557807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160421014973e21f64470db4ba031215aade4a0e","datavalue":{"value":{"amount":"+0.81364894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$E6A57EB9-AA72-4E74-A251-903C6E9F6165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681b5f9bf88a34cd72ae85c65c1e6bc0dc90d3e8","datavalue":{"value":{"entity-type":"item","numeric-id":1323307,"id":"Q1323307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac94ae65dd587ae0fe8cad5f03ae3bf4b1da3962","datavalue":{"value":{"amount":"+0.8076342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$522DF3E7-BF04-44D4-88B6-DD3255F3A16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2fbd2e8682849bbf0e7956d3e693fde6a5274c","datavalue":{"value":{"entity-type":"item","numeric-id":2932965,"id":"Q2932965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b30cd7fe1be7eca9a3a6d42a4070e7937baeb3","datavalue":{"value":{"amount":"+0.8053847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635587$7C1A4155-C034-41A6-83DE-09D9AF0E702E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635587"}}}}}