Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PHI029+1/VerificationProblems/Vampire-SAT---4.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	absolutely_infinite.p	2024-10-04 18:24	300
	attribute.p	2024-10-04 18:24	157
	being_has_essense.p	2024-10-04 18:24	150
	can_be_conceived_as_non_existing.p	2024-10-04 18:24	198
	conceived_through.p	2024-10-04 18:24	188
	definite_cause.p	2024-10-04 18:24	251
	essence_involves_existence_exists.p	2024-10-04 18:24	196
	eternity.p	2024-10-04 18:24	164
	exists.p	2024-10-04 18:24	182
	finite_after_its_kind.p	2024-10-04 18:24	202
	free.p	2024-10-04 18:24	223
	god.p	2024-10-04 18:24	158
	has_substance_being.p	2024-10-04 18:24	151
	have_nothing_in_common.p	2024-10-04 18:24	291
	is_in_itself_is_self_caused.p	2024-10-04 18:24	163
	knowledge_of_effect.p	2024-10-04 18:24	185
	mode.p	2024-10-04 18:24	221
	necessary.p	2024-10-04 18:24	273
	self_caused.p	2024-10-04 18:24	194
	substance.p	2024-10-04 18:24	174
	true_idea.p	2024-10-04 18:24	199