Inventory rows AX
The cards of the rows of the inventory whose ids start with AX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
millennium AX1YD9FDY4
| URI | m2://inv/AX1YD9FDY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36507, millennium (definition). Also ProofWiki Definition:Time/Unit/Millennium
History
- 2026-10-26: add by m2/dev
Hermann Weyl AX3WTYJPE3
| URI | m2://inv/AX3WTYJPE3 |
|---|---|
| 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 Q71029, Hermann Weyl (unknown). Also nLab Hermann Weyl
History
- 2026-10-26: add by m2/dev
radical of an ideal AX4V62550F
| URI | m2://inv/AX4V62550F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1199022, radical of an ideal (unknown). Also MathWorld IdealRadical
History
- 2026-10-26: add by m2/dev
Helly's selection theorem AX5RJR4JMD
| URI | m2://inv/AX5RJR4JMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3984017, Helly's selection theorem (statement). Also Wikidata Q3984017
- thousand_plus: thousand_plus Q3984017, Helly's selection theorem (statement). Also Wikidata Q3984017, Wikipedia Helly's selection theorem
History
- 2026-10-26: add by m2/dev
Kalman filter AXBCY1XYP9
| URI | m2://inv/AXBCY1XYP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q846780, Kalman filter (unknown). Also MathWorld KalmanFilter
History
- 2026-10-26: add by m2/dev
Lefschetz fixed-point theorem AXBJ44NKY0
| URI | m2://inv/AXBJ44NKY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q657469, Lefschetz fixed-point theorem (statement). Also Wikidata Q657469
- mathlib_1000: mathlib_1000 Q657469X, Lefschetz–Hopf theorem (statement). Also Wikidata Q657469
- thousand_plus: thousand_plus Q657469, Lefschetz fixed-point theorem (statement). Also Wikidata Q657469, Wikipedia Lefschetz fixed-point theorem
- thousand_plus: thousand_plus Q657469X, Lefschetz–Hopf theorem (statement). Also Wikidata Q657469, Wikipedia Lefschetz–Hopf theorem
History
- 2026-10-26: add by m2/dev
electrical resistance AXBNAFDRHC
| URI | m2://inv/AXBNAFDRHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25358, electrical resistance (definition). Also ProofWiki Definition:Resistance
History
- 2026-10-26: add by m2/dev
instant AXBX04M11C
| URI | m2://inv/AXBX04M11C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16963779, instant (definition). Also ProofWiki Definition:Instant_of_Time
History
- 2026-10-26: add by m2/dev
Additive basis AXCKM2XXMR
| URI | m2://inv/AXCKM2XXMR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96371464, Additive basis (unknown). Also EoM Additive_basis
History
- 2026-10-26: add by m2/dev
Michael Atiyah AXCQV15GEJ
| URI | m2://inv/AXCQV15GEJ |
|---|---|
| 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 Q208356, Michael Atiyah (unknown). Also nLab Michael Atiyah
History
- 2026-10-26: add by m2/dev
Hausdorff distance AXCV26PM49
| URI | m2://inv/AXCV26PM49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Metric spaces > Hausdorff distance, Hausdorff distance (unknown). Also Mathlib Metric.hausdorffEDist
History
- 2026-10-26: add by m2/dev
contravariant tensor AXHYF1D0XT
| URI | m2://inv/AXHYF1D0XT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77982958, contravariant tensor (unknown). Also MathWorld ContravariantTensor
History
- 2026-10-26: add by m2/dev
first-order logic AXM6865B4D
| URI | m2://inv/AXM6865B4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03B10 |
| Sources | 1 |
| Outcome | open |
| Node | Predicate logic 086QKPF0A6 |
Mentions
- wikidata: Wikidata Q4055684, first-order logic (topic). Also EoM Predicate_calculus, nLab predicate logic
History
- 2026-10-26: add by m2/dev
jump discontinuity AXP3JXN50D
| URI | m2://inv/AXP3JXN50D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77871488, jump discontinuity (unknown). Also MathWorld JumpDiscontinuity
History
- 2026-10-26: add by m2/dev
quetta AXS4EPYTVR
| URI | m2://inv/AXS4EPYTVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107915098, quetta (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/Quetta-
History
- 2026-10-26: add by m2/dev