MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
Abstract Nowadays, Knowledge Graphs (KGs) are important and developing in different areas. However, there is a lack of genuinely interoperable datasets representing mathematics that allow for information exchange between datasets in the Web ecosystem. In this paper, we address this matter based on t...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Nature Portfolio
2023-11-01
|
| Series: | Scientific Data |
| Online Access: | https://doi.org/10.1038/s41597-023-02681-3 |