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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]additive_associativity.p2024-10-04 18:23 185  
[TXT]additive_commutativity.p2024-10-04 18:23 153  
[TXT]additive_identity.p2024-10-04 18:23 131  
[TXT]distributivity1.p2024-10-04 18:23 208  
[TXT]distributivity2.p2024-10-04 18:23 208  
[TXT]idempotence.p2024-10-04 18:23 122  
[TXT]infty_coinduction.p2024-10-04 18:23 217  
[TXT]infty_unfold1.p2024-10-04 18:23 180  
[TXT]isolation.p2024-10-04 18:23 183  
[TXT]left_annihilation.p2024-10-04 18:23 140  
[TXT]multiplicative_associativity.p2024-10-04 18:23 215  
[TXT]multiplicative_left_identity.p2024-10-04 18:23 147  
[TXT]multiplicative_right_identity.p2024-10-04 18:23 148  
[TXT]order.p2024-10-04 18:23 141  
[TXT]star_induction1.p2024-10-04 18:23 203  
[TXT]star_induction2.p2024-10-04 18:23 203  
[TXT]star_unfold1.p2024-10-04 18:23 155  
[TXT]star_unfold2.p2024-10-04 18:23 155  

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