Inventory rows 5Q
The cards of the rows of the inventory whose ids start with 5Q. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
modified Bessel function of the first kind 5Q01E7AG6B
| URI | m2://inv/5Q01E7AG6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109559095, modified Bessel function of the first kind (definition). Also MathWorld ModifiedBesselFunctionoftheFirstKind, ProofWiki Definition:Modified_Bessel_Function/First_Kind
History
- 2026-10-26: add by m2/dev
nanometre 5Q524Q9FCV
| URI | m2://inv/5Q524Q9FCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q178674, nanometre (definition). Also ProofWiki Definition:Metric_System/Length/Nanometre
History
- 2026-10-26: add by m2/dev
Basel problem 5QAC31Y4HM
| URI | m2://inv/5QAC31Y4HM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | open |
| Node | Basel problem 0DMY75D6FV |
Mentions
- mathlib_100: mathlib_100 14, Euler’s Summation of 1 + (1/2)^2 + (1/3)^2 + …. (statement). Also Mathlib hasSum_zeta_two
- mathlib_1000: mathlib_1000 Q810431, Basel problem (statement). Also Mathlib hasSum_zeta_two, Wikidata Q810431
- thousand_plus: thousand_plus Q810431, Basel problem (statement). Also Mathlib hasSum_zeta_two, Wikidata Q810431, Wikipedia Basel problem
- wikidata: Wikidata Q810431, Basel problem (problem). Also ProofWiki Basel_Problem
History
- 2026-10-26: add by m2/dev
linear subspace 5QGEM8RZJA
| URI | m2://inv/5QGEM8RZJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Linear subspace 00YC1D652K |
Mentions
- wikidata: Wikidata Q728435, linear subspace (unknown). Also MathWorld Subspace, nLab linear subspace
History
- 2026-10-26: add by m2/dev
Brouwer–Heyting–Kolmogorov interpretation 5QJ7BEP72Q
| URI | m2://inv/5QJ7BEP72Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3153567, Brouwer–Heyting–Kolmogorov interpretation (concept). Also nLab Brouwer-Heyting-Kolmogorov interpretation
History
- 2026-10-26: add by m2/dev
mathematical psychology 5QJCGSKY55
| URI | m2://inv/5QJCGSKY55 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 91Exx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1908389, mathematical psychology (topic)
History
- 2026-10-26: add by m2/dev
Brahmagupta–Fibonacci identity 5QQ46PC0N7
| URI | m2://inv/5QQ46PC0N7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Brahmagupta–Fibonacci identity 0K2DMACEZ4 |
Mentions
- wikidata: Wikidata Q279090, Brahmagupta–Fibonacci identity (statement). Also MathWorld FibonacciIdentity
History
- 2026-10-26: add by m2/dev
extreme value theorem 5QTGA6EQK6
| URI | m2://inv/5QTGA6EQK6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | open |
| Node | Extreme value theorem 0WS1A8E2P9 |
Mentions
- mathlib_1000: mathlib_1000 Q752375, Extreme value theorem (statement). Also Mathlib IsCompact.exists_isMinOn, Wikidata Q752375
- mathlib_overview: mathlib_overview Topology > Topological algebra > extreme value theorem, extreme value theorem (unknown). Also Mathlib IsCompact.exists_isMinOn
- thousand_plus: thousand_plus Q752375, Extreme value theorem (statement). Also Mathlib IsCompact.exists_isMinOn, Wikidata Q752375, Wikipedia Extreme value theorem
- wikidata: Wikidata Q752375, extreme value theorem (statement). Also MathWorld ExtremeValueTheorem, nLab extreme value theorem
History
- 2026-10-26: add by m2/dev
uniform coloring 5QXPFTR99A
| URI | m2://inv/5QXPFTR99A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7885098, uniform coloring (unknown). Also MathWorld PolyhedronColoring
History
- 2026-10-26: add by m2/dev