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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]attribute.p2024-10-04 18:25 151  
[TXT]definite_cause.p2024-10-04 18:25 245  
[TXT]have_nothing_in_common.p2024-10-04 18:25 285  
[TXT]has_substance_being.p2024-10-04 18:25 145  
[TXT]substance.p2024-10-04 18:25 168  
[TXT]true_idea.p2024-10-04 18:25 193  
[TXT]mode.p2024-10-04 18:25 215  
[TXT]essence_involves_existence_exists.p2024-10-04 18:25 190  
[TXT]can_be_conceived_as_non_existing.p2024-10-04 18:25 192  
[TXT]free.p2024-10-04 18:25 217  
[TXT]god.p2024-10-04 18:25 152  
[TXT]conceived_through.p2024-10-04 18:25 182  
[TXT]is_in_itself_is_self_caused.p2024-10-04 18:25 157  
[TXT]knowledge_of_effect.p2024-10-04 18:25 176  
[TXT]absolutely_infinite.p2024-10-04 18:25 294  
[TXT]self_caused.p2024-10-04 18:25 188  
[TXT]necessary.p2024-10-04 18:25 267  
[TXT]finite_after_its_kind.p2024-10-04 18:25 196  
[TXT]exists.p2024-10-04 18:25 179  
[TXT]being_has_essense.p2024-10-04 18:25 144  
[TXT]eternity.p2024-10-04 18:25 158  

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443