- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Tomaszuk, Dominik
Szeremeta, Łukasz
Korniłowicz, Artur
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1038/s41597-023-02681-3
- URN
-
urn:nbn:de:101:1-2024012914513975995384
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:38 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Tomaszuk, Dominik
- Szeremeta, Łukasz
- Korniłowicz, Artur
- SpringerLink (Online service)
Ähnliche Objekte (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