swMATH19618MaRDI QIDQ31443
No author found.
Source code repository: https://github.com/theoremprover-museum/CLIN
