{"entities":{"Q4472173":{"pageid":6501772,"ns":120,"title":"Item:Q4472173","lastrevid":8936996,"modified":"2023-10-29T16:07:02Z","type":"item","id":"Q4472173","labels":{"en":{"language":"en","value":"ZB 2002:Formal Specification and Development in Z and B"}},"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":"Q4472173$23CA704B-9C0E-4911-881C-AF5F2E5C8E7F","rank":"normal"}]},"sitelinks":{}}}}