My tags: disjunctive-resolution

With this tag

• disjunctive-resolution (math concept)
• DisjunctiveResolutionDeclaration (python class)
• DisjunctiveResolutionInclusion (python class)
• disjunctive-resolution (python sample)