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.
ContentsREADME.md: README fileLICENSE.txt: A license for all files10.yarspg: First 10 MB of the YARS-PG version of the MMLKG (without line breaks)20.yarspg: First 20 MB of the YARS-PG version of the MMLKG (without line breaks)30.yarspg: First 30 MB of the YARS-PG version of the MMLKG (without line breaks)40.yarspg: First 40 MB of the YARS-PG version of the MMLKG (without line breaks)50.yarspg: First 50 MB of the YARS-PG version of the MMLKG (without line breaks)60.yarspg: First 60 MB of the YARS-PG version of the MMLKG (without line breaks)70.yarspg: First 70 MB of the YARS-PG version of the MMLKG (without line breaks)80.yarspg: First 80 MB of the YARS-PG version of the MMLKG (without line breaks)90.yarspg: First 90 MB of the YARS-PG version of the MMLKG (without line breaks)100.yarspg: 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.