Atomic formula
This page lists the items of the Wikipedia article Atomic formula in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1317547099, with the assessment Start/Low.
| Outcome | Items |
|---|---|
| deferred | 1 |
| node | 1 |
The gap signals of the article are S1,S5,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | statement | Atomic formula | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #VIWL | statement | Atomic formula in first-order logic | node (adopted) | Atomic formula in first-order logic |
Refer to Wikipedia articles and their nodes for the other articles.