Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PHI025+1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	absolutely_infinite.p	2024-10-04 18:32	284
	attribute.p	2024-10-04 18:32	141
	can_be_conceived_as_non_existing.p	2024-10-04 18:32	182
	conceived_through.p	2024-10-04 18:32	172
	definite_cause.p	2024-10-04 18:32	235
	eternity.p	2024-10-04 18:32	148
	exists.p	2024-10-04 18:32	166
	finite_after_its_kind.p	2024-10-04 18:32	186
	free.p	2024-10-04 18:32	207
	god.p	2024-10-04 18:32	142
	have_nothing_in_common.p	2024-10-04 18:32	275
	knowledge_of_effect.p	2024-10-04 18:32	166
	mode.p	2024-10-04 18:32	205
	necessary.p	2024-10-04 18:32	257
	self_caused.p	2024-10-04 18:32	178
	substance.p	2024-10-04 18:32	158
	true_idea.p	2024-10-04 18:32	183