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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]a1.p2024-10-04 18:32 252  
[TXT]a9.p2024-10-04 18:32 258  
[TXT]l13.p2024-10-04 18:32 229  
[TXT]mp2_favour_members.p2024-10-04 18:32 324  
[TXT]mp_FM_means_organisations.p2024-10-04 18:32 241  
[TXT]mp_durations_are_time_intervals.p2024-10-04 18:32 302  
[TXT]mp_no_FM_before_opening.p2024-10-04 18:32 203  
[TXT]mp_not_present_before_appearance.p2024-10-04 18:32 256  
[TXT]mp_opening_time_in_duration.p2024-10-04 18:32 184  
[TXT]mp_positive_and_sustains.p2024-10-04 18:32 226  
[TXT]mp_positive_sum_means_members.p2024-10-04 18:32 285  
[TXT]mp_subpopulations.p2024-10-04 18:32 253  
[TXT]mp_zero_is_not_positive.p2024-10-04 18:32 214  
[TXT]prove_t2.p2024-10-04 18:32 311  

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