Inventory rows J6
The cards of the rows of the inventory whose ids start with J6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kolmogorov duality J64VFAAXFV
| URI | m2://inv/J64VFAAXFV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4155849, Kolmogorov duality (unknown). Also EoM Kolmogorov_duality
History
- 2026-10-26: add by m2/dev
Giuga number J65BH5R1DC
| URI | m2://inv/J65BH5R1DC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1418543, Giuga number (unknown). Also MathWorld GiugaNumber, OEIS A007850
History
- 2026-10-26: add by m2/dev
caesium J6BSFG83G4
| URI | m2://inv/J6BSFG83G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1108, caesium (definition). Also ProofWiki Definition:Caesium
History
- 2026-10-26: add by m2/dev
oscillation J6BYY4Q354
| URI | m2://inv/J6BYY4Q354 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7106411, oscillation (unknown). Also MathWorld Oscillation
History
- 2026-10-26: add by m2/dev
Regev's theorem J6HQXFX8VQ
| URI | m2://inv/J6HQXFX8VQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7308146, Regev's theorem (statement). Also Wikidata Q7308146
- thousand_plus: thousand_plus Q7308146, Regev's theorem (statement). Also Wikidata Q7308146, Wikipedia Regev's theorem
History
- 2026-10-26: add by m2/dev
regular expression J6NXTW8341
| URI | m2://inv/J6NXTW8341 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185612, regular expression (unknown). Also MathWorld RegularExpression
History
- 2026-10-26: add by m2/dev
Horace Lamb J6P0PWMXJM
| URI | m2://inv/J6P0PWMXJM |
|---|---|
| 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 Q1627897, Horace Lamb (unknown). Also ProofWiki Mathematician:Horace_Lamb
History
- 2026-10-26: add by m2/dev
Zermelo–Fraenkel set theory with choice J6Q2RE1F84
| URI | m2://inv/J6Q2RE1F84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10856991, Zermelo–Fraenkel set theory with choice (definition). Also EoM ZFC, ProofWiki Definition:Zermelo-Fraenkel_Set_Theory_with_Axiom_of_Choice
History
- 2026-10-26: add by m2/dev
Banach fixed-point theorem J6Q4WW4N56
| URI | m2://inv/J6Q4WW4N56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 5 |
| Outcome | open |
| Node | Banach fixed point theorem 0VK6VEH345 |
Mentions
- mathlib_1000: mathlib_1000 Q220680, Banach fixed-point theorem (statement). Also Mathlib ContractingWith.exists_fixedPoint, Wikidata Q220680
- mathlib_overview: mathlib_overview Topology > Metric spaces > contraction mapping theorem, contraction mapping theorem (unknown). Also Mathlib ContractingWith.exists_fixedPoint
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > contraction mapping theorem, contraction mapping theorem (unknown). Also Mathlib ContractingWith.exists_fixedPoint
- thousand_plus: thousand_plus Q220680, Banach fixed-point theorem (statement). Also Mathlib ContractingWith.exists_fixedPoint, Wikidata Q220680, Wikipedia Banach fixed-point theorem
- wikidata: Wikidata Q220680, Banach fixed-point theorem (statement). Also Mathlib ContractingWith.exists_fixedPoint
History
- 2026-10-26: add by m2/dev
system of linear equations J6QQKN30M4
| URI | m2://inv/J6QQKN30M4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | System of linear equations 0GT4WWGWH2 |
Mentions
- wikidata: Wikidata Q11203, system of linear equations (unknown). Also MathWorld LinearSystemofEquations
History
- 2026-10-26: add by m2/dev
Colin McLarty J6TQPEH4SM
| URI | m2://inv/J6TQPEH4SM |
|---|---|
| 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 Q5145379, Colin McLarty (unknown). Also nLab Colin McLarty
History
- 2026-10-26: add by m2/dev
unit circle J6WN0BY43N
| URI | m2://inv/J6WN0BY43N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q203425, unit circle (unknown). Also MathWorld UnitCircle
History
- 2026-10-26: add by m2/dev
strongly connected component J6WW64WN8J
| URI | m2://inv/J6WW64WN8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2003238, strongly connected component (unknown). Also MathWorld StronglyConnectedComponent
History
- 2026-10-26: add by m2/dev
Fernando Q. Gouvêa J6YJ8V1881
| URI | m2://inv/J6YJ8V1881 |
|---|---|
| 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 Q1312669, Fernando Q. Gouvêa (unknown). Also ProofWiki Mathematician:Fernando_Quadros_Gouvêa
History
- 2026-10-26: add by m2/dev