An arithmetical characterization of NP
scientific article; zbMATH DE number 3784853