E (система автоматического доказательства теорем)