conjunctive_query_signed (310B)
1 # CQ with negated atoms 2 3 a [conjunctive_query] with [negation] on some [atom]s 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]