Space S41 | Property P37
is not
References
Notice:
This asserted property can be deduced from the other asserted traits for this
space, due to the following theorems.
| Id | If | Then |
|---|---|---|
| T177 | ||
| T252 | ||
| T273 | ||
| T264 | ||
| T448 | ||
| T100 | ||
| T460 | ||
| T249 | ¬ | |
| T287 | ||
| T121 | ||
| T66 | ||
| T231 | ||
| T308 | ∧ ∧ | ¬ |
| T523 | ∧ | |
| T750 | ||
| T122 | ||
| T463 | ∧ | |
| T846 | ∧ ∧ ¬ | |
| T175 | ∧ | |
| T888 | ||
| T776 |