{"entities":{"Q21716":{"pageid":21772,"ns":120,"title":"Item:Q21716","lastrevid":56245728,"modified":"2026-03-13T05:43:48Z","type":"item","id":"Q21716","labels":{"en":{"language":"en","value":"CompCert"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a3e475879e03014fd6c4927e4491ee56fea04bde","datavalue":{"value":"9737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21716$E161C7BF-81E1-4F59-A551-D6CCB51C4318","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"826c4b09e99a3ee0901205d838a40bde88cbbb30","datavalue":{"value":{"entity-type":"item","numeric-id":1687720,"id":"Q1687720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$77DDB206-8A8B-4393-AFDA-369A5067D5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"d049bd91791e9ea9eb7471e9d1701c7282745596","datavalue":{"value":{"entity-type":"item","numeric-id":2819813,"id":"Q2819813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$A97E3412-CEA4-48EE-9BA0-61E83BAF25F7","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$44EAA677-0402-4F31-8605-0062AD501F1A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"7e4a8b6f59160c72ade81b6769509c080a195124","datavalue":{"value":"http://compcert.inria.fr/","type":"string"},"datatype":"url"},"type":"statement","id":"Q21716$5197C6AE-BB56-4971-A17C-243ECFB207DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21716$90E28680-CB76-4F6C-AAF5-C02A455A2537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21716$E790A7A1-0F35-4B0D-9B00-0B25E4D6B060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21716$E9D18ED4-6994-4240-9A2C-B43C1EF7AC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21716$64497A94-38E5-4317-9CF9-95EB6A6BB339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21716$54D45C50-2444-4B9F-9596-B55FBB2EC1F7","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$EE92104C-EE90-4DB4-B4A7-98DD40292853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$F370FAA7-7097-431F-84E0-880BCAC5389C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$086A144D-00F2-4DCC-A28A-70E3C88D8171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$73A884A8-5CF2-4527-BD48-791DB6B7BFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$E59B6A8A-528F-4B50-9D80-0347727EFA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"95e5f1158f96f22279bdd9d9c26433e98a490641","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$1E0070FB-BE2B-46FA-B729-FDC24E68E84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$F2485ACC-608D-4339-B574-E5B2BD22A448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$3FDE3DFA-7135-4A6A-89AA-3ACD5C03D179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f4c49195386fec971bd4ca13634bbf2894b133da","datavalue":{"value":{"entity-type":"item","numeric-id":34519,"id":"Q34519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$8DB41DB9-9AAE-4EA4-83CE-963680833DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$B8948754-FCFF-4148-8445-72258DCA2E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$033E7ABF-507E-48EF-A5D8-28817CE78D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"98ec7f91d3f6de61430d42391739d204fdee1071","datavalue":{"value":{"entity-type":"item","numeric-id":20240,"id":"Q20240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$F17E8F73-1A8D-4E8A-B639-B78050F9DF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f7819f4cd0fe04c45178ab8b5c4dd54f9c229db1","datavalue":{"value":{"entity-type":"item","numeric-id":21718,"id":"Q21718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$21539483-6C98-4A7E-A4A3-9E0CD8EAA228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2e072a738543502cb1df91e8cb89fd6f06eabadf","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$C387E1D9-BF53-4AD8-B715-50C3CC0FDEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$507425C2-FB1F-4C59-8235-24B020C778B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b0460c22effbdc7abae47c972770a9682cc008dc","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$45DDCAE2-F233-48CC-BC6F-AE3F7AB484CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$247199CF-651D-4BB3-9299-0A8B66B9734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fd1c0b3f068cc22555c5a8c14d4ac959e115ce60","datavalue":{"value":{"entity-type":"item","numeric-id":25201,"id":"Q25201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$1C3048FD-79A7-4BC7-8115-8BF7C31B962F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a4e379c1ae3ec0947777bb7c46343a7c1d018240","datavalue":{"value":{"entity-type":"item","numeric-id":33310,"id":"Q33310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$42DDC2B9-006F-4066-814A-7650C5F2EA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cf582b1819623d8d4cf80820bebd86ea9aabf6f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21716$DC20817F-078D-47A7-9908-1C1997EA04F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CompCert","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CompCert"}}}}}