Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT038-10/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]prove_t7_28.p2024-10-04 18:34 232  
[TXT]prove_t7_27.p2024-10-04 18:34 116  
[TXT]prove_t7_26.p2024-10-04 18:34 121  
[TXT]mp_stable_first_movers_18.p2024-10-04 18:34 224  
[TXT]mp_long_stable_environments_21.p2024-10-04 18:34 289  
[TXT]mp_greater_transitivity_22.p2024-10-04 18:34 214  
[TXT]mp_contracting_time_20.p2024-10-04 18:34 225  
[TXT]mp_contracting_time_19.p2024-10-04 18:34 217  
[TXT]mp7_first_movers_exist_17.p2024-10-04 18:34 143  
[TXT]l9_24.p2024-10-04 18:34 199  
[TXT]l9_23.p2024-10-04 18:34 209  
[TXT]ifeq_axiom_001.p2024-10-04 18:34 142  
[TXT]ifeq_axiom.p2024-10-04 18:34 139  
[TXT]a13_25.p2024-10-04 18:34 200  

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