{"entities":{"Q6536277":{"pageid":14147420,"ns":120,"title":"Item:Q6536277","lastrevid":55636615,"modified":"2026-02-17T20:08:05Z","type":"item","id":"Q6536277","labels":{"en":{"language":"en","value":"Fast and precise handling of positive weight cycles for field-sensitive pointer analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834931"}},"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":"Q6536277$EB2A4848-4CA1-40E5-BAE4-C763463314C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b03bd371a9f0307ca2bbdea6daff0dac79e4fa6","datavalue":{"value":{"text":"Fast and precise handling of positive weight cycles for field-sensitive pointer analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536277$305C6A01-29C7-469C-AA60-0001F0B20657","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"816bb1e44f094373bfcb8339c48881c1793ca32e","datavalue":{"value":"1539.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536277$295F718C-288D-45D8-BBAD-92E5F2080B58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09cd269f24eedcc01e1da60cb0c95eb0ea9763f3","datavalue":{"value":"10.1007/978-3-030-32304-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536277$5CB2AE51-A06B-4DCC-B54A-F73045A04298","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4936ffadfcb9f4cbfa7d76a1d452e538dcc9bf","datavalue":{"value":{"entity-type":"item","numeric-id":6536276,"id":"Q6536276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536277$BFB89562-8914-4D61-B838-7739E24B9A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f2ba22e3625cdc2ddc479e2076ad8f18ca52b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2145315,"id":"Q2145315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536277$B30F7E1C-CC4A-4C56-8ECE-D3E8B1C66429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536277$63280BBB-C6A8-4BC7-9E8C-E6A878C5C528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536277$6ABD0617-729C-4B97-9E96-DD569B27F21E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff8ed9233ec7a0cc9cff06461b8ee2842b74a1d5","datavalue":{"value":"7834931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536277$0A7959B4-6F63-4681-B24B-83D4F174E6F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b0583ff8274058d62dd7f72531fdd002de9db","datavalue":{"value":"pointer analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536277$BE3E8984-F707-48E2-9AA6-7022C8601C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae0bc5afba08a8689baf60eb6697919426b0caa","datavalue":{"value":"field sensitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536277$4BAEDCF3-6A02-4E26-906E-68854542859D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0587d79ab93ac7b0411a79c964b7fb41f3b2b7f","datavalue":{"value":"cycle elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536277$85BAEBB9-7E7D-444B-BBA1-F810CC10DCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa3494444fafdf3d48294eb6e8faaff15da3bb","datavalue":{"value":"positive weight cycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536277$1E8B5A22-5B39-469B-B11F-3D32FF662028","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":"Q6536277$A0308CC0-9C5D-4EDB-B89A-B15D17B49A02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ffd23d6d0fd18d94decadf3d516aa4d75dddde","datavalue":{"value":{"entity-type":"item","numeric-id":5408527,"id":"Q5408527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536277$1FCDC89C-63B0-47A2-BD49-B1EB4A7F94E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48285d7d94d89078dd06f23e826d5dd5defbc678","datavalue":{"value":{"entity-type":"item","numeric-id":1313703,"id":"Q1313703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536277$E5AF0A1B-A63A-4D1C-AAA2-32A946E37B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536277$2BC9672A-2D96-40A7-96F5-4A840D8347FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc56eee7d2e169e024a28c0fe6cb9aa9e374dab","datavalue":{"value":{"entity-type":"item","numeric-id":5261519,"id":"Q5261519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536277$E4D23AFC-BF67-41A9-A775-BFEA40A251EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb2919b8c677450ca49f709d5032bf758f1b853","datavalue":{"value":{"entity-type":"item","numeric-id":5261519,"id":"Q5261519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15511b5e884f7b8e56608c5a78fe05cb085fb342","datavalue":{"value":{"amount":"+0.7093580365180969","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":"Q6536277$DEA7E37F-EBA8-4840-9D19-63A1281F8786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4677c7afb715bf6bb6b2682f626ffdaa0341ec96","datavalue":{"value":{"entity-type":"item","numeric-id":4779114,"id":"Q4779114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d755f4d288e563a3c36865718a141b63c5da90","datavalue":{"value":{"amount":"+0.6883722543716431","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":"Q6536277$8E3D689C-6F5B-4BF3-B777-48D082B43986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d222f55c4c6241d0a3dc6beff540f85daed9792a","datavalue":{"value":{"entity-type":"item","numeric-id":5466558,"id":"Q5466558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711a19f9e4ce9c86edc022cd3b4de2af3f09687c","datavalue":{"value":{"amount":"+0.6669027209281921","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":"Q6536277$6E9EBFB9-161D-4209-B41F-517A1175CF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4c60f292033cfb5b59ee840c5d31b4c775860d","datavalue":{"value":{"entity-type":"item","numeric-id":5942698,"id":"Q5942698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db60f2110416bde44e54ccdad2027a2efa747d2","datavalue":{"value":{"amount":"+0.6605510711669922","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":"Q6536277$44D8986E-953B-4138-9056-EF01E95813B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95589d8fed8a78a8381d2650a993116e882bba3a","datavalue":{"value":{"entity-type":"item","numeric-id":5466556,"id":"Q5466556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48d22b5572c59a98ba0858f0db3cfe3dad543d8","datavalue":{"value":{"amount":"+0.6591349244117737","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":"Q6536277$3E59B3FB-2218-40BC-B3A7-8687CCF02C1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536277"}}}}}