Inventory rows 1Z
The cards of the rows of the inventory whose ids start with 1Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kenneth E. Iverson 1Z2P3PNJSS
| URI | m2://inv/1Z2P3PNJSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q92629, Kenneth E. Iverson (unknown). Also ProofWiki Mathematician:Kenneth_Eugene_Iverson
History
- 2026-10-26: add by m2/dev
Chern Medal 1Z4VNBY6KW
| URI | m2://inv/1Z4VNBY6KW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1070276, Chern Medal (unknown). Also MathWorld ChernPrize
History
- 2026-10-26: add by m2/dev
Denis Diderot 1ZBVEJGAWW
| URI | m2://inv/1ZBVEJGAWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q448, Denis Diderot (unknown). Also nLab Denis Diderot
History
- 2026-10-26: add by m2/dev
Chebyshev Integral 1ZC5K6369Q
| URI | m2://inv/1ZC5K6369Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14555033, Chebyshev Integral (concept). Also MathWorld ChebyshevIntegral
History
- 2026-10-26: add by m2/dev
open ball 1ZCV4KF5WN
| URI | m2://inv/1ZCV4KF5WN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2921739, open ball (unknown). Also MathWorld OpenBall
History
- 2026-10-26: add by m2/dev
Yoneda embedding 1ZEV9VK0ZN
| URI | m2://inv/1ZEV9VK0ZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > Yoneda embedding, Yoneda embedding (unknown). Also Mathlib CategoryTheory.yoneda
History
- 2026-10-26: add by m2/dev
ד 1ZM8594MSC
| URI | m2://inv/1ZM8594MSC |
|---|---|
| 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 Q15080, ד (unknown). Also ProofWiki Symbols:Hebrew/Daleth
History
- 2026-10-26: add by m2/dev
iron-59 1ZNHMA1W58
| URI | m2://inv/1ZNHMA1W58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18844934, iron-59 (definition). Also ProofWiki Definition:Iron/59
History
- 2026-10-26: add by m2/dev
integer partition 1ZP2TJP9HG
| URI | m2://inv/1ZP2TJP9HG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Integer partition 0JV30XN73Z |
Mentions
- mathlib_100: mathlib_100 45, The Partition Theorem (statement). Also Mathlib Nat.Partition.card_odds_eq_card_distincts
- mathlib_1000: mathlib_1000 Q1082910, Euler's partition theorem (statement). Also Mathlib Nat.Partition.card_odds_eq_card_distincts, Wikidata Q1082910
- thousand_plus: thousand_plus Q1082910, Euler's partition theorem (statement). Also Mathlib Nat.Partition.card_odds_eq_card_distincts, Wikidata Q1082910
- wikidata: Wikidata Q1082910, integer partition (unknown). Also MathWorld Partition
History
- 2026-10-26: add by m2/dev
Betti's theorem 1ZR0PF6Z7S
| URI | m2://inv/1ZR0PF6Z7S |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q794269, Betti's theorem (statement). Also Wikidata Q794269
- thousand_plus: thousand_plus Q794269, Betti's theorem (statement). Also Wikidata Q794269, Wikipedia Betti's theorem
History
- 2026-10-26: add by m2/dev
abductive reasoning 1ZRZ315DKA
| URI | m2://inv/1ZRZ315DKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q308495, abductive reasoning (unknown). Also nLab abductive reasoning
History
- 2026-10-26: add by m2/dev
A-Integrable 1ZY8N4PW5R
| URI | m2://inv/1ZY8N4PW5R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122889481, A-Integrable (concept). Also MathWorld A-Integrable
History
- 2026-10-26: add by m2/dev
apocalypse number 1ZYQR9RJ2A
| URI | m2://inv/1ZYQR9RJ2A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125396104, apocalypse number (unknown). Also MathWorld ApocalypseNumber
History
- 2026-10-26: add by m2/dev
Hensel's lemma 1ZZFZF22E1
| URI | m2://inv/1ZZFZF22E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Hensel's lemma 010QVB71T2 |
Mentions
- wikidata: Wikidata Q1424496, Hensel's lemma (statement). Also MathWorld HenselsLemma, nLab Hensel's lemma, ProofWiki Hensel's_Lemma
History
- 2026-10-26: add by m2/dev