First-order \(jk\)-clausal theories are PAC-learnable
scientific article; zbMATH DE number 710226
scientific article