Inventory rows 6H
The cards of the rows of the inventory whose ids start with 6H. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ore's theorem 6H31H94GHN
| URI | m2://inv/6H31H94GHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q225973, Ore's theorem (statement). Also Wikidata Q225973
- thousand_plus: thousand_plus Q225973, Ore's theorem (statement). Also Wikidata Q225973, Wikipedia Ore's theorem
History
- 2026-10-26: add by m2/dev
triangular bipyramid 6H4XK6A36E
| URI | m2://inv/6H4XK6A36E |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q155939, triangular bipyramid (object). Also MathWorld TriangularDipyramid
History
- 2026-10-26: add by m2/dev
weighted sum 6H8BB64XK0
| URI | m2://inv/6H8BB64XK0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130299362, weighted sum (concept). Also ProofWiki Definition:Weighted_Sum
History
- 2026-10-26: add by m2/dev
orthant 6H8FK05G4V
| URI | m2://inv/6H8FK05G4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2714507, orthant (unknown). Also MathWorld Hyperoctant
History
- 2026-10-26: add by m2/dev
polar form of a quadratic 6H8NDWB4M5
| URI | m2://inv/6H8NDWB4M5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > polar form of a quadratic, polar form of a quadratic (unknown). Also Mathlib QuadraticMap.polar
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Quadratic forms > polar form of a quadratic, polar form of a quadratic (unknown). Also Mathlib QuadraticMap.polar
History
- 2026-10-26: add by m2/dev
polynomial in several indeterminates 6HAGXD2RKM
| URI | m2://inv/6HAGXD2RKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > polynomial in several indeterminates, polynomial in several indeterminates (unknown). Also Mathlib MvPolynomial
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > polynomial algebra in one or several indeterminates over a commutative ring, polynomial algebra in one or several indeterminates over a commutative ring (unknown). Also Mathlib MvPolynomial
History
- 2026-10-26: add by m2/dev
universal Turing machine 6HDAEY63HK
| URI | m2://inv/6HDAEY63HK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2703890, universal Turing machine (concept). Also MathWorld UniversalTuringMachine
History
- 2026-10-26: add by m2/dev
wheel graph 6HE0N525M5
| URI | m2://inv/6HE0N525M5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q948887, wheel graph (unknown). Also MathWorld WheelGraph, nLab wheeled graph
History
- 2026-10-26: add by m2/dev
Fatou's lemma 6HH7E0AGHP
| URI | m2://inv/6HH7E0AGHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1068118, Fatou's lemma (statement). Also EoM Fatou_theorem_(on_Lebesgue_integrals)
History
- 2026-10-26: add by m2/dev
geocryology 6HJ7BFY1Q5
| URI | m2://inv/6HJ7BFY1Q5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1102535, geocryology (unknown). Also EoM Geocryology,_mathematical_problems_in
History
- 2026-10-26: add by m2/dev
Leonid Levin 6HJACP0HP8
| URI | m2://inv/6HJACP0HP8 |
|---|---|
| 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 Q92966, Leonid Levin (unknown). Also ProofWiki Mathematician:Leonid_Anatolievich_Levin
History
- 2026-10-26: add by m2/dev
structural stability 6HN2YXWZTF
| URI | m2://inv/6HN2YXWZTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1648886, structural stability (unknown). Also MathWorld StructurallyStable
History
- 2026-10-26: add by m2/dev
Democritus 6HPPGXWS72
| URI | m2://inv/6HPPGXWS72 |
|---|---|
| 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 Q41980, Democritus (unknown). Also ProofWiki Mathematician:Democritus
History
- 2026-10-26: add by m2/dev
subquotient 6HSBW6T28Z
| URI | m2://inv/6HSBW6T28Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2133887, subquotient (unknown). Also nLab subquotient
History
- 2026-10-26: add by m2/dev
metabiaugmented dodecahedron 6HSQ069D76
| URI | m2://inv/6HSQ069D76 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2522978, metabiaugmented dodecahedron (object). Also MathWorld MetabiaugmentedDodecahedron
History
- 2026-10-26: add by m2/dev
Watt's curve 6HXNJZ32RP
| URI | m2://inv/6HXNJZ32RP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3775382, Watt's curve (unknown). Also MathWorld WattsCurve
History
- 2026-10-26: add by m2/dev