Index of /LNF/linux/ubuntu/jammy/LNFeprover/reloc/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP

Icon  Name                                                                         Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] Axioms/ 2022-08-14 08:15 - [TXT] BOO006-1.p 2020-07-28 22:03 1.7K [TXT] BOO010-2.p 2020-07-28 22:03 1.4K [TXT] CAT004-4.p 2020-07-28 22:03 2.1K [TXT] COL042-8.p 2020-07-28 22:03 2.1K [TXT] CSR036+2.p 2020-07-28 22:03 2.6K [TXT] GEO288+1.p 2020-07-28 22:03 135K [TXT] GRP237-1.p 2020-07-28 22:03 5.8K [TXT] HEN011-2.p 2020-07-28 22:03 3.3K [TXT] LCL365-1.p 2020-07-28 22:03 2.0K [TXT] MGT063+1.p 2020-07-28 22:03 6.9K [TXT] PLA012-1.p 2020-07-28 22:03 1.8K [TXT] PUZ028-6.p 2020-07-28 22:03 3.6K [TXT] SET183-6.p 2020-07-28 22:03 2.5K [TXT] SET844-1.p 2020-07-28 22:03 3.2K [TXT] SEU027+1.p 2020-07-28 22:03 6.6K [TXT] SWB008+1.p 2020-07-28 22:03 2.0K [TXT] SWB030+3.p 2020-07-28 22:03 1.8K [TXT] SWC078-1.p 2020-07-28 22:03 2.8K [TXT] SWV851-1.p 2020-07-28 22:03 151K [TXT] SWW194+1.p 2020-07-28 22:03 347K [TXT] SYN190-1.p 2020-07-28 22:03 1.4K
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80