log:conclusion confusion
- Gregg Kellogg (Thursday, 22 October)
- Pierre-Antoine Champin (Thursday, 22 October)
- Gregg Kellogg (Wednesday, 21 October)
- Gregg Kellogg (Wednesday, 21 October)
- Doerthe Arndt (Wednesday, 21 October)
- Doerthe Arndt (Wednesday, 21 October)
- Gregg Kellogg (Wednesday, 21 October)
- Gregg Kellogg (Wednesday, 21 October)
- Pierre-Antoine Champin (Wednesday, 21 October)
- Gregg Kellogg (Tuesday, 20 October)
Negation as failure in N3?
What is the reference timezone for our calls?
Last message date: Monday, 26 October 2020 11:22:17 UTC