Assertion list for term "combinatorial".
Results from Ascent++: 2
algorithm → HasProperty → combinatorial 0.49
proof → HasProperty → combinatorial 0.25