Inventory rows 80
The cards of the rows of the inventory whose ids start with 80. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
noncommutative topology 800H5SMGMT
| URI | m2://inv/800H5SMGMT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7049229, noncommutative topology (unknown). Also nLab noncommutative topology
History
- 2026-10-26: add by m2/dev
−1 804KHENA47
| URI | m2://inv/804KHENA47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q310395, −1 (statement). Also ProofWiki -1
History
- 2026-10-26: add by m2/dev
round-off error 807F0GXGFT
| URI | m2://inv/807F0GXGFT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2145211, round-off error (unknown). Also MathWorld RoundoffError
History
- 2026-10-26: add by m2/dev
José Ádem 807FCGCN6J
| URI | m2://inv/807FCGCN6J |
|---|---|
| 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 Q505725, José Ádem (unknown). Also nLab José Ádem
History
- 2026-10-26: add by m2/dev
modified Bessel function 80AKRWMDQQ
| URI | m2://inv/80AKRWMDQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2607225, modified Bessel function (definition). Also ProofWiki Definition:Modified_Bessel_Function
History
- 2026-10-26: add by m2/dev
Chebyshev's inequality 80BB6K1BMT
| URI | m2://inv/80BB6K1BMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Chebyshev's inequality 02HZ1BK3MW |
Mentions
- wikidata: Wikidata Q249514, Chebyshev's inequality (statement). Also MathWorld ChebyshevInequality
History
- 2026-10-26: add by m2/dev
atom 80CV9YSSD7
| URI | m2://inv/80CV9YSSD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9121, atom (definition). Also ProofWiki Definition:Atom_(Physics)
History
- 2026-10-26: add by m2/dev
Aitken interpolation 80DDK5DB4G
| URI | m2://inv/80DDK5DB4G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60766767, Aitken interpolation (concept). Also MathWorld AitkenInterpolation
History
- 2026-10-26: add by m2/dev
pentad 80EDDH95RM
| URI | m2://inv/80EDDH95RM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29428403, pentad (unknown). Also MathWorld Pentad
History
- 2026-10-26: add by m2/dev
Hilbert's program 80JH8454B2
| URI | m2://inv/80JH8454B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q968548, Hilbert's program (definition). Also nLab Hilbert's program, ProofWiki Definition:Hilbert's_Program
History
- 2026-10-26: add by m2/dev
Euler's four-square identity 80Q7AGTFGH
| URI | m2://inv/80Q7AGTFGH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Euler's four-square identity 08WTN6SCQ6 |
Mentions
- wikidata: Wikidata Q1149225, Euler's four-square identity (statement). Also MathWorld EulerFour-SquareIdentity
History
- 2026-10-26: add by m2/dev
pullback 80SFM6EXG5
| URI | m2://inv/80SFM6EXG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1397439, pullback (definition). Also nLab pullback, ProofWiki Definition:Pullback_(Category_Theory)
History
- 2026-10-26: add by m2/dev
Haar measure on a locally compact Hausdorff group 80YQAJKHE2
| URI | m2://inv/80YQAJKHE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Topological algebra > Haar measure on a locally compact Hausdorff group, Haar measure on a locally compact Hausdorff group (unknown). Also Mathlib MeasureTheory.Measure.haarMeasure
History
- 2026-10-26: add by m2/dev
Pascal's Wager 80YTRFNJGV
| URI | m2://inv/80YTRFNJGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q830200, Pascal's Wager (statement). Also MathWorld PascalsWager, ProofWiki Pascal's_Wager
History
- 2026-10-26: add by m2/dev
pseudometric space 80ZM7ZWJXA
| URI | m2://inv/80ZM7ZWJXA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Pseudometric space 0A3HJX3KTF |
Mentions
- wikidata: Wikidata Q1397059, pseudometric space (concept). Also ProofWiki Definition:Pseudometric/Pseudometric_Space
History
- 2026-10-26: add by m2/dev