Table 8. Theorem concerning the phosphorylation of TP53.
| Theorem |
| TP53 & ATP& Kinase ⊢ TP53-P |
| Demonstration |
| 1. Kinase & ATP → Kinase*ATP |
| 2. (Kinase*ATP) & TP53 → (Kinase*ATP) *TP53 |
| 3. (Kinase*ATP) *TP53 → TP53-P & Kinase & ADP |
Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.