pypi.org "Mizar Mathematical Library Knowledge Graph" keyword
View the packages on the pypi.org package registry that are tagged with the "Mizar Mathematical Library Knowledge Graph" keyword.
mizgra 1.0.1
Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, ...2 versions - Latest release: over 1 year ago - 94 downloads last month - 3 stars on GitHub - 1 maintainer
Related Keywords
mizgra
1
mathematics
1
parser
1
CLI
1
XML
1
ESX
1
RDF
1
MML
1
Mizar
1
Mizar Mathematical Library
1
MMLKG
1
CSV
1
converter
1
GraphML
1
YARS-PG
1
property graph
1
graph
1
graph database
1
graph data
1
Neo4j
1
mathematical data
1
graph-data
1
graph-database
1
graphml
1
mizar
1
neo4j
1
property-graphs
1
rdf
1
rdflib
1
yars-pg
1