---
tag: DR2ACZFV2C
kind: concept
name: Verification constraint
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section V
    note: adopted
    mention: wikipedia://en/76765067#FTYB
    sections: [Summary]
inventory: [163V5MTSEF]
---

## Summary

See epistemic constraint.