50646
domain: N
Appears in sequences
- a(n) = Sum_{k=0..n} stirling1(n,k)*stirling1(n+1,k+1)*k!.at n=5A192558
- Irregular triangle read by rows: T(n,k) is the number of non-isomorphic formulas in conjunctive normal form (CNF) with n variables and k distinct clauses up to permutations of the variables and clauses, 0 <= k <= 3^n.at n=22A380518
- Irregular triangle read by rows: T(n,k) is the number of non-isomorphic formulas in conjunctive normal form (CNF) with n variables and k distinct clauses up to permutations of the variables and clauses, 0 <= k <= 3^n.at n=37A380518