Demostración automática de teoremas (2014-15)
Demostración automática de teoremas (2014-15)
Navegación
Página principal
Temas
Ejercicios
Documentación
Cambios recientes
Herramientas
Lo que enlaza aquí
Páginas especiales
Versión para imprimir
Información de la página
Acciones
Mensaje
Discusión
Ver código
MediaWiki
Apierror-badvalue-notmultivalue
De Demostración automática de teoremas (2014-15)
El separador multivalor U+001F solo se puede utilizar en parámetros multivalorados.
