{"entities":{"Q3377":{"pageid":3370,"ns":120,"title":"Item:Q3377","lastrevid":3491,"modified":"2026-03-25T14:44:31Z","type":"item","id":"Q3377","labels":{"en":{"language":"en","value":"Model Checking"}},"descriptions":{},"aliases":{},"claims":{"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"e773f39e0dfce20839c8bd43cd829c80ef2a04a8","datavalue":{"value":"1.02","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377$3EE276CF-7ADE-4EDB-B995-434BF447CE58","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":"Q3377$BFFBE36B-F5C9-4C02-B56B-CA4B29C4589C","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":"Q3377$15B725FF-0B1C-4DF6-99DC-49B27B842B2A","rank":"normal"}]},"sitelinks":{}}}}