Complexity in mechanized hypothesis formation
Quantifiers with Statistical Interpretation
scientific article; zbMATH DE number 3628433