DescriptionConcertina cube graph.svg Implications between the A000629(3) = 26 statements with 3 variables in first-order logic The formulas are represented...
DescriptionConcertina cube graph; pairs.svg Implications between the A000629(3) = 26 statements with 3 variables in first-order logic The two little drawings...
zRxyz} , represented by matrices like this one. This was originally a "bad SVG", created with Inkscape. I, the copyright holder of this work, hereby publish...
DescriptionConcertina cube graph; pair sketches.svg Implications between the A000629(3) = 26 statements with 3 variables in first-order logic This illustration...
DescriptionConcertina tesseract graph.svg Implications between the A000629(4) = 150 statements with 4 variables in first-order logic The formulas are...
DescriptionRanks in concertina cube.svg Ranks in the concertina cube The number of vertices with ranks (0, 1, 2, 3, 4, 5, 6) is (1, 3, 6, 6, 6, 3, 1),...
