Inventory rows NF
The cards of the rows of the inventory whose ids start with NF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Allen Knutson NF14GEBYY0
| URI | m2://inv/NF14GEBYY0 |
|---|---|
| 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 Q4731739, Allen Knutson (unknown). Also nLab Allen Knutson
History
- 2026-10-26: add by m2/dev
Magic hexagon NFAE52T998
| URI | m2://inv/NFAE52T998 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1417631, Magic hexagon (unknown). Also MathWorld MagicHexagon
History
- 2026-10-26: add by m2/dev
logical connective NFDA12X79A
| URI | m2://inv/NFDA12X79A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93439763, logical connective (unknown). Also MathWorld Connective
History
- 2026-10-26: add by m2/dev
isometries of a Euclidean affine space NFDZXQ2MF5
| URI | m2://inv/NFDZXQ2MF5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > isometries of a Euclidean affine space, isometries of a Euclidean affine space (unknown). Also Mathlib AffineIsometryEquiv
History
- 2026-10-26: add by m2/dev
compound of small stellated dodecahedron and great dodecahedron NFE779CNE3
| URI | m2://inv/NFE779CNE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156887, compound of small stellated dodecahedron and great dodecahedron (unknown). Also MathWorld GreatDodecahedron-SmallStellatedDodecahedronCompound
History
- 2026-10-26: add by m2/dev
mutation NFEJEF70V8
| URI | m2://inv/NFEJEF70V8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1955809, mutation (unknown). Also MathWorld Mutation
History
- 2026-10-26: add by m2/dev
gradient vector NFG0KVDZH7
| URI | m2://inv/NFG0KVDZH7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > gradient vector, gradient vector (unknown). Also Mathlib gradient
History
- 2026-10-26: add by m2/dev
millibar NFTVHBP4B1
| URI | m2://inv/NFTVHBP4B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3495543, millibar (definition). Also ProofWiki Definition:Millibar
History
- 2026-10-26: add by m2/dev
division by zero NFWQD8Q7HV
| URI | m2://inv/NFWQD8Q7HV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q848539, division by zero (unknown). Also MathWorld DivisionbyZero
History
- 2026-10-26: add by m2/dev