Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT038+1/VerificationProblems/iProver-SAT---3.7.CSA-Sat.s

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]a13.p2024-10-04 18:32 190  
[TXT]l9.p2024-10-04 18:32 232  
[TXT]mp7_first_movers_exist.p2024-10-04 18:32 142  
[TXT]mp_contracting_time.p2024-10-04 18:32 242  
[TXT]mp_greater_transitivity.p2024-10-04 18:32 194  
[TXT]mp_long_stable_environments.p2024-10-04 18:32 247  
[TXT]mp_stable_first_movers.p2024-10-04 18:32 204  
[TXT]prove_t7.p2024-10-04 18:32 269  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443