Proof mining in \(L_{1}\)-approximation
logical analysis of prima facie non-effective proofs
scientific article; zbMATH DE number 1915310
scientific article