The deducibilities of S5
scientific article; zbMATH DE number 3745128
scientific article