{"entities":{"Q5891553":{"pageid":7927348,"ns":120,"title":"Item:Q5891553","lastrevid":51474710,"modified":"2026-01-18T10:28:21Z","type":"item","id":"Q5891553","labels":{"en":{"language":"en","value":"Control-flow analysis of function calls and returns by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038291"}},"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":"Q5891553$5F5BDB09-D301-4171-8349-B99DCA61CCA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c209664ee796ba0408bfdf2dca20b668a4bbad6d","datavalue":{"value":{"text":"Control-flow analysis of function calls and returns by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891553$E9C9E5C4-35F9-4D5A-AD13-FF9AD0239E14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91f78fe138e15ee4f2d89478150e95e523b4edfe","datavalue":{"value":"1242.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891553$4727FF71-8BC5-453A-84CA-62EC1CF05DBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81a1364d41851f19faa185d9d68284ae8b9bd596","datavalue":{"value":{"entity-type":"item","numeric-id":418129,"id":"Q418129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$65A5D61F-B40F-408C-B3F6-165DD2EB4B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"227c5371761dcbdafbc69daa6a90de25777d0416","datavalue":{"value":{"entity-type":"item","numeric-id":418130,"id":"Q418130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$425313EB-548C-4ADA-8F72-AA093C8AE679","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$1C75D564-AAB6-4EC1-93DC-0B396105AFE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891553$CBFB4418-D5DD-4075-A36C-C9E25C6587D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891553$A5D7CAE7-BB91-41FB-8B58-57E94294FC94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca4c771b082c51a388bb209447ce5c7eb439bcc6","datavalue":{"value":"6038291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891553$6ACACB96-C734-4008-9849-4D45C2F982E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d13caaa0a74f2b53cbc4e9b57ebb52314ee417","datavalue":{"value":"control-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891553$4BA9CCB5-A4C8-4E44-8C06-53F0E7CD1CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891553$3A05FD35-F258-4D57-A5FA-64B7E13295E0","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":"Q5891553$F25D1091-5436-47BA-AA84-0FC99266A2DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4686bd535710fd4b1f72223556eb2faf47b2da80","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.11.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891553$626D2867-005B-40FC-8501-AE31C5149C45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ee38f4ded0fd87c4f15efc6f8120dd105c33214","datavalue":{"value":"W1983583725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891553$66D8C263-8D1B-4D2F-94AA-FD53FC26AE42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5abbe257c493edb7645d495fc8fbbf9b8f6617b","datavalue":{"value":{"entity-type":"item","numeric-id":3939216,"id":"Q3939216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$2948DE87-D210-4C26-81B5-7A2785245DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793f0feb444174506d52e0b2a80be09e10a4ea98","datavalue":{"value":{"entity-type":"item","numeric-id":2875080,"id":"Q2875080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$08536881-050E-4963-A5D2-EB52959879EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ab9cec473c39d1eda43d5cb22727844c9ee500","datavalue":{"value":{"entity-type":"item","numeric-id":4934630,"id":"Q4934630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$B1A7189C-FF54-401D-878B-C82E6F76ED2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bee9b6b5502020b52600310f143926474dc37d","datavalue":{"value":{"entity-type":"item","numeric-id":3522082,"id":"Q3522082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$E662482A-D38C-4B8C-BC9B-B1D31FFD961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36257b68650edd154401911efea84a1a3f3de743","datavalue":{"value":{"entity-type":"item","numeric-id":5892027,"id":"Q5892027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$CC3DFBAE-1709-4EF0-AE9A-16196A7A545E","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":"Q5891553$16BD69EE-BCA3-4963-84A1-35A30835894D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$F42936DE-C873-40CC-A9A8-B53DDF01A5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$2091E449-48C8-46D0-9D55-28EC80863851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$C76D38E7-7E87-463C-9A5B-6300E38C73BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$CB023396-3B53-41B5-97AD-B3010D7BD9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$14F4A2D2-20E5-4398-9573-A54EF34E811B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$68D40A69-FB62-49F1-BA2C-B91E6105C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$D45F7D7F-6C05-4BCD-8714-F90AB32208E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$D41B2A4D-39E6-442E-B8A9-DE4ADCBE8EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$D406F3F9-0268-4AE4-9D05-EBB418609D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$EA22F4DD-5EDE-417A-99A9-D9D3294B13B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb29191af49d0307e085e60550283b14f14e982","datavalue":{"value":{"entity-type":"item","numeric-id":1891140,"id":"Q1891140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$2D9D878D-108F-498C-9CA0-470C0CD94A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657456275a75a21088df267154948921e809e00e","datavalue":{"value":{"entity-type":"item","numeric-id":5348864,"id":"Q5348864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$817CE7EC-0FAA-4EFC-A7F5-659558305BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af41ad322a54fae973e4a41c958cfd4757c02f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2566027,"id":"Q2566027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$9ED7ACD3-3A41-4766-9922-27A32F67997F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$16AE37D4-3D01-4AFA-9B4D-DCED05958110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$1130AE5E-1AEE-47F8-A920-7ADD1B0FE690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c084039da22006722e2c6a290fac74cd2a216b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5348919,"id":"Q5348919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$5E8747F2-7F84-4B5F-8720-E47783C7716A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c04e28cac8864f40e9565ac2e47f8577989ac2","datavalue":{"value":{"entity-type":"item","numeric-id":4460719,"id":"Q4460719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$AA646EE9-284A-4CC4-B3B0-B283C2FC1496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a0180c63297c29032942fee58fc3a1f0f73b3d","datavalue":{"value":{"entity-type":"item","numeric-id":4460718,"id":"Q4460718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$C5B0726F-4C2D-433C-9EFA-8767C3C8423F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a532def81281161c623ddb165b53de574787ba07","datavalue":{"value":{"entity-type":"item","numeric-id":4414732,"id":"Q4414732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891553$9EDA1EEC-41AB-4F3F-A289-04C3D5D181CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8376a578ba7d45f96f482d8b570fdd70d55ac85f","datavalue":{"value":"10.1016/J.IC.2011.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891553$4C86BE54-B8C1-4ADB-AA3D-F8E59594816D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d08663dfabd2a018de177a419857d743dcf9ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5892027,"id":"Q5892027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f80cadc4d4eaa9d637b9b92722ce7c2b6db69d","datavalue":{"value":{"amount":"+0.9526416659355164","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":"Q5891553$587FC511-A206-4FDF-AC10-5AF3CA44BB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b714135ec390cc9c7914c15781abb2370b00ac","datavalue":{"value":{"entity-type":"item","numeric-id":3558250,"id":"Q3558250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f6869cdf5fdbaaa8a7ddcd55b50fa682bd8e01","datavalue":{"value":{"amount":"+0.8442655801773071","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":"Q5891553$E169DE4A-E43E-446E-B71D-641DAD187F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39943bff7032049f1aff39d08512301b26c011f9","datavalue":{"value":{"entity-type":"item","numeric-id":3003321,"id":"Q3003321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3c0f8c0c5acc84fa92129d474b34b1c77a3cb3","datavalue":{"value":{"amount":"+0.8433771133422852","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":"Q5891553$BA1A86E7-D6A3-48D7-9E67-CAC3371C29A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b181d7502e681492f607f5cfccb751f6c2e2e76","datavalue":{"value":{"entity-type":"item","numeric-id":3522082,"id":"Q3522082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae60d06c715967b5bc1d643765423b1391605db","datavalue":{"value":{"amount":"+0.8029431700706482","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":"Q5891553$AB7AAFB4-F11C-42E5-8944-40CBE9491B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb90a851d56781b1ae3823a365c7a2f89a35fee","datavalue":{"value":{"entity-type":"item","numeric-id":2828314,"id":"Q2828314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916e3a5a3bfe689d9b7a42c513d045589d84da92","datavalue":{"value":{"amount":"+0.7716662883758545","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":"Q5891553$53842D09-265D-4490-95DA-99E3785E3402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891553"}}}}}