Inventory rows QJ
The cards of the rows of the inventory whose ids start with QJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
descent QJ09P9ZRRR
| URI | m2://inv/QJ09P9ZRRR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5263725, descent (concept). Also nLab descent
History
- 2026-10-26: add by m2/dev
law of noncontradiction QJ0QDWZ455
| URI | m2://inv/QJ0QDWZ455 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q868437, law of noncontradiction (statement). Also MathWorld ContradictionLaw
History
- 2026-10-26: add by m2/dev
tower QJ12C8EFM7
| URI | m2://inv/QJ12C8EFM7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7829620, tower (unknown). Also nLab tower
History
- 2026-10-26: add by m2/dev
Gromov–Ruh theorem QJ438P7Q25
| URI | m2://inv/QJ438P7Q25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4734002, Gromov–Ruh theorem (statement). Also Wikidata Q4734002
- thousand_plus: thousand_plus Q4734002, Gromov–Ruh theorem (statement). Also Wikidata Q4734002, Wikipedia Gromov–Ruh theorem
History
- 2026-10-26: add by m2/dev
Akhmim wooden tablets QJ5T4FW5H3
| URI | m2://inv/QJ5T4FW5H3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4700777, Akhmim wooden tablets (concept). Also MathWorld AkhmimWoodenTablet
History
- 2026-10-26: add by m2/dev
relativistic thermodynamics QJ8C8GRFD9
| URI | m2://inv/QJ8C8GRFD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100164624, relativistic thermodynamics (unknown). Also EoM Relativistic_thermodynamics,_mathematical_problems_in
History
- 2026-10-26: add by m2/dev
hypotenuse QJ979RSGQA
| URI | m2://inv/QJ979RSGQA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104962, hypotenuse (unknown). Also EoM Hypotenuse, MathWorld Hypotenuse
History
- 2026-10-26: add by m2/dev
Mayer–Vietoris sequence QJBTMTDFRJ
| URI | m2://inv/QJBTMTDFRJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2421905, Mayer–Vietoris sequence (concept). Also nLab Mayer-Vietoris sequence
History
- 2026-10-26: add by m2/dev
Gauss-Seidel QJCQJ8YAZX
| URI | m2://inv/QJCQJ8YAZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods > Gauss-Seidel, Gauss-Seidel (unknown)
History
- 2026-10-26: add by m2/dev
microlocal analysis QJGMKY3XNQ
| URI | m2://inv/QJGMKY3XNQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q430450, microlocal analysis (topic). Also nLab microlocal analysis
History
- 2026-10-26: add by m2/dev
Surrogate data QJH6WSPR2V
| URI | m2://inv/QJH6WSPR2V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7646876, Surrogate data (concept). Also MathWorld Surrogate
History
- 2026-10-26: add by m2/dev
brackets QJKZ2QJFFC
| URI | m2://inv/QJKZ2QJFFC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q174565, brackets (unknown). Also MathWorld Bracket, ProofWiki Symbols:Brackets
History
- 2026-10-26: add by m2/dev
integrable function QJMXE0DX4Y
| URI | m2://inv/QJMXE0DX4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3153745, integrable function (definition). Also MathWorld Integrable, ProofWiki Definition:Integrable_Function
History
- 2026-10-26: add by m2/dev
great deltoidal icositetrahedron QJNYF7BQZ5
| URI | m2://inv/QJNYF7BQZ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600338, great deltoidal icositetrahedron (unknown). Also MathWorld GreatDeltoidalIcositetrahedron
History
- 2026-10-26: add by m2/dev
prism graph QJNZ9VV20F
| URI | m2://inv/QJNZ9VV20F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303783, prism graph (unknown). Also MathWorld PrismGraph
History
- 2026-10-26: add by m2/dev
minute QJPFGYWSXQ
| URI | m2://inv/QJPFGYWSXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7727, minute (definition). Also ProofWiki Definition:Time/Unit/Minute
History
- 2026-10-26: add by m2/dev
class formula QJTWA6MQKD
| URI | m2://inv/QJTWA6MQKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > class formula, class formula (unknown). Also Mathlib MulAction.selfEquivSigmaOrbitsQuotientStabilizer
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > class formula, class formula (unknown). Also Mathlib MulAction.selfEquivSigmaOrbitsQuotientStabilizer
History
- 2026-10-26: add by m2/dev
Hilbert manifold QJW4EZK3E1
| URI | m2://inv/QJW4EZK3E1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3554824, Hilbert manifold (unknown). Also nLab Hilbert manifold
History
- 2026-10-26: add by m2/dev