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

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