Inventory rows S5
The cards of the rows of the inventory whose ids start with S5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
normal extension S50VZ0T8N6
| URI | m2://inv/S50VZ0T8N6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Normal extension 08S0NW8SES |
Mentions
- wikidata: Wikidata Q2331395, normal extension (unknown). Also EoM Normal_extension, MathWorld NormalExtension, nLab normal field extension
History
- 2026-10-26: add by m2/dev
Froda's theorem S56C2G66YD
| URI | m2://inv/S56C2G66YD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5505114, Froda's theorem (statement). Also Wikidata Q5505114
- thousand_plus: thousand_plus Q5505114, Froda's theorem (statement). Also Wikidata Q5505114, Wikipedia Froda's theorem
History
- 2026-10-26: add by m2/dev
Lie algebra extension S56PCMXY5Q
| URI | m2://inv/S56PCMXY5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303823, Lie algebra extension (unknown). Also EoM Extension_of_a_Lie_algebra, nLab Lie algebra extension
History
- 2026-10-26: add by m2/dev
Hölder's theorem S5870S9ZAK
| URI | m2://inv/S5870S9ZAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1995468, Hölder's theorem (statement). Also Wikidata Q1995468
- thousand_plus: thousand_plus Q1995468, Hölder's theorem (statement). Also Wikidata Q1995468, Wikipedia Hölder's theorem
History
- 2026-10-26: add by m2/dev
Ono's inequality S59B47HH8R
| URI | m2://inv/S59B47HH8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1054182, Ono's inequality (statement). Also MathWorld OnoInequality
History
- 2026-10-26: add by m2/dev
martingale S5ANKX6732
| URI | m2://inv/S5ANKX6732 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Martingale 0D0GBNDKDH |
Mentions
- wikidata: Wikidata Q534112, martingale (concept). Also MathWorld Martingale
History
- 2026-10-26: add by m2/dev
prime gap S5BJXWD8QR
| URI | m2://inv/S5BJXWD8QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1377044, prime gap (unknown). Also MathWorld PrimeDifferenceFunction, MathWorld PrimeGaps, OEIS A001223
History
- 2026-10-26: add by m2/dev
involution S5CWP29VND
| URI | m2://inv/S5CWP29VND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q846862, involution (unknown). Also MathWorld Involution
History
- 2026-10-26: add by m2/dev
O/o S5HKKDV4E7
| URI | m2://inv/S5HKKDV4E7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9941, O/o (unknown). Also ProofWiki Symbols:O
History
- 2026-10-26: add by m2/dev
Goodstein sequence S5JQ9FJCHQ
| URI | m2://inv/S5JQ9FJCHQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12018378, Goodstein sequence (concept). Also MathWorld GoodsteinSequence
History
- 2026-10-26: add by m2/dev
heapsort S5KT5DA0GV
| URI | m2://inv/S5KT5DA0GV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q474095, heapsort (unknown). Also MathWorld Heapsort
History
- 2026-10-26: add by m2/dev
quartic reciprocity S5PZ12W3YZ
| URI | m2://inv/S5PZ12W3YZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4495708, quartic reciprocity (statement). Also MathWorld BiquadraticReciprocityTheorem
History
- 2026-10-26: add by m2/dev
Lisa Randall S5Q0DNKPHA
| URI | m2://inv/S5Q0DNKPHA |
|---|---|
| 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 Q450404, Lisa Randall (unknown). Also nLab Lisa Randall
History
- 2026-10-26: add by m2/dev
inverse of a complex number S5RZYX8ENN
| URI | m2://inv/S5RZYX8ENN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141680330, inverse of a complex number (statement). Also ProofWiki Inverse_for_Complex_Multiplication
History
- 2026-10-26: add by m2/dev
Kelvin's circulation theorem S5TAFZ65MJ
| URI | m2://inv/S5TAFZ65MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3661294, Kelvin's circulation theorem (statement). Also Wikidata Q3661294
- thousand_plus: thousand_plus Q3661294, Kelvin's circulation theorem (statement). Also Wikidata Q3661294, Wikipedia Kelvin's circulation theorem
History
- 2026-10-26: add by m2/dev
inverse hyperbolic cosecant S5TEC123RM
| URI | m2://inv/S5TEC123RM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12748485, inverse hyperbolic cosecant (definition). Also MathWorld InverseHyperbolicCosecant, ProofWiki Definition:Area_Hyperbolic_Cosecant
History
- 2026-10-26: add by m2/dev
Cayley table S5VMKP5TYZ
| URI | m2://inv/S5VMKP5TYZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Cayley table 0YB2NRP0T5 |
Mentions
- wikidata: Wikidata Q1546924, Cayley table (concept). Also MathWorld CayleyTable
History
- 2026-10-26: add by m2/dev