Warning:
This wiki has been archived and is now read-only.
ListEqualityFromElementEquality
From RIF
| Test Type | PositiveEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||
| Status | Approved | ||||
| Record | February 16, 2010 telecon | ||||
| Dialect | BLD | ||||
| Purpose | Test equality between lists | ||||
| Description | Equality of lists is derived from equality of elements. | ||||
| SeeAlso | |||||
| SpecRef | BLD#Logical_Entailment | ||||
| Premises |
|
||||
| Conclusion |
|