swMATH38028MaRDI QIDQ53728
No author found.
Described by source
This page was built for software: Ordered_Resolution_Prover