Identifying nearly minimal Gödel numbers from additional information
scientific article; zbMATH DE number 1236259