automated inference

1. REDIRECT Automated reasoning

{{r from alternative name}}