On search over rationals
scientific article; zbMATH DE number 3784218
scientific article