Apihelp-parse-param-disablelimitreport
De Demostración automática de teoremas (2014-15)
Omitir el informe de límite ("NewPP limit report") desde la salida del analizador.
Omitir el informe de límite ("NewPP limit report") desde la salida del analizador.