Recently, I submitted the first big paper on our #Python based approach for #FormalKnowledgeRepresentation.
If accepted, it will be #OpenAccess
The preprint is OA anyway:
https://www.preprints.org/manuscript/202401.0060/v1
The approach allows to model the content of mathematical theorems (such as Pythagoras) as nodes and edges in a #knowledgegraph
This is done via *qualifiers* – a concept borrowed from #Wikidata