Report copyright - math.chapman.edujipsen/tptp/tptpPDF/GEO.pdfGEO axioms GEO001-0.ax Tarski geometry axioms between(x;y;x) )x = y cnf(identity for betweeness;axiom) (between(x;y;v) and between(y;z;v))
Please pass captcha verification before submit form