Timeline for Is forward chaining also a form of focusing?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jan 23, 2012 at 4:02 | history | undeleted |
darij grinberg Andrés E. Caicedo user6976 |
||
| Oct 23, 2011 at 7:40 | history | deleted | S. Carnahan♦ | ||
| Oct 23, 2011 at 7:39 | history | undeleted | S. Carnahan♦ | ||
| Oct 23, 2011 at 1:32 | history | deleted | user11315 | ||
| May 29, 2011 at 12:52 | history | edited | Countably Infinite | CC BY-SA 3.0 |
added 121 characters in body
|
| May 28, 2011 at 17:56 | history | edited | Countably Infinite | CC BY-SA 3.0 |
deleted 4 characters in body
|
| May 28, 2011 at 17:32 | history | edited | Countably Infinite | CC BY-SA 3.0 |
added 51 characters in body
|
| May 28, 2011 at 14:22 | answer | added | Rob Simmons | timeline score: 2 | |
| May 28, 2011 at 13:30 | history | edited | Countably Infinite | CC BY-SA 3.0 |
edited body
|
| May 28, 2011 at 13:05 | history | edited | Countably Infinite | CC BY-SA 3.0 |
added 223 characters in body; added 1 characters in body
|
| May 28, 2011 at 12:59 | history | asked | Countably Infinite | CC BY-SA 3.0 |