swMATH34855MaRDI QIDQ46564
No author found.
Source code repository: https://github.com/novotnyt94/Hypothesis-checker
Described by source