Inventory rows KW
The cards of the rows of the inventory whose ids start with KW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Hasse–Arf theorem KW048YTKPP
| URI | m2://inv/KW048YTKPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5680041, Hasse–Arf theorem (statement). Also Wikidata Q5680041
- thousand_plus: thousand_plus Q5680041, Hasse–Arf theorem (statement). Also Wikidata Q5680041, Wikipedia Hasse–Arf theorem
History
- 2026-10-26: add by m2/dev
Holt graph KW0RERNE7A
| URI | m2://inv/KW0RERNE7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115479, Holt graph (unknown). Also House of Graphs 1051, MathWorld DoyleGraph
History
- 2026-10-26: add by m2/dev
simple point process KW1WFHD1DV
| URI | m2://inv/KW1WFHD1DV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55648628, simple point process (unknown). Also MathWorld SimplePointProcess
History
- 2026-10-26: add by m2/dev
Chevalley's structure theorem KW3PKSNJH1
| URI | m2://inv/KW3PKSNJH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5094298, Chevalley's structure theorem (statement). Also Wikidata Q5094298
- thousand_plus: thousand_plus Q5094298, Chevalley's structure theorem (statement). Also Wikidata Q5094298, Wikipedia Chevalley's structure theorem
History
- 2026-10-26: add by m2/dev
Jensen's inequality (finite sum version) KW5EC8A164
| URI | m2://inv/KW5EC8A164 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Convexity > Jensen's inequality (finite sum version), Jensen's inequality (finite sum version) (unknown). Also Mathlib ConvexOn.map_sum_le
History
- 2026-10-26: add by m2/dev
facet KW618QFK2M
| URI | m2://inv/KW618QFK2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3847020, facet (unknown). Also MathWorld Facet
History
- 2026-10-26: add by m2/dev
parametric equation KW700HCZPT
| URI | m2://inv/KW700HCZPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q35889, parametric equation (unknown). Also MathWorld ParametricEquations
History
- 2026-10-26: add by m2/dev
coherent topos KWB1JP6CAZ
| URI | m2://inv/KWB1JP6CAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97354613, coherent topos (unknown). Also nLab coherent topos
History
- 2026-10-26: add by m2/dev
Steve Vickers KWD8WKDS0W
| URI | m2://inv/KWD8WKDS0W |
|---|---|
| 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 Q3817613, Steve Vickers (unknown). Also nLab Steve Vickers
History
- 2026-10-26: add by m2/dev
augmented dodecahedron KWE1GQQECK
| URI | m2://inv/KWE1GQQECK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2748485, augmented dodecahedron (object). Also MathWorld AugmentedDodecahedron
History
- 2026-10-26: add by m2/dev
Arden's lemma KWF9B81MD8
| URI | m2://inv/KWF9B81MD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > Arden's lemma, Arden's lemma (unknown). Also Mathlib Language.self_eq_mul_add_iff
History
- 2026-10-26: add by m2/dev
utility graph KWGJ0ZAZV1
| URI | m2://inv/KWGJ0ZAZV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123375397, utility graph (unknown). Also House of Graphs 84, MathWorld UtilityGraph
History
- 2026-10-26: add by m2/dev
harmonic number KWVHW50KVD
| URI | m2://inv/KWVHW50KVD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Harmonic number 0D2Y6G4C4S |
Mentions
- wikidata: Wikidata Q13407133, harmonic number (unknown). Also EoM Harmonic_number, MathWorld HarmonicNumber
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
much greater than KWX48SSTEC
| URI | m2://inv/KWX48SSTEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110064531, much greater than (unknown). Also MathWorld MuchGreater
History
- 2026-10-26: add by m2/dev
univalent function KWYMECV6MY
| URI | m2://inv/KWYMECV6MY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2608535, univalent function (unknown). Also MathWorld UnivalentFunction
History
- 2026-10-26: add by m2/dev
trapezoidal rule KWZ63D9K3T
| URI | m2://inv/KWZ63D9K3T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q833293, trapezoidal rule (statement). Also Mathlib trapezoidal_integral, MathWorld TrapezoidalRule, ProofWiki Trapezium_Rule_for_Definite_Integrals
History
- 2026-10-26: add by m2/dev