Function DOC.SERIES-TITLE

• Defined in theory: Bibliographic-data
• Source code: bibliographic-data.lisp

Slots on this function:

Documentation: Series title of a document.

Instance-Of: Function

Arity: 2

Range: Title

Other Related Axioms:

(=> (Doc.Series-Title $X $Y) (Title $Y))

(=> (= (Doc.Series-Title ?Doc) ?Title)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(Inherited-Facet-Value Same-Slot-Values
                       Book-Reference
                       Ref.Secondary-Title
                       Doc.Series-Title)

(=> (Book-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Document 1)
         (Value-Type ?Ref Ref.Document Book)
         (Same-Values ?Ref Ref.Secondary-Author Ref.Series-Editor)
         (Same-Values ?Ref Ref.Secondary-Title Doc.Series-Title)))