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