Space S112 | 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 |
---|---|---|
T245 | ||
T264 | ||
T181 | ||
T77 | ||
T332 | ||
T268 | ||
T328 | ||
T122 | ||
T407 | ||
T535 | ||
T256 | ||
T195 | ||
T562 | ||
T520 | ||
T759 | ||
T792 | ∧ ∧ | |
T720 | ||
T757 | ||
T741 | ∧ | |
T524 | ∧ ¬ ∧ ¬ | ¬ |
T391 | ¬ ∧ ¬ | ¬ |