Inventory rows S6
The cards of the rows of the inventory whose ids start with S6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Noetherian module S60P610BC1
| URI | m2://inv/S60P610BC1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2444982, Noetherian module (concept). Also MathWorld NoetherianModule, nLab Noetherian module, ProofWiki Definition:Noetherian_Module
History
- 2026-10-26: add by m2/dev
Hirota–Satsuma equation S61N6KMW44
| URI | m2://inv/S61N6KMW44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15858144, Hirota–Satsuma equation (unknown). Also MathWorld Hirota-SatsumaEquation
History
- 2026-10-26: add by m2/dev
magnetic field S62CBJ8WNR
| URI | m2://inv/S62CBJ8WNR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11408, magnetic field (unknown). Also EoM Magnetic_field
History
- 2026-10-26: add by m2/dev
John Amazigo S6463NNT97
| URI | m2://inv/S6463NNT97 |
|---|---|
| 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 Q16946670, John Amazigo (unknown). Also ProofWiki Mathematician:John_Chukwuemeka_Amazigo
History
- 2026-10-26: add by m2/dev
Local property S64KNZGEVW
| URI | m2://inv/S64KNZGEVW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1868414, Local property (concept). Also MathWorld Local
History
- 2026-10-26: add by m2/dev
second fundamental theorem of calculus S67NDX266Q
| URI | m2://inv/S67NDX266Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116450178, second fundamental theorem of calculus (unknown). Also MathWorld SecondFundamentalTheoremofCalculus
History
- 2026-10-26: add by m2/dev
inconsistent equation S69DBFA7K1
| URI | m2://inv/S69DBFA7K1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141500197, inconsistent equation (unknown). Also MathWorld InconsistentEquation
History
- 2026-10-26: add by m2/dev
Gravitation S69WG437VG
| URI | m2://inv/S69WG437VG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5597987, Gravitation (unknown). Also nLab Gravitation
History
- 2026-10-26: add by m2/dev
Exchange theorem S6BYRJ7NST
| URI | m2://inv/S6BYRJ7NST |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2338929, Exchange theorem (statement). Also Wikidata Q2338929
- thousand_plus: thousand_plus Q2338929, Exchange theorem (statement). Also Wikidata Q2338929, Wikipedia Exchange theorem
History
- 2026-10-26: add by m2/dev
Euler brick S6FCPCEMJF
| URI | m2://inv/S6FCPCEMJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2463148, Euler brick (unknown). Also MathWorld EulerBrick, OEIS A031173, OEIS A031174, OEIS A031175
History
- 2026-10-26: add by m2/dev
Schreier's lemma S6H52ZVS36
| URI | m2://inv/S6H52ZVS36 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > Schreier's lemma, Schreier's lemma (unknown). Also Mathlib Subgroup.closure_mul_image_eq
- wikidata: Wikidata Q3229345, Schreier's lemma (statement). Also Mathlib Subgroup.closure_mul_image_eq
History
- 2026-10-26: add by m2/dev
Oliver Lorscheid S6HWPE4ZCE
| URI | m2://inv/S6HWPE4ZCE |
|---|---|
| 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 Q102338869, Oliver Lorscheid (unknown). Also nLab Oliver Lorscheid
History
- 2026-10-26: add by m2/dev
Luoshu Square S6JNZNBJAX
| URI | m2://inv/S6JNZNBJAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2482835, Luoshu Square (unknown). Also MathWorld LoShu
History
- 2026-10-26: add by m2/dev
Milnor conjecture S6N1Y2JYXY
| URI | m2://inv/S6N1Y2JYXY |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2993330, Milnor conjecture (conjecture). Also MathWorld MilnorsConjecture
History
- 2026-10-26: add by m2/dev
retract S6TV4283FW
| URI | m2://inv/S6TV4283FW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2141963, retract (concept). Also EoM Retract_of_a_topological_space, MathWorld Retract, nLab retract
History
- 2026-10-26: add by m2/dev
tangent map S6VH2WQVVY
| URI | m2://inv/S6VH2WQVVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > tangent map, tangent map (unknown). Also Mathlib tangentMap
History
- 2026-10-26: add by m2/dev