ElementEqualityFromListEquality

From RIF

Revision as of 11:14, 21 April 2009 by JosDeBruijn (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusProposed
Record
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.com/example#>) Group( List(ex:a) = List(ex:b) ) )
XMLview XML
Conclusion
Presentation Syntaxex:a=ex:b
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/ElementEqualityFromListEquality"