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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]clause1.p2024-10-04 18:32 110  
[TXT]clause2.p2024-10-04 18:32 166  
[TXT]clause3.p2024-10-04 18:32 166  
[TXT]clause4.p2024-10-04 18:32 166  
[TXT]clause5.p2024-10-04 18:32 168  
[TXT]clause6.p2024-10-04 18:32 186  
[TXT]clause7.p2024-10-04 18:32 186  
[TXT]clause8.p2024-10-04 18:32 188  
[TXT]clause9.p2024-10-04 18:32 190  
[TXT]clause10.p2024-10-04 18:32 191  
[TXT]clause11.p2024-10-04 18:32 191  
[TXT]clause12.p2024-10-04 18:32 191  
[TXT]clause13.p2024-10-04 18:32 191  
[TXT]clause14.p2024-10-04 18:32 191  
[TXT]clause15.p2024-10-04 18:32 191  
[TXT]clause16.p2024-10-04 18:32 193  
[TXT]clause17.p2024-10-04 18:32 209  
[TXT]clause18.p2024-10-04 18:32 211  
[TXT]clause19.p2024-10-04 18:32 211  
[TXT]clause20.p2024-10-04 18:32 213  
[TXT]clause21.p2024-10-04 18:32 213  

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