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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]a13.p2024-10-04 18:32 184  
[TXT]l9.p2024-10-04 18:32 226  
[TXT]mp7_first_movers_exist.p2024-10-04 18:32 136  
[TXT]mp_contracting_time.p2024-10-04 18:32 236  
[TXT]mp_greater_transitivity.p2024-10-04 18:32 188  
[TXT]mp_long_stable_environments.p2024-10-04 18:32 241  
[TXT]mp_stable_first_movers.p2024-10-04 18:32 198  
[TXT]prove_t7.p2024-10-04 18:32 263  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443