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

	Name	Last modified	Size	Description
	Parent Directory		-
	luka_cn1.p	2024-10-04 18:33	97
	luka_cn2.p	2024-10-04 18:33	97
	luka_cn3.p	2024-10-04 18:33	97
	luka_op_or.p	2024-10-04 18:33	101
	luka_op_equiv.p	2024-10-04 18:33	107
	luka_op_implies.p	2024-10-04 18:33	111
	luka_modus_ponens.p	2024-10-04 18:33	115
	r1.p	2024-10-04 18:33	135
	kn1.p	2024-10-04 18:33	138
	substitution_of_equivalents.p	2024-10-04 18:33	140
	r2.p	2024-10-04 18:33	143
	kn2.p	2024-10-04 18:33	146
	cn3.p	2024-10-04 18:33	147
	or_1.p	2024-10-04 18:33	147
	or_2.p	2024-10-04 18:33	147
	op_or.p	2024-10-04 18:33	149
	r3.p	2024-10-04 18:33	149
	and_1.p	2024-10-04 18:33	150
	and_2.p	2024-10-04 18:33	150
	op_and.p	2024-10-04 18:33	151
	cn2.p	2024-10-04 18:33	155
	op_implies_or.p	2024-10-04 18:33	159
	and_3.p	2024-10-04 18:33	161
	implies_1.p	2024-10-04 18:33	162
	op_equiv.p	2024-10-04 18:33	165
	op_implies_and.p	2024-10-04 18:33	167
	r4.p	2024-10-04 18:33	169
	equivalence_1.p	2024-10-04 18:33	179
	equivalence_2.p	2024-10-04 18:33	179
	r5.p	2024-10-04 18:33	179
	implies_2.p	2024-10-04 18:33	184
	cn1.p	2024-10-04 18:33	191
	modus_tollens.p	2024-10-04 18:33	191
	kn3.p	2024-10-04 18:33	193
	or_3.p	2024-10-04 18:33	199
	equivalence_3.p	2024-10-04 18:33	201
	modus_ponens.p	2024-10-04 18:33	202
	implies_3.p	2024-10-04 18:33	203