{"entities":{"Q1687720":{"pageid":1698461,"ns":120,"title":"Item:Q1687720","lastrevid":71999655,"modified":"2026-04-14T01:59:30Z","type":"item","id":"Q1687720","labels":{"en":{"language":"en","value":"CompCertS: a memory-aware verified C compiler using pointer as integer semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821845"}},"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":"Q1687720$FFE71EA0-71BC-473F-AE90-4D373F9A5EDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc5240aa3566f661ef6b5348ab20d4e47c1dd44a","datavalue":{"value":{"text":"CompCertS: a memory-aware verified C compiler using pointer as integer semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687720$84C3CEAD-6136-408F-AC48-18115454DBB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b666348afcad46e1f0e12ea7298c7f4d8b1ac5db","datavalue":{"value":"1468.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687720$CD0E9BB0-3368-45C7-9771-C24C69843B93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"751c811062a7b5736455a25235ad72da59e7a373","datavalue":{"value":"10.1007/978-3-319-66107-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687720$3D9293F1-B6C3-443B-9270-90C5C18D0F0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d479f47bb17fd8baafebaf6a1d21c8b3a4ec5a","datavalue":{"value":{"entity-type":"item","numeric-id":1687718,"id":"Q1687718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687720$E9C996CD-66DE-4132-8B5B-C6B324F7B984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f71649d5cd536e6a70ddc24feda92d797a4529b","datavalue":{"value":{"entity-type":"item","numeric-id":287366,"id":"Q287366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687720$0ED7856A-9B40-4640-8FC1-B52FA11D43C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c25726b1c3d5cc63790fc1d73320b25e2720a6","datavalue":{"value":{"entity-type":"item","numeric-id":1687719,"id":"Q1687719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687720$17447186-C7BC-42EB-80D7-39344E8C55AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-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":"Q1687720$A28A4504-3746-45E5-9634-67695B0287DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86bbb1469522b8d32d814d0fb750c8017e0f4332","datavalue":{"value":"https://hal.inria.fr/hal-01656875/file/compcerts.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687720$25C9B260-C24D-4E77-9A6C-2BA3E119D208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687720$EC67963A-2C11-45BE-B99C-0E7FCE31FC75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4221cde2debeb39f4caedf0e9412de886bfb5aa9","datavalue":{"value":"6821845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687720$B5F2E242-4BC8-4789-B1DB-1FF6198C089E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216994b803ecd22e73a61495657652bf329c37ef","datavalue":{"value":"verified compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687720$BB9179C5-7A81-4F83-B2B2-8E71B66CD537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6392edb99e04b57155a11c034cf146e24774706","datavalue":{"value":"low-level code","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687720$4E5BAB51-FAD4-4C4C-8D00-8DB8811C02D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ec64423f18d347bb6f0278314736b4d917e54f","datavalue":{"value":"optimisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687720$7DC16B0E-3EB5-4F08-AF2C-E4538C6D5101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d9685543b4e662ee934b4da2922e3167b35c3c","datavalue":{"value":"pointer as integer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687720$66EEDE38-4EB8-4730-8237-8E76CE828DCF","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":"Q1687720$00B28593-3C01-4F31-A752-26D67C7D1C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0902bb2ede5a2bfd50bf8c0f49f5ce31952757c0","datavalue":{"value":{"entity-type":"item","numeric-id":20240,"id":"Q20240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687720$F25771B4-17C4-4C4C-A238-159B7B9074E9","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":"Q1687720$F3E60E12-8E78-4B37-A15F-7589AEC34515","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45e06a0b41894d4c872b3ecff5ba70e22336142d","datavalue":{"value":"W2746152268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687720$6EB90CB0-796D-4518-ABC5-9DC055D73F46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9882067857deee8a1f21a4631a1aa582d793db4","datavalue":{"value":{"entity-type":"item","numeric-id":2945624,"id":"Q2945624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687720$B2EB44FB-332C-4484-B42D-A594DF1AB524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532ebc126d26eaf3a312e30cad0136c0ecac4b26","datavalue":{"value":{"entity-type":"item","numeric-id":2938039,"id":"Q2938039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687720$69E2128E-A39E-45BD-8E0C-68710D7C4CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef257c6907158cd09f1eab4376f06786a44effee","datavalue":{"value":{"entity-type":"item","numeric-id":5408409,"id":"Q5408409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687720$A6F09E33-7027-4AA0-8CF5-E804CB94452B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2dad3e22ff5cd4eecd482eba8f74372fe5ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687720$476925A4-7F87-4D8D-AFB0-D69B44F6D549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e14081775351f6e9d8302e29cc683691607c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687720$E305B0F9-3A8A-44E8-AD74-A3CD345EFE57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68430109aae979bda0ec257514eeef17dfed57d3","datavalue":{"value":{"entity-type":"item","numeric-id":2319992,"id":"Q2319992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3474d25e454f79018c8c39d1bdafb12e6bb16db1","datavalue":{"value":{"amount":"+0.9884409308433532","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":"Q1687720$AC0E6249-B902-4ED0-8C69-903FF9715454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76226d410d47989d1688d51afb596a3303c055fe","datavalue":{"value":{"entity-type":"item","numeric-id":2945624,"id":"Q2945624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b954a063c95ec5c5d4c78edcd08ed504295beaf1","datavalue":{"value":{"amount":"+0.8766131401062012","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":"Q1687720$0E11D615-43FC-46E9-AE21-BF894E7EF477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"163a06d9025a9f2ebbb69da5db0328ca03f2ca34","datavalue":{"value":{"entity-type":"item","numeric-id":1739908,"id":"Q1739908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f62cf3403b9b9cfec67f3805f415998f6a07e5","datavalue":{"value":{"amount":"+0.8493353724479675","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":"Q1687720$6C32FA97-F670-498B-84D7-95DDB02A71BA","rank":"normal"},{"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":"a39859195745c1cc03e6edfd20a8045c61f08bfe","datavalue":{"value":{"amount":"+0.7995519638061523","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":"Q1687720$4D7BEB90-49C0-4916-9092-050AF63AF63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82eeeda3db65ba0c9e637877280a18f0e7bccd","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf3281b42dec9674d754d9844dfc1d051f53be5","datavalue":{"value":{"amount":"+0.7892091870307922","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":"Q1687720$32F80D7C-14E9-42E3-A379-A6270CB9D658","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CompCertS: a memory-aware verified C compiler using pointer as integer semantics","badges":[]}}}}}