automated-theorem-proving public under artificial-intelligence 240 List Picture As a command Nothing is filed under automated-theorem-proving.