Inventory rows 7V
The cards of the rows of the inventory whose ids start with 7V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
interest 7V139NT284
| URI | m2://inv/7V139NT284 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q170924, interest (definition). Also MathWorld Interest, ProofWiki Definition:Interest
History
- 2026-10-26: add by m2/dev
logical disjunction 7V32GQBYSG
| URI | m2://inv/7V32GQBYSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Disjunction 0F72FK8EKB |
Mentions
- wikidata: Wikidata Q1651704, logical disjunction (unknown). Also EoM Disjunction, MathWorld Disjunction
History
- 2026-10-26: add by m2/dev
Harish–Chandra theorem 7V902TDGJR
| URI | m2://inv/7V902TDGJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5282059, Harish–Chandra theorem (statement). Also Wikidata Q5282059
- thousand_plus: thousand_plus Q5282059, Harish–Chandra theorem (statement). Also Wikidata Q5282059, Wikipedia Discrete series representation
History
- 2026-10-26: add by m2/dev
Qusta ibn Luqa 7VA90X2D0C
| URI | m2://inv/7VA90X2D0C |
|---|---|
| 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 Q1621474, Qusta ibn Luqa (unknown). Also ProofWiki Mathematician:Qusta_ibn_Luqa
History
- 2026-10-26: add by m2/dev
Hawking radiation 7VB51CW9TQ
| URI | m2://inv/7VB51CW9TQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q497396, Hawking radiation (unknown). Also nLab black hole radiation
History
- 2026-10-26: add by m2/dev
Trattato di numeri et misure 7VFEXAZX0A
| URI | m2://inv/7VFEXAZX0A |
|---|---|
| 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 Q42196742, Trattato di numeri et misure (unknown). Also ProofWiki Book:Nicolo_Tartaglia/General_Trattato_di_Numeri_et_Misure
History
- 2026-10-26: add by m2/dev
septenary 7VHSM8ECKV
| URI | m2://inv/7VHSM8ECKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q930594, septenary (definition). Also ProofWiki Definition:Septenary_Notation
History
- 2026-10-26: add by m2/dev
semi-minor axis 7VKQ7K8DHR
| URI | m2://inv/7VKQ7K8DHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1371512, semi-minor axis (unknown). Also MathWorld SemiminorAxis
History
- 2026-10-26: add by m2/dev
consistency 7VKX6QH0XJ
| URI | m2://inv/7VKX6QH0XJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > consistency, consistency (unknown)
History
- 2026-10-26: add by m2/dev
Dror Bar-Natan 7VNDZZT1K4
| URI | m2://inv/7VNDZZT1K4 |
|---|---|
| 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 Q1260333, Dror Bar-Natan (unknown). Also nLab Dror Bar-Natan
History
- 2026-10-26: add by m2/dev
Sharkovskii's theorem 7VPWXFMX9C
| URI | m2://inv/7VPWXFMX9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226855, Sharkovskii's theorem (statement). Also Wikidata Q2226855
- thousand_plus: thousand_plus Q2226855, Sarkovskii's theorem (statement). Also Wikidata Q2226855, Wikipedia Sarkovskii's theorem
- wikidata: Wikidata Q2226855, Sharkovskii's theorem (statement). Also MathWorld SharkovskysTheorem
History
- 2026-10-26: add by m2/dev
directional derivative 7VRNZ5KV9S
| URI | m2://inv/7VRNZ5KV9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > directional derivative, directional derivative (unknown). Also Mathlib lineDeriv
History
- 2026-10-26: add by m2/dev
time-independent Schrödinger equation 7VX359GXVH
| URI | m2://inv/7VX359GXVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25829357, time-independent Schrödinger equation (definition). Also ProofWiki Definition:Schrödinger's_Equation/Time_Independent
History
- 2026-10-26: add by m2/dev
Komornik–Loreti constant 7VZAVJATWY
| URI | m2://inv/7VZAVJATWY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6428513, Komornik–Loreti constant (object). Also OEIS A055060
History
- 2026-10-26: add by m2/dev