ListEqualityFromElementEquality

From RIF
Revision as of 01:36, 2 March 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordFebruary 16, 2010 telecon
DialectBLD
PurposeTest equality between lists
DescriptionEquality of lists is derived from equality of elements.
SeeAlso
SpecRefBLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group( ex:a=ex:b ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxList(ex:a) = List(ex:b)
XMLview RIF/XML