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

	Name	Last modified	Size	Description
	Parent Directory		-
	axiom_0.p	2024-10-04 18:28	130
	axiom_1.p	2024-10-04 18:28	133
	axiom_2.p	2024-10-04 18:28	442
	axiom_3.p	2024-10-04 18:28	162
	axiom_4.p	2024-10-04 18:28	175
	axiom_5.p	2024-10-04 18:28	178
	axiom_6.p	2024-10-04 18:28	812
	axiom_7.p	2024-10-04 18:28	325
	axiom_8.p	2024-10-04 18:28	159
	axiom_9.p	2024-10-04 18:28	142
	axiom_10.p	2024-10-04 18:28	138
	axiom_11.p	2024-10-04 18:28	144
	axiom_12.p	2024-10-04 18:28	160
	axiom_13.p	2024-10-04 18:28	151
	axiom_14.p	2024-10-04 18:28	143
	axiom_15.p	2024-10-04 18:28	144
	axiom_16.p	2024-10-04 18:28	176
	axiom_17.p	2024-10-04 18:28	159
	axiom_18.p	2024-10-04 18:28	146
	axiom_19.p	2024-10-04 18:28	160
	ccardinality_N_substitution_1.p	2024-10-04 18:28	179
	ccardinality_N_times_M_substitution_1.p	2024-10-04 18:28	203
	cinfinite_substitution_1.p	2024-10-04 18:28	164
	cowlNothing_substitution_1.p	2024-10-04 18:28	170
	cowlThing_substitution_1.p	2024-10-04 18:28	164
	rinvP_1_to_N_substitution_1.p	2024-10-04 18:28	185
	rinvP_1_to_N_substitution_2.p	2024-10-04 18:28	185
	rinvQ_1_to_M_substitution_1.p	2024-10-04 18:28	185
	rinvQ_1_to_M_substitution_2.p	2024-10-04 18:28	185
	rinvR_N_times_M_to_1_substitution_1.p	2024-10-04 18:28	209
	rinvR_N_times_M_to_1_substitution_2.p	2024-10-04 18:28	209
	rp_N_to_1_substitution_1.p	2024-10-04 18:28	176
	rp_N_to_1_substitution_2.p	2024-10-04 18:28	176
	rq_M_to_1_substitution_1.p	2024-10-04 18:28	176
	rq_M_to_1_substitution_2.p	2024-10-04 18:28	176
	rr_N_times_M_to_1_substitution_1.p	2024-10-04 18:28	200
	rr_N_times_M_to_1_substitution_2.p	2024-10-04 18:28	200
	xsd_integer_substitution_1.p	2024-10-04 18:28	170
	xsd_string_substitution_1.p	2024-10-04 18:28	167