Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/RNG042-3/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]commutativity_for_addition.p2024-10-04 18:24 147  
[TXT]left_additive_identity.p2024-10-04 18:24 144  
[TXT]associativity_for_addition.p2024-10-04 18:24 169  
[TXT]right_additive_inverse.p2024-10-04 18:24 162  
[TXT]distribute1.p2024-10-04 18:24 176  
[TXT]left_additive_inverse.p2024-10-04 18:24 161  
[TXT]distribute2.p2024-10-04 18:24 176  
[TXT]associativity_for_multiplication.p2024-10-04 18:24 195  
[TXT]right_additive_identity.p2024-10-04 18:24 145  

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