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

	Name	Last modified	Size	Description
	Parent Directory		-
	substitution_of_equivalents.p	2024-10-04 18:24	140
	rosser_op_or.p	2024-10-04 18:24	103
	rosser_op_implies_and.p	2024-10-04 18:24	121
	rosser_op_equiv.p	2024-10-04 18:24	109
	rosser_modus_ponens.p	2024-10-04 18:24	117
	rosser_kn3.p	2024-10-04 18:24	99
	rosser_kn2.p	2024-10-04 18:24	99
	rosser_kn1.p	2024-10-04 18:24	99
	r5.p	2024-10-04 18:24	179
	r4.p	2024-10-04 18:24	169
	r3.p	2024-10-04 18:24	149
	r2.p	2024-10-04 18:24	143
	r1.p	2024-10-04 18:24	135
	or_3.p	2024-10-04 18:24	199
	or_2.p	2024-10-04 18:24	147
	or_1.p	2024-10-04 18:24	147
	op_or.p	2024-10-04 18:24	149
	op_implies_or.p	2024-10-04 18:24	159
	op_implies_and.p	2024-10-04 18:24	167
	op_equiv.p	2024-10-04 18:24	165
	op_and.p	2024-10-04 18:24	151
	modus_tollens.p	2024-10-04 18:24	191
	modus_ponens.p	2024-10-04 18:24	202
	kn3.p	2024-10-04 18:24	193
	kn2.p	2024-10-04 18:24	146
	kn1.p	2024-10-04 18:24	138
	implies_3.p	2024-10-04 18:24	203
	implies_2.p	2024-10-04 18:24	184
	implies_1.p	2024-10-04 18:24	162
	equivalence_3.p	2024-10-04 18:24	201
	equivalence_2.p	2024-10-04 18:24	179
	equivalence_1.p	2024-10-04 18:24	179
	cn3.p	2024-10-04 18:24	147
	cn2.p	2024-10-04 18:24	155
	cn1.p	2024-10-04 18:24	191
	and_3.p	2024-10-04 18:24	161
	and_2.p	2024-10-04 18:24	150
	and_1.p	2024-10-04 18:24	150