Inventory rows KB
The cards of the rows of the inventory whose ids start with KB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Siu's semicontinuity theorem KB09FM5CA9
| URI | m2://inv/KB09FM5CA9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7532192, Siu's semicontinuity theorem (statement). Also Wikidata Q7532192
- thousand_plus: thousand_plus Q7532192, Siu's semicontinuity theorem (statement). Also Wikidata Q7532192, Wikipedia Siu's semicontinuity theorem
History
- 2026-10-26: add by m2/dev
Bernhard Keller KBA49695QR
| URI | m2://inv/KBA49695QR |
|---|---|
| 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 Q18222410, Bernhard Keller (unknown). Also nLab Bernhard Keller
History
- 2026-10-26: add by m2/dev
small complex icosidodecahedron KBCFD8M31Q
| URI | m2://inv/KBCFD8M31Q |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543031, small complex icosidodecahedron (object). Also MathWorld SmallComplexIcosidodecahedron
History
- 2026-10-26: add by m2/dev
indiscrete category KBE2E47E2G
| URI | m2://inv/KBE2E47E2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098934, indiscrete category (unknown). Also nLab indiscrete category
History
- 2026-10-26: add by m2/dev
range KBEG4PHXMV
| URI | m2://inv/KBEG4PHXMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1165839, range (unknown). Also MathWorld StatisticalRange
History
- 2026-10-26: add by m2/dev
Legendre chi function KBGJNFCWK6
| URI | m2://inv/KBGJNFCWK6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1452853, Legendre chi function (concept). Also MathWorld LegendresChi-Function
History
- 2026-10-26: add by m2/dev
Yuri Matiyasevich KBH8EA4W7B
| URI | m2://inv/KBH8EA4W7B |
|---|---|
| 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 Q707119, Yuri Matiyasevich (unknown). Also nLab Yuri Matiyasevich, ProofWiki Mathematician:Yuri_Vladimirovich_Matiyasevich
History
- 2026-10-26: add by m2/dev
Lebesgue measure KBJRQ38Z80
| URI | m2://inv/KBJRQ38Z80 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q827230, Lebesgue measure (concept). Also EoM Lebesgue_measure, MathWorld LebesgueMeasure, nLab Lebesgue measure, ProofWiki Definition:Lebesgue_Measure
History
- 2026-10-26: add by m2/dev
Bruhat decomposition KBK6RVN06Y
| URI | m2://inv/KBK6RVN06Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4978699, Bruhat decomposition (concept). Also EoM Bruhat_decomposition, nLab Bruhat decomposition
History
- 2026-10-26: add by m2/dev
multiplicative inverse KBMV0RDXRA
| URI | m2://inv/KBMV0RDXRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q216906, multiplicative inverse (unknown). Also MathWorld MultiplicativeInverse
History
- 2026-10-26: add by m2/dev
Ehresmann's theorem KBR1WYV65Y
| URI | m2://inv/KBR1WYV65Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q867141, Ehresmann's theorem (statement). Also Wikidata Q867141
- thousand_plus: thousand_plus Q867141, Ehresmann's theorem (statement). Also Wikidata Q867141, Wikipedia Ehresmann's theorem
- wikidata: Wikidata Q867141, Ehresmann's theorem (statement). Also nLab Ehresmann's theorem
History
- 2026-10-26: add by m2/dev
parallelism KBRN5ZZR32
| URI | m2://inv/KBRN5ZZR32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q53875, parallelism (unknown). Also Mathlib AffineSubspace.Parallel, MathWorld Parallel
History
- 2026-10-26: add by m2/dev
snub KBSGWZE1XV
| URI | m2://inv/KBSGWZE1XV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18378865, snub (concept). Also MathWorld Snubification
History
- 2026-10-26: add by m2/dev
Pierre Sikivie KBTXYXF7A9
| URI | m2://inv/KBTXYXF7A9 |
|---|---|
| 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 Q24565714, Pierre Sikivie (unknown). Also nLab Pierre Sikivie
History
- 2026-10-26: add by m2/dev
multiple integral KBY8NW1PDG
| URI | m2://inv/KBY8NW1PDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844937, multiple integral (unknown). Also EoM Multiple_integral, MathWorld MultipleIntegral
History
- 2026-10-26: add by m2/dev
Cramer's paradox KBYEC356KH
| URI | m2://inv/KBYEC356KH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3363319, Cramer's paradox (concept). Also MathWorld Cramer-EulerParadox
History
- 2026-10-26: add by m2/dev
order KBZ6EM1G9N
| URI | m2://inv/KBZ6EM1G9N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > order, order (unknown)
History
- 2026-10-26: add by m2/dev
Bulirsch–Stoer algorithm KBZQZS6274
| URI | m2://inv/KBZQZS6274 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4996463, Bulirsch–Stoer algorithm (unknown). Also MathWorld Bulirsch-StoerAlgorithm
History
- 2026-10-26: add by m2/dev