Timeline for Quantified Boolean Formula vs First-order logic
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Oct 3, 2016 at 16:14 | history | migrated | from stackoverflow.com (revisions) | ||
| Sep 11, 2016 at 8:56 | history | answered | ivcha | CC BY-SA 3.0 |