Timeline for Restricting First Order Logic to make it decidable
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 21, 2019 at 11:07 | vote | accept | Hauke Reddmann | ||
| Feb 20, 2019 at 15:55 | review | First posts | |||
| Feb 20, 2019 at 16:08 | |||||
| Feb 20, 2019 at 15:53 | history | answered | tomkot | CC BY-SA 4.0 |