{"entities":{"Q2453":{"pageid":2446,"ns":120,"title":"Item:Q2453","lastrevid":2567,"modified":"2026-03-25T14:25:12Z","type":"item","id":"Q2453","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{},"aliases":{},"claims":{"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"e773f39e0dfce20839c8bd43cd829c80ef2a04a8","datavalue":{"value":"1.02","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453$930A278A-C2D1-48B0-AA5F-E23CE817A934","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":"Q2453$6931B8E1-9CFD-4C03-B41A-31962AAB00B8","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":"Q2453$44B7B055-15CD-4D78-AE11-1199A6DB03EF","rank":"normal"}]},"sitelinks":{}}}}