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

	Name	Last modified	Size	Description
	Parent Directory		-
	substitution_strict_equiv.p	2024-10-04 18:24	201
	substitution_of_equivalents.p	2024-10-04 18:24	140
	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_strict_implies.p	2024-10-04 18:24	187
	op_strict_equiv.p	2024-10-04 18:24	200
	op_possibly.p	2024-10-04 18:24	158
	op_or.p	2024-10-04 18:24	149
	op_necessarily.p	2024-10-04 18:24	164
	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
	necessitation.p	2024-10-04 18:24	176
	modus_tollens.p	2024-10-04 18:24	191
	modus_ponens_strict_implies.p	2024-10-04 18:24	239
	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
	km4b_op_possibly.p	2024-10-04 18:24	113
	km4b_necessitation.p	2024-10-04 18:24	117
	km4b_axiom_M.p	2024-10-04 18:24	105
	km4b_axiom_K.p	2024-10-04 18:24	105
	km4b_axiom_B.p	2024-10-04 18:24	105
	km4b_axiom_4.p	2024-10-04 18:24	105
	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
	hilbert_or_3.p	2024-10-04 18:24	102
	hilbert_or_2.p	2024-10-04 18:24	102
	hilbert_or_1.p	2024-10-04 18:24	102
	hilbert_op_or.p	2024-10-04 18:24	104
	hilbert_op_implies_and.p	2024-10-04 18:24	122
	hilbert_op_equiv.p	2024-10-04 18:24	110
	hilbert_modus_tollens.p	2024-10-04 18:24	120
	hilbert_modus_ponens.p	2024-10-04 18:24	118
	hilbert_implies_3.p	2024-10-04 18:24	112
	hilbert_implies_2.p	2024-10-04 18:24	112
	hilbert_implies_1.p	2024-10-04 18:24	112
	hilbert_equivalence_3.p	2024-10-04 18:24	120
	hilbert_equivalence_2.p	2024-10-04 18:24	120
	hilbert_equivalence_1.p	2024-10-04 18:24	120
	hilbert_and_3.p	2024-10-04 18:24	104
	hilbert_and_2.p	2024-10-04 18:24	104
	hilbert_and_1.p	2024-10-04 18:24	104
	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
	axiom_s4.p	2024-10-04 18:24	187
	axiom_s3.p	2024-10-04 18:24	222
	axiom_s2.p	2024-10-04 18:24	200
	axiom_s1.p	2024-10-04 18:24	236
	axiom_m10.p	2024-10-04 18:24	183
	axiom_m9.p	2024-10-04 18:24	178
	axiom_m8.p	2024-10-04 18:24	212
	axiom_m7.p	2024-10-04 18:24	173
	axiom_m6.p	2024-10-04 18:24	158
	axiom_m5.p	2024-10-04 18:24	225
	axiom_m4.p	2024-10-04 18:24	155
	axiom_m3.p	2024-10-04 18:24	192
	axiom_m2.p	2024-10-04 18:24	163
	axiom_m1.p	2024-10-04 18:24	170
	axiom_M.p	2024-10-04 18:24	152
	axiom_K.p	2024-10-04 18:24	208
	axiom_B.p	2024-10-04 18:24	162
	axiom_5.p	2024-10-04 18:24	172
	axiom_4.p	2024-10-04 18:24	178
	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
	adjunction.p	2024-10-04 18:24	194