Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYN348-1/VerificationProblems/E-SAT---3.0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]clause7.p2024-10-04 18:26 200  
[TXT]clause6.p2024-10-04 18:26 198  
[TXT]clause9.p2024-10-04 18:26 198  
[TXT]clause3.p2024-10-04 18:26 198  
[TXT]clause14.p2024-10-04 18:26 201  
[TXT]clause15.p2024-10-04 18:26 203  
[TXT]clause2.p2024-10-04 18:26 200  
[TXT]clause13.p2024-10-04 18:26 201  
[TXT]clause5.p2024-10-04 18:26 194  
[TXT]clause10.p2024-10-04 18:26 203  
[TXT]clause1.p2024-10-04 18:26 200  
[TXT]clause16.p2024-10-04 18:26 207  
[TXT]clause11.p2024-10-04 18:26 201  
[TXT]clause12.p2024-10-04 18:26 201  
[TXT]clause8.p2024-10-04 18:26 200  
[TXT]clause4.p2024-10-04 18:26 202  

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