Index of /Seminars/TPTP/Documents

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]VerySimilarProblemsLists.txt2024-10-04 17:41 1.9K 
[TXT]Template.txt2024-10-04 17:41 1.0K 
[TXT]THFSynopsis.txt2024-10-04 17:41 5.6K 
[TXT]TFFSynopsis.txt2024-10-04 17:41 5.9K 
[TXT]SyntaxBNF.txt2024-10-04 17:41 40K 
[TXT]SZSOntology.txt2024-10-04 17:41 25K 
[TXT]ReverseIndex.txt2024-10-04 17:41 1.0M 
[TXT]ReadMe.txt2024-10-04 17:41 6.1K 
[TXT]ProblemList.txt2024-10-04 17:41 882K 
[TXT]ProblemAndSolutionStatistics.txt2024-10-04 17:41 72M 
[TXT]OverallSynopsis.txt2024-10-04 17:41 5.4K 
[TXT]History.txt2024-10-04 17:41 50K 
[TXT]GeneratorList.txt2024-10-04 17:41 8.2K 
[TXT]FOFSynopsis.txt2024-10-04 17:41 5.6K 
[TXT]CNFSynopsis.txt2024-10-04 17:41 5.5K 
[TXT]Bibliography.bib.txt2024-10-04 17:41 226K 
[TXT]AxiomList.txt2024-10-04 17:41 8.2K 
[TXT]AGT_PlanT.txt2024-10-04 17:41 468  

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443