[thegp]

I wonder if it is possible to get a full dump of that db

[mixedmath]

It is. It's open source, and the backend is closely tied to the free math software sagemath (sometimes called sage). In fact, the site sometimes generates the data on request through sage instead of filling in large databases of static objects.