Decidability of Configuration Theorems in Projective Planes and Other Incidence Structures

The problem of recognizing if a configuration theorem is valid in a given class \(\mathcal{C}\) of incidence structures is equivalent to the problem of deciding, for an arbitrary finite incidence structure \(I\), whether \(I\) is embeddable in some incidence structure in \(\mathcal{C}\).