{"entities":{"Q6175102":{"pageid":13309990,"ns":120,"title":"Item:Q6175102","lastrevid":40674196,"modified":"2025-03-25T13:17:01Z","type":"item","id":"Q6175102","labels":{"en":{"language":"en","value":"Analysis, Verification and Transformation for Declarative Programming and Intelligent 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":"Q6175102$EF7B2922-CA4E-4AB2-8B7D-BA2E538E7257","rank":"normal"}]},"sitelinks":{}}}}