Timeline for Does extended Frege p-simulate circuit Frege with substitutions?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 17, 2022 at 13:17 | vote | accept | chewbacta | ||
| Nov 17, 2022 at 11:01 | answer | added | Emil Jeřábek | timeline score: 2 | |
| Nov 17, 2022 at 10:51 | history | edited | YCor | CC BY-SA 4.0 |
formatting, added tag
|
| S Nov 17, 2022 at 10:09 | review | First questions | |||
| Nov 17, 2022 at 10:31 | |||||
| S Nov 17, 2022 at 10:09 | history | asked | chewbacta | CC BY-SA 4.0 |