Index of /LNF/linux/ubuntu/xenial/LNFeprover/reloc/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms
Name Last modified Size Description
Parent Directory -
BOO002-0.ax 2020-07-28 22:03 3.3K
BOO003-0.ax 2020-07-28 22:03 2.0K
BOO004-0.ax 2020-07-28 22:03 1.6K
CSR002+1.ax 2020-07-28 22:03 130K
GRP004-0.ax 2020-07-28 22:03 1.8K
HEN001-0.ax 2020-07-28 22:03 2.0K
MGT001+0.ax 2020-07-28 22:03 3.4K
MSC001-0.ax 2020-07-28 22:03 178K
MSC001-2.ax 2020-07-28 22:03 30K
SET004-0.ax 2020-07-28 22:03 18K
SET004-1.ax 2020-07-28 22:03 4.8K
SWB001+0.ax 2020-07-28 22:03 101K
SWB002+0.ax 2020-07-28 22:03 22K
SWC001-0.ax 2020-07-28 22:03 18K
SYN001-0.ax 2020-07-28 22:03 26K
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80