{"entities":{"Q6041186":{"pageid":13175287,"ns":120,"title":"Item:Q6041186","lastrevid":33883185,"modified":"2024-04-25T15:18:46Z","type":"item","id":"Q6041186","labels":{"en":{"language":"en","value":"Model Checking, Synthesis, and Learning"}},"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":"Q6041186$FC68AD2F-A1C4-4632-9ADA-0A2E5F7DAE67","rank":"normal"}]},"sitelinks":{}}}}