Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PHI017+1/VerificationProblems/iProver-SAT---3.7.CSA-Sat.s

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]absolutely_infinite.p2024-10-04 18:25 300  
[TXT]attribute.p2024-10-04 18:25 157  
[TXT]can_be_conceived_as_non_existing.p2024-10-04 18:25 198  
[TXT]conceived_through.p2024-10-04 18:25 188  
[TXT]definite_cause.p2024-10-04 18:25 251  
[TXT]eternity.p2024-10-04 18:25 164  
[TXT]exists.p2024-10-04 18:25 182  
[TXT]finite_after_its_kind.p2024-10-04 18:25 202  
[TXT]free.p2024-10-04 18:25 223  
[TXT]god.p2024-10-04 18:25 158  
[TXT]has_substance_exists.p2024-10-04 18:25 156  
[TXT]have_nothing_in_common.p2024-10-04 18:25 291  
[TXT]knowledge_of_effect.p2024-10-04 18:25 182  
[TXT]mode.p2024-10-04 18:25 221  
[TXT]necessary.p2024-10-04 18:25 273  
[TXT]self_caused.p2024-10-04 18:25 194  
[TXT]substance.p2024-10-04 18:25 174  
[TXT]true_idea.p2024-10-04 18:25 199  

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