Inventory rows G1
The cards of the rows of the inventory whose ids start with G1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Odd number theorem G137BR51FT
| URI | m2://inv/G137BR51FT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q280116, Odd number theorem (statement). Also Wikidata Q280116
- thousand_plus: thousand_plus Q280116, Odd number theorem (statement). Also Wikidata Q280116, Wikipedia Odd number theorem
History
- 2026-10-26: add by m2/dev
rank statistic G14DY92W4V
| URI | m2://inv/G14DY92W4V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64767753, rank statistic (concept). Also EoM Rank_statistic
History
- 2026-10-26: add by m2/dev
Mordechai Ben-Ari G17MK32V1H
| URI | m2://inv/G17MK32V1H |
|---|---|
| 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 Q6909646, Mordechai Ben-Ari (unknown). Also ProofWiki Mathematician:Mordechai_Ben-Ari
History
- 2026-10-26: add by m2/dev
differential equation G199N0HJSG
| URI | m2://inv/G199N0HJSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Differential equation 003R0V5M7V |
Mentions
- wikidata: Wikidata Q11214, differential equation (definition). Also MathWorld DifferentialEquation, ProofWiki Definition:Differential_Equation
History
- 2026-10-26: add by m2/dev
modal logic G1EJ6JYASR
| URI | m2://inv/G1EJ6JYASR |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03B45 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q210841, modal logic (topic). Also nLab modal logic, ProofWiki Definition:Modal_Logic
History
- 2026-10-26: add by m2/dev
alternative algebra G1GBC6EN8K
| URI | m2://inv/G1GBC6EN8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2165111, alternative algebra (unknown). Also nLab alternative algebra
History
- 2026-10-26: add by m2/dev
queueing theory G1JAA9SZMQ
| URI | m2://inv/G1JAA9SZMQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 60K25 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q847526, queueing theory (topic). Also MathWorld QueuingTheory
History
- 2026-10-26: add by m2/dev
surface parameterization G1NY2C48FQ
| URI | m2://inv/G1NY2C48FQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116894198, surface parameterization (unknown). Also MathWorld SurfaceParameterization
History
- 2026-10-26: add by m2/dev
circle of antisimilitude G1P159ZQ6V
| URI | m2://inv/G1P159ZQ6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2693467, circle of antisimilitude (unknown). Also MathWorld Midcircle
History
- 2026-10-26: add by m2/dev
Day convolution G1Q2QHR2KK
| URI | m2://inv/G1Q2QHR2KK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85755931, Day convolution (unknown). Also nLab Day convolution
History
- 2026-10-26: add by m2/dev
Ado's theorem G1Q6059264
| URI | m2://inv/G1Q6059264 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2028341, Ado's theorem (statement). Also Wikidata Q2028341
- thousand_plus: thousand_plus Q2028341, Ado's theorem (statement). Also Wikidata Q2028341, Wikipedia Ado's theorem
- wikidata: Wikidata Q2028341, Ado's theorem (statement). Also MathWorld AdosTheorem
History
- 2026-10-26: add by m2/dev
idempotence G1R0NG54X9
| URI | m2://inv/G1R0NG54X9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q368988, idempotence (concept). Also EoM Idempotence, MathWorld Idempotent
History
- 2026-10-26: add by m2/dev
truncated cone G1WPCRS2PX
| URI | m2://inv/G1WPCRS2PX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9090332, truncated cone (unknown). Also MathWorld ConicalFrustum
History
- 2026-10-26: add by m2/dev
wonderful compactification G1XS39GNWC
| URI | m2://inv/G1XS39GNWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8031858, wonderful compactification (unknown). Also nLab wonderful compactification
History
- 2026-10-26: add by m2/dev
triangular cupola G1YBSRT8EJ
| URI | m2://inv/G1YBSRT8EJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61562, triangular cupola (object). Also MathWorld TriangularCupola
History
- 2026-10-26: add by m2/dev