{"entities":{"Q2229236":{"pageid":2239979,"ns":120,"title":"Item:Q2229236","lastrevid":55382077,"modified":"2026-02-17T15:03:03Z","type":"item","id":"Q2229236","labels":{"en":{"language":"en","value":"A categorical approach to secure compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7314153"}},"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":"Q2229236$CB601725-C806-4777-B274-A70D19649239","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8811ef3fabfb7c8eb4adba972a5520d94d57cc23","datavalue":{"value":{"text":"A categorical approach to secure compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229236$5C10B550-0928-44F0-BF13-FF4F34B3B909","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77ce3e12a132d56a31175d5bda3fa8d980d5605a","datavalue":{"value":"10.1007/978-3-030-57201-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229236$957F7EA1-955D-4E1C-8A59-E2CF48FDA885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9224a7a4b8c2d79c81ee4a3648aed0c13fa1618","datavalue":{"value":{"entity-type":"item","numeric-id":2229233,"id":"Q2229233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229236$B14400A1-90F7-4AE6-AD15-FB2506519F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b07331328bd636f30b2dd1e7cef089c7de5cf55","datavalue":{"value":{"entity-type":"item","numeric-id":2229234,"id":"Q2229234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229236$BCF35707-8C76-4F92-90D1-036D9A301E59","rank":"normal"},{"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":"Q2229236$852A583D-8EC0-4862-8729-26D89004629B","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":"Q2229236$B2F68120-54D4-456E-A2ED-AB39AFDD085C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229236$E4675EF8-E5A9-4FD7-998C-53C365BFCE36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fe72eb2aab5d26bb555a7880e8947bab8433029","datavalue":{"value":"https://arxiv.org/abs/2004.03557","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229236$A648A5CF-71DB-4323-A2A3-6DFA818C661A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229236$EE0D5663-B3E2-4B19-9B34-E1E3DBF510C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50b22b5e307bd356a9035efb64e7993767b13c9c","datavalue":{"value":"7314153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229236$FD2EC81A-7E25-4109-AA72-B681024C2A17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150b2e037b5286405a7e2506c558d6bb7d520c61","datavalue":{"value":"secure compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229236$2F2DBC6D-73D9-45D4-8BF0-BD085F3CD209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b681e5e76ee6e412b156689781ac06af17087f42","datavalue":{"value":"distributive laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229236$3BD82AE9-EB90-4BD9-A8B3-2E6CA3C830A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229236$22A1E66D-2812-4EDD-9F40-96FD95EFA8EE","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":"Q2229236$07E742DF-C3F9-408A-B9C4-6046DF901FC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9ef3f46016dec5284f5aa35d158a5f11c388972","datavalue":{"value":"W3081797584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229236$3C894F66-0790-49F4-B194-136CC3325576","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c2547e0009e4dde45282611d12c9d4d8afdf55","datavalue":{"value":{"entity-type":"item","numeric-id":6488145,"id":"Q6488145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943c0e776952e14d2deab75767bd0fdac2b2c170","datavalue":{"value":{"amount":"+0.763616681098938","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":"Q2229236$91994079-32F5-4E34-A302-22D10028A9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c72fbf3f4a79f78d3c96087342d2fda8d3a40b8","datavalue":{"value":{"entity-type":"item","numeric-id":6070794,"id":"Q6070794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6052ca9a38c5641f614ec1672224dc62fe40952","datavalue":{"value":{"amount":"+0.7342882752418518","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":"Q2229236$50B9B9AA-BCCC-47F9-A062-32B6B13DBEC1","rank":"normal"},{"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":"333d8f0836d374f1331bdb66248f64f26fb1866a","datavalue":{"value":{"amount":"+0.7336937189102173","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":"Q2229236$46D3BB44-CE6A-48CE-A835-03598C68D5DD","rank":"normal"},{"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":"bdfd8214c8c1a2f1cb806d1281840d53d71e5b45","datavalue":{"value":{"amount":"+0.7300583124160767","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":"Q2229236$5BCD2A8D-AE2D-4D1A-AFC1-1AE1D8D8B77D","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":"0f87595ff46600957a12ca5e039c4684b8913e69","datavalue":{"value":{"amount":"+0.7168481945991516","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":"Q2229236$38F79231-8DCD-46D8-A7E6-130BFE358AF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2229236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2229236"}}}}}