Index of /UserDocs/ProblemLibraryManual

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]TypeSystem.html2026-06-25 13:27 18K 
[TXT]AnnotatedFormulae.html2026-06-24 16:20 15K 
[TXT]ArithmeticSystem.html2026-06-22 14:23 24K 
[TXT]TPTPTR.shtml2026-06-20 08:42 3.8K 
[TXT]TheTPTP.shtml2026-06-20 08:41 78K 
[TXT]TF1ProposalOrigina.html2026-06-20 08:35 14K 
[TXT]Conclusion.shtml2026-04-28 13:55 4.9K 
[TXT]Introduction.shtml2025-10-28 09:23 14K 
[TXT]NonClassicalLogics.html2025-07-13 06:39 8.1K 
[TXT]GettingAndUsing.shtml2024-10-04 18:36 3.8K 
[ ]MACRO_NumberOfTFFAbstractProblems2024-10-04 18:36 5  
[ ]MACRO_TPTPCompressedSize2024-10-04 18:36 6  
[ ]MACRO_NumberOfTHFProblems2024-10-04 18:36 5  
[ ]MACRO_NumberOfProblems2024-10-04 18:36 6  
[ ]MACRO_TPTPFullSize2024-10-04 18:36 4  
[ ]MACRO_NumberOfTFFProblems2024-10-04 18:36 5  
[ ]MACRO_NumberOfNonClassicalProblems2024-10-04 18:36 4  
[TXT]TheReferences.html2024-10-04 18:36 125K 
[ ]MACRO_NumberOfEqualityProblems2024-10-04 18:36 6  
[ ]MACRO_NumberOfClassicalProblems2024-10-04 18:36 6  
[ ]MACRO_NumberOfCNFAbstractProblems2024-10-04 18:36 5  
[ ]MACRO_NumberOfAbstractProblems2024-10-04 18:36 6  
[ ]MACRO_ReleaseNumber2024-10-04 18:36 7  
[ ]MACRO_NumberOfTXFProblems2024-10-04 18:36 4  
[ ]MACRO_NumberOfCNFProblems2024-10-04 18:36 5  
[TXT]References.shtml2024-10-04 18:36 246  
[ ]MACRO_NumberOfFOFProblems2024-10-04 18:36 5  
[ ]MACRO_NumberOfTHFAbstractProblems2024-10-04 18:36 5  
[TXT]Utilities.shtml2024-10-04 18:36 46K 
[ ]MACRO_NumberOfFOFAbstractProblems2024-10-04 18:36 5  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443