Predicate calculus is a formal language for expressing statements that are built from atomic formulas. Atomic formulas can be constants, variables, functions, and predicates.
What the chain says
- Block
- 748 280
- Time
- 2022-07-15T01:30:10Z
- Signer
- 1NsDaiyjpAYdpGBx5hwdckYJNPcQa6Rn4s
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#8088
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
Signed by
1NsDaiyjpAYdpGBx5hwdckYJNPcQa6Rn4s Verified