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

	Name	Last modified	Size	Description
	Parent Directory		-
	axiom_m1.p	2024-10-04 18:28	170
	op_possibly.p	2024-10-04 18:28	158
	axiom_K.p	2024-10-04 18:28	208
	axiom_m4.p	2024-10-04 18:28	155
	s1_0_axiom_m5.p	2024-10-04 18:28	107
	s1_0_adjunction.p	2024-10-04 18:28	111
	axiom_m9.p	2024-10-04 18:28	178
	s1_0_m6s3m9b_axiom_m9.p	2024-10-04 18:28	115
	axiom_s2.p	2024-10-04 18:28	200
	s1_0_m6s3m9b_axiom_b.p	2024-10-04 18:28	113
	necessitation.p	2024-10-04 18:28	176
	s1_0_axiom_m4.p	2024-10-04 18:28	107
	adjunction.p	2024-10-04 18:28	194
	axiom_m3.p	2024-10-04 18:28	192
	op_or.p	2024-10-04 18:28	149
	axiom_m10.p	2024-10-04 18:28	183
	op_strict_equiv.p	2024-10-04 18:28	200
	axiom_5.p	2024-10-04 18:28	172
	axiom_s4.p	2024-10-04 18:28	187
	s1_0_substitution_strict_equiv.p	2024-10-04 18:28	141
	axiom_m5.p	2024-10-04 18:28	225
	axiom_4.p	2024-10-04 18:28	178
	s1_0_m6s3m9b_axiom_m6.p	2024-10-04 18:28	115
	s1_0_op_strict_implies.p	2024-10-04 18:28	125
	modus_ponens_strict_implies.p	2024-10-04 18:28	239
	s1_0_axiom_m2.p	2024-10-04 18:28	107
	s1_0_op_possibly.p	2024-10-04 18:28	113
	axiom_s3.p	2024-10-04 18:28	222
	axiom_m6.p	2024-10-04 18:28	158
	op_and.p	2024-10-04 18:28	151
	op_implies_and.p	2024-10-04 18:28	167
	axiom_M.p	2024-10-04 18:28	152
	axiom_B.p	2024-10-04 18:28	162
	axiom_m2.p	2024-10-04 18:28	163
	s1_0_op_equiv.p	2024-10-04 18:28	107
	op_implies_or.p	2024-10-04 18:28	159
	op_equiv.p	2024-10-04 18:28	165
	axiom_m8.p	2024-10-04 18:28	212
	s1_0_op_implies.p	2024-10-04 18:28	111
	s1_0_op_or.p	2024-10-04 18:28	101
	s1_0_m6s3m9b_axiom_s3.p	2024-10-04 18:28	115
	s1_0_modus_ponens_strict_implies.p	2024-10-04 18:28	145
	s1_0_axiom_m1.p	2024-10-04 18:28	107
	substitution_strict_equiv.p	2024-10-04 18:28	201
	op_strict_implies.p	2024-10-04 18:28	187
	s1_0_op_strict_equiv.p	2024-10-04 18:28	121
	op_necessarily.p	2024-10-04 18:28	164
	axiom_s1.p	2024-10-04 18:28	236
	s1_0_axiom_m3.p	2024-10-04 18:28	107
	axiom_m7.p	2024-10-04 18:28	173