{"entities":{"Q6483095":{"pageid":13979250,"ns":120,"title":"Item:Q6483095","lastrevid":37660275,"modified":"2024-09-03T13:15:56Z","type":"item","id":"Q6483095","labels":{"en":{"language":"en","value":"EF1-24"}},"descriptions":{"en":{"language":"en","value":"Project EF1-24 in MATH+ (Expanding Merlin-Arthur Classifiers Interpretable Neural Networks through Interactive Proof Systems)"}},"aliases":{},"claims":{"P1495":[{"mainsnak":{"snaktype":"value","property":"P1495","hash":"bbdf578617f96324bb308be03f073a3be3a8129d","datavalue":{"value":{"entity-type":"item","numeric-id":6038427,"id":"Q6038427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6483095$14692361-AE44-4533-89FC-7357A90E1F49","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"d9f51f3d90d07602850f6b38b895a93b04a50311","datavalue":{"value":{"entity-type":"item","numeric-id":6205094,"id":"Q6205094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6483095$C77F9657-8927-41AE-A5D7-943DA1A8EAD8","rank":"normal"}]},"sitelinks":{}}}}