Inventory rows K0
The cards of the rows of the inventory whose ids start with K0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
resolution of singularities K024HKY5ZT
| URI | m2://inv/K024HKY5ZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q10942247, Hironaka theorem (statement). Also Wikidata Q10942247
- thousand_plus: thousand_plus Q10942247, Hironaka theorem (statement). Also Wikidata Q10942247, Wikipedia Hironaka theorem
- wikidata: Wikidata Q10942247, resolution of singularities (unknown). Also EoM Resolution_of_singularities
History
- 2026-10-26: add by m2/dev
Carathéodory–Jacobi–Lie theorem K09BP7F8AE
| URI | m2://inv/K09BP7F8AE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q523832, Carathéodory–Jacobi–Lie theorem (statement). Also Wikidata Q523832
- thousand_plus: thousand_plus Q523832, Carathéodory–Jacobi–Lie theorem (statement). Also Wikidata Q523832, Wikipedia Carathéodory–Jacobi–Lie theorem
History
- 2026-10-26: add by m2/dev
Reidemeister torsion K0ATZT2W0J
| URI | m2://inv/K0ATZT2W0J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q31839400, Reidemeister torsion (concept). Also MathWorld ReidemeisterTorsion
History
- 2026-10-26: add by m2/dev
Christian Juel K0BTHHP6HZ
| URI | m2://inv/K0BTHHP6HZ |
|---|---|
| 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 Q12306028, Christian Juel (unknown). Also ProofWiki Mathematician:Christian_Sophus_Juel
History
- 2026-10-26: add by m2/dev
Instructions for Measuring with Compass and Ruler K0F9SPR4BY
| URI | m2://inv/K0F9SPR4BY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19231907, Instructions for Measuring with Compass and Ruler (unknown). Also ProofWiki Book:Albrecht_Dürer/Underweysung_der_Messung_mit_dem_Zirckel_und_Richtscheyt
History
- 2026-10-26: add by m2/dev
exponential integral K0HKF6RRFR
| URI | m2://inv/K0HKF6RRFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1419948, exponential integral (unknown). Also EoM Integral_exponential_function, MathWorld ExponentialIntegral
History
- 2026-10-26: add by m2/dev
focal parameter K0JS2FF5TG
| URI | m2://inv/K0JS2FF5TG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78150959, focal parameter (unknown). Also MathWorld FocalParameter
History
- 2026-10-26: add by m2/dev
Condorcet's jury theorem K0NRCCHXP5
| URI | m2://inv/K0NRCCHXP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q744925, Condorcet's jury theorem (statement). Also MathWorld CondorcetsJuryTheorem
History
- 2026-10-26: add by m2/dev
indecomposable module K0X7JV1481
| URI | m2://inv/K0X7JV1481 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2499534, indecomposable module (unknown). Also MathWorld IndecomposableModule
History
- 2026-10-26: add by m2/dev
Albert–Brauer–Hasse–Noether theorem K0XMW5XP7D
| URI | m2://inv/K0XMW5XP7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4712316, Albert–Brauer–Hasse–Noether theorem (statement). Also Wikidata Q4712316
- thousand_plus: thousand_plus Q4712316, Albert–Brauer–Hasse–Noether theorem (statement). Also Wikidata Q4712316, Wikipedia Albert–Brauer–Hasse–Noether theorem
History
- 2026-10-26: add by m2/dev
Green–Tao theorem K0YG6QFSKB
| URI | m2://inv/K0YG6QFSKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q922012, Green–Tao theorem (statement). Also Wikidata Q922012
- thousand_plus: thousand_plus Q922012, Green–Tao theorem (statement). Also Wikidata Q922012, Wikipedia Green–Tao theorem
- wikidata: Wikidata Q922012, Green–Tao theorem (statement). Also MathWorld Green-TaoTheorem
History
- 2026-10-26: add by m2/dev