{"entities":{"Q5916265":{"pageid":8032781,"ns":120,"title":"Item:Q5916265","lastrevid":102075545,"modified":"2026-06-06T03:25:54Z","type":"item","id":"Q5916265","labels":{"en":{"language":"en","value":"Securing a compiler transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6947118"}},"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":"Q5916265$47D00B9F-4B7D-4F31-B0DA-8D1EF36657F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d281010916b16be01e5380a620e40ea761b92f2","datavalue":{"value":{"text":"Securing a compiler transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5916265$EC309783-79A7-40E9-9253-19F414046D96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba6e254701d568b6faeff608b4115fb7bc74d797","datavalue":{"value":"1425.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916265$EF135706-1F0C-4BC3-A532-DF459779E611","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4969b40d9dea9f484251fb0f008a7b89a1882f28","datavalue":{"value":{"entity-type":"item","numeric-id":1664384,"id":"Q1664384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$56815192-BC43-428B-BCB2-13C5418F0E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$0B878F8F-9FE8-47CC-8318-C77D7E6761B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$034F46F3-A8E6-4224-966E-8AB92E8EECA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5916265$4F3A4D2E-BCB6-472D-A84C-3F75E6704621","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916265$93C3408F-7D25-42CC-8A0E-5B28A7317844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916265$37F26993-B3FA-4D4F-9753-056DF45C1010","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39b3ab35635b0eb5d3d141a2a9d2f4fa227c12ec","datavalue":{"value":"6947118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916265$027FFD32-C5C8-4CE4-A339-660D7F0B9A38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916265$F117C072-F19D-4B56-B51A-9D3FA4B42672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d958ef02bdf074a60d670471cc677567c94c4a3","datavalue":{"value":"compiler correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916265$E65F18D0-1525-4C39-8FE3-AA4EDFC40BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916265$AC13FFC9-2B1A-4F37-BA95-65A5A5053121","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$C07CB176-AAFB-40B9-832B-B0711D04A8CC","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":"Q5916265$A2676608-78A0-411A-92EC-920B9C5B16A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"833b69d2a0dbba6a57e56c699c789cd1b2621c12","datavalue":{"value":"https://doi.org/10.1007/s10703-017-0313-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5916265$E4991C05-A64A-46B9-852A-1AEB511D91CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48a58c7b5a941ee181a1faeb9dea9bcf4c13d4c4","datavalue":{"value":"W2949255524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916265$288925C5-9C4F-4C11-B0F6-C3182F31CA59","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eac6b4e3d281fba8c81958017b1a7cd505a77a3c","datavalue":{"value":"Q122730707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916265$826F2ABB-925A-4416-A275-C40A841910C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3176ca8c244aec029753cde79ed099c9735799dc","datavalue":{"value":{"entity-type":"item","numeric-id":5408414,"id":"Q5408414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$96AE49FD-15B5-4E22-98EF-6D410B176D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06cb66f43495dfeda6f88bad8172ea681c498fb8","datavalue":{"value":{"entity-type":"item","numeric-id":5915713,"id":"Q5915713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$E6F735BF-2BFF-4877-8AFC-599993392631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652038e8755aea0e70fd43ab65422c1b36fc3560","datavalue":{"value":{"entity-type":"item","numeric-id":5233238,"id":"Q5233238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$99AA4423-7796-4221-AA4C-BC46E67B0930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$CEC22CC5-9CC5-46F5-9D6C-ED230AD50BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a70ecf1678e53a8cfd6053886969de8e0f83f4","datavalue":{"value":{"entity-type":"item","numeric-id":2931813,"id":"Q2931813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$27F83A08-F2B0-45E5-A951-D01ACDA1B405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$05ACA934-2935-49CB-B29C-64064B41CCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35838c32d188bd66cc45703c606789db71b97ead","datavalue":{"value":{"entity-type":"item","numeric-id":1865858,"id":"Q1865858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$08835DFF-3850-494D-BB2C-B5E14CEC4A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aa5ec7ed75699269cdc5875fbe3fa75ff1e774","datavalue":{"value":{"entity-type":"item","numeric-id":4635788,"id":"Q4635788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916265$DDD648D9-4438-4FAD-A5CB-34A50DB82229","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"378372f09e265d1b6149ccb30362da9355196443","datavalue":{"value":"10.1007/S10703-017-0313-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916265$0A3319C7-5611-43CD-87B0-529BC7B1CD09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da653e33b0257e9e75ac5dc322657f1e8a134075","datavalue":{"value":{"entity-type":"item","numeric-id":5915713,"id":"Q5915713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ca3085fc969878198ec3e001d45f62b8de6a75","datavalue":{"value":{"amount":"+0.9500629901885986","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":"Q5916265$2FA991E1-23D2-41B9-8FAB-1E41CA1F6BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf6a2e31525cfe73c848a0e53577218f7a21bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5233238,"id":"Q5233238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8510d764c061d38a36c6ed63c89686005e44627","datavalue":{"value":{"amount":"+0.7784783244132996","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":"Q5916265$6D45AA5B-5D63-4920-BD5C-96E182E1E52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab84265184c0eced371ed0a02afc20815b5c45e2","datavalue":{"value":{"entity-type":"item","numeric-id":5897372,"id":"Q5897372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab55d72ea077e0e86e3c92f8ae5de1b8d3841c9","datavalue":{"value":{"amount":"+0.7455728054046631","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":"Q5916265$F3E83F95-E144-4A45-8A9F-2B89A7B9C913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967b46f54b965e87160916507238d5e18fbd01f7","datavalue":{"value":{"entity-type":"item","numeric-id":1768477,"id":"Q1768477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9274d4f1cde683cf98373fb94fa0ef1c86c8c9f0","datavalue":{"value":{"amount":"+0.7094632387161255","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":"Q5916265$2BD25D56-4198-43D0-BDC7-81E794090A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffafbebb9faba209e5e39f23b5061548c36405ca","datavalue":{"value":{"entity-type":"item","numeric-id":865705,"id":"Q865705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e9c10d86c5c44ab49c3d08e13ff923a22f19aa","datavalue":{"value":{"amount":"+0.7083257436752319","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":"Q5916265$0CB543EA-0013-497F-BCB1-AA33E63F798C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Securing a compiler transformation (scientific article; zbMATH DE number 6947118)","badges":[]}}}}}