---
tag: HKWWAEZJF4
kind: concept
name: Minimization
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section M
    note: adopted
    mention: wikipedia://en/76765067#E1YY
    sections: [Summary]
inventory: [QHB0D19XHX]
---

## Summary

In recursive function theory, the operation of searching for the smallest witness to a decidable predicate.