Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/KLE181+1/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]star_unfold_right.p2024-10-04 18:23 163  
[TXT]star_unfold_left.p2024-10-04 18:23 162  
[TXT]star_induction_right.p2024-10-04 18:23 208  
[TXT]star_induction_left.p2024-10-04 18:23 207  
[TXT]right_distributivity.p2024-10-04 18:23 213  
[TXT]right_annihilation.p2024-10-04 18:23 141  
[TXT]order.p2024-10-04 18:23 141  
[TXT]omega_unfold.p2024-10-04 18:23 143  
[TXT]omega_co_induction.p2024-10-04 18:23 225  
[TXT]multiplicative_right_identity.p2024-10-04 18:23 148  
[TXT]multiplicative_left_identity.p2024-10-04 18:23 147  
[TXT]multiplicative_associativity.p2024-10-04 18:23 215  
[TXT]left_distributivity.p2024-10-04 18:23 212  
[TXT]left_annihilation.p2024-10-04 18:23 140  
[TXT]domain5.p2024-10-04 18:23 168  
[TXT]domain4.p2024-10-04 18:23 112  
[TXT]domain3.p2024-10-04 18:23 132  
[TXT]domain2.p2024-10-04 18:23 180  
[TXT]domain1.p2024-10-04 18:23 176  
[TXT]additive_identity.p2024-10-04 18:23 131  
[TXT]additive_idempotence.p2024-10-04 18:23 131  
[TXT]additive_commutativity.p2024-10-04 18:23 153  
[TXT]additive_associativity.p2024-10-04 18:23 185  

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