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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]clause1.p2024-10-04 18:24 110  
[TXT]clause2.p2024-10-04 18:24 110  
[TXT]clause3.p2024-10-04 18:24 162  
[TXT]clause4.p2024-10-04 18:24 164  
[TXT]clause5.p2024-10-04 18:24 164  
[TXT]clause6.p2024-10-04 18:24 166  
[TXT]clause7.p2024-10-04 18:24 166  
[TXT]clause8.p2024-10-04 18:24 168  
[TXT]clause9.p2024-10-04 18:24 168  
[TXT]clause10.p2024-10-04 18:24 185  
[TXT]clause11.p2024-10-04 18:24 187  
[TXT]clause12.p2024-10-04 18:24 189  
[TXT]clause13.p2024-10-04 18:24 189  
[TXT]clause14.p2024-10-04 18:24 189  
[TXT]clause15.p2024-10-04 18:24 189  
[TXT]clause16.p2024-10-04 18:24 189  
[TXT]clause17.p2024-10-04 18:24 189  
[TXT]clause18.p2024-10-04 18:24 189  
[TXT]clause19.p2024-10-04 18:24 191  
[TXT]clause20.p2024-10-04 18:24 191  
[TXT]clause21.p2024-10-04 18:24 209  
[TXT]clause22.p2024-10-04 18:24 213  

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