Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)
scientific article; zbMATH DE number 6197026