Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ028-1/VerificationProblems/Vampire-SAT---4.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]person1.p2024-10-04 18:29 104  
[TXT]person2.p2024-10-04 18:29 104  
[TXT]person6.p2024-10-04 18:29 104  
[TXT]person4.p2024-10-04 18:29 105  
[TXT]person5.p2024-10-04 18:29 105  
[TXT]order1.p2024-10-04 18:29 106  
[TXT]person3.p2024-10-04 18:29 106  
[TXT]order5.p2024-10-04 18:29 107  
[TXT]order2.p2024-10-04 18:29 108  
[TXT]order4.p2024-10-04 18:29 108  
[TXT]order3.p2024-10-04 18:29 109  
[TXT]three_familiar.p2024-10-04 18:29 188  
[TXT]familiar_or_not.p2024-10-04 18:29 197  
[TXT]three_not_familiar.p2024-10-04 18:29 204  
[TXT]transitivity_of_order.p2024-10-04 18:29 214  

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