{"entities":{"Q2942917":{"pageid":2953637,"ns":120,"title":"Item:Q2942917","lastrevid":85383464,"modified":"2026-06-03T07:32:02Z","type":"item","id":"Q2942917","labels":{"en":{"language":"en","value":"New results on the computability and complexity of points-to analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481289"}},"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":"Q2942917$DE37139E-1710-4036-88BF-702B69357FA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3c525dd8e8fa7d2a9951a1baa2d6630d97bec8f","datavalue":{"value":{"text":"New results on the computability and complexity of points--to analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942917$3B96DC2D-A00A-406F-A70E-36DAAC73764C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca085a204c156cbddca4fb775e64859fc660f8bc","datavalue":{"value":"1321.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942917$D5F6AC68-4CA6-468F-AFC0-3CAF72531237","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee819a9af495bdc348a117f5cad5e4b70fab5033","datavalue":{"value":"10.1145/604131.604142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942917$BD21E15E-67D3-43DE-860C-06AF14F6A71E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda281a92a08dab72ad1e081c43daecbcc827585","datavalue":{"value":{"entity-type":"item","numeric-id":649094,"id":"Q649094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$2983FDF7-BC79-4839-9230-7123FD970C86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fe4faafe02e13d99969745e2d33def8fcff86e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2942908,"id":"Q2942908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$9C75B75D-9BD0-4E17-B79A-A36A12168046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942917$70212D10-D630-4C09-85D5-D78D8BBA8A57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942917$5E5E1B28-9263-401C-9FC1-B6CADF9DA8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942917$AC62B411-A233-4522-815C-7A8BA90ACC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942917$793C5C99-80EF-4A30-9C31-5A06FE7209C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d21d606a76e34a42e331414895fd23bb81a42c7","datavalue":{"value":"6481289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942917$CEEF57C5-F9DB-449C-B6D3-ED0A437F421E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942917$62D1F1AA-3FE3-4C26-ACD6-FB9CCD9DBE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679d189e48dcdaf363f4a9e732d0b1b4baa6dd46","datavalue":{"value":"flow-insensitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942917$5BD8FCB4-1A55-4D60-B497-B247848AF32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dd5fd88ee920acbaaa3b29ba8261753db0464a","datavalue":{"value":"flow-sensitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942917$53BF78F2-5A2C-4ADA-9B07-B2C5A0BABD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b0583ff8274058d62dd7f72531fdd002de9db","datavalue":{"value":"pointer analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942917$24A1C4CD-34D3-4BE2-AC18-315A2F3167F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942917$B9F30604-297B-42FF-A0F2-28BF00A0DA32","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d706235782527c086190bdadd5c408c9fe2bed8","datavalue":{"value":{"entity-type":"item","numeric-id":53376,"id":"Q53376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$C85D4DA5-5D17-4B02-B1A3-0FACE5F30FFD","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":"Q2942917$B8917439-5F58-4960-BF50-ECCFCBF558A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38451562a2cddf175488e16c38329316a2b58871","datavalue":{"value":"https://doi.org/10.1145/604131.604142","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942917$D17983C4-D48C-4386-B3F0-99DB4F594478","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7d68bdf0c6ab8e2325663e9f2e2c4fe29b8f0dd","datavalue":{"value":"W2025514726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942917$C8522CB3-80A8-4657-9834-7BB07FDF9F9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$18ECDBF2-D854-4C58-9C55-E1C3EE48F1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$342392BE-2DFF-421C-9C0A-7BB4EE803078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329875360c314fd0af99b4311a7c2ffceaa68e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5178874,"id":"Q5178874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$F48991F6-FAA9-411E-B157-99E0F4E20F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$AE864935-68D0-4BA2-88DD-C85829D4D298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351879948b4564c55d2d068ea5683d8ac895d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4414525,"id":"Q4414525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$CEF556C7-DA45-4977-BCE0-4F1FEC7A5F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$2C8F549D-6268-4B76-920F-AA13A5A309F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$D4EC85B7-6745-4A12-83BB-549B2250211E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0311c2c4996c9c68c0443bd4383ed0d4a789f29f","datavalue":{"value":{"entity-type":"item","numeric-id":4409150,"id":"Q4409150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942917$87F9C8CF-CD2B-4EBB-B023-2A1D1D30C392","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a5f674636d1e0ada2a0e4fc8ea7ab85b3682ad","datavalue":{"value":{"entity-type":"item","numeric-id":1403322,"id":"Q1403322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15e8c5426c1358c1a209bd44ec175c8a6bf51e7","datavalue":{"value":{"amount":"+0.8120683431625366","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":"Q2942917$F0173543-707A-484C-AC26-B4C81F2BAFB4","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":"88b50c0924f64eec98c02240df43561eabbd16fb","datavalue":{"value":{"amount":"+0.7086095809936523","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":"Q2942917$3704F8C0-CDCF-4876-8694-0BD033D3C1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da7fded39d5bc2680ca2e5fbb3d52e061fd1e60","datavalue":{"value":{"entity-type":"item","numeric-id":3522062,"id":"Q3522062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdf02aa30fe8957fbe523c14ebe45b81f46b558","datavalue":{"value":{"amount":"+0.7040790319442749","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":"Q2942917$CBFBA1E1-6498-46B3-B0B6-B09E1A4BBF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f96b84853b4c3d84b1ddb1d15db96d893df282","datavalue":{"value":{"entity-type":"item","numeric-id":4593068,"id":"Q4593068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ac8b8241849b87fcf7c69736bb260ff496e927","datavalue":{"value":{"amount":"+0.7034096717834473","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":"Q2942917$60959115-848B-4068-BA70-D829DCA9313B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582fc1e5c132dea7d2d71cfb6067cf8faf73a94f","datavalue":{"value":{"entity-type":"item","numeric-id":3392927,"id":"Q3392927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d51b1733714aa7c3d82945bef58decabc326f05","datavalue":{"value":{"amount":"+0.6993917226791382","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":"Q2942917$FE0122BE-F50C-490B-B9D8-C5DCDEF25069","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New results on the computability and complexity of points-to analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/New_results_on_the_computability_and_complexity_of_points-to_analysis"}}}}}