Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT031+1/VerificationProblems/Vampire-SAT---4.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	prove_l13.p	2024-10-04 18:33	238
	mp_positive_number_when_appear.p	2024-10-04 18:33	222
	mp_number_mean_non_empty.p	2024-10-04 18:33	280
	mp_no_FM_before_appearance.p	2024-10-04 18:33	273
	mp_no_EP_before_appearance.p	2024-10-04 18:33	287
	mp_greater_transitivity.p	2024-10-04 18:33	194
	mp_greater_or_equal.p	2024-10-04 18:33	185
	mp_FM_not_precede_first.p	2024-10-04 18:33	215
	a13.p	2024-10-04 18:33	190
	a9.p	2024-10-04 18:33	258