Report - math.chapman.edujipsen/tptp/tptpPDF/SYO.pdf · 2017. 3. 20. · SYO axioms SYO problems SYO001^1.p Leibniz equality is transitive leibeq: $i !$i !$o thf(leibeq decl;type) leibeq =

Please pass captcha verification before submit form