{"entities":{"P2651":{"pageid":31517471,"ns":122,"title":"Property:P2651","lastrevid":105279881,"modified":"2026-09-30T09:27:23Z","type":"property","datatype":"wikibase-item","id":"P2651","labels":{"en":{"language":"en","value":"Archive of Formal Proofs Topic"}},"descriptions":{},"aliases":{},"claims":{}}}}