Inventory rows 9E
The cards of the rows of the inventory whose ids start with 9E. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
nephroid 9E0MJ350FW
| URI | m2://inv/9E0MJ350FW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1918011, nephroid (unknown). Also MathWorld Nephroid
History
- 2026-10-26: add by m2/dev
alternating series 9E2W5KQ456
| URI | m2://inv/9E2W5KQ456 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Alternating series 0QED0GPYKY |
Mentions
- wikidata: Wikidata Q438842, alternating series (unknown). Also MathWorld AlternatingSeries
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Russian roulette 9E30TX63XY
| URI | m2://inv/9E30TX63XY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q201045, Russian roulette (unknown). Also MathWorld RussianRoulette
History
- 2026-10-26: add by m2/dev
North Sea Jazz Festival 9E4FR5C8JE
| URI | m2://inv/9E4FR5C8JE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2000831, North Sea Jazz Festival (unknown). Also nLab 000035566862
History
- 2026-10-26: add by m2/dev
coprime 9E6055N4B0
| URI | m2://inv/9E6055N4B0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Coprime integers 0VZ48N083F |
Mentions
- mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > coprime element, coprime element (unknown). Also Mathlib IsCoprime
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > coprime elements, coprime elements (unknown). Also Mathlib IsCoprime
- wikidata: Wikidata Q104752, coprime (unknown). Also Mathlib IsCoprime, MathWorld RelativelyPrime
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
incidence 9E7KQ9FWZE
| URI | m2://inv/9E7KQ9FWZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1671857, incidence (unknown). Also MathWorld Incident
History
- 2026-10-26: add by m2/dev
ion 9E92FXYGMV
| URI | m2://inv/9E92FXYGMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36496, ion (definition). Also ProofWiki Definition:Ion
History
- 2026-10-26: add by m2/dev
Woodbury matrix identity 9EBJRHQSN3
| URI | m2://inv/9EBJRHQSN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1551745, Binomial inverse theorem (statement). Also Mathlib Matrix.invOf_add_mul_mul', Wikidata Q1551745
- thousand_plus: thousand_plus Q1551745, Binomial inverse theorem (statement). Also Mathlib Matrix.invOf_add_mul_mul', Wikidata Q1551745, Wikipedia Binomial inverse theorem
- wikidata: Wikidata Q1551745, Woodbury matrix identity (statement). Also MathWorld WoodburyFormula
History
- 2026-10-26: add by m2/dev
regular cardinal 9EDF4CAWAZ
| URI | m2://inv/9EDF4CAWAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1193137, regular cardinal (definition). Also nLab regular cardinal, ProofWiki Definition:Regular_Cardinal
History
- 2026-10-26: add by m2/dev
Louis J. Mordell 9EE6T4HA7A
| URI | m2://inv/9EE6T4HA7A |
|---|---|
| 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 Q726833, Louis J. Mordell (unknown). Also nLab Louis Mordell
History
- 2026-10-26: add by m2/dev
Iwasawa algebra 9EMDCHFKJB
| URI | m2://inv/9EMDCHFKJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6100701, Iwasawa algebra (unknown). Also nLab Iwasawa algebra
History
- 2026-10-26: add by m2/dev
Jordan–Hölder theorem 9ER789N3TC
| URI | m2://inv/9ER789N3TC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Jordan–Hölder theorem 0E088ZP533 |
Mentions
- wikidata: Wikidata Q737458, Jordan–Hölder theorem (statement). Also MathWorld Jordan-HoelderTheorem
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
irreducible element 9EW0SZJM7E
| URI | m2://inv/9EW0SZJM7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Irreducible element 052SDEPZH7 |
Mentions
- mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > irreducible element, irreducible element (unknown). Also Mathlib Irreducible
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > irreducible polynomial, irreducible polynomial (unknown). Also Mathlib Irreducible
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > irreducible elements, irreducible elements (unknown). Also Mathlib Irreducible
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > irreducible polynomial, irreducible polynomial (unknown). Also Mathlib Irreducible
- wikidata: Wikidata Q2989575, irreducible element (unknown). Also Mathlib Irreducible, MathWorld IrreducibleElement, nLab irreducible element
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Goldbach's weak conjecture 9EWN1D1XPQ
| URI | m2://inv/9EWN1D1XPQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2272638, Goldbach's weak conjecture (conjecture). Also ProofWiki Goldbach's_Weak_Conjecture
History
- 2026-10-26: add by m2/dev
gingerbreadman map 9EX9Q3WA5X
| URI | m2://inv/9EX9Q3WA5X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5563092, gingerbreadman map (concept). Also MathWorld GingerbreadmanMap
History
- 2026-10-26: add by m2/dev