Inventory rows J0
The cards of the rows of the inventory whose ids start with J0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Gentzen's consistency proof for Peano Arithmetic J01JTG3JDG
| URI | m2://inv/J01JTG3JDG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- thousand_plus: thousand_plus Q5533794, Gentzen's consistency proof for Peano Arithmetic (statement). Also Wikidata Q5533794, Wikipedia Gentzen's consistency proof
History
- 2026-10-26: add by m2/dev
Demlo number J03AAPYKP4
| URI | m2://inv/J03AAPYKP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30748332, Demlo number (unknown). Also MathWorld DemloNumber, OEIS A002477
History
- 2026-10-26: add by m2/dev
milli- J06HQ4F631
| URI | m2://inv/J06HQ4F631 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q154108, milli- (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/milli-
History
- 2026-10-26: add by m2/dev
Sander illusion J09PGKQFBB
| URI | m2://inv/J09PGKQFBB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2641583, Sander illusion (unknown). Also MathWorld ParallelogramIllusion
History
- 2026-10-26: add by m2/dev
semiorthogonal decomposition J0A1J85M1S
| URI | m2://inv/J0A1J85M1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85800327, semiorthogonal decomposition (unknown). Also nLab semiorthogonal decomposition
History
- 2026-10-26: add by m2/dev
eigenstate thermalization hypothesis J0CC85N9ZF
| URI | m2://inv/J0CC85N9ZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17008931, eigenstate thermalization hypothesis (unknown). Also nLab eigenstate thermalization hypothesis
History
- 2026-10-26: add by m2/dev
blackboard bold J0CPHJGAZE
| URI | m2://inv/J0CPHJGAZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1142171, blackboard bold (unknown). Also MathWorld Doublestruck, ProofWiki Symbols:Fonts/mathbb
History
- 2026-10-26: add by m2/dev
black string J0GHJ0R7M3
| URI | m2://inv/J0GHJ0R7M3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q680247, black string (unknown). Also nLab black string
History
- 2026-10-26: add by m2/dev
Pandya theorem J0MT8TCPJV
| URI | m2://inv/J0MT8TCPJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7130794, Pandya theorem (statement). Also Wikidata Q7130794
- thousand_plus: thousand_plus Q7130794, Pandya theorem (statement). Also Wikidata Q7130794, Wikipedia Pandya theorem
History
- 2026-10-26: add by m2/dev
non-negative integer J0WYT0GCTD
| URI | m2://inv/J0WYT0GCTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28920052, non-negative integer (unknown). Also MathWorld NonnegativeInteger, OEIS A001477
History
- 2026-10-26: add by m2/dev