{"entities":{"Q2985791":{"pageid":2996516,"ns":120,"title":"Item:Q2985791","lastrevid":52799450,"modified":"2026-01-23T13:01:43Z","type":"item","id":"Q2985791","labels":{"en":{"language":"en","value":"Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713920"}},"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":"Q2985791$246EFAE3-C2AB-4639-A798-F0B3CD36483A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10b1d29b7f55802ac39c394df75f6152f6c016bd","datavalue":{"value":{"text":"Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985791$CF1DA62A-A4F3-4FDD-8625-93CB60E6EE30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d9e003a55d4c55b75f5f01709aaee2ce5d8334a","datavalue":{"value":"1360.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985791$6E863FE3-E245-4519-B30E-30EB7D9B07F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7cc936fe0aad8d06a30b8044a627586c2c9ccba","datavalue":{"value":"10.1145/2951913.2951936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985791$5403310B-A0AC-49A8-965A-BDE601883001","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a9d543f2f5d83a88ea69949134823bbb444048","datavalue":{"value":{"entity-type":"item","numeric-id":2828312,"id":"Q2828312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985791$1B68C236-7766-4B11-8098-6FE40B523EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0490beb4923eda40f74a45116b0da188786eec3c","datavalue":{"value":{"entity-type":"item","numeric-id":2287085,"id":"Q2287085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985791$1DA43F2F-82DB-4F7B-B819-361DCC658B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1fb940fe4766e5f9dde191175dcce387f32975","datavalue":{"value":{"entity-type":"item","numeric-id":879359,"id":"Q879359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985791$B9315CB0-AA85-4E5B-A0DD-4A921F19DB17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985791$EBDE8153-DD03-43C7-9E42-E56E66D250C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985791$1979AC4A-C541-463F-99ED-4C10B9B9431E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985791$C0FA59FB-5D22-4B59-8D0C-AE3E7553106B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985791$BE038935-0754-4574-8D63-13E091D81B18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77e5f41a59c97315fa14c6db461c822410f1a61c","datavalue":{"value":"6713920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985791$A915678C-145B-482B-A567-40A1D852D587","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2d5046a73ebd9560fa7927855f5e097b726377","datavalue":{"value":"abstract allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985791$87619117-A586-4EE7-A0F0-9410C1BDEE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985791$27729C45-49CB-4236-A68F-0ADD82EB097F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b64b76e523a86a7787a168096c92c723211fbb6e","datavalue":{"value":"context sensitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985791$FB583B9D-694F-414B-B486-AC8BC9E393FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d13caaa0a74f2b53cbc4e9b57ebb52314ee417","datavalue":{"value":"control-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985791$06C147AB-C055-4F3F-A426-1DB0ED71C4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d9734e16e136d5e6edcd679bf33cb385fbc183","datavalue":{"value":"polyvariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985791$75328E9D-151D-4DF5-B2B3-AC06125B1E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985791$418E1416-F8D3-422F-8E6F-16DF82E67DB5","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":"Q2985791$4E1DFFB3-EEFF-4298-807C-265BE6B70072","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7fb735d894d81364f4bcd5fb24ade3c6efe013b","datavalue":{"value":"https://doi.org/10.1145/2951913.2951936","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985791$E49AF596-C75E-409A-ACB8-2066B74485CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eacea1038c1360c041f5e152f3e7904c9753c686","datavalue":{"value":"W2517799069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985791$4CB3B90D-9F23-422D-B3C4-6106437BCC2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ce205b373bdefab264e13cb392823cc5190f0b","datavalue":{"value":{"entity-type":"item","numeric-id":4625159,"id":"Q4625159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40d4b4006cb5b7c734eb82b053df9eabc5eae6f","datavalue":{"value":{"amount":"+0.927115261554718","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":"Q2985791$1E944177-35D5-497F-BD82-3252E7F9BBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362eeccd28ad12f686c85aa4f925743237c6c23e","datavalue":{"value":{"entity-type":"item","numeric-id":2729061,"id":"Q2729061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089ca17b9e5ddf223db97dcbe8ef2266019eab9c","datavalue":{"value":{"amount":"+0.7728633284568787","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":"Q2985791$82720986-874A-4A26-8793-2A033BBCC1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dddc2de91a92974c4a59b6d4d7979459e8e9e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2732171,"id":"Q2732171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2584979fd4c17c266ec145a5f4062a53e3017315","datavalue":{"value":{"amount":"+0.7470566034317017","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":"Q2985791$9D1FE5C4-4A00-4DC9-8C83-8F0B453516F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48437e3927ccc0c78e83546294e79603e978accb","datavalue":{"value":{"entity-type":"item","numeric-id":5041115,"id":"Q5041115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4242c104f1fd2b17c2eb356bbc6e93a7ab21f25c","datavalue":{"value":{"amount":"+0.7105299234390259","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":"Q2985791$789D09BC-B05E-4C39-991B-8B1BD096F346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7def83c23fdc3a58d1c81ae34e063f6bd64c113c","datavalue":{"value":{"entity-type":"item","numeric-id":5176930,"id":"Q5176930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd46b8b2c037870a5383cedaf797ca77fe6ceb99","datavalue":{"value":{"amount":"+0.7083752155303955","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":"Q2985791$6B7CD3F1-EDED-4C0F-858A-0B5A50F23C6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985791"}}}}}