{"entities":{"Q4596778":{"pageid":6626363,"ns":120,"title":"Item:Q4596778","lastrevid":89947310,"modified":"2026-06-04T18:41:35Z","type":"item","id":"Q4596778","labels":{"en":{"language":"en","value":"Modular, fully-abstract compilation by approximate back-translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816923"}},"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":"Q4596778$D7DC09E2-9DEC-4C93-A2B6-C4C6C31887B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4e1edf4c01dd537a16f65925f09c06f7483620f","datavalue":{"value":"1398.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596778$125A98B2-813F-4001-88DC-A5CE67905ACE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ade2b2cef3cf5f4fecdf5010b1c3fc355555b5f","datavalue":{"value":"10.23638/LMCS-13(4:2)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596778$1D3B0EEA-82C5-4503-95F1-EFC8274E76F6","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":"Q4596778$7FB86F89-148D-4E7D-87E0-1C1338635E44","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":"Q4596778$AA36C54A-0671-470C-A93B-19D101230C0D","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":"Q4596778$F95B005F-5392-4111-A589-1EE454C8A7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ff537a17f7b46107c65387cb733dca58666c6e2","datavalue":{"value":{"entity-type":"item","numeric-id":4596777,"id":"Q4596777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596778$F8D863D7-264D-4C36-BFA9-8E7712635A08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596778$1353F8A8-6668-45C8-835D-0E88B9950A0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbf1fb39107adf502688691757d6ebece820ead3","datavalue":{"value":"https://arxiv.org/abs/1703.09988","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596778$2EF70504-82CE-42AA-BA48-41F9B742C428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596778$4903A1C6-C8FA-4CA4-AF44-6D66971A2B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596778$433DCC71-EE8F-466C-A31B-1E45B221F577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596778$804D8CBB-59C4-4E80-B203-EE1C2A6E489F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa469b5c15a86baf69fd5ed43f65f533a757c345","datavalue":{"value":"6816923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596778$DFB67BF5-BD8A-4996-934D-3B5DC8DFCC64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e7f7bc51901b4f52db755b7c6cbb8992698b293","datavalue":{"value":"fully abstract compilation, cros-language logical relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596778$571C58E1-2888-44D0-8AFE-18A38D33F764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928ad85327619b194dacc6c422cf850d43677ea1","datavalue":{"value":"modular compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596778$C1C83EFB-EB4A-46AF-B2DC-9B4E22081AF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596778$DA7931F0-B0F2-4592-B186-10DABD7CAD5E","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":"Q4596778$366A7868-2678-4AAB-9E25-7894414503FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c18b48955d5bacd38fbb0758b759ca19bc7c2d7","datavalue":{"value":{"entity-type":"item","numeric-id":2828252,"id":"Q2828252"},"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":"Q4596778$78087CCE-3596-48AC-B056-560ACE829ADA","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":"3a9eca7950b54feae10abd6b5858c07261d5b7e9","datavalue":{"value":{"amount":"+0.8935489654541016","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":"Q4596778$417F682D-A9DC-490C-A411-50F3DE5DC3F8","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":"531c65862e59cf72d79ef72b8339857e76b0c313","datavalue":{"value":{"amount":"+0.7840008735656738","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":"Q4596778$55FC9C09-ECCE-4C79-AEA0-AA0FE979072C","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":"5dba03c59e6fee68671f9ca9b7949ccd282afbeb","datavalue":{"value":{"amount":"+0.7757309675216675","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":"Q4596778$C7CF20E3-1CFF-48B7-9C54-D793F19B91BA","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":"683f0ca9460ad204787b792215c9cba731c470a6","datavalue":{"value":{"amount":"+0.7628256678581238","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":"Q4596778$4EE6CE0B-1ACB-4291-8ABA-5BCCD90A1BA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular, fully-abstract compilation by approximate back-translation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular,_fully-abstract_compilation_by_approximate_back-translation"}}}}}