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.

Arity: 2

Domain: Reference

Range: Natural

Axioms:

(=> (Ref.Edition ?Ref ?Nth)
    (= ?Nth (Doc.Edition (Ref.Document ?Ref))))