Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT031-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	mp_number_mean_non_empty_22.p	2024-10-04 18:29	238
	mp_positive_number_when_appear_20.p	2024-10-04 18:29	210
	mp_greater_or_equal_29.p	2024-10-04 18:29	152
	prove_l13_34.p	2024-10-04 18:29	147
	a9_30.p	2024-10-04 18:29	242
	mp_greater_or_equal_27.p	2024-10-04 18:29	168
	mp_no_FM_before_appearance_24.p	2024-10-04 18:29	261
	a13_31.p	2024-10-04 18:29	178
	mp_greater_transitivity_26.p	2024-10-04 18:29	180
	prove_l13_32.p	2024-10-04 18:29	108
	mp_number_mean_non_empty_21.p	2024-10-04 18:29	220
	mp_greater_or_equal_28.p	2024-10-04 18:29	160
	mp_FM_not_precede_first_25.p	2024-10-04 18:29	203
	prove_l13_33.p	2024-10-04 18:29	139
	mp_no_EP_before_appearance_23.p	2024-10-04 18:29	275