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 |