Verifiability and strong verifiability
scientific article; zbMATH DE number 26648