Timeline for Proof systems and their hierarchy
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 2, 2011 at 6:19 | comment | added | Kaveh | @Hans Stricker, check the Wikipedia pages for "proof complexity" (en.wikipedia.org/wiki/Proof_complexity) and "propositional proof system" (en.wikipedia.org/wiki/Propositional_proof_system). | |
| Jul 23, 2011 at 15:18 | comment | added | Hans-Peter Stricker | I really would appreciate some definition links to "proof system hierarchy" and "p-simulation". | |
| Jul 22, 2011 at 18:41 | history | edited | gowers | CC BY-SA 3.0 |
corrected spelling
|
| Jul 22, 2011 at 15:29 | history | edited | Kaveh |
edited tags
|
|
| Jul 22, 2011 at 15:28 | history | edited | Kaveh |
edited tags
|
|
| Jul 22, 2011 at 15:17 | answer | added | Kaveh | timeline score: 6 | |
| Jul 22, 2011 at 15:10 | history | asked | v sairam | CC BY-SA 3.0 |