{"entities":{"Q3754":{"pageid":3747,"ns":120,"title":"Item:Q3754","lastrevid":3868,"modified":"2026-03-25T14:51:33Z","type":"item","id":"Q3754","labels":{"en":{"language":"en","value":"Software Verification"}},"descriptions":{},"aliases":{},"claims":{"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"7317562e67ac205856b28c5c45f6cd7ff0044241","datavalue":{"value":"1.01","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754$2629EB2C-F0CD-4A99-B5FB-F067E27ACC14","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":"Q3754$E67134DE-2233-4BA1-983D-42FFCED4384B","rank":"normal"}],"P20":[{"mainsnak":{"snaktype":"value","property":"P20","hash":"6c118477ddc854f8efab077afa2461a9d10ff8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2257,"id":"Q2257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754$4D9FDDB6-FD34-4F21-827C-F3A8086506AD","rank":"normal"}]},"sitelinks":{}}}}