Function REF.PAGES

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

Slots on this function:

Documentation:

In a reference, the pages of an article or analogous subdocument in which a publication resides. Specified as a sequence of two integers.

Instance-Of: Function

Arity: 2

Range: List

Other Related Axioms:

(=> (Ref.Pages $X $Y) (List $Y))

(=> (= (Ref.Pages ?Ref) ?Page-Range)
    (Integer (First (Rest ?Page-Range))))

(=> (= (Ref.Pages ?Ref) ?Page-Range) (Integer (First ?Page-Range)))

(=> (= (Ref.Pages ?Ref) ?Page-Range)
    (Or (Book-Section-Reference ?Ref)
        (Article-Reference ?Ref)
        (Proceedings-Paper-Reference ?Ref)))