Timeline for Deduce unsolvability of $\operatorname{IP}(G_0)$ from the Adian–Rabin Theorem
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 6, 2021 at 22:20 | answer | added | YCor | timeline score: 3 | |
| Dec 6, 2021 at 21:59 | history | edited | LSpice | CC BY-SA 4.0 |
`\operatorname`; name of paper; deleted "thanks"
|
| Dec 6, 2021 at 21:36 | history | asked | Star21 | CC BY-SA 4.0 |