![]() | ObjectProperty |
![]() | The relationship between SequenceElement and Proof. A SequenceElement can have one to many Proof(s). |
![]() | hasProofs; whether the SequenceElement has any support (Proof). |
References | |
---|---|
Generated with TopBraid Composer by TopQuadrant, Inc.