Inventory rows 79
The cards of the rows of the inventory whose ids start with 79. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
pre-Lie algebra 790C6SVK46
| URI | m2://inv/790C6SVK46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7239170, pre-Lie algebra (unknown). Also nLab pre-Lie algebra
History
- 2026-10-26: add by m2/dev
circle bundle 790P3GH585
| URI | m2://inv/790P3GH585 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5121446, circle bundle (unknown). Also MathWorld CircleBundle, nLab circle bundle
History
- 2026-10-26: add by m2/dev
Ramond–Ramond field 795MHBMRB6
| URI | m2://inv/795MHBMRB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5365385, Ramond–Ramond field (unknown). Also nLab RR field
History
- 2026-10-26: add by m2/dev
Millennium Problems 799562P4S0
| URI | m2://inv/799562P4S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q727000, Millennium Problems (definition). Also ProofWiki Definition:Millennium_Problems
History
- 2026-10-26: add by m2/dev
Ruffini's rule 79AX7SKXAS
| URI | m2://inv/79AX7SKXAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2704282, Ruffini's rule (unknown). Also MathWorld RuffinisRule
History
- 2026-10-26: add by m2/dev
Wanda Szmielew 79BTMG1ZW6
| URI | m2://inv/79BTMG1ZW6 |
|---|---|
| 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 Q1606268, Wanda Szmielew (unknown). Also nLab Wanda Szmielew
History
- 2026-10-26: add by m2/dev
weakly interacting massive particle 79BX2593KH
| URI | m2://inv/79BX2593KH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1129252, weakly interacting massive particle (unknown). Also nLab weakly interacting massive particle
History
- 2026-10-26: add by m2/dev
Zhang Qiujian Suanjing 79D2PT1RTQ
| URI | m2://inv/79D2PT1RTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56239720, Zhang Qiujian Suanjing (unknown). Also ProofWiki Book:Zhang_Qiujian/Zhang_Qiujian_Suanjing
History
- 2026-10-26: add by m2/dev
Sauer-Shelah lemma 79RTAZ5VNV
| URI | m2://inv/79RTAZ5VNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > Sauer-Shelah lemma, Sauer-Shelah lemma (unknown). Also Mathlib Finset.card_shatterer_le_sum_vcDim
History
- 2026-10-26: add by m2/dev
matching 79T8PEY61C
| URI | m2://inv/79T8PEY61C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Matching 0MJ04A50QW |
Mentions
- wikidata: Wikidata Q1065144, matching (unknown). Also MathWorld Matching
History
- 2026-10-26: add by m2/dev
Yehoshua Bar-Hillel 79V8EQZ7JC
| URI | m2://inv/79V8EQZ7JC |
|---|---|
| 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 Q584382, Yehoshua Bar-Hillel (unknown). Also ProofWiki Mathematician:Yehoshua_Bar-Hillel
History
- 2026-10-26: add by m2/dev
subfield 79VP79ZT44
| URI | m2://inv/79VP79ZT44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > subfield, subfield (unknown). Also Mathlib Subfield
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > Subfields, Subfields (unknown). Also Mathlib Subfield
History
- 2026-10-26: add by m2/dev