Inventory rows ZF
The cards of the rows of the inventory whose ids start with ZF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Sundararaman Ramanan ZF2W3W8EGH
| URI | m2://inv/ZF2W3W8EGH |
|---|---|
| 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 Q7387808, Sundararaman Ramanan (unknown). Also nLab Sundararaman Ramanan
History
- 2026-10-26: add by m2/dev
center of gravity ZF54Q635KX
| URI | m2://inv/ZF54Q635KX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114084, center of gravity (unknown). Also MathWorld CenterofGravity
History
- 2026-10-26: add by m2/dev
The Laws of Large Numbers ZF7FDTQ280
| URI | m2://inv/ZF7FDTQ280 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 59, The Laws of Large Numbers (statement). Also Mathlib ProbabilityTheory.strong_law_ae
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > strong law of large numbers, strong law of large numbers (unknown). Also Mathlib ProbabilityTheory.strong_law_ae
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > strong law of large numbers, strong law of large numbers (unknown). Also Mathlib ProbabilityTheory.strong_law_ae
History
- 2026-10-26: add by m2/dev
Archimedean circle ZFA2NBFT62
| URI | m2://inv/ZFA2NBFT62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4786887, Archimedean circle (unknown). Also MathWorld ArchimedeanCircle
History
- 2026-10-26: add by m2/dev
ZFAZGDDWJP ZFAZGDDWJP
| URI | m2://inv/ZFAZGDDWJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19108 (statement). Also MathWorld 9, ProofWiki 9
History
- 2026-10-26: add by m2/dev
Earnshaw's theorem ZFDZHSPMW3
| URI | m2://inv/ZFDZHSPMW3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 78-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1064471, Earnshaw's theorem (statement). Also Wikidata Q1064471
- thousand_plus: thousand_plus Q1064471, Earnshaw's theorem (statement). Also Wikidata Q1064471, Wikipedia Earnshaw's theorem
History
- 2026-10-26: add by m2/dev
Golomb–Dickman constant ZFFDP8XTPG
| URI | m2://inv/ZFFDP8XTPG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5580918, Golomb–Dickman constant (object). Also MathWorld Golomb-DickmanConstant, OEIS A084945
History
- 2026-10-26: add by m2/dev
regular heptadecagon ZFFKHQ5AVW
| URI | m2://inv/ZFFKHQ5AVW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18018011, regular heptadecagon (unknown). Also MathWorld 17-gon
History
- 2026-10-26: add by m2/dev
Messier 87 ZFHHRDRATG
| URI | m2://inv/ZFHHRDRATG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14041, Messier 87 (unknown). Also nLab Messier 87
History
- 2026-10-26: add by m2/dev
triakis icosahedral graph ZFN2Z2R5DM
| URI | m2://inv/ZFN2Z2R5DM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115611, triakis icosahedral graph (unknown). Also House of Graphs 1370, MathWorld TriakisIcosahedralGraph
History
- 2026-10-26: add by m2/dev
milliwatt ZFN5N0CTE9
| URI | m2://inv/ZFN5N0CTE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3207456, milliwatt (definition). Also ProofWiki Definition:Milliwatt
History
- 2026-10-26: add by m2/dev
Chaitin's constant ZFNH91MSTC
| URI | m2://inv/ZFNH91MSTC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q735775, Chaitin's constant (object). Also MathWorld ChaitinsConstant
History
- 2026-10-26: add by m2/dev
Eiffel Tower graph ZFQG7HQEJJ
| URI | m2://inv/ZFQG7HQEJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137538057, Eiffel Tower graph (unknown). Also House of Graphs 824, MathWorld EiffelTowerGraph
History
- 2026-10-26: add by m2/dev
finite measure ZFWTY6TPAX
| URI | m2://inv/ZFWTY6TPAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3307145, finite measure (definition). Also ProofWiki Definition:Finite_Measure
History
- 2026-10-26: add by m2/dev
density matrix ZFWZTG8K66
| URI | m2://inv/ZFWZTG8K66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q831774, density matrix (unknown). Also EoM Density_matrix, nLab density matrix
History
- 2026-10-26: add by m2/dev
Four functions theorem ZFX2NFCGJE
| URI | m2://inv/ZFX2NFCGJE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4695203, Four functions theorem (statement). Also Mathlib four_functions_theorem, Wikidata Q4695203
- mathlib_overview: mathlib_overview Combinatorics > Set families > Four functions theorem, Four functions theorem (unknown). Also Mathlib four_functions_theorem
- thousand_plus: thousand_plus Q4695203, Four functions theorem (statement). Also Mathlib four_functions_theorem, Wikidata Q4695203, Wikipedia Four functions theorem
History
- 2026-10-26: add by m2/dev
Young measure ZFYSJ9G037
| URI | m2://inv/ZFYSJ9G037 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8058552, Young measure (concept). Also nLab Young measure
History
- 2026-10-26: add by m2/dev
2144 ZFZ2W77E3F
| URI | m2://inv/ZFZ2W77E3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19241840, 2144 (statement). Also ProofWiki 2144
History
- 2026-10-26: add by m2/dev
Jonathan Bagger ZFZ9B60ZJA
| URI | m2://inv/ZFZ9B60ZJA |
|---|---|
| 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 Q62691414, Jonathan Bagger (unknown). Also nLab Jonathan Bagger
History
- 2026-10-26: add by m2/dev