Cite This Page
Bibliographic details for Horn-satisfiability
- Page name: Horn-satisfiability
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 11 May 2012 19:19 UTC
- Date retrieved: 6 June 2024 22:48 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237161
- Page Version ID: 237161
Citation styles for Horn-satisfiability
APA style
Horn-satisfiability. (2012, May 11). formulasearchengine, . Retrieved 22:48, June 6, 2024 from https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237161.
MLA style
"Horn-satisfiability." formulasearchengine, . 11 May 2012, 19:19 UTC. 6 Jun 2024, 22:48 <https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237161>.
MHRA style
formulasearchengine contributors, 'Horn-satisfiability', formulasearchengine, , 11 May 2012, 19:19 UTC, <https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237161> [accessed 6 June 2024]
Chicago style
formulasearchengine contributors, "Horn-satisfiability," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237161 (accessed June 6, 2024).
CBE/CSE style
formulasearchengine contributors. Horn-satisfiability [Internet]. formulasearchengine, ; 2012 May 11, 19:19 UTC [cited 2024 Jun 6]. Available from: https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237161.
Bluebook style
Horn-satisfiability, https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237161 (last visited June 6, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Horn-satisfiability --- formulasearchengine{,} ", year = "2012", url = "https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237161", note = "[Online; accessed 6-June-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 = "formulasearchengine", title = "Horn-satisfiability --- formulasearchengine{,} ", year = "2012", url = "\url{https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237161}", note = "[Online; accessed 6-June-2024]" }