{"entities":{"Q2796033":{"pageid":2806771,"ns":120,"title":"Item:Q2796033","lastrevid":83280281,"modified":"2026-05-07T06:58:07Z","type":"item","id":"Q2796033","labels":{"en":{"language":"en","value":"Automating abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559850"}},"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":"Q2796033$40C8BDEB-23C6-403D-B362-07C22FC9BDFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a859bc51af4cbea615eca32e1ae63749be13762c","datavalue":{"value":{"text":"Automating Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796033$6390F379-DA83-46E6-91F2-F9ED80C34739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c3b796b845079dce9f07dc1bddf4083cfaafdf6","datavalue":{"value":"1475.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796033$577126D6-78FF-4D2B-96B0-44B1993B991A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33ddb20762c79846ef4c7a5ada12c24bf9c0cc06","datavalue":{"value":"10.1007/978-3-662-49122-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796033$1AECE6C0-5023-447E-9C72-F698913193C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c30c75f0a52e1ecf098399b78cbac30dabb1ce15","datavalue":{"value":{"entity-type":"item","numeric-id":2233512,"id":"Q2233512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796033$E146A76A-ADBA-4BFB-B374-0EF9C01D3C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796033$F1A770AF-B13D-4D5A-835F-750A184B1CBF","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":"Q2796033$71838BFF-9FF2-4DF1-A078-43D7FBCC7F85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-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":"Q2796033$C91F9A86-0545-4647-A697-F30143FBA28A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796033$24F11065-3754-4A54-9422-FE512957CFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796033$F94FE625-C25B-4C96-B0C0-0AB38C5720CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c02dfe0f580f3ee44852dda767cd4e24aa2f959","datavalue":{"value":"6559850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796033$8B11257D-658A-48F0-86CD-BA41C67D1F28","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":"Q2796033$189BE403-404F-4C18-8E3B-302F5D8C64DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdfee542eaf1606e106827d5df4ee86b2a2f1aaa","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49122-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796033$C75628C3-B503-4D55-BCEB-EE4D84C226CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec6fa70ad88ba5dc9a1d3c934d604161e5453c1e","datavalue":{"value":"W2293309991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796033$61C77D72-0A9B-4AC4-80B5-27DFD3DC6C0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1096c13f92be729b0c4248f3e5828c2c54c1af6d","datavalue":{"value":{"entity-type":"item","numeric-id":4635587,"id":"Q4635587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18aea9b70db0aeb2cf19806b47849b4749f41723","datavalue":{"value":{"amount":"+0.783245861530304","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":"Q2796033$106EA42E-FE3B-496B-B75F-9445C8D5BA34","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":"45b721242d704268460566d37cd7b0d4acc8ff3f","datavalue":{"value":{"amount":"+0.7830181121826172","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":"Q2796033$7BE1CB82-227E-4C93-8301-9195ABC003AC","rank":"normal"},{"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":"e79f4b2d466d88cfc774178c26afa024921cb80e","datavalue":{"value":{"amount":"+0.7658857703208923","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":"Q2796033$F69523EB-6B3F-41ED-8C12-1268CE963FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcb699756df25a31694772574fad73e45244a0f","datavalue":{"value":{"entity-type":"item","numeric-id":3454115,"id":"Q3454115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09fae3359496d03cde9875aff0e717833f3350a","datavalue":{"value":{"amount":"+0.7639219164848328","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":"Q2796033$6627D24D-EF41-4029-A23E-CAD380B51D13","rank":"normal"},{"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":"204ea1f44b311f89b885b766ab40ff81c45e41bb","datavalue":{"value":{"amount":"+0.7488691210746765","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":"Q2796033$C2FEAC7F-4EB5-4A53-AE20-295CA6818D5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automating abstract interpretation","badges":[]}}}}}