{"entities":{"Q2870284":{"pageid":2881004,"ns":120,"title":"Item:Q2870284","lastrevid":42360968,"modified":"2025-06-12T23:03:42Z","type":"item","id":"Q2870284","labels":{"en":{"language":"en","value":"On probabilistic techniques for data flow analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247673"}},"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":"Q2870284$B758F2B1-D9D0-4108-86D3-59626A629555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203d0f7cb3b4f92159c3d815cbcb83f1c9f04645","datavalue":{"value":"1279.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870284$C254BDA0-D898-492A-A31D-C365F084EBCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d12ed68b215b89bb1e6155c11dc2566959288f9","datavalue":{"value":{"entity-type":"item","numeric-id":557885,"id":"Q557885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$778B8313-91E0-484A-B861-FCA5816B62AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e2200fdb29131c1330c17b4b47a8012d0d0d76","datavalue":{"value":{"entity-type":"item","numeric-id":488869,"id":"Q488869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$FB0424B6-2AE4-4A5E-A7C9-48A2069AF061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be24026bb8f11663f1e58706bb29fcb008aa3b77","datavalue":{"value":{"entity-type":"item","numeric-id":557886,"id":"Q557886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$3563610B-548F-4EB0-AC57-BDAE23FBCD1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$EA729BDA-9DFF-4FCA-AC9A-230AE718E1E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870284$A984920D-38DB-4348-B632-49C3A8C8ED9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870284$5B1DE295-1384-4D97-AA5D-F227BCCCC1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870284$6FBDE74F-C8F2-4CB6-ACDF-94316391A4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870284$7DA069E8-B604-427E-AEE5-6BC00FBED85B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d931a445f5b2cf61d4e34e62b3535c3d82c49fe","datavalue":{"value":"6247673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870284$BB390D21-AC4F-40C1-BA91-D5A2309E360D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870284$D21ACFE0-AA5E-478B-B051-ADA503768B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a138792ee4f96592e8c241ee480e3249343da9","datavalue":{"value":"linear operators semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870284$05BB8C81-7515-4993-A35B-1E4251DF2953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87a290b0d7a88e47b9d055d95d6d3a6e7544dde4","datavalue":{"value":"probabilistic abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870284$A6F4D244-EEE4-4AC1-A703-F590DB898B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcccf1938b111ca67ad4fbff787bb36915f4850","datavalue":{"value":"data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870284$D274EBB3-CBD9-43AB-881B-3EB9AD539E15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9cab9ee7162d498806e35be2dc0e30a8e303d1d4","datavalue":{"value":{"entity-type":"item","numeric-id":13401,"id":"Q13401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$1769AB3C-B093-47F9-93BC-F6F1A20312FB","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":"Q2870284$17361689-EDC2-40DD-9455-7336F6841C0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73f240c51f4d0519d4ac6c1af002c7d42d13310f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870284$41858B81-F18F-41A2-ACE0-FD0AEB1465C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1974d0e37f7ac85d0a7098ce509d6629e199a7a7","datavalue":{"value":"W2044774081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870284$17F1C96D-EF56-4173-9C62-BF16BE1CB3FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69545db9bbf796942d1f700a6fd5643d6cce3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4784053,"id":"Q4784053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$DBAEA8EB-4773-49C7-AF24-A1E823DCC158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$CB55345F-02FF-42BA-87B9-A251D2E90EF8","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":"Q2870284$D676A17F-9BA6-4AA7-A235-3F9BAF45B347","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":"Q2870284$73931E5B-1946-42BA-B332-846F004DEFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2596fff7a43cf9dae167e4a3260a86eb026f5650","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$36221DA3-F087-482D-97E8-A8A50F9D8CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e40a1f793339ead5f008d0e9d1dbf8eefed51e","datavalue":{"value":{"entity-type":"item","numeric-id":5900586,"id":"Q5900586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$7CD85D85-6B0D-46C0-88B4-C3A2BC13EFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0320de40e986ecd0fca752cdc04257d67e4dd3a6","datavalue":{"value":{"entity-type":"item","numeric-id":557887,"id":"Q557887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$EADD44EE-1791-430C-8263-5D0D94E60EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0026c1597367bc76adf023f43d333acbada68f8","datavalue":{"value":{"entity-type":"item","numeric-id":3593073,"id":"Q3593073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$02F0FC6F-19BC-4347-9A1E-88B1B2CC8B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd67b75bc1f2eda3af2f2988313ad555d7390b7a","datavalue":{"value":{"entity-type":"item","numeric-id":4421876,"id":"Q4421876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$9B66B5EA-C9EE-4884-A37E-3275300C498F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$802F4122-838E-440B-9DE1-8FD345FB05B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$4C2347B8-BD92-413E-9535-EDA5D733586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65485f3de9e7e97a04c43dc4606e959d384fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":2722069,"id":"Q2722069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$35F8478D-E24B-4FFE-92E5-AD8CBEB6AA0B","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":"Q2870284$5BC2C3A7-C4EF-4C9F-BF67-01600D371EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$762FFBDA-A8EB-4969-921F-45456654F376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b0a65ed8800d9b80cea4aea85de79a15313da1","datavalue":{"value":{"entity-type":"item","numeric-id":4676599,"id":"Q4676599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$10C9AB34-53B9-4D0C-86DF-4C6EF5C8599C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89f23dfa2c97d202f7194cff54bfe4d1a16181e","datavalue":{"value":{"entity-type":"item","numeric-id":4851818,"id":"Q4851818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$699D896E-0E00-4708-8DCE-479CC28FBBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870284$B57C751C-7927-4F69-A690-90B19DC74502","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5bcbd99543275feb856f32656b6dd98a5319b87","datavalue":{"value":"10.1016/J.ENTCS.2007.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870284$5A76CD0A-E4E6-4051-ADE5-DEC86CE2E8FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b107decee54e78ec617b369400fa1e8fc9e0e80","datavalue":{"value":{"entity-type":"item","numeric-id":4992513,"id":"Q4992513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce8a60d2a4447c9d8956c65b12b24a4451b9b9a","datavalue":{"value":{"amount":"+0.9204656","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":"Q2870284$FDC82074-B598-47CA-999D-E7807C5FDBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e54875511c693ca2a0a6b7b12b66586083cdebd9","datavalue":{"value":{"entity-type":"item","numeric-id":2764062,"id":"Q2764062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5399f9ef25a809994ab600bacd167263354e17","datavalue":{"value":{"amount":"+0.9115945","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":"Q2870284$64034EB6-E350-40EF-8882-6B74FF2DE10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450f9f766a5c3c8d35786fe303890243742c71ff","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739e63e3a83547288828edf26f510af8075e15e4","datavalue":{"value":{"amount":"+0.8718537","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":"Q2870284$5A634016-8094-4DF9-829B-1682ABCDE1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edacf10063fba44b2be7b514089570da5b515e62","datavalue":{"value":{"entity-type":"item","numeric-id":3575027,"id":"Q3575027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ba175e9d111155a7bb294f5e120351ba219524","datavalue":{"value":{"amount":"+0.86957324","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":"Q2870284$1AA04347-E94A-4D60-9727-44F809488993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69198b8c7695e27d8066c75c43b969e623ee646c","datavalue":{"value":{"entity-type":"item","numeric-id":3460504,"id":"Q3460504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0643da28fcc11fc9059acc2f9b4ea74f95ae34e5","datavalue":{"value":{"amount":"+0.86745685","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":"Q2870284$EFA2E13F-53E0-45E5-80B6-88FC147C219C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfba4c6bb3254427b3a4759ccf3be9eb052b61f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178843,"id":"Q5178843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d01c5e0169ad65604f2d88823161934814a597","datavalue":{"value":{"amount":"+0.86651415","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":"Q2870284$AC133C06-86BC-4857-982C-43DB3CA091CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c29f8690da10f8174d537dc98661152dca987d","datavalue":{"value":{"entity-type":"item","numeric-id":3833599,"id":"Q3833599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3274a31e5f030ed8139b2f2a6eaa8e195558eb","datavalue":{"value":{"amount":"+0.861017","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":"Q2870284$A11472EA-92E7-46CE-913E-D62E06A6CC15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb75523cc74b6acdbdb8bf309851392fca847d81","datavalue":{"value":{"text":"On probabilistic techniques for data flow analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870284$C053FE92-DB09-43AB-A5C9-4E284F1DE157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870284"}}}}}