{"entities":{"Q4645221":{"pageid":6674802,"ns":120,"title":"Item:Q4645221","lastrevid":9110028,"modified":"2023-11-02T00:46:17Z","type":"item","id":"Q4645221","labels":{"en":{"language":"en","value":"Theorem Proving with Analytic Tableaux and Related Methods"}},"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":"Q4645221$374A65E6-EB46-4C2F-B336-57E839AC1737","rank":"normal"}]},"sitelinks":{}}}}