Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/KRS052+1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	cinfinite_substitution_1.p	2024-10-04 18:28	170
	axiom_13.p	2024-10-04 18:28	157
	rinvP_1_to_N_substitution_1.p	2024-10-04 18:28	191
	axiom_5.p	2024-10-04 18:28	184
	axiom_16.p	2024-10-04 18:28	182
	rp_N_to_1_substitution_2.p	2024-10-04 18:28	182
	axiom_18.p	2024-10-04 18:28	152
	ccardinality_N_times_M_substitution_1.p	2024-10-04 18:28	209
	rr_N_times_M_to_1_substitution_1.p	2024-10-04 18:28	206
	axiom_11.p	2024-10-04 18:28	150
	axiom_4.p	2024-10-04 18:28	181
	xsd_integer_substitution_1.p	2024-10-04 18:28	176
	axiom_14.p	2024-10-04 18:28	149
	axiom_6.p	2024-10-04 18:28	818
	axiom_17.p	2024-10-04 18:28	165
	axiom_3.p	2024-10-04 18:28	168
	ccardinality_N_substitution_1.p	2024-10-04 18:28	185
	axiom_0.p	2024-10-04 18:28	136
	rq_M_to_1_substitution_2.p	2024-10-04 18:28	182
	xsd_string_substitution_1.p	2024-10-04 18:28	173
	rq_M_to_1_substitution_1.p	2024-10-04 18:28	182
	axiom_12.p	2024-10-04 18:28	166
	axiom_9.p	2024-10-04 18:28	148
	axiom_7.p	2024-10-04 18:28	331
	rr_N_times_M_to_1_substitution_2.p	2024-10-04 18:28	206
	cowlThing_substitution_1.p	2024-10-04 18:28	170
	axiom_15.p	2024-10-04 18:28	150
	rinvQ_1_to_M_substitution_2.p	2024-10-04 18:28	191
	cowlNothing_substitution_1.p	2024-10-04 18:28	176
	axiom_8.p	2024-10-04 18:28	165
	axiom_1.p	2024-10-04 18:28	139
	axiom_19.p	2024-10-04 18:28	166
	rp_N_to_1_substitution_1.p	2024-10-04 18:28	182
	rinvQ_1_to_M_substitution_1.p	2024-10-04 18:28	191
	rinvR_N_times_M_to_1_substitution_1.p	2024-10-04 18:28	215
	axiom_10.p	2024-10-04 18:28	144
	rinvP_1_to_N_substitution_2.p	2024-10-04 18:28	191
	rinvR_N_times_M_to_1_substitution_2.p	2024-10-04 18:28	215
	axiom_2.p	2024-10-04 18:28	448