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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]goal_to_be_proved.p2024-10-04 18:28 120  
[TXT]n0_and_n1_reflexive.p2024-10-04 18:28 148  
[TXT]n0_equal_n1.p2024-10-04 18:28 130  
[TXT]n1_equal_n0.p2024-10-04 18:28 130  
[TXT]relation_exists.p2024-10-04 18:28 262  
[TXT]relation_injective.p2024-10-04 18:28 326  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443