https://123dok.net/document/zwv98k6v-generating-openmath-content-dictionaries-from-wikidata-short-paper.html