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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]person1.p2024-10-04 18:29 98  
[TXT]person2.p2024-10-04 18:29 98  
[TXT]person6.p2024-10-04 18:29 98  
[TXT]person4.p2024-10-04 18:29 99  
[TXT]person5.p2024-10-04 18:29 99  
[TXT]order1.p2024-10-04 18:29 100  
[TXT]person3.p2024-10-04 18:29 100  
[TXT]order5.p2024-10-04 18:29 101  
[TXT]order2.p2024-10-04 18:29 102  
[TXT]order4.p2024-10-04 18:29 102  
[TXT]order3.p2024-10-04 18:29 103  
[TXT]three_familiar.p2024-10-04 18:29 182  
[TXT]familiar_or_not.p2024-10-04 18:29 191  
[TXT]three_not_familiar.p2024-10-04 18:29 198  
[TXT]transitivity_of_order.p2024-10-04 18:29 208  

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