{"entities":{"Q2937727":{"pageid":2948447,"ns":120,"title":"Item:Q2937727","lastrevid":3264738,"modified":"2023-08-23T17:34:26Z","type":"item","id":"Q2937727","labels":{"en":{"language":"en","value":"Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems"}},"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":"Q2937727$8EDBBD12-F95E-4670-8552-24B40F56390F","rank":"normal"}]},"sitelinks":{}}}}