Can I read MMLKG on EtoBox?

MMLKG by tutututututu521 is a document available to read on EtoBox.

What is MMLKG about?

The document introduces the Mizar Mathematical Library Knowledge Graph (MMLKG), a new data storage and retrieval approach for mathematical definitions, statements, and proofs that enhances semantic interoperability and supports the FAIR data principles. MMLKG organizes and links mathematical knowledge from the Mizar Mathematical Library, facilitating easier access and integration with other datasets. The dataset is publicly available and aims to improve research, education, and database management in mathem

Author

tutututututu521

Language

EN