Function DOC.EDITION

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

Slots on this function:

Documentation:

Refers to the nth edition of a document.

Instance-Of: Function

Arity: 2

Range: Natural

Other Related Axioms:

(=> (Doc.Edition $X $Y) (Natural $Y))

(=> (= (Doc.Edition ?Doc) ?Nth)
    (Or (Book ?Doc) (Proceedings ?Doc) (Cartographic-Map ?Doc)))

(<- (Ref.Edition ?Ref) (Doc.Edition (Ref.Document ?Ref)))