Timeline for What sets are "decidable from competing provers"?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 31, 2011 at 4:44 | vote | accept | CommunityBot | ||
| Jul 29, 2011 at 15:13 | answer | added | Ryan O'Donnell | timeline score: 0 | |
| Jul 29, 2011 at 3:27 | answer | added | Andreas Blass | timeline score: 7 | |
| Jul 29, 2011 at 1:41 | answer | added | Andreas Blass | timeline score: 5 | |
| Jul 29, 2011 at 1:40 | history | edited | user5810 | CC BY-SA 3.0 |
fixed a set I had wrong
|
| Jul 29, 2011 at 1:06 | answer | added | Carl Mummert | timeline score: 2 | |
| Jul 29, 2011 at 0:25 | history | asked | user5810 | CC BY-SA 3.0 |