Class DOCTORAL-THESIS

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

Slots on this class:

Documentation: Ph.D. thesis document

Instance-Of: Class

Subclass-Of: Thesis

Other Related Axioms:

(Exhaustive-Subclass-Partition Thesis
                               (Setof Masters-Thesis Doctoral-Thesis))

(Inherited-Facet-Value Slot-Value-Type
                       Doctoral-Thesis-Reference
                       Ref.Document
                       Doctoral-Thesis)

(=> (Doctoral-Thesis-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Doctoral-Thesis)
         (Has-Value ?Ref Ref.Type-Of-Work Doctoral Thesis)))