- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs ; volume:10 ; number:1 ; day:10 ; month:11 ; year:2023 ; pages:1-13 ; date:12.2023
Scientific data ; 10, Heft 1 (10.11.2023), 1-13, 12.2023
- Creator
-
Tomaszuk, Dominik
Szeremeta, Łukasz
Korniłowicz, Artur
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1038/s41597-023-02681-3
- URN
-
urn:nbn:de:101:1-2024012914513975995384
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:38 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Tomaszuk, Dominik
- Szeremeta, Łukasz
- Korniłowicz, Artur
- SpringerLink (Online service)
Other Objects (12)
Constructive proofs or constructive statements?
Using SOS definitions in term rewriting proofs
Mathematical significance of consistency proofs
Planning Mathematical Proofs with Methods
Introduction to mathematical structures and proofs
Granularity analysis for tutoring mathematical proofs
GraphTrials : Visual Proofs of Graph Properties
Integrity Proofs for RDF Graphs
On the difficulty of discovering mathematical proofs
Automating recursive definitions and termination proofs in higher-order logic
Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs
Basic Definitions and Graph Representations
Constructive proofs or constructive statements?
Using SOS definitions in term rewriting proofs
Mathematical significance of consistency proofs
Planning Mathematical Proofs with Methods
Introduction to mathematical structures and proofs
Granularity analysis for tutoring mathematical proofs
GraphTrials : Visual Proofs of Graph Properties
Integrity Proofs for RDF Graphs
On the difficulty of discovering mathematical proofs
Automating recursive definitions and termination proofs in higher-order logic
Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs
Basic Definitions and Graph Representations
Constructive proofs or constructive statements?
Using SOS definitions in term rewriting proofs
Mathematical significance of consistency proofs
Planning Mathematical Proofs with Methods
Introduction to mathematical structures and proofs
Granularity analysis for tutoring mathematical proofs
GraphTrials : Visual Proofs of Graph Properties
Integrity Proofs for RDF Graphs
On the difficulty of discovering mathematical proofs
Automating recursive definitions and termination proofs in higher-order logic
Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs