Timeline for "local variables" in first-order formulas
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 11, 2011 at 20:08 | answer | added | François G. Dorais | timeline score: 2 | |
| Oct 11, 2011 at 19:49 | answer | added | Mike Shulman | timeline score: 5 | |
| Oct 11, 2011 at 19:18 | answer | added | Carl Mummert | timeline score: 4 | |
| Oct 11, 2011 at 19:06 | answer | added | Neil Strickland | timeline score: 4 | |
| Oct 11, 2011 at 18:53 | comment | added | user2035 | I'm curious: in which context is this a real problem? | |
| Oct 11, 2011 at 18:53 | answer | added | psd | timeline score: 1 | |
| Oct 11, 2011 at 18:44 | history | asked | David Harris | CC BY-SA 3.0 |