Function REF.REPORT-NUMBER

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

Slots on this function:

Documentation:

An alphanumeric identifier that identifies a technical report within a series sponsored by the publishing institution. For example, STAN-CS-68-118 is the 118th report number of a report written at Stanford in the computer science department in 1968.

Instance-Of: Function

Arity: 2

Domain: Technical-report-reference

Range: Biblio-name

Other Related Axioms:

(=> (Ref.Report-Number $X $Y) (Biblio-Name $Y))

(=> (Ref.Report-Number $X $Y) (Technical-Report-Reference $X))