Timeline for Existential-universal quadratic arithmetic
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 1, 2017 at 16:26 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
fix MO 1 -> 2 markup inconsistencies
|
| Oct 18, 2012 at 11:27 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
undo the unnecessary prenexation of (S) for more clarity
|
| Oct 17, 2012 at 18:46 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |