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

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