{"entities":{"Q2828252":{"pageid":2838990,"ns":120,"title":"Item:Q2828252","lastrevid":52656251,"modified":"2026-01-23T05:06:55Z","type":"item","id":"Q2828252","labels":{"en":{"language":"en","value":"Fully-abstract compilation by approximate back-translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642950"}},"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":"Q2828252$9EEE9801-A911-425D-A7F0-9380E3F93CF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d95569921b049658b0af351d53ecc5e16769746e","datavalue":{"value":{"text":"Fully-abstract compilation by approximate back-translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828252$887E450F-9090-417F-A4A8-AB9D4E8834D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fe8d46ddcfa0a2b55534f8539aea85c41efb9c0","datavalue":{"value":"1347.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828252$C5AB5DAB-4274-4EB8-80DC-14AF0B0BA4A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11507bf5bac610abb7f9fcb80b1acba2e406c11e","datavalue":{"value":"10.1145/2837614.2837618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828252$EBDDBA7B-73B9-40C2-9342-308107E88DA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1529dedab76f5fce2b82e1e7164fb256a96937b","datavalue":{"value":{"entity-type":"item","numeric-id":2229235,"id":"Q2229235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828252$B6014845-62F9-480C-9069-668CFCA0B817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7877379dab3b329672de23564d8b8cf0e1abd0f","datavalue":{"value":{"entity-type":"item","numeric-id":1749115,"id":"Q1749115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828252$A871AB66-97DC-44FF-A219-F3C49918760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6035db45b2f773ce1316044aa6ee6cdabbbc50c8","datavalue":{"value":{"entity-type":"item","numeric-id":678823,"id":"Q678823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828252$D46653BD-B93E-44F6-A49F-DBA0468FC063","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828252$96CC7A71-58E4-47BE-8DAB-9339B048CE19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828252$D0FAD840-CAA9-4E91-99A2-0D55D983C546","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"504397437e421839b0257aee5bb808a34de830d4","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/570054","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828252$78271B35-68A3-4348-9C72-8AECDC5A4BB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828252$A64DCF26-ADB0-41C1-B946-DDABC2F17483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828252$5E1E3757-E6CD-4146-B88C-55699EA9AB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828252$D25A06E8-8602-462F-B66D-F62C37DE308F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b794c13d9877e09c0581828da0e4078005c5871c","datavalue":{"value":"6642950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828252$B555FB11-C817-42E3-927F-D5C670F04BD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba3fbea88a3d2eb136a8a53af0a176f367dd0f7","datavalue":{"value":"fully-abstract compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828252$A052B1F1-5FFA-4A13-AFC6-DC684E769928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebaa638fb9a66de81aa75511bf46554a6fe9d9ee","datavalue":{"value":"compiler security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828252$12BA1CAD-BC3C-4CD0-8F23-17C5A975B00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c7d289e16c595cb35c47773b3a23e85790fe56e","datavalue":{"value":"cross-language logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828252$6DC0A966-B399-404B-982E-C453BF7319DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828252$FE241659-8263-48F6-9C00-8851D3EA7F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150b2e037b5286405a7e2506c558d6bb7d520c61","datavalue":{"value":"secure compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828252$233E19FD-3280-4224-A438-1C66A6393100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905b948fe4bfdb7eb3dea0f42ea8b556d62e1229","datavalue":{"value":"step-indexed logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828252$CEF7E0AC-CB01-4DD6-ADE1-C9C71397128B","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":"Q2828252$812400DB-B623-44C2-BBF7-69C73F16B6FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5469cb4460fcb4a29426bcbc66706892cc56ec4","datavalue":{"value":"W2293692853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828252$57E12596-BBE3-4294-B2BF-FDD477863A9C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"63a1b5f4baea52ebe3ebf1b047c542a3c53ca8f6","datavalue":{"value":"Q130876739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828252$C64A86B7-2192-4E06-BAA8-74ED2E586F20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e007ccbe793e5635d26738c6ed5466b353c8747","datavalue":{"value":{"entity-type":"item","numeric-id":4596778,"id":"Q4596778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b124015318c7442851ee06b65d12587e47579cd","datavalue":{"value":{"amount":"+0.982231080532074","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":"Q2828252$A24FCAB1-CD4E-478E-A32C-6246B609C07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a48cad81368ee98af32efbe16ab58ad50164a0","datavalue":{"value":{"entity-type":"item","numeric-id":2982006,"id":"Q2982006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77eb57ada1c956b4ff08d3b318b4faf65071e05","datavalue":{"value":{"amount":"+0.8995723128318787","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":"Q2828252$F47D8145-893D-4F23-8F1B-5C0E17DE638F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ec36cdf8a9fe05714032db7f69f7d00f55348f","datavalue":{"value":{"entity-type":"item","numeric-id":2931813,"id":"Q2931813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7562e4648799acc6eede53e43a935c433387fbe0","datavalue":{"value":{"amount":"+0.7832151651382446","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":"Q2828252$07281CED-E423-4B2A-B69E-2B82E937FC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa16b1dfd4b4b800d1e39aff63b0967bd4a56fa","datavalue":{"value":{"entity-type":"item","numeric-id":5178761,"id":"Q5178761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fffc29ae792d178d26a69411b0f728def5bbed","datavalue":{"value":{"amount":"+0.7816857099533081","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":"Q2828252$86282915-F86E-4AD7-B8CA-5F944280FCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3970b49b781d3bf83689498debbe49a8f3c3fa3","datavalue":{"value":{"entity-type":"item","numeric-id":5176993,"id":"Q5176993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d0bb424e8f4af1d36d98e907f3e540bad5d245","datavalue":{"value":{"amount":"+0.7684170603752136","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":"Q2828252$55F72063-228E-47CA-918D-099226A222FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828252"}}}}}