Inventory rows R7
The cards of the rows of the inventory whose ids start with R7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
quasinormed space R70XFR6P75
| URI | m2://inv/R70XFR6P75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91672132, quasinormed space (unknown). Also EoM Quasi-normed_space
History
- 2026-10-26: add by m2/dev
Dirk Kreimer R74BF728DA
| URI | m2://inv/R74BF728DA |
|---|---|
| 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 Q118448, Dirk Kreimer (unknown). Also nLab Dirk Kreimer
History
- 2026-10-26: add by m2/dev
subrepresentation R74PQGFSER
| URI | m2://inv/R74PQGFSER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55648664, subrepresentation (unknown). Also nLab subrepresentation
History
- 2026-10-26: add by m2/dev
Lie derivative R7ANBCBZWF
| URI | m2://inv/R7ANBCBZWF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q579267, Lie derivative (unknown). Also EoM Lie_derivative, MathWorld LieDerivative, nLab Lie derivative
History
- 2026-10-26: add by m2/dev
ambient isotopy R7B30N1BTR
| URI | m2://inv/R7B30N1BTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2037595, ambient isotopy (unknown). Also MathWorld AmbientIsotopy
History
- 2026-10-26: add by m2/dev
Robert Bruner R7EEJCY6SQ
| URI | m2://inv/R7EEJCY6SQ |
|---|---|
| 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 Q7342467, Robert Bruner (unknown). Also nLab Robert Bruner
History
- 2026-10-26: add by m2/dev
Lie's third theorem R7EWY3NGS2
| URI | m2://inv/R7EWY3NGS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 22-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q15080987, Lie's third theorem (statement). Also Wikidata Q15080987
- thousand_plus: thousand_plus Q15080987, Lie's third theorem (statement). Also Wikidata Q15080987, Wikipedia Lie's third theorem
History
- 2026-10-26: add by m2/dev
proper subset R7GX3QZ905
| URI | m2://inv/R7GX3QZ905 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59489332, proper subset (definition). Also MathWorld ProperSubset, nLab proper subset, ProofWiki Definition:Proper_Subset
History
- 2026-10-26: add by m2/dev
gravitational wave R7GZ48KK3R
| URI | m2://inv/R7GZ48KK3R |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 83C35 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190035, gravitational wave (topic). Also nLab gravitational wave
History
- 2026-10-26: add by m2/dev
4×4 Sudoku graph R7HV8V00X4
| URI | m2://inv/R7HV8V00X4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137761568, 4×4 Sudoku graph (unknown). Also House of Graphs 56142
History
- 2026-10-26: add by m2/dev
normal vector R7N8FHPH16
| URI | m2://inv/R7N8FHPH16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Normal vector 0WQJJCCTC8 |
Mentions
- wikidata: Wikidata Q56353263, normal vector (unknown). Also MathWorld NormalVector, nLab normal vector
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
The Independence of the Parallel Postulate R7QVMXCY4T
| URI | m2://inv/R7QVMXCY4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 12, The Independence of the Parallel Postulate (statement)
History
- 2026-10-26: add by m2/dev
imperative programming R7RG3F37AH
| URI | m2://inv/R7RG3F37AH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q275596, imperative programming (unknown). Also nLab imperative programming
History
- 2026-10-26: add by m2/dev
Modified Struve function R7RTNYB54H
| URI | m2://inv/R7RTNYB54H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754616, Modified Struve function (unknown). Also MathWorld ModifiedStruveFunction
History
- 2026-10-26: add by m2/dev
quadratic form R7SK7C1BRA
| URI | m2://inv/R7SK7C1BRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > quadratic form, quadratic form (unknown). Also Mathlib QuadraticForm
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Quadratic forms > quadratic form, quadratic form (unknown). Also Mathlib QuadraticForm
History
- 2026-10-26: add by m2/dev
compound of great icosahedron and great stellated dodecahedron R7VCH28K5K
| URI | m2://inv/R7VCH28K5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156874, compound of great icosahedron and great stellated dodecahedron (unknown). Also MathWorld GreatIcosahedron-GreatStellatedDodecahedronCompound
History
- 2026-10-26: add by m2/dev
closed subscheme R7XF7F6P2V
| URI | m2://inv/R7XF7F6P2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123172485, closed subscheme (definition). Also EoM Closed_subscheme, nLab closed subscheme, ProofWiki Definition:Closed_Subscheme_defined_by_Sheaf_of_Ideals
History
- 2026-10-26: add by m2/dev