{"entities":{"Q3454115":{"pageid":5233515,"ns":120,"title":"Item:Q3454115","lastrevid":88240745,"modified":"2026-06-04T14:00:24Z","type":"item","id":"Q3454115","labels":{"en":{"language":"en","value":"Abstract Interpretation as Automated Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515525"}},"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":"Q3454115$B33B5F0B-8BC1-4C7F-9649-AF2034CD88F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a93132178064c095d7bcf6cae07af9b46aa45a0d","datavalue":{"value":{"text":"Abstract Interpretation as Automated Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454115$139FF719-4F9B-4BCB-AF22-C8755F8EB9C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec2ec26369bcb06ac78f09e541b3da96e1caf5a0","datavalue":{"value":"1465.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454115$B6516039-2392-4E30-A1FD-4E9F15C85202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"802565ff08ba680815e2cf668c06d56abe94872b","datavalue":{"value":"10.1007/978-3-319-21401-6_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454115$9054E6D1-C738-4C5A-8B05-5E01142DE11C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a0eb23269ec1fc8704436b597276cf095d31ae","datavalue":{"value":{"entity-type":"item","numeric-id":479834,"id":"Q479834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$03A679DC-CF15-4D81-88AE-4AB8273EA5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"342bc527848ca7a42df8ff6d1a755158d361e74c","datavalue":{"value":{"entity-type":"item","numeric-id":681347,"id":"Q681347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$1E148478-05CC-4A63-BF47-58627B16F7DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$39A99E16-A5C2-48A7-A95D-6A0F1C23EC95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454115$23A0B77B-7EA3-4F84-B397-C3FA95567E66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454115$7AD94DED-E755-4501-902A-740600F62DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454115$935E1A02-AAAE-4905-849F-5817853E6D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454115$AD596B68-A0B5-4C78-9E62-5DE0CE0605EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454115$8DECD958-E873-4D77-B0E8-A03626A3751F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab499068267329973190462a04f578b631e51a5d","datavalue":{"value":"6515525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454115$522C84B8-F4CB-4A47-B6C3-715A8F1A9430","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b5b3d722a89e38fc553043bf5da3991c467eb","datavalue":{"value":{"entity-type":"item","numeric-id":17100,"id":"Q17100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$606529FE-B6AD-4EB4-8392-D9193734C711","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":"Q3454115$82C98DEF-AB1D-44AE-B1B7-DD02A8E53DFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b11bc3b3da7d3aa6e2b0101c4edd6ff5bfcb8","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$4B7B9608-E507-4FF6-870C-2F19319D8199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33244f7bb6c04da758d56eac971580e07b647512","datavalue":{"value":{"entity-type":"item","numeric-id":479837,"id":"Q479837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$B07CAD86-08A4-4E53-977A-C22C7D51FB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$8C7C5070-FEEC-4F39-AA67-437984DD0023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$AFC56E42-7174-4306-BA9F-88A5FE3209CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4380123f1cdc6d8b00025649580393a84a096266","datavalue":{"value":{"entity-type":"item","numeric-id":5395699,"id":"Q5395699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$816A73B9-402B-42C0-AB08-90F3FCBF6F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d4a257ef82cf9bafad6ade7d2102f8d8d9ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":2931790,"id":"Q2931790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$15000A8F-2658-4103-B436-3C7E2F7A7B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba462d720e88fed41cd67622766e9b4ebfeee44","datavalue":{"value":{"entity-type":"item","numeric-id":2894265,"id":"Q2894265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$EF61580F-C8C6-49B9-B164-9A08DDA272E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b29f5c346bf5a24701d5c41a17898f8ee49261","datavalue":{"value":{"entity-type":"item","numeric-id":5458344,"id":"Q5458344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$E41FA6ED-F274-4CA0-964F-68C999D4DCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9c6a9c18369979213fbc387ac5168d5b2202a0","datavalue":{"value":{"entity-type":"item","numeric-id":5408412,"id":"Q5408412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$8E3B04C2-B758-4A43-8C9F-EDFDF98D8A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761a583f69cec4c5be8f04f0c50f6850fd320730","datavalue":{"value":{"entity-type":"item","numeric-id":5255063,"id":"Q5255063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$F0E0E376-4929-4F27-804A-4AC2E0FADFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$5C0A0830-E98A-46C8-9A22-956DFD1360ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59d33f5b14780d2aabcbabc1a9fbb911632524f","datavalue":{"value":{"entity-type":"item","numeric-id":5452722,"id":"Q5452722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$E93B982A-B595-45E3-8A38-C654A13B4D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ab6e8e0bdc75b20da172ab4510ad41a1c82a0e","datavalue":{"value":{"entity-type":"item","numeric-id":3608771,"id":"Q3608771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$FD24C66E-208C-4E2A-9FE0-DC4F0188C350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b898b3378e6dce0e6ca53be33ec7d556378d190a","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454115$4FD8BAB4-1AE6-4C4A-95ED-3F623EB4D5EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f2005576d5c913144e0cc43c5a878efbc34682","datavalue":{"value":{"entity-type":"item","numeric-id":2360874,"id":"Q2360874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$38954BB0-2785-4EA7-8CB9-723EE838720A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6016cdfbb7a0ce26a532ba1238d294d3b7e1ba","datavalue":{"value":{"entity-type":"item","numeric-id":2796033,"id":"Q2796033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418bdf067c04d31bfe0a854a6031da5e898f8666","datavalue":{"value":{"amount":"+0.9372595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$3C247363-7E76-463E-95C7-DC9BF958E0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec2782be56f14c1a3a233ee85fa6ae0786fa3d3","datavalue":{"value":{"amount":"+0.9224174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$2A4ABDF3-2978-4B13-8E14-CCCA997694E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b24960e3b7cd5dc25aab0afe527395c2c25dee","datavalue":{"value":{"entity-type":"item","numeric-id":4412528,"id":"Q4412528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5b7db4dd5c06f64e3878dce861e525e61e70b8","datavalue":{"value":{"amount":"+0.9154267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$5E958569-02A0-4D49-99B6-372F273FA23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2170c4b2d9ca1f4390fc13c08e49797e21a01bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2766776,"id":"Q2766776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2162c0e22a80e15c0c3972678d69d64f7f47ede1","datavalue":{"value":{"amount":"+0.91461515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$C647F325-0EA7-464D-94A4-D911A659A39F","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":"c451848dd34d84dc52c84b853558db66cd1426ef","datavalue":{"value":{"amount":"+0.9083066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$8C96600D-BE9D-4833-84AD-90F9EBCB6AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f72ff82850ea7afc218cedf5a8412af0d901d0c","datavalue":{"value":{"amount":"+0.9077079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$FCBAEE8F-2E5A-4031-96C9-FEA27F79AFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72464d080d364c8f4e346d6339f9d4b16376641f","datavalue":{"value":{"entity-type":"item","numeric-id":4635636,"id":"Q4635636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18c4f9d91613d22ab2f05fa878b8fd853331c02","datavalue":{"value":{"amount":"+0.9007245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$A476E526-A3C1-4FA3-AC3A-C52AEB60C53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739c9513b8fdb87c5ba056d95a097148e536dfa3","datavalue":{"value":{"entity-type":"item","numeric-id":5902363,"id":"Q5902363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f369cdf54b7c5fe6bab6317f37a6f81a904d6692","datavalue":{"value":{"amount":"+0.8974831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$A91F1D26-C884-469E-86AB-7CC5DC4B273F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d6be6349ea4cb681866f079ec6d023ff529e70","datavalue":{"value":{"entity-type":"item","numeric-id":5458344,"id":"Q5458344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72d4898e4541a9a8784b29867655f2ed736ffe7","datavalue":{"value":{"amount":"+0.8881819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454115$03BAABAF-16E8-4FC3-86D5-F0C6F2E3C1BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract Interpretation as Automated Deduction","badges":[]}}}}}