Time  Nick    Message
01:18 puritan I had a question about the paper "paramodulation based theorem proving" on stackexchange: http://math.stackexchange.com/questions/169398/ordering-of-multisets-in-paramodulation-based-theorem-proving