ISSUE-134: Do we need to define all the entailment rules in the spec as per QB
Entailment rules
Do we need to define all the entailment rules in the spec as per QB
- State:
- POSTPONED
- Product:
- QB4ST
- Raised by:
- Phil Archer
- Opened on:
- 2017-01-03
- Description:
- and if so using what formalism - basically entail missing properties from broader definitions?
- Related Actions Items:
- No related actions
- Related emails:
- No related emails
Related notes:
leave for formal spec if deemed necessary
Rob Atkinson, 21 Feb 2017, 03:08:50Display change log