Inventory rows NC
The cards of the rows of the inventory whose ids start with NC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Hindman's theorem NC2AEYB38R
| URI | m2://inv/NC2AEYB38R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1566341, Hindman's theorem (statement). Also Mathlib Hindman.FP_partition_regular, Wikidata Q1566341
- thousand_plus: thousand_plus Q1566341, Hindman's theorem (statement). Also Mathlib Hindman.FP_partition_regular, Wikidata Q1566341, Wikipedia Hindman's theorem
History
- 2026-10-26: add by m2/dev
domain theory NC2E3FZP9V
| URI | m2://inv/NC2E3FZP9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1079166, domain theory (unknown). Also nLab domain theory
History
- 2026-10-26: add by m2/dev
Denmark NC39F9WJYB
| URI | m2://inv/NC39F9WJYB |
|---|---|
| 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 Q35, Denmark (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Denmark
History
- 2026-10-26: add by m2/dev
basis vector NC3A4VBQ8S
| URI | m2://inv/NC3A4VBQ8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56320001, basis vector (unknown). Also MathWorld BasisVector
History
- 2026-10-26: add by m2/dev
Frucht's theorem NC53Z4JNMP
| URI | m2://inv/NC53Z4JNMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1424481, Frucht's theorem (statement). Also Wikidata Q1424481
- thousand_plus: thousand_plus Q1424481, Frucht's theorem (statement). Also Wikidata Q1424481, Wikipedia Frucht's theorem
- wikidata: Wikidata Q1424481, Frucht's theorem (statement). Also MathWorld FruchtsTheorem
History
- 2026-10-26: add by m2/dev
Haynes Miller NC9EQ67CW1
| URI | m2://inv/NC9EQ67CW1 |
|---|---|
| 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 Q1591972, Haynes Miller (unknown). Also nLab Haynes Miller
History
- 2026-10-26: add by m2/dev
triskaidekaphobia NC9NQC7TC7
| URI | m2://inv/NC9NQC7TC7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13, triskaidekaphobia (unknown). Also MathWorld Triskaidekaphobia
History
- 2026-10-26: add by m2/dev
ordered group NCAF2NZ731
| URI | m2://inv/NCAF2NZ731 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2715875, ordered group (definition). Also EoM Ordered_group, EoM Partially_ordered_group, nLab ordered group, ProofWiki Definition:Ordered_Group
History
- 2026-10-26: add by m2/dev
butterfly graph NCCN4BY2YD
| URI | m2://inv/NCCN4BY2YD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3035340, butterfly graph (unknown). Also House of Graphs 776, MathWorld ButterflyGraph
History
- 2026-10-26: add by m2/dev
Tullio Regge NCEKZETGBJ
| URI | m2://inv/NCEKZETGBJ |
|---|---|
| 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 Q1394712, Tullio Regge (unknown). Also nLab Tullio Regge
History
- 2026-10-26: add by m2/dev
Georgia Benkart NCK7N2C12H
| URI | m2://inv/NCK7N2C12H |
|---|---|
| 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 Q16971463, Georgia Benkart (unknown). Also nLab Georgia Benkart
History
- 2026-10-26: add by m2/dev
girth NCMMYTB0W6
| URI | m2://inv/NCMMYTB0W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q959831, girth (definition). Also MathWorld Girth, ProofWiki Definition:Girth
History
- 2026-10-26: add by m2/dev
Black–Scholes equation NCT22KFCSY
| URI | m2://inv/NCT22KFCSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17005676, Black–Scholes equation (definition). Also ProofWiki Definition:Black-Scholes_Equation
History
- 2026-10-26: add by m2/dev
Lagrangian NCYJDCEW0W
| URI | m2://inv/NCYJDCEW0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q505735, Lagrangian (definition). Also ProofWiki Definition:Lagrangian
History
- 2026-10-26: add by m2/dev