{"entities":{"Q20240":{"pageid":20296,"ns":120,"title":"Item:Q20240","lastrevid":56241732,"modified":"2026-03-13T05:42:26Z","type":"item","id":"Q20240","labels":{"en":{"language":"en","value":"CompCertTSO"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d20dc9bce5c760b809c422bef3e2d0f2faec66a9","datavalue":{"value":"8230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q20240$11720038-DAE3-478C-8FB7-2BCC9A72E554","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"8cd67b24722bdea28f12b1c990291ecfe4e5d2ea","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$74BEECBD-9D8C-4406-83F0-0BD3F86D9178","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":"Q20240$266EB46C-85E8-4D00-ABCD-B5CE4C9DBBF6","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"13ab4943b692bcd7f7f1d58c8ec6d00c039513b1","datavalue":{"value":"http://www.cl.cam.ac.uk/~pes20/CompCertTSO/doc/","type":"string"},"datatype":"url"},"type":"statement","id":"Q20240$EB10F585-7364-4032-9FAC-414EB76F8242","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q20240$65BEF796-0865-4414-A092-A287A98E1A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q20240$E763F83F-24BF-406E-B3FD-4FCCE86AA785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q20240$EFD2E15A-C94F-4C6D-9B29-7E2C159946DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q20240$9907FAF2-7B3A-463F-8019-EA1426B664A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q20240$999396F7-E4C6-4A93-9D11-816C8BB247E6","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":"Q20240$E4EDA82B-B901-4561-B77D-EAF10D722A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a98913d28e06371416ea2826884dc0ec7364f38","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$A41173AF-310D-4255-8906-AEE1D4B67DC0","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":"Q20240$11983C98-6D59-46A9-AA23-ED1B8C98B149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d758980c7aab42229371c3fec56294874b60660","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$49D177F7-E212-4F2A-9689-FA7A6F43AA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a600e6f2657a4fac73a77f24ed63d4bd9cdcd016","datavalue":{"value":{"entity-type":"item","numeric-id":34513,"id":"Q34513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$CA3E7AF5-6145-4B7C-85CD-8B53FA60C9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6686686cf0df0fea1bc5cf37ef81f8d633b28e33","datavalue":{"value":{"entity-type":"item","numeric-id":34413,"id":"Q34413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$4477E8A6-F580-478C-A971-8528207556A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4a5d7cc7c93c22bf9c8fa550419d7f2b201a4c87","datavalue":{"value":{"entity-type":"item","numeric-id":31827,"id":"Q31827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$FB253216-C38E-4AB8-96D9-FE65522ADB87","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":"Q20240$60D8E52E-F327-45F1-9CAC-1B9BDD28E8AF","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":"Q20240$4CDD232A-4F4E-4DCD-80FA-62B9686FF4A3","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":"Q20240$389D28CE-9BD4-4458-997C-30283F84FA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dd85a58ebf7e9e839c14be68e9d82ac4fec6a8e3","datavalue":{"value":{"entity-type":"item","numeric-id":21601,"id":"Q21601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$B8CB51E3-F47E-4EF0-9ED6-78DD328B15FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2cd157c0ce895ace042c647f41667d99482a6298","datavalue":{"value":{"entity-type":"item","numeric-id":23299,"id":"Q23299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$60C43BB6-0D68-4D61-84AB-FD9BCEF3D2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"73bdf83b845075653e4f87bf9bebb10f97ebc7d2","datavalue":{"value":{"entity-type":"item","numeric-id":26832,"id":"Q26832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$C76644B9-A532-4F23-8C05-F688D2203DB8","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":"Q20240$7FC62480-E429-40D3-BCD1-86F2A29ED2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"62c8694bdadc2a63bebb430c3f9776f5f866ae0d","datavalue":{"value":{"entity-type":"item","numeric-id":13123,"id":"Q13123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$21B56DF0-9797-4B65-B453-E490474128B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1bbc3872a55b3dfa074c96d37fd46f076f92caa","datavalue":{"value":{"entity-type":"item","numeric-id":24736,"id":"Q24736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$A32008F7-C7C9-4846-A93B-09F285583687","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":"Q20240$F87EBA45-2194-401E-8759-B2C75675DBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$9FD04870-3AE1-4BE5-9608-6C6D2F893A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"10b7d941d6abf28fdd67a2888fcb5bdb38af5b4a","datavalue":{"value":{"entity-type":"item","numeric-id":21954,"id":"Q21954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$85EF62D0-6C3A-40A0-8B47-F8B85A3534F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q20240$6FDD8CEB-F9A0-4250-AFC0-29CEDED49815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CompCertTSO","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CompCertTSO"}}}}}