Dependent ML limits the sort of equality it can decide to Presburger arithmetic.
Η Dependent ML περιορίζει τον τύπο της ισότητας που μπορεί να υπολογίσει στην αριθμητική Presburger.