{"entities":{"Q5408534":{"pageid":7438108,"ns":120,"title":"Item:Q5408534","lastrevid":51972491,"modified":"2026-01-20T16:11:37Z","type":"item","id":"Q5408534","labels":{"en":{"language":"en","value":"Static analysis of multi-staged programs via unstaging translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282595"}},"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":"Q5408534$88945293-9D62-43F7-BDA2-D39CEB12135F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d84b7d47077b2995ac4804d48e0ae4f3cd88a82","datavalue":{"value":{"text":"Static analysis of multi-staged programs via unstaging translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408534$E64BB68D-1385-4B35-AFAD-64EAC3DE3419","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a21b0a2d5d3ed2d55b3b915edfb2a77ee28a584","datavalue":{"value":"1284.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408534$E7582B58-5086-4DE8-9DAD-07DD8173C495","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88d5d5cac369796e13db9c9613aacf9baa52c6e7","datavalue":{"value":"10.1145/1926385.1926397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408534$2B8E3863-D271-4B42-B1AE-6BCEDAFBAA8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7a79ec3f18ddb32ad71ed85dfbf16c94b138c60","datavalue":{"value":{"entity-type":"item","numeric-id":5408533,"id":"Q5408533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408534$37B88F6D-F86F-4329-8785-B619225214E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99bded51333e44ca6580af52436eb3885815def7","datavalue":{"value":{"entity-type":"item","numeric-id":2863867,"id":"Q2863867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408534$AAE40C73-36C6-4C51-B8ED-6313D3EBC82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408534$DAE2DEBC-40CF-4181-90A9-F09EF6818ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408534$71C02343-90FB-4B6A-9751-2D5E9EBBFD87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408534$B8CA735F-4C9E-4A2D-BB7E-FA651D1E3596","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-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":"Q5408534$D55BD8A3-4E6F-4E4E-8005-F3DF0BBFBD96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408534$13E5AAF3-0BBE-457D-8480-F036EC4AFDC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e265550187dbe59834dc2c7d29998cd1efea1221","datavalue":{"value":"6282595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408534$CE692F68-7BF4-46CC-8647-D546F5C6B9C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408534$1F191DEC-F7DD-4F4B-901A-4D7092719490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08aaaf7b436cfc3ce004d3b1172d26714b6940d9","datavalue":{"value":"multi-staged language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408534$FB920B03-7BD8-440B-9560-E8EF294BEFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1617e3aa19d65cbfc80989811e170f60dc5878b0","datavalue":{"value":"projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408534$4BDA525A-F3C6-4D2E-B467-AB8B2D0DE8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15edb8af2f3e9f8f82f435464a67eb8ac2214cbf","datavalue":{"value":"semantics perservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408534$6D11F1AF-8AE8-40D1-876E-D2A28BCBF5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408534$CA3DA23A-49D8-4D2A-BADA-F8F0675FACAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd0fea3586f9ad2a04ed615824a524167d2e247","datavalue":{"value":"unstaging translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408534$767420EB-56F1-490B-821F-01E631EC99CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d25abee4ec8d8d7faed98811a85b78a23ddc986","datavalue":{"value":{"entity-type":"item","numeric-id":21676,"id":"Q21676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408534$1F5291F9-9A74-4443-9E2F-965A83021FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408534$C668EE09-5B30-4BD4-8C33-5C406B9D3688","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":"Q5408534$8E543DD7-242B-491F-9E87-4E8BFD81AA38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fc212344ccf9ec5143399ac6fb612a07f43a53e","datavalue":{"value":"https://doi.org/10.1145/1926385.1926397","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408534$4647DFBE-3254-4555-8325-32A02761B4B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa725d6f23c6093227e5ad611c0f54679e40eade","datavalue":{"value":"W4248334436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408534$C26180DB-B26D-4210-B579-C08D0AB73699","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc26f0944802ba82fe680d8fedfc5c396b7c20e","datavalue":{"value":{"entity-type":"item","numeric-id":2892738,"id":"Q2892738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a879064db1794d3077acdccef62cbcfddf1d01c","datavalue":{"value":{"amount":"+0.7305458188056946","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":"Q5408534$F44FB818-71B0-42D9-9FEE-DE0FD1C1C7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5b0195e69e11872fdd63a024fc1e417332958b","datavalue":{"value":{"entity-type":"item","numeric-id":2478589,"id":"Q2478589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05d5ac6c164f8e8e20c5bd822bcd05c6081eb5a","datavalue":{"value":{"amount":"+0.7167353630065918","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":"Q5408534$F7858507-B882-4BC7-99DD-2E45D80889DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14185da354a081abcf81ee304a10386207c6599c","datavalue":{"value":{"entity-type":"item","numeric-id":5371979,"id":"Q5371979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb62fd88e4cf9312714e5dd9338c0710db73730","datavalue":{"value":{"amount":"+0.7145381569862366","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":"Q5408534$B9DB0058-2B21-42D4-BDC2-AB135AD6118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6f9755d4b69d1c4108095396fb0abd578c77fa","datavalue":{"value":{"entity-type":"item","numeric-id":1929349,"id":"Q1929349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343be86228828a8dec554637c78f0c56a21d50c2","datavalue":{"value":{"amount":"+0.6924387216567993","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":"Q5408534$747C4A4E-F460-41DE-A9C7-531606FA2376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8d73c942198168275be8460e4e9a1c0058bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ee170c6436e99912d54e4167df305aae42b250","datavalue":{"value":{"amount":"+0.6918356418609619","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":"Q5408534$2F031A8D-6131-4FC8-BC2E-144D2240F626","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408534"}}}}}