Number of nonisomorphic systems enumerated by A102897; that is, the number of inequivalent Horn functions, under permutation of variables.
A193675
Number of nonisomorphic systems enumerated by A102897; that is, the number of inequivalent Horn functions, under permutation of variables.
Terms
- a(0) =2a(1) =4a(2) =10a(3) =38a(4) =368a(5) =29328a(6) =216591692
External references
- oeis: A193675