Text this: Αξιολόγηση και Βελτίωση Αποδείκτη Θεωρημάτων σε Java (Discrimination-Tree Indexing)