{"entities":{"Q5920088":{"pageid":8052151,"ns":120,"title":"Item:Q5920088","lastrevid":10891677,"modified":"2023-12-12T10:02:45Z","type":"item","id":"Q5920088","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE 26"}},"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":"Q5920088$254D5B2B-82AA-4EF0-AA08-A2E8E1810464","rank":"normal"}]},"sitelinks":{}}}}