Proof mining
subject: Category:Proof theory
hypernym: Program