ElementEqualityFromListEquality

From RIF
Revision as of 01:34, 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 elements is derived from equality of lists.
SeeAlso
SpecRefBLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group( List(ex:a) = List(ex:b) ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:a=ex:b
XMLview RIF/XML