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: | Dominik Tomaszuk, Łukasz Szeremeta, Artur Korniłowicz |
---|---|
Format: | Article |
Language: | English |
Published: |
Nature Portfolio
2023-11-01
|
Series: | Scientific Data |
Online Access: | https://doi.org/10.1038/s41597-023-02681-3 |
Similar Items
-
Specialized Knowledge of Prospective Mathematics Teachers on the Concept of Mathematical Proof
by: Christian Roberto Alfaro-Carvajal, et al.
Published: (2024-01-01) -
Preservice teachers' knowledge of proof by mathematical induction
by: Stylianides, G, et al.
Published: (2007) -
Proofs with Graphs
by: Curtis, S, et al.
Published: (1996) -
SOME ASPECTS OF PROOF BY MEANS OF THE EXPERT STATEMENT
by: Tapalova R.B., et al.
Published: (2019-06-01) -
Apriorics: Information and Graphs in the Description of the Fundamental Particles—A Mathematical Proof
by: Yakir Shoshani, et al.
Published: (2024-02-01)