Inventory rows MV
The cards of the rows of the inventory whose ids start with MV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
exotic meson MV10DP0SAX
| URI | m2://inv/MV10DP0SAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2629256, exotic meson (unknown). Also nLab exotic meson
History
- 2026-10-26: add by m2/dev
deltoid curve MV1KWCJ81K
| URI | m2://inv/MV1KWCJ81K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2348724, deltoid curve (unknown). Also MathWorld Deltoid
History
- 2026-10-26: add by m2/dev
Lawvere's fixed-point theorem MV2CAC97YP
| URI | m2://inv/MV2CAC97YP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15809744, Lawvere's fixed-point theorem (unknown). Also nLab Lawvere's fixed point theorem
History
- 2026-10-26: add by m2/dev
Alexander polynomial MV2K4Z4D9Q
| URI | m2://inv/MV2K4Z4D9Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1634206, Alexander polynomial (concept). Also MathWorld AlexanderPolynomial, nLab Alexander polynomial
History
- 2026-10-26: add by m2/dev
Ancient Egyptian multiplication MV4HPWVKM7
| URI | m2://inv/MV4HPWVKM7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1346420, Ancient Egyptian multiplication (unknown). Also MathWorld RussianMultiplication
History
- 2026-10-26: add by m2/dev
Lichnerowicz formula MV8VEXKQ0T
| URI | m2://inv/MV8VEXKQ0T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6543306, Lichnerowicz formula (concept). Also nLab Lichnerowicz formula
History
- 2026-10-26: add by m2/dev
Bogoliubov–Parasyuk theorem MVDARM36H4
| URI | m2://inv/MVDARM36H4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4937691, Bogoliubov–Parasyuk theorem (statement). Also Wikidata Q4937691
- thousand_plus: thousand_plus Q4937691, Bogoliubov–Parasyuk theorem (statement). Also Wikidata Q4937691, Wikipedia Bogoliubov–Parasyuk theorem
History
- 2026-10-26: add by m2/dev
ultraproduct MVDDHPZV2Y
| URI | m2://inv/MVDDHPZV2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1535225, Łoś' theorem (statement). Also Mathlib FirstOrder.Language.Ultraproduct.sentence_realize, Wikidata Q1535225
- thousand_plus: thousand_plus Q1535225, Łoś' theorem (statement). Also Mathlib FirstOrder.Language.Ultraproduct.sentence_realize, Wikidata Q1535225, Wikipedia Łoś' theorem
- wikidata: Wikidata Q1535225, ultraproduct (unknown). Also MathWorld Ultraproduct, nLab ultraproduct
History
- 2026-10-26: add by m2/dev
Alladi–Grinstead constant MVDHFPQPPB
| URI | m2://inv/MVDHFPQPPB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29588589, Alladi–Grinstead constant (object). Also MathWorld Alladi-GrinsteadConstant
History
- 2026-10-26: add by m2/dev
Bernard de Wit MVG15ZH1AS
| URI | m2://inv/MVG15ZH1AS |
|---|---|
| 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 Q11174828, Bernard de Wit (unknown). Also nLab Bernard de Wit
History
- 2026-10-26: add by m2/dev
Katarzyna Rejzner MVHPV2P0GW
| URI | m2://inv/MVHPV2P0GW |
|---|---|
| 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 Q62066729, Katarzyna Rejzner (unknown). Also nLab Katarzyna Rejzner
History
- 2026-10-26: add by m2/dev
geodesic map MVKRRM1VGT
| URI | m2://inv/MVKRRM1VGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17100560, geodesic map (unknown). Also MathWorld GeodesicMapping
History
- 2026-10-26: add by m2/dev
prime ideal MVN4P28CY5
| URI | m2://inv/MVN4P28CY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Prime ideal 00MHHZ9SNE |
Mentions
- mathlib_overview: mathlib_overview General algebra > Ideals and quotients > prime ideal, prime ideal (unknown). Also Mathlib Ideal.IsPrime
- mathlib_undergrad: mathlib_undergrad Ring Theory > Ideals and Quotients > prime ideals, prime ideals (unknown). Also Mathlib Ideal.IsPrime
- wikidata: Wikidata Q863912, prime ideal (definition). Also EoM Prime_ideal, Mathlib Ideal.IsPrime, MathWorld PrimeIdeal, nLab prime ideal, ProofWiki Definition:Prime_Ideal_of_Ring
History
- 2026-10-26: add by m2/dev
Lie subalgebra MVPC6SGFSV
| URI | m2://inv/MVPC6SGFSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78502423, Lie subalgebra (unknown). Also MathWorld LieSubalgebra
History
- 2026-10-26: add by m2/dev
quasiperiodic motion MVTC4K56M7
| URI | m2://inv/MVTC4K56M7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3866307, quasiperiodic motion (unknown). Also MathWorld QuasiperiodicMotion
History
- 2026-10-26: add by m2/dev
Commutation theorem MVWW2DQ6F3
| URI | m2://inv/MVWW2DQ6F3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5155090, Commutation theorem (statement). Also Wikidata Q5155090
- thousand_plus: thousand_plus Q5155090, Commutation theorem (statement). Also Wikidata Q5155090, Wikipedia Commutation theorem
History
- 2026-10-26: add by m2/dev