Relation LAST-DATE-OF-CHECKING-OF

Arity: 2

Axioms:

(= (Inverse Last-Checked) Last-Date-Of-Checking-Of)

• Defined in theory: Web-notions
• Source code: Web-Notions.lisp