conjunctive_query_signed (312B)
1 # CQ with negated atoms 2 3 a [conjunctive_query] with [negation] on some [atoms] 4 5 - [capelli2023direct] 6 - also [zhao2023conjunctive] 7 - [fink2016dichotomies] 8 - [enumeration_cqs]: see [segoufin2015constant] which cites [brault2014pertinence] 9 10 Up: [conjunctive_query] with [negation] 11 12 See also: [hypergraph_signed]