{"entities":{"Q34513":{"pageid":34569,"ns":120,"title":"Item:Q34513","lastrevid":56328798,"modified":"2026-03-13T06:06:02Z","type":"item","id":"Q34513","labels":{"en":{"language":"en","value":"CompCertS"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"77a06974cd43d01265339b3da6a32b628de22ae2","datavalue":{"value":"22722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34513$83F9A4F1-6D0B-4A8F-8FB8-4ED08069636D","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":"Q34513$2A5BC692-13A4-4621-BFE4-184B57248CCD","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":"Q34513$21947501-6E96-4838-9BC5-F40EB053E6AA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"66ddb05799c4c5f30f40aca9486c02a92a5f28e9","datavalue":{"value":"https://rd.springer.com/chapter/10.1007%2F978-3-319-66107-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q34513$7B657F83-23C8-4198-BD97-221729907B88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34513$F7F6F603-2FA3-4F6E-850F-35DC96A9154E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34513$F03F30CD-08F0-4879-80F3-1F4D7DABA12B","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":"Q34513$FBBAFC44-EE86-49A7-B5E4-2922C462E4E9","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":"Q34513$71F8B0C1-557C-4508-810C-E8E8A5E6DD03","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":"Q34513$92EC7B5B-8054-4770-8E9A-DCD4A7E20A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"06666b35a7ca0f59454cbb0c19654d5792350b24","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34513$2667E65E-5878-4284-AEEA-5E675A33679E","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":"Q34513$B931F088-1CC0-4807-A88A-D93AFA2C83F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34513$A22686D0-9F35-461F-AA25-6B1D790E478C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4a34b418983b175a7d7a9fa18e9fcee7bd68adb4","datavalue":{"value":{"entity-type":"item","numeric-id":35126,"id":"Q35126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34513$28178300-47C8-4307-9250-16256D465F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f334e62270f2e8cde56a4718272503495e177cf3","datavalue":{"value":{"entity-type":"item","numeric-id":38664,"id":"Q38664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34513$A7CC82DF-195C-4DE2-8C40-78401EE1326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0233f4d92cc09acf89cb13e6d110b8740937fe99","datavalue":{"value":{"entity-type":"item","numeric-id":16597,"id":"Q16597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34513$17DCE38D-2217-4977-8FEA-DF271CE71921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2a83564748b9d531b8725a4cec1681ef9efb2a7e","datavalue":{"value":{"entity-type":"item","numeric-id":5974903,"id":"Q5974903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34513$E990C41D-6428-4BA1-91E3-3A5A2BB30EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"785073e135f6390f2f17f8185fc6b96aa8920908","datavalue":{"value":{"entity-type":"item","numeric-id":30118,"id":"Q30118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34513$FF3D6F8B-7184-4CE1-AB17-0D832E322278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CompCertS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CompCertS"}}}}}