Axioms of metabelian Lie \(Q\)-algebras and \(U\)-algebras
Diophantine projective variety over a field
scientific article; zbMATH DE number 6509015