Inventory rows JN
The cards of the rows of the inventory whose ids start with JN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
algebraic equation JN2BBTDA3X
| URI | m2://inv/JN2BBTDA3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50698, algebraic equation (unknown). Also EoM Algebraic_equation, MathWorld AlgebraicEquation, nLab algebraic equation
History
- 2026-10-26: add by m2/dev
PL/I JN3CP0GV6Z
| URI | m2://inv/JN3CP0GV6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q223433, PL/I (unknown). Also EoM PL/I
History
- 2026-10-26: add by m2/dev
sum of subspaces JN56MBD6F4
| URI | m2://inv/JN56MBD6F4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Sum of subspaces 0JMTY8MF54 |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > sum of subspaces, sum of subspaces (unknown). Also Mathlib Submodule.completeLattice
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Paley–Wiener theorem JN7SGB2SNB
| URI | m2://inv/JN7SGB2SNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 42-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1119094, Paley–Wiener theorem (statement). Also Wikidata Q1119094
- thousand_plus: thousand_plus Q1119094, Paley–Wiener theorem (statement). Also Wikidata Q1119094, Wikipedia Paley–Wiener theorem
History
- 2026-10-26: add by m2/dev
uniqueness quantification JNACNVQHC8
| URI | m2://inv/JNACNVQHC8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Uniqueness quantifier 0QAJHFGZZJ |
Mentions
- wikidata: Wikidata Q2502253, uniqueness quantification (unknown). Also MathWorld Unique, nLab uniqueness quantifier
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
T puzzle JNCH4GK7DX
| URI | m2://inv/JNCH4GK7DX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2383174, T puzzle (unknown). Also MathWorld T-Puzzle
History
- 2026-10-26: add by m2/dev
orientable manifold JNCJM27K9Y
| URI | m2://inv/JNCJM27K9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116966067, orientable manifold (unknown). Also MathWorld OrientableManifold
History
- 2026-10-26: add by m2/dev
Synergetics JNDFJM8XV0
| URI | m2://inv/JNDFJM8XV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1506712, Synergetics (unknown). Also MathWorld Synergetics
History
- 2026-10-26: add by m2/dev
Hiroshi Toda JNDJ4RQ6MW
| URI | m2://inv/JNDJ4RQ6MW |
|---|---|
| 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 Q1620287, Hiroshi Toda (unknown). Also nLab Hiroshi Toda
History
- 2026-10-26: add by m2/dev
William Rowan Hamilton JNH5YMXSGR
| URI | m2://inv/JNH5YMXSGR |
|---|---|
| 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 Q11887, William Rowan Hamilton (unknown). Also nLab William Rowan Hamilton, ProofWiki Mathematician:William_Rowan_Hamilton
History
- 2026-10-26: add by m2/dev
Sun Tzu JNKXPK94CM
| URI | m2://inv/JNKXPK94CM |
|---|---|
| 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 Q2634383, Sun Tzu (unknown). Also ProofWiki Mathematician:Sun_Tzu
History
- 2026-10-26: add by m2/dev
Brocard circle JNRFG19727
| URI | m2://inv/JNRFG19727 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1932324, Brocard circle (concept). Also MathWorld BrocardCircle
History
- 2026-10-26: add by m2/dev
logistic map JNRGWS0TMG
| URI | m2://inv/JNRGWS0TMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q587182, logistic map (unknown). Also MathWorld LogisticMap
History
- 2026-10-26: add by m2/dev
microlitre JNSSV1JMK2
| URI | m2://inv/JNSSV1JMK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2282891, microlitre (definition). Also ProofWiki Definition:Metric_System/Volume/Microlitre
History
- 2026-10-26: add by m2/dev
Philippe Malbos JNSWEZV0E9
| URI | m2://inv/JNSWEZV0E9 |
|---|---|
| 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 Q93944821, Philippe Malbos (unknown). Also nLab Philippe Malbos
History
- 2026-10-26: add by m2/dev
completeness of $l^2$ JNXJZ73K0T
| URI | m2://inv/JNXJZ73K0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > completeness of $l^2$, completeness of $l^2$ (unknown). Also Mathlib lp.completeSpace
History
- 2026-10-26: add by m2/dev