Search titles, aliases and note text. Use # for tags.
1 min read
logic
Anti-Horn Clause A clause that contains at most one negative literal.
Anti-Horn Clause
A clause that contains at most one negative literal.