{"entities":{"Q1739908":{"pageid":1750650,"ns":120,"title":"Item:Q1739908","lastrevid":68872038,"modified":"2026-04-13T02:47:13Z","type":"item","id":"Q1739908","labels":{"en":{"language":"en","value":"A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048640"}},"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":"Q1739908$1A429CB5-72EB-4435-BCDC-7E3F46A52756","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"709ef6cebacb1a2687c5d0735c8e35de23cd8c38","datavalue":{"value":{"text":"A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1739908$03FDEEEB-9197-48F5-8C77-0436CD2461A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72a021e1439692f95e632a070b1cb99cec7c014a","datavalue":{"value":"1465.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739908$E12FBA30-CE3D-4B3C-9478-5BD7BAF5A012","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":"Q1739908$C13B8807-4B8B-4D39-8B79-983DA060BEDC","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":"Q1739908$7409D5B4-7CFF-4E7F-9028-BA627CEF203F","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":"Q1739908$5497726B-F603-4FF6-8C34-B22B24F990E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$6AB323E8-A0D6-440E-BA05-F8A29AD7745E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1739908$5F91F81B-E274-46B8-8D76-A0BEA3124012","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97ce1923b7e7adae7ec1fae8f4b06bf91c95b8af","datavalue":{"value":"https://hal.inria.fr/hal-01656895/file/jar-besson-blazy-wilke.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1739908$36A41A89-44AB-4981-9BB3-AEF2EB2C9937","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739908$7AF97ADF-22DB-4D00-9F22-F3AD142C674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739908$6C068FE4-EA05-49A8-9BD6-222EAABBD18A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd8df55394545a7eeac288ff23388ea8959778c9","datavalue":{"value":"7048640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739908$F78D64EC-4E3B-4B98-A7B4-1FA03ED67EDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216994b803ecd22e73a61495657652bf329c37ef","datavalue":{"value":"verified compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739908$3B27BCE5-6454-41A5-91B8-F22A03C851D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0017c20b17af542b67601085f15bac0041e03a3","datavalue":{"value":"C semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739908$5B0B6FA3-B215-43B3-85A9-2EAF60106D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7d6ca3aa85387589adf7c84563fdedb5df6e89","datavalue":{"value":"pointer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1739908$325104F3-9622-41D7-A56F-97AA78C2F207","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$27185256-A676-4278-B4FE-51E231FC1D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cc9c769c3668a0a1aa50bb552f5f533bb41a964","datavalue":{"value":{"entity-type":"item","numeric-id":31808,"id":"Q31808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$28895F84-440C-4595-9D9C-A5117120E045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$39BC189F-3F3D-4D26-94A0-C8E71E94A8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$9D25496F-E656-4AE7-B4DC-32CDDB8D1B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$4B4CA786-5545-4B9E-81F8-F66FCF22F825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$AD1F2AEE-C455-4C8D-B815-56D08C30E667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2cff0e70f190de9dce10b1f730c5efddd384c38e","datavalue":{"value":{"entity-type":"item","numeric-id":21893,"id":"Q21893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$EC232738-C819-4270-BC35-BC90D9DF90EC","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":"Q1739908$6F6DC40E-8BC0-47BB-A390-63282F22C2EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f66ee60dac639b60bec89553a1dd545b6d5be9b7","datavalue":{"value":"W2765454105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739908$9FC47E64-5864-45C2-8DD8-BCAAA8EA39FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$2B9CF072-6BBB-42F9-8032-8877666B347D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$E5D9615B-E35E-4F86-816F-325327212996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$DE374E48-0242-4D1A-A080-C995ABF62670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46e85dd4fa46a1da23fbc12b96b2bb7fc7d7bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2915120,"id":"Q2915120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$B789723B-E154-4D17-AC32-530F7BCBE04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$AAE152EF-5B15-4B82-862A-3E029C7D7833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb6a694c413940271a785e87645155d12c05123","datavalue":{"value":{"entity-type":"item","numeric-id":2914735,"id":"Q2914735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$D7FD6C63-50D8-4455-B721-D30F1A4E0D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f90f9000203b5cc02cd5a95785f3228e4b1b7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2655325,"id":"Q2655325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1739908$458211F8-6B3B-459B-96B5-AEF96D986447","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":"Q1739908$C33A71FC-0383-47C6-8A3B-5638ACD2F12D","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":"Q1739908$98C56E6F-CD18-46AE-BD7B-C3D84B28770F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67375442b229a97e7da1ffd8723ac976445723fb","datavalue":{"value":"10.1007/S10817-017-9439-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1739908$FFAC29D2-9481-42AA-A0EA-12D66939E292","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":"3048a3a89d7dc49cb5c97258b3762ce55412faf6","datavalue":{"value":{"amount":"+0.8568295240402222","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":"Q1739908$08B71CEB-4AF3-4F5E-8609-C1B320FA6637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b219b6d7b95e38ed7a29c3183761078250d4e26","datavalue":{"value":{"entity-type":"item","numeric-id":1687720,"id":"Q1687720"},"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":"Q1739908$727F1A0C-6386-4258-8FE0-7671E8BCAD58","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":"f0ddba1ab33b3460b73662c317d0b1e6a5b809f7","datavalue":{"value":{"amount":"+0.8472845554351807","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":"Q1739908$4EF21950-C225-4466-9D65-4AE2554A1099","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":"901d5bd568aaf51e68d73b191d7fb71783947344","datavalue":{"value":{"amount":"+0.7682026624679565","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":"Q1739908$34B88B15-EA60-41BC-BBAD-BC68E2F9EDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6c9e47a6f87f9556c5932f106c5ec71edfaf09","datavalue":{"value":{"entity-type":"item","numeric-id":2819813,"id":"Q2819813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2776f6de417d5e6f9a7c03fd9d1667a710c425","datavalue":{"value":{"amount":"+0.7344375848770142","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":"Q1739908$D540A948-A4AC-4F85-A3D4-43D27BDD0060","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_verified_CompCert_front-end_for_a_memory_model_supporting_pointer_arithmetic_and_uninitialised_data"}}}}}