{"entities":{"Q2938073":{"pageid":2948793,"ns":120,"title":"Item:Q2938073","lastrevid":52170704,"modified":"2026-01-21T02:19:25Z","type":"item","id":"Q2938073","labels":{"en":{"language":"en","value":"Generic combination of heap and value analyses in abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385888"}},"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":"Q2938073$FEA00AA4-1D2A-45E7-AC8A-5E3A71996DC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea92fe0b129748e6ea26c9f3af3afbbd3770d720","datavalue":{"value":{"text":"Generic Combination of Heap and Value Analyses in Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938073$AA61A1B9-3F79-4566-B628-572351FDCE44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea1c4223e7259d900d4264c746d509142b257c1b","datavalue":{"value":"1428.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938073$11924D40-11DC-4335-91DA-D0DA6C0057A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc53c0e02bbaaa9a56f9cfcbc8af504bde0446f8","datavalue":{"value":"10.1007/978-3-642-54013-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938073$58B6A22B-42B3-4296-9F4B-251E8F976E37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243400d5ddd1208389d474075e48066f7efc9228","datavalue":{"value":{"entity-type":"item","numeric-id":278743,"id":"Q278743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938073$037CB5F7-A4CE-44AB-B9D7-DA777E6E11F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938073$A340A90D-9100-49EB-9122-16198C55E8B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938073$344F8C54-C906-4806-8B76-7DF3D5A177C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938073$C2264C1F-873C-42AC-B517-882EA23981ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938073$E289B52D-A185-4899-B2E7-ADC3051C6B33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0858389f5508c1e31adb250f8d04157eafd7137e","datavalue":{"value":"6385888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938073$D2614D07-D469-4192-8006-A631D36A638E","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":"Q2938073$DBE5B827-F98C-4C19-90BA-32B1300312C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4367540c24cf0814ace2db7b68a092cd1e955203","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54013-4_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938073$178FE883-D46E-461A-8172-A15F91FC55DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aeef5e473c33329e98032510ec8776fe34be1c1f","datavalue":{"value":"W172408808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938073$03B2020A-431D-462D-B3EF-3067632AA98E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00d98a0e733b0cefaa91037837760e641a9ad2e","datavalue":{"value":{"entity-type":"item","numeric-id":278744,"id":"Q278744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3dd1f1fd15b421a957264363f1c4e11949280a","datavalue":{"value":{"amount":"+0.9288681149482728","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":"Q2938073$3B6ADC72-6503-4350-BCA9-441723EAB218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6ab9e5c04c365c0fd59b2ba6634900e475eeff","datavalue":{"value":{"entity-type":"item","numeric-id":3000629,"id":"Q3000629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3a4f2fa1ad73badf95f1a389163d175e3dbd52","datavalue":{"value":{"amount":"+0.7768418788909912","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":"Q2938073$345AFAE2-7BFA-4001-96CC-A9A09E79DEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0582ee30595e78a0df901762e77eacc08e125f21","datavalue":{"value":{"entity-type":"item","numeric-id":5172654,"id":"Q5172654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1972961d2b1133334d0acd84cdbc4d5d49672e28","datavalue":{"value":{"amount":"+0.7732422947883606","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":"Q2938073$13AA715A-7924-42AB-95E4-A282D197C580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891022239b3661446bd2ac6019d0de28e4d55594","datavalue":{"value":{"entity-type":"item","numeric-id":5898608,"id":"Q5898608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a836c20282ab5b2f137af05f656d6b5f1444c8e","datavalue":{"value":{"amount":"+0.7654265761375427","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":"Q2938073$C0C496F8-453D-4790-B411-8B3EA444A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef98b6dd93032e81d6555f005dab5c31c50b9947","datavalue":{"value":{"entity-type":"item","numeric-id":5466566,"id":"Q5466566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc20cc348ce4f79e15f92f6412b308308a88161","datavalue":{"value":{"amount":"+0.7410466074943542","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":"Q2938073$929F3418-4F81-4E81-80EB-0A2AF613F3DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938073"}}}}}