Besonderhede van voorbeeld: -8728025487443449631

Catalan

El problema de decidir la veritat d'una afirmació en aritmètica Presburger és encara més dur.

Chinese

判定Presburger算术中的命题是否为真的问题更加困难。