Inventory rows 7Y
The cards of the rows of the inventory whose ids start with 7Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
unit fraction 7Y0VPG60TV
| URI | m2://inv/7Y0VPG60TV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q255388, unit fraction (definition). Also EoM Aliquot_ratio, MathWorld UnitFraction, ProofWiki Definition:Unit_Fraction
History
- 2026-10-26: add by m2/dev
Liénard's theorem 7Y2S9X84JF
| URI | m2://inv/7Y2S9X84JF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2500406, Liénard's theorem (statement). Also Wikidata Q2500406
- thousand_plus: thousand_plus Q2500406, Liénard's theorem (statement). Also Wikidata Q2500406, Wikipedia Liénard's theorem
History
- 2026-10-26: add by m2/dev
quasi-compact morphism 7Y4C16CZNP
| URI | m2://inv/7Y4C16CZNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7269441, quasi-compact morphism (definition). Also ProofWiki Definition:Quasi-Compact_Morphism_of_Schemes
History
- 2026-10-26: add by m2/dev
Bellman's lost in a forest problem 7Y4Y5SAQQH
| URI | m2://inv/7Y4Y5SAQQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56291656, Bellman's lost in a forest problem (unknown). Also MathWorld LostinaForestProblem
History
- 2026-10-26: add by m2/dev
Johnson’s theorem 7Y6DXAYYS8
| URI | m2://inv/7Y6DXAYYS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984019, Johnson’s theorem (statement). Also MathWorld JohnsonsTheorem
History
- 2026-10-26: add by m2/dev
hendecagon 7YB5T9NZ73
| URI | m2://inv/7YB5T9NZ73 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214382, hendecagon (unknown). Also MathWorld Hendecagon
History
- 2026-10-26: add by m2/dev
Hart's inversor 7YDD65DBKG
| URI | m2://inv/7YDD65DBKG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16983650, Hart's inversor (concept). Also MathWorld HartsInversor
History
- 2026-10-26: add by m2/dev
Airy function Bi 7YDR64Y4BV
| URI | m2://inv/7YDR64Y4BV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109729257, Airy function Bi (unknown). Also MathWorld AiryBi
History
- 2026-10-26: add by m2/dev
artificial intelligence 7YDTBTYK4R
| URI | m2://inv/7YDTBTYK4R |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 68Txx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11660, artificial intelligence (topic). Also ProofWiki Definition:Artificial_Intelligence
History
- 2026-10-26: add by m2/dev
litre 7YF2YXGTX4
| URI | m2://inv/7YF2YXGTX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11582, litre (definition). Also ProofWiki Definition:Metric_System/Volume/Litre
History
- 2026-10-26: add by m2/dev
semiring 7YGH6FHVNY
| URI | m2://inv/7YGH6FHVNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1333055, semiring (definition). Also MathWorld Semiring, ProofWiki Definition:Semiring
History
- 2026-10-26: add by m2/dev
Cauchy formulas 7YPQ5DAQ70
| URI | m2://inv/7YPQ5DAQ70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > Cauchy formulas, Cauchy formulas (unknown). Also Mathlib Complex.two_pi_I_inv_smul_circleIntegral_sub_inv_smul_of_differentiable_on_off_countable
History
- 2026-10-26: add by m2/dev
Jacobi's four-square theorem 7YRQRKFNKE
| URI | m2://inv/7YRQRKFNKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527095, Jacobi's four-square theorem (statement). Also Wikidata Q3527095
- thousand_plus: thousand_plus Q3527095, Jacobi's four-square theorem (statement). Also Wikidata Q3527095, Wikipedia Jacobi's four-square theorem
History
- 2026-10-26: add by m2/dev
Jean Le Rond d'Alembert 7YRRNZB1H7
| URI | m2://inv/7YRRNZB1H7 |
|---|---|
| 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 Q153232, Jean Le Rond d'Alembert (unknown). Also EoM DAlembert
History
- 2026-10-26: add by m2/dev
astronomical object 7YRS05B4K4
| URI | m2://inv/7YRS05B4K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6999, astronomical object (definition). Also ProofWiki Definition:Celestial_Body
History
- 2026-10-26: add by m2/dev
Woo circles 7YSPZAGMST
| URI | m2://inv/7YSPZAGMST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8032133, Woo circles (unknown). Also MathWorld WooCircle
History
- 2026-10-26: add by m2/dev
Gleason's theorem 7YWJ22P50H
| URI | m2://inv/7YWJ22P50H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5567394, Gleason's theorem (statement). Also Wikidata Q5567394
- thousand_plus: thousand_plus Q5567394, Gleason's theorem (statement). Also Wikidata Q5567394, Wikipedia Gleason's theorem
- wikidata: Wikidata Q5567394, Gleason's theorem (statement). Also nLab Gleason's theorem
History
- 2026-10-26: add by m2/dev
product 7YX6PE6242
| URI | m2://inv/7YX6PE6242 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q901718, product (unknown). Also MathWorld Product
History
- 2026-10-26: add by m2/dev