Cite This Page

Citation styles for Horn-satisfiability

APA style

Horn-satisfiability. (2014, September 2). formulasearchengine. Retrieved 18:48, November 16, 2025 from https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162.

MLA style

"Horn-satisfiability." formulasearchengine. 2 Sep 2014, 10:25 UTC. 16 Nov 2025, 18:48 <https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162>.

MHRA style

formulasearchengine contributors, 'Horn-satisfiability', formulasearchengine, 2 September 2014, 10:25 UTC, <https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162> [accessed 16 November 2025]

Chicago style

formulasearchengine contributors, "Horn-satisfiability," formulasearchengine, https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162 (accessed November 16, 2025).

CBE/CSE style

formulasearchengine contributors. Horn-satisfiability [Internet]. formulasearchengine; 2014 Sep 2, 10:25 UTC [cited 2025 Nov 16]. Available from: https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162.

Bluebook style

Horn-satisfiability, https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162 (last visited November 16, 2025).

BibTeX entry

 @misc{ wiki:xxx,
   author = "formulasearchengine",
   title = "Horn-satisfiability --- formulasearchengine{,} ",
   year = "2014",
   url = "https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162",
   note = "[Online; accessed 16-November-2025]"
 }

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 = "formulasearchengine",
   title = "Horn-satisfiability --- formulasearchengine{,} ",
   year = "2014",
   url = "\url{https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162}",
   note = "[Online; accessed 16-November-2025]"
 }