swMATH8587MaRDI QIDQ20596FDOQ20596
Author name not available (Why is that?)
Official website: http://arxiv.org/pdf/1202.4837.pdf
Cited In (8)
- A data model and encoding for a semantic, multilingual terminology of mathematics
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
- gfsage
- FraCaS
- SMGLoM
- Naproche
- Translating between language and logic: what is easy and what is difficult
- Multilingual Sage
This page was built for software: GF
