Timeline for Is propositional resolution a complete proof system?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17, 2020 at 9:38 | history | edited | CommunityBot |
Commonmark migration
|
|
| Feb 24, 2013 at 4:51 | comment | added | Kaveh | @VijayD, sure, no problem. :) | |
| Feb 23, 2013 at 22:33 | comment | added | Vijay D | Thanks for your answer. I see how Uday is saying similar things, but I found I could follow his answer more easily. | |
| Feb 22, 2013 at 22:57 | history | edited | Kaveh | CC BY-SA 3.0 |
Steve posted Reckhow's thesis on his page, now I can link to it :)
|
| Feb 22, 2013 at 22:51 | history | edited | Kaveh | CC BY-SA 3.0 |
Steve posted Reckhow's thesis on his page, now I can link to it :)
|
| Feb 21, 2013 at 3:11 | history | edited | Kaveh | CC BY-SA 3.0 |
deleted 3 characters in body
|
| Feb 21, 2013 at 3:04 | history | edited | Kaveh | CC BY-SA 3.0 |
added 52 characters in body
|
| Feb 21, 2013 at 2:53 | history | edited | Kaveh | CC BY-SA 3.0 |
added 52 characters in body
|
| Feb 21, 2013 at 2:48 | history | answered | Kaveh | CC BY-SA 3.0 |