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

	Name	Last modified	Size	Description
	Parent Directory		-
	and_1.p	2024-10-04 18:27	150
	and_2.p	2024-10-04 18:27	150
	and_3.p	2024-10-04 18:27	161
	cn1.p	2024-10-04 18:27	191
	cn2.p	2024-10-04 18:27	155
	cn3.p	2024-10-04 18:27	147
	equivalence_1.p	2024-10-04 18:27	179
	equivalence_2.p	2024-10-04 18:27	179
	equivalence_3.p	2024-10-04 18:27	201
	hilbert_and_1.p	2024-10-04 18:27	104
	hilbert_and_2.p	2024-10-04 18:27	104
	hilbert_and_3.p	2024-10-04 18:27	104
	hilbert_equivalence_1.p	2024-10-04 18:27	120
	hilbert_equivalence_2.p	2024-10-04 18:27	120
	hilbert_equivalence_3.p	2024-10-04 18:27	120
	hilbert_implies_1.p	2024-10-04 18:27	112
	hilbert_implies_2.p	2024-10-04 18:27	112
	hilbert_implies_3.p	2024-10-04 18:27	112
	hilbert_modus_ponens.p	2024-10-04 18:27	118
	hilbert_modus_tollens.p	2024-10-04 18:27	120
	hilbert_op_equiv.p	2024-10-04 18:27	110
	hilbert_op_implies_and.p	2024-10-04 18:27	122
	hilbert_op_or.p	2024-10-04 18:27	104
	hilbert_or_1.p	2024-10-04 18:27	102
	hilbert_or_2.p	2024-10-04 18:27	102
	hilbert_or_3.p	2024-10-04 18:27	102
	implies_1.p	2024-10-04 18:27	162
	implies_2.p	2024-10-04 18:27	184
	implies_3.p	2024-10-04 18:27	203
	kn1.p	2024-10-04 18:27	138
	kn2.p	2024-10-04 18:27	146
	kn3.p	2024-10-04 18:27	193
	modus_ponens.p	2024-10-04 18:27	202
	modus_tollens.p	2024-10-04 18:27	191
	op_and.p	2024-10-04 18:27	151
	op_equiv.p	2024-10-04 18:27	165
	op_implies_and.p	2024-10-04 18:27	167
	op_implies_or.p	2024-10-04 18:27	159
	op_or.p	2024-10-04 18:27	149
	or_1.p	2024-10-04 18:27	147
	or_2.p	2024-10-04 18:27	147
	or_3.p	2024-10-04 18:27	199
	r1.p	2024-10-04 18:27	135
	r2.p	2024-10-04 18:27	143
	r3.p	2024-10-04 18:27	149
	r4.p	2024-10-04 18:27	169
	r5.p	2024-10-04 18:27	179
	substitution_of_equivalents.p	2024-10-04 18:27	140