MediaWiki:Apihelp-expandtemplates-param-generatexml - Demostración automática de teoremas (2014-15)

MediaWiki

Apihelp-expandtemplates-param-generatexml

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

Generar un árbol de análisis XML (remplazado por $1prop=parsetree).

Obtenido de «https://www.glc.us.es/~jalonso/DAT2015/index.php/MediaWiki:Apihelp-expandtemplates-param-generatexml»