{"entities":{"Q3502686":{"pageid":5532589,"ns":120,"title":"Item:Q3502686","lastrevid":7923192,"modified":"2023-10-11T10:58:03Z","type":"item","id":"Q3502686","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing \u2013 SAT 2008"}},"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":"Q3502686$E9DFB92F-6043-4D9D-966D-27C7FF5FC21A","rank":"normal"}]},"sitelinks":{}}}}