Citar esta página

Estilo de citas para Demostración automática de teoremas

Estilo APA

Demostración automática de teoremas. (2016, junio 24). EcuRed, . Consultado el 16:22, diciembre 13, 2025 en https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=2669013.

Estilo MLA

"Demostración automática de teoremas." EcuRed, . 24 jun 2016, 19:59 UTC. 13 dic 2025, 16:22 <https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=2669013>.

Estilo MHRA

Colaboradores de EcuRed, 'Demostración automática de teoremas', EcuRed, , 24 junio 2016, 19:59 UTC, <https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=2669013> [consultado el 13 diciembre 2025]

Estilo Chicago

Colaboradores de EcuRed, "Demostración automática de teoremas," EcuRed, , https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=2669013 (consultado el diciembre 13, 2025).

Estilo CBE/CSE

Colaboradores de EcuRed. Demostración automática de teoremas [Internet]. EcuRed, ; 2016 jun 24, 19:59 UTC [citado el 2025 dic 13]. Disponible en: https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=2669013.

Estilo Bluebook

Demostración automática de teoremas, https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=2669013 (última visita: diciembre 13, 2025).

Entrada BibTeX

 @misc{ wiki:xxx,
   autor = "EcuRed",
   título = "Demostración automática de teoremas --- EcuRed{,} ",
   año = "2016",
   url = "https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=2669013",
   nota = "[En línea; consultado el 13-diciembre-2025]"
 }

Cuando se utiliza la dirección URL de empaquetamiento LaTeX (\usepackage{url} en algún lugar del preámbulo) que tiende a dar direcciones web con un formato más agradable, se prefiere lo siguiente:

 @misc{ wiki:xxx,
   autor = "EcuRed",
   título = "Demostración automática de teoremas --- EcuRed{,} ",
   año = "2016",
   url = "\url{https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=2669013}",
   nota = "[En línea; consultado el 13-diciembre-2025]"
 }