Function DOC.NUMBER-OF-PAGES

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

Slots on this function:

Documentation:

Number of pages contained a document. Not the page numbers of an article

Instance-Of: Function

Arity: 2

Domain: Document

Range: Natural

Other Related Axioms:

(=> (Doc.Number-Of-Pages $X $Y) (Natural $Y))

(=> (Doc.Number-Of-Pages $X $Y) (Document $X))