Inventory rows D5
The cards of the rows of the inventory whose ids start with D5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Hurwitz's automorphisms theorem D549ETBMRZ
| URI | m2://inv/D549ETBMRZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226695, Hurwitz's automorphisms theorem (statement). Also Wikidata Q2226695
- thousand_plus: thousand_plus Q2226695, Hurwitz's automorphisms theorem (statement). Also Wikidata Q2226695, Wikipedia Hurwitz's automorphisms theorem
History
- 2026-10-26: add by m2/dev
draw D55HK79E6C
| URI | m2://inv/D55HK79E6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1137224, draw (definition). Also ProofWiki Definition:Chess/Draw
History
- 2026-10-26: add by m2/dev
Plancherel theorem D563H563X0
| URI | m2://inv/D563H563X0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 42-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2096184, Plancherel theorem (statement). Also Mathlib SchwartzMap.integral_inner_fourier_fourier, Wikidata Q2096184
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Plancherel’s theorem, Plancherel’s theorem (unknown). Also Mathlib SchwartzMap.integral_inner_fourier_fourier
- thousand_plus: thousand_plus Q2096184, Plancherel theorem (statement). Also Mathlib SchwartzMap.integral_inner_fourier_fourier, Wikidata Q2096184, Wikipedia Plancherel theorem
- wikidata: Wikidata Q2096184, Plancherel theorem (statement). Also MathWorld PlancherelsTheorem
History
- 2026-10-26: add by m2/dev
butterfly theorem D56PK89YF2
| URI | m2://inv/D56PK89YF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q377047, Butterfly theorem (statement). Also Wikidata Q377047
- thousand_plus: thousand_plus Q377047, Butterfly theorem (statement). Also Wikidata Q377047, Wikipedia Butterfly theorem
- wikidata: Wikidata Q377047, butterfly theorem (statement). Also MathWorld ButterflyTheorem
History
- 2026-10-26: add by m2/dev
Campbell's theorem D58Y5W6WG4
| URI | m2://inv/D58Y5W6WG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5027969, Campbell's theorem (statement). Also MathWorld CampbellsTheorem
History
- 2026-10-26: add by m2/dev
Gabriele Veneziano D5BKA9ZCHD
| URI | m2://inv/D5BKA9ZCHD |
|---|---|
| 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 Q441993, Gabriele Veneziano (unknown). Also nLab Gabriele Veneziano
History
- 2026-10-26: add by m2/dev
adjoint bundle D5BS6M3ZZE
| URI | m2://inv/D5BS6M3ZZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4683171, adjoint bundle (unknown). Also nLab adjoint bundle
History
- 2026-10-26: add by m2/dev
optical illusion D5D42CF6FH
| URI | m2://inv/D5D42CF6FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q174923, optical illusion (unknown). Also MathWorld Illusion
History
- 2026-10-26: add by m2/dev
cartesian monoidal category D5EMEZBVRM
| URI | m2://inv/D5EMEZBVRM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18205845, cartesian monoidal category (unknown). Also nLab cartesian monoidal category
History
- 2026-10-26: add by m2/dev
Tarski's undefinability theorem D5G99EW0RD
| URI | m2://inv/D5G99EW0RD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q574902, Tarski's undefinability theorem (statement). Also Wikidata Q574902
- thousand_plus: thousand_plus Q574902, Tarski's undefinability theorem (statement). Also Wikidata Q574902, Wikipedia Tarski's undefinability theorem
History
- 2026-10-26: add by m2/dev
potential energy D5JJ2EF8BW
| URI | m2://inv/D5JJ2EF8BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q155640, potential energy (definition). Also nLab potential energy, ProofWiki Definition:Potential_Energy
History
- 2026-10-26: add by m2/dev
Hua Luogeng D5JX3H75P8
| URI | m2://inv/D5JX3H75P8 |
|---|---|
| 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 Q590111, Hua Luogeng (unknown). Also ProofWiki Mathematician:Hua_Luogeng
History
- 2026-10-26: add by m2/dev
Robbins constant D5K835X4NX
| URI | m2://inv/D5K835X4NX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2994919, Robbins constant (object). Also MathWorld RobbinsConstant
History
- 2026-10-26: add by m2/dev
granny knot D5K9JJ5RKH
| URI | m2://inv/D5K9JJ5RKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5596009, granny knot (unknown). Also MathWorld GrannyKnot
History
- 2026-10-26: add by m2/dev
vector sum D5KTR85JH8
| URI | m2://inv/D5KTR85JH8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55091436, vector sum (unknown). Also MathWorld VectorSum
History
- 2026-10-26: add by m2/dev
additive identity D5MSW8BP58
| URI | m2://inv/D5MSW8BP58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2767837, additive identity (unknown). Also MathWorld AdditiveIdentity
History
- 2026-10-26: add by m2/dev
Spijker's lemma D5V1VBBMFZ
| URI | m2://inv/D5V1VBBMFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7577154, Spijker's lemma (statement). Also MathWorld SpijkersLemma
History
- 2026-10-26: add by m2/dev
Azumaya algebra D5YHX92FNH
| URI | m2://inv/D5YHX92FNH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2835923, Azumaya algebra (unknown). Also nLab Azumaya algebra
History
- 2026-10-26: add by m2/dev