Dependence logic
This page lists the items of the Wikipedia article Dependence logic 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 1355640834, with the assessment B/Low.
| Outcome | Items |
|---|---|
| deferred | 5 |
| node | 1 |
The gap signals of the article are S1,S2,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | definition | Dependence logic | node (adopted) | Dependence logic | |
| #8FT4 | unknown | Game-theoretic semantics for dependence logic | deferred until 2027-05-01 | the kind of the item is unknown | |
| #N9SE | statement | Complex formulas and sentences | deferred until 2027-05-01 | the heading names more than one item | |
| #PNOX | unknown | Team logic | deferred until 2027-05-01 | the kind of the item is unknown | |
| #T03G | statement | Atomic formulas | deferred until 2027-05-01 | the heading names a group of items | |
| #Y11I | statement | Properties | deferred until 2027-05-01 | the cue heading names a section and not one item |
Refer to Wikipedia articles and their nodes for the other articles.