Timeline for Is there a notion of Skolemization for continuous logic?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 31, 2021 at 21:16 | answer | added | James E Hanson | timeline score: 3 | |
| Oct 16, 2013 at 3:01 | answer | added | Kaveh | timeline score: 3 | |
| Oct 6, 2013 at 14:41 | history | edited | François G. Dorais | CC BY-SA 3.0 |
typo
|
| Oct 6, 2013 at 14:10 | history | asked | Jason Rute | CC BY-SA 3.0 |