Timeline for General resolution in first order logic
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 17, 2019 at 16:20 | vote | accept | Alex5207 | ||
| Nov 16, 2019 at 1:01 | answer | added | f9c69e9781fa194211448473495534 | timeline score: 2 | |
| Nov 15, 2019 at 12:00 | history | asked | Alex5207 | CC BY-SA 4.0 |