Space S170 | Property P65
is
References
Notice:
This asserted property can be deduced from the other asserted traits for this
space, due to the following theorems.
Id | If | Then |
---|---|---|
T1 | ||
T17 | ||
T18 | ||
T124 | ∧ | |
T544 | ||
T583 | ||
T9 | ||
T346 | ¬ | |
T545 | ∧ | |
T601 | ||
T26 | ∧ | |
T622 | ∧ ∧ ¬ | |
T335 | ||
T769 | ∧ | |
T759 | ||
T766 | ∧ | |
T535 | ||
T300 | ||
T175 | ∧ | |
T121 | ||
T391 | ¬ ∧ ¬ | ¬ |
T270 | ||
T122 | ||
T405 | ∧ ∧ |