OpenMath Signatures


Type System: sts
Content Dictionary: metasig
CD Signature File: metasig.sts
CD Signature as XML Encoded OpenMath: metasig.omsts



CDSignatures

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="CDSTopLevelEntry"/>
    </OMA>
  <OMV name="Signatures"/>
 </OMA>
</OMOBJ>
( ( CDSTopLevelEntry * ) >> Signatures )

Content Dictionary Entry.


[Next: CDSComment] [Last: Signature] [Top]


CDSComment

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="SigTopLevelEntry"/>
 </OMA>
</OMOBJ>
( String >> SigTopLevelEntry )

Content Dictionary Entry.


[Next: CDSReviewDate] [Previous: CDSignatures] [Top]


CDSReviewDate

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="SigTopLevelEntry"/>
 </OMA>
</OMOBJ>
( String >> SigTopLevelEntry )

Content Dictionary Entry.


[Next: CDSStatus] [Previous: CDSComment] [Top]


CDSStatus

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="SigTopLevelEntry"/>
 </OMA>
</OMOBJ>
( String >> SigTopLevelEntry )

Content Dictionary Entry.


[Next: Signature] [Previous: CDSReviewDate] [Top]


Signature

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="CDSTopLevelEntry"/>
    </OMA>
  <OMV name="SigTopLevelEntry"/>
 </OMA>
</OMOBJ>
( ( CDSTopLevelEntry * ) >> SigTopLevelEntry )

Content Dictionary Entry.


[First: CDSignatures] [Previous: CDSStatus] [Top]