Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MSC014+1/VerificationProblems/Vampire-SAT---4.7
Name
Last modified
Size
Description
Parent Directory
-
n0_not_n1.p
2024-10-04 18:24
132
n0_and_n1_reflexive.p
2024-10-04 18:24
138
exists_f.p
2024-10-04 18:24
235
inject_f.p
2024-10-04 18:24
294
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443