Cite

Citation styles for Proof assistant

APA style

Proof assistant. (2010, December 18). Knowino, an encyclopedia. Retrieved 13:30, February 15, 2015 from http://knowino.org/w/index.php?title=Proof_assistant&oldid=4156.

MLA style

"Proof assistant." Knowino, an encyclopedia. 18 Dec 2010, 20:33 UTC. 15 Feb 2015, 13:30 <http://knowino.org/w/index.php?title=Proof_assistant&oldid=4156>.

MHRA style

Knowino contributors, 'Proof assistant', Knowino, an encyclopedia, 18 December 2010, 20:33 UTC, <http://knowino.org/w/index.php?title=Proof_assistant&oldid=4156> [accessed 15 February 2015]

Chicago style

Knowino contributors, "Proof assistant," Knowino, an encyclopedia, http://knowino.org/w/index.php?title=Proof_assistant&oldid=4156 (accessed February 15, 2015).

CBE/CSE style

Knowino contributors. Proof assistant [Internet]. Knowino, an encyclopedia; 2010 Dec 18, 20:33 UTC [cited 2015 Feb 15]. Available from: http://knowino.org/w/index.php?title=Proof_assistant&oldid=4156.

Bluebook style

Proof assistant, http://knowino.org/w/index.php?title=Proof_assistant&oldid=4156 (last visited February 15, 2015).

BibTeX entry

 @misc{ wiki:xxx,
   author = "Knowino",
   title = "Proof assistant --- Knowino{,} an encyclopedia",
   year = "2010",
   url = "http://knowino.org/w/index.php?title=Proof_assistant&oldid=4156",
   note = "[Online; accessed 15-February-2015]"
 }

When using the LaTeX package url (\usepackage{url} somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred:

 @misc{ wiki:xxx,
   author = "Knowino",
   title = "Proof assistant --- Knowino{,} an encyclopedia",
   year = "2010",
   url = "\url{http://knowino.org/w/index.php?title=Proof_assistant&oldid=4156}",
   note = "[Online; accessed 15-February-2015]"
 }