Cite This Page

Citation styles for Horn-satisfiability

APA style

Horn-satisfiability. (2014, September 2). formulasearchengine. Retrieved 06:36, May 19, 2026 from https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162.

MLA style

"Horn-satisfiability." formulasearchengine. 2 Sep 2014, 10:25 UTC. 19 May 2026, 06:36 <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 19 May 2026]

Chicago style

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

CBE/CSE style

formulasearchengine contributors. Horn-satisfiability [Internet]. formulasearchengine; 2014 Sep 2, 10:25 UTC [cited 2026 May 19]. 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 May 19, 2026).

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 19-May-2026]"
 }

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 19-May-2026]"
 }