Η τροποποίηση των όρων αναζήτησης μπορεί να δώσει περισσότερα αποτελέσματα.

• Η χρήση χαρακτήρων αναπλήρωσης (μπαλαντέρ) θα συμπεριλάβει αποτελέσματα με εναλλακτική γραφή των όρων αναζήτησης.: interactive theorem proving software*.