Timeline for Does there exist a polynomial time algorithm to determine whether an equation is a consequence of (x+y)*(y+z)=(x*y)+(y*z)?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 26, 2018 at 18:55 | comment | added | Joseph Van Name | +1. I have experimentally verified that the $R$-normal form is unique and that equivalent terms have the same $R$-normal form. | |
| Aug 26, 2018 at 12:24 | vote | accept | Joseph Van Name | ||
| Aug 25, 2018 at 11:02 | history | answered | Emil Jeřábek | CC BY-SA 4.0 |