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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]goal_to_be_proved.p2024-10-04 18:28 114  
[TXT]n0_and_n1_reflexive.p2024-10-04 18:28 142  
[TXT]n0_equal_n1.p2024-10-04 18:28 124  
[TXT]n1_equal_n0.p2024-10-04 18:28 124  
[TXT]relation_exists.p2024-10-04 18:28 256  
[TXT]relation_injective.p2024-10-04 18:28 320  

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