{"entities":{"Q5168912":{"pageid":7198484,"ns":120,"title":"Item:Q5168912","lastrevid":58455756,"modified":"2026-04-05T07:25:29Z","type":"item","id":"Q5168912","labels":{"en":{"language":"en","value":"Introspective pushdown analysis of higher-order programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318885"}},"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":"Q5168912$B304252E-DCC7-465E-8E61-FA18227DFF6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39351efdd08f3281c987dacd639da4ed2a5e0581","datavalue":{"value":{"text":"Introspective pushdown analysis of higher-order programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168912$FC455802-936F-40A8-990B-D85A7430B28F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5485588950d0f7c006d8ca06b8096f4a973a1aa","datavalue":{"value":"1291.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168912$1BA7A317-08F7-4F20-BE3E-F279D3B218F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98178e023b20baa1510085234d33eecbe79ab11d","datavalue":{"value":"10.1145/2364527.2364576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168912$7E1CFE61-871D-4E30-8F91-442C8AEB53C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b293a62acca273bc3fed062aa976835ddaf007","datavalue":{"value":{"entity-type":"item","numeric-id":2361308,"id":"Q2361308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168912$DA0874FF-63EE-44AB-9174-031747531849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e7aa46ac3d887e424dd5cc7f00c3746db134d5","datavalue":{"value":{"entity-type":"item","numeric-id":763479,"id":"Q763479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168912$8B49E314-2B78-40E6-AE0F-14D0B62BDE47","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":"Q5168912$398062FF-E235-4F3C-B450-82953010C754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfe8e697dde8bf1003cd4a4fc5d8975b7fbc356","datavalue":{"value":{"entity-type":"item","numeric-id":2802429,"id":"Q2802429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168912$40F9CC67-709D-4C45-9460-8B008DEC2F5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"124eb001557b71c36d00fbe6c3c8f1624c5e49b8","datavalue":{"value":{"entity-type":"item","numeric-id":5168876,"id":"Q5168876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168912$8C92CCBD-535E-4904-BE88-A9331653FFAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168912$1688029A-C9B4-42ED-8D19-14D0C79ACD86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1233418b2965077c835b1479e373d71619cdaf5","datavalue":{"value":"https://arxiv.org/abs/1207.1813","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168912$90CD65F5-0039-4DDE-90B4-2A9750B560E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"78e907a1d5f6ee3726ec74f4f9a28157b60ac5c8","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.2409","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168912$C967031B-3397-4DAC-AFE9-09471813909C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168912$E4698B4A-B274-473F-A173-C08315FE680E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e38d0e5916f6bca2e2de1e150e081fad2d8c5b9","datavalue":{"value":"6318885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168912$7767B3CF-2513-45BF-A32F-E7DC7FD58201","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c68eb4b92f3c519652b4ae7db48653d2d3ec70","datavalue":{"value":"abstract garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168912$56D226A0-DFA9-4929-86A4-4E83AA1A4788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168912$B6108240-53AE-4D59-92A3-6F3F9D33D93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168912$3F478086-9353-4808-8F60-76A49C134339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95cca9e71eb799b6f7776c853b136311d7f1e633","datavalue":{"value":"cfa2","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168912$3122DCD7-2EED-42D7-AB71-7F65CE2F898C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f56d350b5b90fc1fddf0b43b4d5ff923c1661bb","datavalue":{"value":"higher-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168912$11B804ED-A780-4645-8801-E24F700EA225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168912$10D14E3C-180B-423C-87A9-C156D493C4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfa28457759eaa134430855e8ce9df8e5bd7256","datavalue":{"value":"pushdown analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168912$702039C4-EF6E-4759-A082-6121D95049B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168912$6CFD298D-DC8B-4694-A508-181A7311C35C","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":"Q5168912$083BE9CB-3B80-44EB-B737-3B700B3B14C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af1099fc405fcadf3710471082405e0f98f0738e","datavalue":{"value":"W1990810662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168912$A8F33FD2-7FB2-4EB8-B555-F52F474AD750","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4645e54f58af1a8be614f58d150354a52b06263e","datavalue":{"value":{"entity-type":"item","numeric-id":2875231,"id":"Q2875231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb6368df0cde0e1fb85039c1c4b6bbee270d3e0","datavalue":{"value":{"amount":"+0.9100301265716552","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":"Q5168912$F39A6CA6-1B95-4F3D-80F3-9C161CA6F7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb90a851d56781b1ae3823a365c7a2f89a35fee","datavalue":{"value":{"entity-type":"item","numeric-id":2828314,"id":"Q2828314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc693388fe59f9be2ae15a251cda04c0ef441b3","datavalue":{"value":{"amount":"+0.7743234634399414","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":"Q5168912$F75EFF8A-8E34-4660-ABE4-26C7512EE9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8f97e0e574a62b4281fdaff2ea6c6a62596a4b","datavalue":{"value":{"entity-type":"item","numeric-id":5176964,"id":"Q5176964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060458b1cec84b91abb97a7c0cbaf8008e61dd63","datavalue":{"value":{"amount":"+0.7592463493347168","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":"Q5168912$3315F082-E015-41EB-9703-3988E7386129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0446613962c25e7551415765ca0c45ef7be90815","datavalue":{"value":{"entity-type":"item","numeric-id":3165529,"id":"Q3165529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c0418fe3824ae405cf067dea2fcf8a9fa7386f","datavalue":{"value":{"amount":"+0.7452757954597473","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":"Q5168912$14C55A70-9707-4EA3-8C67-67652FF46A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0a0fefcd63614e02c1fdd0081c486e39b6f03a","datavalue":{"value":{"entity-type":"item","numeric-id":3546050,"id":"Q3546050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919cf1f3df8526b1adb53ffe9a36db25d5e9bd1b","datavalue":{"value":{"amount":"+0.7349225878715515","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":"Q5168912$08B6B947-A68F-40D2-9F79-DD6E74F4714B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168912"}}}}}