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

	Name	Last modified	Size	Description
	Parent Directory		-
	absolutely_infinite.p	2024-10-04 18:32	290
	have_nothing_in_common.p	2024-10-04 18:32	281
	necessary.p	2024-10-04 18:32	263
	definite_cause.p	2024-10-04 18:32	241
	free.p	2024-10-04 18:32	213
	mode.p	2024-10-04 18:32	211
	finite_after_its_kind.p	2024-10-04 18:32	192
	true_idea.p	2024-10-04 18:32	189
	can_be_conceived_as_non_existing.p	2024-10-04 18:32	188
	self_caused.p	2024-10-04 18:32	184
	conceived_through.p	2024-10-04 18:32	178
	knowledge_of_effect.p	2024-10-04 18:32	172
	exists.p	2024-10-04 18:32	172
	substance.p	2024-10-04 18:32	164
	eternity.p	2024-10-04 18:32	154
	god.p	2024-10-04 18:32	148
	attribute.p	2024-10-04 18:32	147