User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:10, 5 April 2012 (diff | hist) . . (0) . . N File:Tptp.pdf (current)
- 08:10, 5 April 2012 (diff | hist) . . (+42) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:53, 5 April 2012 (diff | hist) . . (+108) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:52, 5 April 2012 (diff | hist) . . (0) . . N File:Tptp-results-0403.xlsx (current)
- 07:51, 5 April 2012 (diff | hist) . . (+32) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:46, 5 April 2012 (diff | hist) . . (+97) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:45, 5 April 2012 (diff | hist) . . (-13) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:44, 5 April 2012 (diff | hist) . . (+1,464) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:32, 5 April 2012 (diff | hist) . . (+166) . . Meeting Minutes - April 5, 2012 (→Quantifiers)
- 13:44, 21 March 2012 (diff | hist) . . (+1,386) . . Meeting Minutes - March 22, 2012 (→Quantifiers)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
