{"entities":{"Q3142281":{"pageid":3152997,"ns":120,"title":"Item:Q3142281","lastrevid":85908047,"modified":"2026-06-03T12:25:43Z","type":"item","id":"Q3142281","labels":{"en":{"language":"en","value":"On the power of abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446254"}},"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":"Q3142281$EFB372D0-A9D3-499D-8386-893DD4C1F775","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2531dab15ed128d36c34f239f24a3377822121f6","datavalue":{"value":{"text":"On the power of abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3142281$F3D44784-C7CB-4815-85D4-D4F030064E3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"833896627eb1dd756b5a3b856a158ff3687d0e1b","datavalue":{"value":"0780.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142281$8D986888-5949-400B-B346-CA06E494A453","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec94d75237da79fbc0a07d464b7b5e2f6d20ed7f","datavalue":{"value":"10.1016/0096-0551(93)90003-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142281$292330F4-3DC9-4EC4-BCDD-BF33B9415335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd8979e1a685765dc1198ac350f0841f1b80717","datavalue":{"value":{"entity-type":"item","numeric-id":265825,"id":"Q265825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142281$8C6475EB-FEEB-413F-9395-3511E4302218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa165d2b49f82a9aca9ce4f0d9facdfd4c251be","datavalue":{"value":{"entity-type":"item","numeric-id":580953,"id":"Q580953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142281$7CF0ACB7-1BCA-47B9-8987-3BA5053C1601","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"303dafedc014c0fcf8bea9a3d20c503df66dd865","datavalue":{"value":{"entity-type":"item","numeric-id":2713369,"id":"Q2713369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142281$D233048C-D968-4CBE-B6FC-7A51447B018F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a041ac255fcd8e6d725677dd2f4aa6770323c3e","datavalue":{"value":{"time":"+1993-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3142281$86CC0E6C-263F-4097-AF11-852B6D4DA970","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142281$C1DA8E66-35B2-4AD4-B275-B58DF5EDEA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142281$4BB629A6-184E-4F75-84B5-5E764FD35FB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22cd0d8f5c525e5431c23238c182595978a3c172","datavalue":{"value":"446254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142281$BBF645CC-6D42-402A-AF8E-89821C328FDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142281$9DB40E62-F854-46D8-9F5B-07C6AFBFA7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142281$34E60D81-9DD4-4079-B3CF-13384E79A4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142281$B7EF409D-E052-46E0-BF6D-4E53A1A4251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142281$429683C1-5120-44BD-90D1-F3F2AA5FD384","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":"Q3142281$469D930E-2A48-4B42-9B8D-3201D3F63DD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cd5d0a6d952ab04839d8e3da311562ce75e73e3","datavalue":{"value":"https://doi.org/10.1016/0096-0551(93)90003-j","type":"string"},"datatype":"url"},"type":"statement","id":"Q3142281$619E702E-5F6D-49B8-A95E-3924CACF7F52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4cba48679ceda0df91d0724180de6086e8cb363","datavalue":{"value":"W2717591205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142281$8120766C-4C75-42C5-8518-915A0BCC83A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734b36d0d61f879e4e69f6299610a40666848ee1","datavalue":{"value":{"amount":"+0.8303318023681641","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":"Q3142281$9E783250-9649-46E5-B595-FEB8901B7513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff59710ee10f1e04705efd3ee100592586c87299","datavalue":{"value":{"entity-type":"item","numeric-id":2926636,"id":"Q2926636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a842fefda4d8fabffb3745c0cc4141e4bd2c5f","datavalue":{"value":{"amount":"+0.7969167828559875","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":"Q3142281$8494C2D7-0E37-4B3A-8B0A-C292A6222C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c45d081081954201ed6147b22adc377d3cd248","datavalue":{"value":{"entity-type":"item","numeric-id":5741575,"id":"Q5741575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7961352189b747c321952934dbe3cd2d512802b","datavalue":{"value":{"amount":"+0.7968558669090271","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":"Q3142281$33A33781-0CE9-4596-B6AC-EBED30F6C54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8afe6f2e7c895513b89152d8d915d4d6d71d3a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3348896,"id":"Q3348896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01fc505712986450fe5beccaa29c89bb5b2ed2f1","datavalue":{"value":{"amount":"+0.7791790962219238","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":"Q3142281$B7466B21-8498-4CF5-A4F4-A107BBD50CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa17c4c7078a76509c408bdf0ef4b6d8ff8653d","datavalue":{"value":{"amount":"+0.7783970832824707","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":"Q3142281$626D009B-25B9-4975-8F53-8120B98ACD63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the power of abstract interpretation","badges":[]}}}}}