Cite This Page
Bibliographic details for Horn-satisfiability
- Page name: Horn-satisfiability
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 2 September 2014 10:25 UTC
- Date retrieved: 5 June 2024 02:53 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162
- Page Version ID: 237162
Citation styles for Horn-satisfiability
APA style
Horn-satisfiability. (2014, September 2). formulasearchengine, . Retrieved 02:53, June 5, 2024 from https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162.
MLA style
"Horn-satisfiability." formulasearchengine, . 2 Sep 2014, 10:25 UTC. 5 Jun 2024, 02:53 <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 5 June 2024]
Chicago style
formulasearchengine contributors, "Horn-satisfiability," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162 (accessed June 5, 2024).
CBE/CSE style
formulasearchengine contributors. Horn-satisfiability [Internet]. formulasearchengine, ; 2014 Sep 2, 10:25 UTC [cited 2024 Jun 5]. 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 June 5, 2024).
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 5-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 = "2014", url = "\url{https://en.formulasearchengine.com/index.php?title=Horn-satisfiability&oldid=237162}", note = "[Online; accessed 5-June-2024]" }