{"entities":{"Q2646":{"pageid":2639,"ns":120,"title":"Item:Q2646","lastrevid":2760,"modified":"2026-03-25T14:31:04Z","type":"item","id":"Q2646","labels":{"en":{"language":"en","value":"Computer-Aided Verification"}},"descriptions":{},"aliases":{},"claims":{"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"e773f39e0dfce20839c8bd43cd829c80ef2a04a8","datavalue":{"value":"1.02","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646$4E3F0B59-BC4C-4A63-B5D4-A3E99A59674D","rank":"normal"}],"P5":[{"mainsnak":{"snaktype":"value","property":"P5","hash":"2dfacf3101abd5b11db103c022fa4df0b254ac4c","datavalue":{"value":{"entity-type":"item","numeric-id":553,"id":"Q553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646$010BCBF9-A51B-468E-A7C5-5830061C3171","rank":"normal"}],"P20":[{"mainsnak":{"snaktype":"value","property":"P20","hash":"515277f00fd3d5d8150e8cd06ee8a5779feb3c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2224,"id":"Q2224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646$B3480DEC-EBBB-4F19-A3AB-16B2BFCEFEFA","rank":"normal"}]},"sitelinks":{}}}}