Cite This Page

Jump to navigation Jump to search

Bibliographic details for Proof assistant/External Links

Citation styles for Proof assistant/External Links

APA style

Proof assistant/External Links. (2013, November 3). Citizendium, . Retrieved 13:50, April 28, 2024 from https://citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&oldid=746363.

MLA style

"Proof assistant/External Links." Citizendium, . 3 Nov 2013, 21:14 UTC. 28 Apr 2024, 13:50 <https://citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&oldid=746363>.

MHRA style

Citizendium contributors, 'Proof assistant/External Links', Citizendium, , 3 November 2013, 21:14 UTC, <https://citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&oldid=746363> [accessed 28 April 2024]

Chicago style

Citizendium contributors, "Proof assistant/External Links," Citizendium, , https://citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&oldid=746363 (accessed April 28, 2024).

CBE/CSE style

Citizendium contributors. Proof assistant/External Links [Internet]. Citizendium, ; 2013 Nov 3, 21:14 UTC [cited 2024 Apr 28]. Available from: https://citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&oldid=746363.

Bluebook style

Proof assistant/External Links, https://citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&oldid=746363 (last visited April 28, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "Citizendium",
   title = "Proof assistant/External Links --- Citizendium{,} ",
   year = "2013",
   url = "https://citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&oldid=746363",
   note = "[Online; accessed 28-April-2024]"
 }

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 = "Citizendium",
   title = "Proof assistant/External Links --- Citizendium{,} ",
   year = "2013",
   url = "\url{https://citizendium.org/wiki/index.php?title=Proof_assistant/External_Links&oldid=746363}",
   note = "[Online; accessed 28-April-2024]"
 }


Retrieved from "https://citizendium.org/wiki/Special:CiteThisPage"