A user with 5 edits. Account created on 20 October 2008.
19 April 2014
- 18:35 18:35, 19 April 2014 diff hist −34 m Boğaziçi University removed spurious multicol-break and multicol-end marker (multicol-start missing) (multicol-start causes issues with the pictures on the right)
1 September 2009
- 14:19 14:19, 1 September 2009 diff hist +93 Answer set programming →External links: added link to second ASP competition (yes, the name really changed and the results are already online)
10 July 2009
- 08:15 08:15, 10 July 2009 diff hist +529 Talk:Resolution (logic) →Contradiction: new section
11 November 2008
- 17:47 17:47, 11 November 2008 diff hist −4 m Color phi phenomenon →Philosophical Significance: removed redundant "the"
31 October 2008
- 14:44 14:44, 31 October 2008 diff hist −5 m Axiomatic system (logic) →External links: fixed dead link
A user with 5 edits. Account created on 20 October 2008.
19 April 2014
- 18:35 18:35, 19 April 2014 diff hist −34 m Boğaziçi University removed spurious multicol-break and multicol-end marker (multicol-start missing) (multicol-start causes issues with the pictures on the right)
1 September 2009
- 14:19 14:19, 1 September 2009 diff hist +93 Answer set programming →External links: added link to second ASP competition (yes, the name really changed and the results are already online)
10 July 2009
- 08:15 08:15, 10 July 2009 diff hist +529 Talk:Resolution (logic) →Contradiction: new section
11 November 2008
- 17:47 17:47, 11 November 2008 diff hist −4 m Color phi phenomenon →Philosophical Significance: removed redundant "the"
31 October 2008
- 14:44 14:44, 31 October 2008 diff hist −5 m Axiomatic system (logic) →External links: fixed dead link