Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT040-2/VerificationProblems/E-SAT---3.0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]mp3_favoured_trategy_23.p2024-10-04 18:25 302  
[TXT]mp3_favoured_trategy_24.p2024-10-04 18:25 307  
[TXT]mp3_favoured_trategy_25.p2024-10-04 18:25 352  
[TXT]mp5_rapid_change_is_non_critical_26.p2024-10-04 18:25 263  
[TXT]mp6_not_extreme_change_means_not_empty_27.p2024-10-04 18:25 235  
[TXT]mp_appearance_of_EP_36.p2024-10-04 18:25 238  
[TXT]mp_critical_point_not_before_opening_31.p2024-10-04 18:25 226  
[TXT]mp_endpoint_in_environment_30.p2024-10-04 18:25 169  
[TXT]mp_greater_or_equal_35.p2024-10-04 18:25 168  
[TXT]mp_non_empty_means_organisations_32.p2024-10-04 18:25 212  
[TXT]mp_organizational_sets1_28.p2024-10-04 18:25 140  
[TXT]mp_organizational_sets2_29.p2024-10-04 18:25 147  
[TXT]mp_selection_favours_in_time_33.p2024-10-04 18:25 337  
[TXT]mp_selection_favours_in_time_34.p2024-10-04 18:25 394  
[TXT]prove_t9_39.p2024-10-04 18:25 116  
[TXT]prove_t9_40.p2024-10-04 18:25 108  
[TXT]prove_t9_41.p2024-10-04 18:25 105  
[TXT]prove_t9_42.p2024-10-04 18:25 147  
[TXT]t2_37.p2024-10-04 18:25 292  
[TXT]t3_38.p2024-10-04 18:25 303  

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