Parts of the Mizar Mathematical Library Knowledge Graph (MMLKG) dataset (YARS-PG version)

This dataset includes small parts of YARS-PG version of the Mizar Mathematical Library Knowledge Graph (MMLKG) dataset.MMLKG is a thesaurus for describing a comprehensive repository of mathematical papers written in the Mizar language and computer-verified by the Mizar proof-checker (Mizar Mathematical Library).Read more about the MMLKG project at the MMLKG website.Contents<code>README.md</code>: README file<code>LICENSE.txt</code>: A license for all files<code>10.yarspg</code>: First 10 MB of the YARS-PG version of the MMLKG (without line breaks)<code>20.yarspg</code>: First 20 MB of the YARS-PG version of the MMLKG (without line breaks)<code>30.yarspg</code>: First 30 MB of the YARS-PG version of the MMLKG (without line breaks)<code>40.yarspg</code>: First 40 MB of the YARS-PG version of the MMLKG (without line breaks)<code>50.yarspg</code>: First 50 MB of the YARS-PG version of the MMLKG (without line breaks)<code>60.yarspg</code>: First 60 MB of the YARS-PG version of the MMLKG (without line breaks)<code>70.yarspg</code>: First 70 MB of the YARS-PG version of the MMLKG (without line breaks)<code>80.yarspg</code>: First 80 MB of the YARS-PG version of the MMLKG (without line breaks)<code>90.yarspg</code>: First 90 MB of the YARS-PG version of the MMLKG (without line breaks)<code>100.yarspg</code>: First 100 MB of the YARS-PG version of the MMLKG (without line breaks)LicenseThe MMLKG dataset is licensed under the Creative Commons Attribution 4.0 International License.