Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/BOO008-3/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	y_plus_z.p	2024-10-04 18:30	105
	x_plus_y__plus_z.p	2024-10-04 18:30	128
	x_plus_y.p	2024-10-04 18:30	105
	x_plus__y_plus_z.p	2024-10-04 18:30	128
	prove_equality.p	2024-10-04 18:30	130
	multiplicative_inverse2.p	2024-10-04 18:30	150
	multiplicative_inverse1.p	2024-10-04 18:30	150
	multiplicative_identity2.p	2024-10-04 18:30	144
	multiplicative_identity1.p	2024-10-04 18:30	144
	distributivity6.p	2024-10-04 18:30	245
	distributivity5.p	2024-10-04 18:30	245
	distributivity2.p	2024-10-04 18:30	249
	distributivity1.p	2024-10-04 18:30	249
	commutativity_of_multiplication.p	2024-10-04 18:30	172
	commutativity_of_addition.p	2024-10-04 18:30	158
	closure_of_multiplication.p	2024-10-04 18:30	147
	closure_of_addition.p	2024-10-04 18:30	132
	additive_inverse2.p	2024-10-04 18:30	146
	additive_inverse1.p	2024-10-04 18:30	146
	additive_identity2.p	2024-10-04 18:30	132
	additive_identity1.p	2024-10-04 18:30	132