Function DOC.AUTHOR.NAME

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

Slots on this function:

Documentation:

The name used by an author is a function of the document and the author.

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain Doc.Author.Name 3 Author-Name)

(Nth-Domain Doc.Author.Name 2 Author)

(Nth-Domain Doc.Author.Name 1 Document)

Other Related Axioms:

(=> (Doc.Author-Name ?Doc ?Name)
    (Exists (?Author)
            (And (Doc.Author ?Doc ?Author)
                 (Doc.Author.Name ?Doc ?Author ?Name))))