{"entities":{"Q4625159":{"pageid":6654741,"ns":120,"title":"Item:Q4625159","lastrevid":53363309,"modified":"2026-01-24T19:54:49Z","type":"item","id":"Q4625159","labels":{"en":{"language":"en","value":"Abstract allocation as a unified approach to polyvariance in control-flow analyses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7027029"}},"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":"Q4625159$D68B4ADB-27AC-4113-8898-9263E348B11F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f0d13230593f946e09fd4c874318d670a76e07f","datavalue":{"value":{"text":"Abstract allocation as a unified approach to polyvariance in control-flow analyses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4625159$5A820B07-85B4-4E1F-8727-EEE3A17776A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e63546a1b015cabe411d721cf884437a3607b628","datavalue":{"value":"1476.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625159$049B7357-A31B-4CC2-899A-E33BA60D0302","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c02c73979290d674a2d4ab9c53e1081820463461","datavalue":{"value":"10.1017/S0956796818000138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625159$7EB452E2-BD10-40E4-BA09-8E94F6E59DE3","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":"Q4625159$EFE56AE2-A26C-4C6C-A8CD-70FCC67683B3","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":"Q4625159$7A81B6BF-C7CE-447E-91CE-353A0E3837DF","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":"Q4625159$C0AC1423-8DFF-4615-9A37-3F0D4570200B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$396AC6F9-DD96-4BA8-B882-A58F9A8C7B06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2abc0aefb7bc0228c8adbe9d8dd479925c1b7f9","datavalue":{"value":{"time":"+2019-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4625159$EE085818-56D0-45FC-A1B5-A7B79212F9FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625159$3F0645E3-BF34-406E-BB4A-0ECD843DF89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625159$217912E4-44A0-4918-95EA-C441643C4E9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6267768491fbceba1b24cd64114a815ead4c0979","datavalue":{"value":"7027029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625159$AD7CC629-F98A-47ED-83D0-DBFC5C086350","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":"Q4625159$0A76A1FA-D1EB-475B-BC7D-CD7EFB5F363E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69af53bbcd2d5d576d9c79cf3d74b89478f249c","datavalue":{"value":{"entity-type":"item","numeric-id":4518876,"id":"Q4518876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$2211DAD6-5876-4099-8E0A-2712D67131D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc897497575e269c146c425c2f5a9577ab8e552","datavalue":{"value":{"entity-type":"item","numeric-id":5348860,"id":"Q5348860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$62DF5CBC-87DE-40ED-A762-C1788845A801","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":"Q4625159$6AA323C8-2863-414E-B79E-16CB8E23CA54","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":"Q4625159$94484B0F-6532-4551-B536-259D7D2E1C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a18cb554525a8347fe3ce72792902bf75df10dc3","datavalue":{"value":{"entity-type":"item","numeric-id":5168912,"id":"Q5168912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$0B8A4EE8-0A09-46EB-9DE2-A3B6CB50B7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3ff825064a0cc7c42a26bc8c935d6f10862cd5","datavalue":{"value":{"entity-type":"item","numeric-id":4625159,"id":"Q4625159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$839CA88F-973B-4CA1-9D10-0CCE2A3E00F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae442a8c1b7df87a1287471fb88e581ff795556","datavalue":{"value":{"entity-type":"item","numeric-id":2985791,"id":"Q2985791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$08626C17-7CB8-4232-BED8-3D7B4FF1975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31644956a47dc9efb325244474ce5ee9b0257ea","datavalue":{"value":{"entity-type":"item","numeric-id":2828314,"id":"Q2828314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$127F6926-86B4-4EED-8E92-B0F49BECA720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a5966aff50c74cf720d49da6424b15e77cae75","datavalue":{"value":{"entity-type":"item","numeric-id":5176930,"id":"Q5176930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$842E9124-00E6-4AC3-B234-526117636296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8565bb7111fabf8c263355a26b2a815bd97dbe14","datavalue":{"value":{"entity-type":"item","numeric-id":5244823,"id":"Q5244823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$A5F05132-DF61-4631-9088-08A2851B347E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$E08AE801-E1A5-4202-B555-5B19A06E82DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aff391d2d2425c5869f8f09db3dee3055a8b33a","datavalue":{"value":{"entity-type":"item","numeric-id":5168930,"id":"Q5168930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$F0C31881-2736-4087-9725-41DAED0EDC37","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":"Q4625159$32834758-ABCA-4EF4-89AA-CE446B37C5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0acbc7a89c7168f232e809e0a3516231cad0546","datavalue":{"value":{"entity-type":"item","numeric-id":4930742,"id":"Q4930742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$215692CA-6347-464C-B4C0-C15D87442701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a36b1508a6569e39f0df5054acc6e2dbe3f075","datavalue":{"value":{"entity-type":"item","numeric-id":3600480,"id":"Q3600480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$54E33778-C7CE-48F7-B3CA-71568186A97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae0e27a6ed6fee9fa669c9b7b49a4fb92e5d942","datavalue":{"value":{"entity-type":"item","numeric-id":5501455,"id":"Q5501455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$6B584B2A-BCE9-4D5D-9EFD-9560CD360E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068704cf4615da30a2835e3abea74899686e26a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732171,"id":"Q2732171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$FB6F2381-6B37-4026-BE16-2DBFF4867404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee78ed76d0de3f4cac30c62ff7d8b58be9ff3d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5408528,"id":"Q5408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$42FFA9C1-C08F-4653-9F6F-461BB2C21267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$DF3735BD-6429-448F-BC9B-421825413A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde153d129b47a6dd1057ae56a9dead9a8768a0a","datavalue":{"value":{"entity-type":"item","numeric-id":5178768,"id":"Q5178768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$84DD9FF2-8CFD-43C6-BE78-01CA7D772DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acae650091b0525e6a892b3f4eacfc324b1d9d43","datavalue":{"value":{"entity-type":"item","numeric-id":5176929,"id":"Q5176929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$538670B5-AC27-4A42-9FFA-5786CF3FF7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8390a5a563d58c700b02bdfcec4b4fe3d988dba5","datavalue":{"value":{"entity-type":"item","numeric-id":3558250,"id":"Q3558250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625159$25809417-621F-4322-95B9-C530F13C3015","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b5f346537b54f71ffe1c62fe86a2ab803b98a2d","datavalue":{"value":"https://doi.org/10.1017/s0956796818000138","type":"string"},"datatype":"url"},"type":"statement","id":"Q4625159$89689D6B-061C-4ACE-BC9D-A5F5631B61C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0518a8ad5fe15fdc00504854cb428b66725bf9e7","datavalue":{"value":"W2887798018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625159$E808AD9A-A345-498C-BB8A-CF0BE8EBD50A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e4864b07445dc963fd4ffc4d18f271233fce418e","datavalue":{"value":"Q129430418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625159$79609D9D-FE50-4665-B170-BBEFA186DCCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20cf63fc7a894bf48839a1030e4ec5feafe1d872","datavalue":{"value":{"entity-type":"item","numeric-id":2985791,"id":"Q2985791"},"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":"Q4625159$3BBBBFC8-98D8-49F4-8597-1C78B37959F2","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":"e466f50d40cd661bfda30d8ef27c42d4b3f5eb5d","datavalue":{"value":{"amount":"+0.7490427494049072","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":"Q4625159$A1C22C41-D802-41FF-9A34-B8E258F0BCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a05d3f963271a6771786f0ca5f1d57b318ad68","datavalue":{"value":{"entity-type":"item","numeric-id":4490730,"id":"Q4490730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf394ff05389b1ff354022e13f195a13b3a5a6a","datavalue":{"value":{"amount":"+0.7090713381767273","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":"Q4625159$4581CEFD-B82E-4520-A444-CC972F468ADA","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":"4a0dafc0cc762408e309b8171e2a402119513fc3","datavalue":{"value":{"amount":"+0.7064645290374756","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":"Q4625159$FB1C46D0-14BE-4546-82B4-DCC5220DCC49","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":"30c73b28f88c86a2126a4eacbf91d5cc48456459","datavalue":{"value":{"amount":"+0.6994307637214661","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":"Q4625159$D48FA7AB-B192-4B0E-9780-8E80A8582D70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4625159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4625159"}}}}}