- Logical necessity of inconsistency - prod 24 November, replaced
- history of logic programming - prod 28 November
- History of power domains - prod by Jitse
For an outside view (informed, not necessarily impartial) on Carl Hewitt's time on WP, see Scott Johnson's contributions on http://lambda-the-ultimate.org/node/2803.