MediaWiki:Api-help-param-token-webui - Demostración automática de teoremas (2014-15)

MediaWiki

Api-help-param-token-webui

De Demostración automática de teoremas (2014-15)

For compatibility, the token used in the web UI is also accepted.

Obtenido de «https://www.glc.us.es/~jalonso/DAT2015/index.php/MediaWiki:Api-help-param-token-webui»