atom_dominated (140B)
1 # Atom dominated 2 3 A [atom] A *dominates* an [atom] B in a [CQ] if the [variables] of A are a [subset] of that of B 4 5 Up: [conjunctive_query]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |