TY - RPRT TI - Extending the (Elementary) Mathematical Data Model and MatBase with two new constraint types: inexistence and anti-existence AU - Christian Mancas PY - 2026 DO - 10.56831/psen-08-272 UR - https://arxiv.org/abs/2605.24021 ID - 2605.24021 ER -