Inventory rows 6V
The cards of the rows of the inventory whose ids start with 6V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
fraction 6V45SWXWJ1
| URI | m2://inv/6V45SWXWJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q66055, fraction (unknown). Also EoM Fraction, MathWorld Fraction
History
- 2026-10-26: add by m2/dev
field $\Q$ of rational numbers 6V7319MJE6
| URI | m2://inv/6V7319MJE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > field $\Q$ of rational numbers, field $\Q$ of rational numbers (unknown). Also Mathlib Rat.instField
History
- 2026-10-26: add by m2/dev
prime spectrum 6VAHTN14F6
| URI | m2://inv/6VAHTN14F6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Algebraic geometry > prime spectrum, prime spectrum (unknown). Also Mathlib PrimeSpectrum
History
- 2026-10-26: add by m2/dev
Riesz–Thorin theorem 6VC70M28PD
| URI | m2://inv/6VC70M28PD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q245902, Riesz–Thorin theorem (statement). Also Wikidata Q245902
- thousand_plus: thousand_plus Q245902, Riesz–Thorin theorem (statement). Also Wikidata Q245902, Wikipedia Riesz–Thorin theorem
History
- 2026-10-26: add by m2/dev
direct sum of groups 6VFJBH30E0
| URI | m2://inv/6VFJBH30E0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4166523, direct sum of groups (unknown). Also MathWorld GroupDirectSum
History
- 2026-10-26: add by m2/dev
deltoidal icositetrahedron 6VGXZJR1ND
| URI | m2://inv/6VGXZJR1ND |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1184994, deltoidal icositetrahedron (object). Also MathWorld DeltoidalIcositetrahedron
History
- 2026-10-26: add by m2/dev
cosmic inflation 6VMVC797HT
| URI | m2://inv/6VMVC797HT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q273508, cosmic inflation (unknown). Also nLab cosmic inflation
History
- 2026-10-26: add by m2/dev
Igor Dolgachev 6VNDNBNWY7
| URI | m2://inv/6VNDNBNWY7 |
|---|---|
| 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 Q339333, Igor Dolgachev (unknown). Also nLab Igor Dolgachev
History
- 2026-10-26: add by m2/dev
Ionescu-Tulcea theorem 6VP9Q9F6DD
| URI | m2://inv/6VP9Q9F6DD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q25378690, Ionescu-Tulcea theorem (statement). Also Mathlib ProbabilityTheory.Kernel.traj, Wikidata Q25378690
- thousand_plus: thousand_plus Q25378690, Ionescu-Tulcea theorem (statement). Also Mathlib ProbabilityTheory.Kernel.traj, Wikidata Q25378690, Wikipedia Ionescu-Tulcea theorem
History
- 2026-10-26: add by m2/dev
triple point 6VXQ690K9D
| URI | m2://inv/6VXQ690K9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123472283, triple point (unknown). Also MathWorld TriplePoint
History
- 2026-10-26: add by m2/dev