Timeline for What is the difference between superposition and paramodulation?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 7, 2020 at 12:21 | comment | added | Metaxal | That's very helpful, thank you. The two links are dead. Any chance you could revive them? | |
| May 17, 2017 at 9:02 | comment | added | David Richerby | Welcome to the site! Good answers to older questions are always appreciated. One of the goals of the site is to be useful to anybody who might be wondering about a question, not just the person who originally asked it, so your first sentence is exactly right. :-) | |
| May 16, 2017 at 18:11 | review | Late answers | |||
| May 17, 2017 at 9:02 | |||||
| May 16, 2017 at 17:56 | review | First posts | |||
| May 16, 2017 at 18:12 | |||||
| May 16, 2017 at 17:53 | history | answered | harshrc | CC BY-SA 3.0 |