{"entities":{"Q169908":{"pageid":171673,"ns":120,"title":"Item:Q169908","lastrevid":11907534,"modified":"2024-01-26T09:27:48Z","type":"item","id":"Q169908","labels":{"en":{"language":"en","value":"Formal Methods in System Design"}},"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":"Q169908$83B1AB09-26DB-488E-A36A-30B1821DD16C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"710268875dabc272d29e8e73c89eaa6faf42ea87","datavalue":{"value":"Q15755416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q169908$76274E58-70CF-4EEA-9344-17CB4A7D4175","rank":"normal"}]},"sitelinks":{}}}}