Text this: Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P