Property P000016
Also known as:
| Id | If | Then |
|---|---|---|
| T1 | ||
| T6 | ||
| T9 | ||
| T13 | ||
| T106 | ∧ | |
| T107 | ∧ | |
| T121 | ||
| T125 | ∧ | |
| T126 | ∧ ∧ | |
| T179 | ∧ ∧ | |
| T219 | ∧ | |
| T239 | ∧ ∧ ∧ | |
| T251 | ||
| T302 | ∧ ∧ | |
| T303 | ∧ | |
| T339 | ||
| T386 | ∧ | |
| T439 | ∧ | |
| T445 | ∧ ∧ ∧ ¬ | |
| T457 | ||
| T476 | ∧ ∧ | |
| T480 | ∧ ∧ | |
| T482 | ||
| T498 | ∧ | |
| T529 | ∧ ∧ | |
| T554 | ∧ ∧ ∧ | |
| T606 | ∧ | |
| T638 | ¬ | |
| T650 | ||
| T658 | ∧ | |
| T675 | ∧ ∧ ∧ | |
| T685 | ∧ ∧ | ¬ |
| T738 | ∧ | |
| T758 | ∧ ∧ | |
| T806 | ∧ | |
| T823 | ∧ | |
| T830 | ∧ |