ϵ">]> Clausal Language (ver. 5.81.21, by P.J. Voda, J. Komara, J. Kluka)
...
Clausal Language (ver. 5.81.21, by P.J. Voda, J. Komara, J. Kluka)
Module  Ex07b in logic: Peano arithmetic
Query:


Results: