Timeline for Natural number properties as uninterpreted functions in first order logic
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S May 5, 2016 at 23:40 | history | suggested | CommunityBot | CC BY-SA 3.0 |
Typo in title (although the question may not be on topic)
|
| May 5, 2016 at 23:20 | review | Suggested edits | |||
| S May 5, 2016 at 23:40 | |||||
| Jul 8, 2013 at 22:58 | review | Suggested edits | |||
| Jul 8, 2013 at 23:11 | |||||
| Aug 13, 2010 at 5:57 | vote | accept | Akshar Prabhu Desai | ||
| Aug 12, 2010 at 20:48 | answer | added | Robin Chapman | timeline score: 2 | |
| Aug 12, 2010 at 20:36 | history | asked | Akshar Prabhu Desai | CC BY-SA 2.5 |