Αποτελέσματα αναζήτησης - algorithme de Davis-Putnam

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

• Εκτελώντας μια ασαφή αναζήτηση (fuzzy search) μπορείτε να βρείτε όρους με συναφή ορθογραφία: algorithme de Davis-Putnam~.
• Η χρήση χαρακτήρων αναπλήρωσης (μπαλαντέρ) θα συμπεριλάβει αποτελέσματα με εναλλακτική γραφή των όρων αναζήτησης: algorithme de Davis-Putnam*.