The problem of deciding the truth of a statement in Presburger arithmetic requires even more time.
Το πρόβλημα απόφασης της εγκυρότητας μια δήλωσης στην αριθμητική Presburger απαιτεί ακόμα περισσότερο χρόνο.