Function REF.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

Domain: Reference

Range: Natural

Other Related Axioms:

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

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

(=> (Ref.Edition $X $Y) (Reference $X))