Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PHI024+1/VerificationProblems/E-SAT---3.0.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	true_idea.p	2024-10-04 18:33	193
	substance.p	2024-10-04 18:33	168
	self_caused.p	2024-10-04 18:33	188
	necessary.p	2024-10-04 18:33	267
	mode.p	2024-10-04 18:33	215
	knowledge_of_effect.p	2024-10-04 18:33	176
	is_in_itself_is_self_caused.p	2024-10-04 18:33	157
	have_nothing_in_common.p	2024-10-04 18:33	285
	has_substance_exists.p	2024-10-04 18:33	150
	god.p	2024-10-04 18:33	152
	free.p	2024-10-04 18:33	217
	finite_after_its_kind.p	2024-10-04 18:33	196
	exists.p	2024-10-04 18:33	176
	eternity.p	2024-10-04 18:33	158
	essence_involves_existence_exists.p	2024-10-04 18:33	190
	definite_cause.p	2024-10-04 18:33	245
	conceived_through.p	2024-10-04 18:33	182
	can_be_conceived_as_non_existing.p	2024-10-04 18:33	192
	being_has_essense.p	2024-10-04 18:33	144
	attribute.p	2024-10-04 18:33	151
	absolutely_infinite.p	2024-10-04 18:33	294