{"entities":{"Q3557666":{"pageid":5587570,"ns":120,"title":"Item:Q3557666","lastrevid":7978741,"modified":"2023-10-12T20:15:31Z","type":"item","id":"Q3557666","labels":{"en":{"language":"en","value":"Formal Methods: State of the Art and New Directions"}},"descriptions":{"en":{"language":"en","value":"scientific journal"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"8209d69a835a766d17880a1e5fd1c18c8253b9cb","datavalue":{"value":{"entity-type":"item","numeric-id":56973,"id":"Q56973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557666$CA438961-C6C8-458C-BD2A-931C3BF83447","rank":"normal"}]},"sitelinks":{}}}}