{"entities":{"Q46449":{"pageid":46505,"ns":120,"title":"Item:Q46449","lastrevid":56391438,"modified":"2026-03-13T06:24:00Z","type":"item","id":"Q46449","labels":{"en":{"language":"en","value":"v2c"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"70749803c8e45d55b112b14639747153a19fb88c","datavalue":{"value":"34740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q46449$4392C26B-F636-4907-80BF-81A64AC4AF7A","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":"Q46449$6E76593B-B2A1-4801-A199-4DFE63B703C7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"b0de5e7257c2f73e1b9b1e693ebbd766734837d9","datavalue":{"value":"http://www.cprover.org/hardware/v2c/","type":"string"},"datatype":"url"},"type":"statement","id":"Q46449$F067969F-D92D-41FA-B8C7-E54BF9AD2473","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q46449$0A365185-9C3F-425F-BFF4-78D2D792C25C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"819327f0b8d05a47856911d02863aa2d71ad0423","datavalue":{"value":{"entity-type":"item","numeric-id":46451,"id":"Q46451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q46449$BDE7B648-0C9F-4DA0-9A99-C66EEE07DF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"338192432a34ba0d22f8c06be88b8a4ad05f65df","datavalue":{"value":{"entity-type":"item","numeric-id":46450,"id":"Q46450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q46449$8E253592-C0B3-48CE-9E33-97D1CA12A8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"178661f0346444d937aee8782701c69b98b94173","datavalue":{"value":{"entity-type":"item","numeric-id":46448,"id":"Q46448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q46449$D9DEB62D-DBC9-4652-ACD8-52C7C31E3DA1","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":"Q46449$063B57F5-09BE-4F13-89F4-76B3E09BC66E","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":"Q46449$A3FE1CC8-F3CD-4469-A7B6-D867152254DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"V2c","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/V2c"}}}}}