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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]and_definition.p2024-10-04 18:28 185  
[TXT]pickup_1.p2024-10-04 18:28 218  
[TXT]pickup_2.p2024-10-04 18:28 229  
[TXT]pickup_3.p2024-10-04 18:28 203  
[TXT]pickup_4.p2024-10-04 18:28 197  
[TXT]putdown_1.p2024-10-04 18:28 210  
[TXT]putdown_2.p2024-10-04 18:28 212  
[TXT]putdown_3.p2024-10-04 18:28 213  
[TXT]putdown_4.p2024-10-04 18:28 199  
[TXT]putdown_5.p2024-10-04 18:28 209  

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