Inventory rows 8K
The cards of the rows of the inventory whose ids start with 8K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Heraclitus 8K5DPFC0YN
| URI | m2://inv/8K5DPFC0YN |
|---|---|
| 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 Q41155, Heraclitus (unknown). Also nLab Heraclitus
History
- 2026-10-26: add by m2/dev
Maximum power theorem 8K65254PMW
| URI | m2://inv/8K65254PMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 78-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17103352, Maximum power theorem (statement). Also Wikidata Q17103352
- thousand_plus: thousand_plus Q17103352, Maximum power theorem (statement). Also Wikidata Q17103352, Wikipedia Maximum power theorem
History
- 2026-10-26: add by m2/dev
vanishing cycle 8K9YQPHJQ4
| URI | m2://inv/8K9YQPHJQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4205180, vanishing cycle (unknown). Also nLab vanishing cycle
History
- 2026-10-26: add by m2/dev
constant sequence 8KB55YV3HX
| URI | m2://inv/8KB55YV3HX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137338262, constant sequence (object). Also OEIS Constant_sequences
History
- 2026-10-26: add by m2/dev
Exact completion 8KEBPPRXAH
| URI | m2://inv/8KEBPPRXAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28403300, Exact completion (unknown). Also nLab regular and exact completions
History
- 2026-10-26: add by m2/dev
great snub icosidodecahedron 8KEGHBT4XF
| URI | m2://inv/8KEGHBT4XF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41961, great snub icosidodecahedron (unknown). Also MathWorld GreatSnubIcosidodecahedron
History
- 2026-10-26: add by m2/dev
Gaussian measures 8KH2YGEAZ6
| URI | m2://inv/8KH2YGEAZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > Gaussian measures, Gaussian measures (unknown). Also Mathlib ProbabilityTheory.IsGaussian
History
- 2026-10-26: add by m2/dev
orthogonal matrix 8KHAEVF7HH
| URI | m2://inv/8KHAEVF7HH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Orthogonal matrix 0W02QESPJQ |
Mentions
- wikidata: Wikidata Q333871, orthogonal matrix (unknown). Also EoM Orthogonal_matrix, MathWorld OrthogonalMatrix
History
- 2026-10-26: add by m2/dev
pawn 8KQM2ZVGEM
| URI | m2://inv/8KQM2ZVGEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135, pawn (definition). Also ProofWiki Definition:Chess/Pawn
History
- 2026-10-26: add by m2/dev
Zeckendorf's theorem 8KRKABDP7W
| URI | m2://inv/8KRKABDP7W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | Zeckendorf's theorem 05DEJR6TGF |
Mentions
- mathlib_1000: mathlib_1000 Q1188392, Zeckendorf's theorem (statement). Also Mathlib Nat.zeckendorfEquiv, Wikidata Q1188392
- thousand_plus: thousand_plus Q1188392, Zeckendorf's theorem (statement). Also Mathlib Nat.zeckendorfEquiv, Wikidata Q1188392, Wikipedia Zeckendorf's theorem
- wikidata: Wikidata Q1188392, Zeckendorf's theorem (statement). Also MathWorld ZeckendorfRepresentation, MathWorld ZeckendorfsTheorem
History
- 2026-10-26: add by m2/dev
YBC 7289 8KTKQJBGXK
| URI | m2://inv/8KTKQJBGXK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2178529, YBC 7289 (unknown). Also ProofWiki Book:Tablet/YBC_7289
History
- 2026-10-26: add by m2/dev
September 8KZ5XJRCDN
| URI | m2://inv/8KZ5XJRCDN |
|---|---|
| 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 Q123, September (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/September
History
- 2026-10-26: add by m2/dev