{"entities":{"Q2942893":{"pageid":2953613,"ns":120,"title":"Item:Q2942893","lastrevid":52343471,"modified":"2026-01-22T09:45:30Z","type":"item","id":"Q2942893","labels":{"en":{"language":"en","value":"Formalizing the LLVM intermediate representation for verified program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481267"}},"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":"Q2942893$13323963-771C-4EAD-94BE-2FB16AEE843D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6764ce4589d729995ae040fc0b60949d0b08dfb6","datavalue":{"value":{"text":"Formalizing the LLVM intermediate representation for verified program transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942893$545D2009-3551-4A1A-8B2F-B0FD78B1D4DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd97dd623fe149bf35f22a8677fbcc433496829a","datavalue":{"value":"1321.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942893$506FD98E-F3F2-4570-8F15-882AA032A605","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"487603a5e90de70f919fa006e2aa098c009928a1","datavalue":{"value":"10.1145/2103656.2103709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942893$9E926DC8-49DD-445F-9DD0-F7E83C87050D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299d758e90a6a67648ca2eb97146665a2f76616a","datavalue":{"value":{"entity-type":"item","numeric-id":2156927,"id":"Q2156927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942893$DFA3FF57-9D71-45AD-802C-CF7EA2D3F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"020c3a86236b5c56a5afbbc60c1e4bf1a0e0d060","datavalue":{"value":{"entity-type":"item","numeric-id":2942891,"id":"Q2942891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942893$53E605C0-FEDF-44B8-BD60-510D8AE902EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"636d56959214917a544009958cd9929599d3c4e8","datavalue":{"value":{"entity-type":"item","numeric-id":2942892,"id":"Q2942892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942893$F812AF0D-3F7B-4C0F-95C8-7E8351E4E2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942893$91BF92E0-4F8E-49B9-A966-5769E02C1B29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942893$B8D6BC9A-99F6-4140-A056-BBD2CE27E426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-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":"Q2942893$C96D173F-5FDD-40B8-9DFB-B9715E8752C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83c57df32e939ba4e0b711de50f8d8cd1fa4d26d","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.6616","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942893$F60C778D-8977-4693-A5F1-003B7F9BE4EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942893$B65F106A-2B39-4311-B6A0-8ECBE1032803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942893$7D7E810A-6D95-4B55-A145-377FDE7AD9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942893$A3DF8950-3D7E-455D-8F27-AA909733BEAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c04d585f6d7a3228ea463d5002e05ad9a9ab72ee","datavalue":{"value":"6481267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942893$2FF30DA0-633A-4B60-BD5A-401BA2ED2402","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942893$C8A475C8-1C0E-4B6E-945F-D8F6CABFFEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2e0b1df3cdcc3827d03e73e9e6f30d480b73fe","datavalue":{"value":"LLVM","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942893$D8D485A6-FE92-4A28-867A-BC6655EC5A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa365f462f7bd1b9fdf8abaedd14810c00851a5f","datavalue":{"value":"memory safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942893$890E2C27-F0E2-4321-927A-AD46B0CCA07F","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":"Q2942893$5FF73C09-0F3E-486F-A4E7-9740DF7EA60B","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":"Q2942893$0FA71B27-BB4E-4112-A88A-4DA7EEEA8866","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1339441b5a016fd04d6336c8424b21ed6f47716","datavalue":{"value":"W4298447450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942893$A20C9CD9-92A9-4AAB-976E-9C0ADF7D8882","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe92806a81bbea1cd5444ec3bcbd3de48fd0186","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d0eca8a3d8de912704c4892483ef3c3bdacc74","datavalue":{"value":{"amount":"+0.7945719361305237","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":"Q2942893$59757BA3-7076-4EFB-8867-15F7A2D616DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78bdbaa4665b2e8e2b1bbd2026ada1f21f6063a","datavalue":{"value":{"amount":"+0.7451182007789612","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":"Q2942893$33E563FB-F263-49D2-84F0-3EBDDF815706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b66b19dcb34d20e7302d9ed697daf5c94068fc","datavalue":{"value":{"entity-type":"item","numeric-id":5240132,"id":"Q5240132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fad18b51c3ba652a197be5a7019512deaeea093","datavalue":{"value":{"amount":"+0.7331903576850891","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":"Q2942893$EE8841B9-B3E4-470A-A00D-BD2F4B5D3D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17175b224c7515c72d73abe77c54bb3cf1b4320a","datavalue":{"value":{"entity-type":"item","numeric-id":4916051,"id":"Q4916051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a1bd5648feb9e163492eb6efb1c6aacfbcad8d","datavalue":{"value":{"amount":"+0.7327295541763306","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":"Q2942893$4C2296AF-A93F-4337-9DB2-808D1309DB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ccc36d16cfd7af00d2b8b7e5632dfbf1b78667","datavalue":{"value":{"amount":"+0.7150347828865051","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":"Q2942893$941F7BE0-8681-487E-9715-0619ACC0A671","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942893"}}}}}