swMATH19623MaRDI QIDQ31448
No author found.
Source code repository: https://github.com/theoremprover-museum/OMEGA
Described by source
