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

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