Q-expression-operator M0-

• Defined in theory: Dme-kb
• Source code: q-operator-definitions.lisp

Slots on this q-expression-operator:

Documentation:

QM0- is a more specific version of QM-, such that (QM0- ) is 0 when is 0.

Instance-Of: Q-expression-operator