Inventory rows K5
The cards of the rows of the inventory whose ids start with K5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Variance inequality on a Hilbert sphere K500GVN1ZD
| URI | m2://inv/K500GVN1ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#Q2VB, Variance inequality on a Hilbert sphere (statement). In FTPW1SZ8D3/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
K50BVZGP7E K50BVZGP7E
| URI | m2://inv/K50BVZGP7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10338#W63I (statement). In WZ3GXRAB00/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
David Allen Hoffman K50NJK29PD
| URI | m2://inv/K50NJK29PD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Allen Hoffman, David Allen Hoffman (topic). Also Wikidata Q1173552
History
- 2026-11-02: add by m2/dev
Hospital resident K50PB0FYPZ
| URI | m2://inv/K50PB0FYPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Resident Matching Program#OVC1, Hospital resident (unknown)
History
- 2026-11-02: add by m2/dev
A single dicritical singularity K50WETZVZ9
| URI | m2://inv/K50WETZVZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12497#3EEG, A single dicritical singularity (statement). In Z0SAF18JPP/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
K50YHP9KZS K50YHP9KZS
| URI | m2://inv/K50YHP9KZS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#4OWT (definition). In C7QZ0VPBC8/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Arthur–Selberg trace formula K50YS6MPB8
| URI | m2://inv/K50YS6MPB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Selberg trace formula, Arthur–Selberg trace formula (statement). Also Wikidata Q4800826
History
- 2026-11-02: add by m2/dev
0,1-simple lattice K50ZWQNAXN
| URI | m2://inv/K50ZWQNAXN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4545495, 0,1-simple lattice (concept). Also MathWorld 01-SimpleLattice
- wikipedia: Wikipedia 0,1-simple lattice, 0,1-simple lattice (definition). Also Wikidata Q4545495
History
- 2026-10-26: add by m2/dev
Catastrophe theory K513V4DBCQ
| URI | m2://inv/K513V4DBCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#O1EO, Catastrophe theory (definition)
History
- 2026-11-02: add by m2/dev
K514K2T6EE K514K2T6EE
| URI | m2://inv/K514K2T6EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#NVGS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Arithmetic cubical family K51C6VVZK2
| URI | m2://inv/K51C6VVZK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#SPQP, Arithmetic cubical family (statement)
History
- 2026-11-01: add by m2/v0.6.15
K51EDWBW2R K51EDWBW2R
| URI | m2://inv/K51EDWBW2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#D5WM (statement). In GC2H0HS7ZM/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
Statistical benchmarking K51Y749NFX
| URI | m2://inv/K51Y749NFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical benchmarking, Statistical benchmarking (definition). Also Wikidata Q7604382
History
- 2026-11-02: add by m2/dev
Generalization K523YBV4ZB
| URI | m2://inv/K523YBV4ZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ghosh–Pratt identity#MZJO, Generalization (statement)
History
- 2026-11-02: add by m2/dev
K5245X7JTG K5245X7JTG
| URI | m2://inv/K5245X7JTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10796#KFDM (statement). In 9YDW0QJZ6K/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Infinite conjugacy class property K528Q77D6B
| URI | m2://inv/K528Q77D6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite conjugacy class property, Infinite conjugacy class property (definition). Also Wikidata Q6029839
History
- 2026-11-02: add by m2/dev
Legendre transformation K52AZ9JMBF
| URI | m2://inv/K52AZ9JMBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#SQH9, Legendre transformation (definition)
- wikipedia: Wikipedia List of transforms#SJPP, Legendre transformation (definition)
- wikipedia: Wikipedia List of variational topics#8ZXE, Legendre transformation (definition)
History
- 2026-11-02: add by m2/dev
K52RHTA213 K52RHTA213
| URI | m2://inv/K52RHTA213 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.20257#3PEC (statement). In 9NDZ6GG9XZ/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Definition K52SC2M6P1
| URI | m2://inv/K52SC2M6P1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersolvable group#KUJL, Definition (definition)
History
- 2026-11-02: add by m2/dev
K5349780Z2 K5349780Z2
| URI | m2://inv/K5349780Z2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#60NE (statement). In ZZQT0GFMT2/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Montserrat Fuentes K5378XS4TE
| URI | m2://inv/K5378XS4TE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#UM52, Montserrat Fuentes (topic)
History
- 2026-11-02: add by m2/dev
K53C4J38EY K53C4J38EY
| URI | m2://inv/K53C4J38EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#CYAK (statement). In 8MDK189ZMB/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
K53N023SND K53N023SND
| URI | m2://inv/K53N023SND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2047#HH52 (statement). In F3MWRNBNED/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
K53SAWCXQ1 K53SAWCXQ1
| URI | m2://inv/K53SAWCXQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21692#J0VQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tunnel number K53V7WKE3E
| URI | m2://inv/K53V7WKE3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#ITQV, Tunnel number (definition)
History
- 2026-11-02: add by m2/dev
K547JBNH2N K547JBNH2N
| URI | m2://inv/K547JBNH2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39675#YKDH (statement). In VM16G3PPH3/e1, corollary 4.11
History
- 2026-10-30: add by m2/v0.4.12
K5486Z64H6 K5486Z64H6
| URI | m2://inv/K5486Z64H6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#U1CB (definition). In S26QVW5613/e1, definition 3.1.1
History
- 2026-10-30: add by m2/v0.4.12
Dimension reduction K54D2ZCHS0
| URI | m2://inv/K54D2ZCHS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15369#A6LU, Dimension reduction (statement). In JESNVAZEYT/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
K54HHR4X6F K54HHR4X6F
| URI | m2://inv/K54HHR4X6F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05067#U2BD (definition). In 34BXY2SJ1X/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
K54M92Y9NK K54M92Y9NK
| URI | m2://inv/K54M92Y9NK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#GAKE (statement). In 4KT9TK3MG4/e1, lemma E.8
History
- 2026-10-31: add by m2/v0.5.6
K54RY5QFZN K54RY5QFZN
| URI | m2://inv/K54RY5QFZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop:monotoneintegrable (statement). In E59CDZA4DP, prop, section 8.2.4
History
- 2026-11-01: add by m2/v0.6.13
Conservatism K54TY7CWZV
| URI | m2://inv/K54TY7CWZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservatism (belief revision), Conservatism (definition). Also Wikidata Q5163004
History
- 2026-11-02: add by m2/dev
Gerhard Larcher K54WCKVWHF
| URI | m2://inv/K54WCKVWHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerhard Larcher, Gerhard Larcher (topic). Also Wikidata Q114566149
History
- 2026-11-02: add by m2/dev
K54ZP74W77 K54ZP74W77
| URI | m2://inv/K54ZP74W77 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#CMO2 (definition). In P8KT6JV9N1/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
K55127EY6R K55127EY6R
| URI | m2://inv/K55127EY6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28350#14KB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kravchuk polynomials K55B8CZYY9
| URI | m2://inv/K55B8CZYY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#JKNJ, Kravchuk polynomials (definition)
History
- 2026-11-02: add by m2/dev
Petzval field curvature K55BNP31CZ
| URI | m2://inv/K55BNP31CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petzval field curvature, Petzval field curvature (definition). Also Wikidata Q7874190
History
- 2026-11-02: add by m2/dev
long line K55EJQ1H37
| URI | m2://inv/K55EJQ1H37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1804923, long line (unknown). Also nLab long line
- wikipedia: Wikipedia Long line (topology), Long line (definition). Also Wikidata Q1804923
History
- 2026-10-26: add by m2/dev
Dimitri Shlyakhtenko K55KEW9HHS
| URI | m2://inv/K55KEW9HHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8HTO, Dimitri Shlyakhtenko (unknown)
History
- 2026-11-02: add by m2/dev
K55X5XFQP4 K55X5XFQP4
| URI | m2://inv/K55X5XFQP4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#M4AM (definition). In GSN5YTQS2K/e1, definition 2.23
History
- 2026-10-31: add by m2/v0.5.6
No universal gain K5666P677Z
| URI | m2://inv/K5666P677Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31557#PYW8, No universal gain (statement). In 72NCNYBW2T/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Regnal number K56A3HEN5C
| URI | m2://inv/K56A3HEN5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regnal number, Regnal number (definition). Also Wikidata Q6898038
History
- 2026-11-02: add by m2/dev
K56CS5MT1Z K56CS5MT1Z
| URI | m2://inv/K56CS5MT1Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-266 (exercise). In VNMV985MXX, exercise, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
K56DRC7T2J K56DRC7T2J
| URI | m2://inv/K56DRC7T2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#5L8I (statement)
History
- 2026-11-01: add by m2/v0.6.15
K56JF97BHK K56JF97BHK
| URI | m2://inv/K56JF97BHK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#GC7F (definition). In BDN507RN7J/e1, definition 3.1.13
History
- 2026-10-30: add by m2/v0.4.12
K56SB2JS6D K56SB2JS6D
| URI | m2://inv/K56SB2JS6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#FH9Y (statement). In R81S9R1XNR/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.3
K56TCEDETB K56TCEDETB
| URI | m2://inv/K56TCEDETB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16358#5BCI (statement). In RJA3YJ9NYK/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
Cumulant bound K5758QGC9V
| URI | m2://inv/K5758QGC9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#CK0A, Cumulant bound (statement). In G3E1P350Z6/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.10
additive subgroups of $\R$ K57B2RY07M
| URI | m2://inv/K57B2RY07M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Topology of R > additive subgroups of $\R$, additive subgroups of $\R$ (unknown). Also Mathlib AddSubgroup.dense_or_isCyclic
History
- 2026-10-26: add by m2/dev
K57GBZW305 K57GBZW305
| URI | m2://inv/K57GBZW305 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.03972#KLW7 (example). In 2JD3KNKJ1P/e1, example 3.14
History
- 2026-10-27: add by m2/v0.3.5
Bohr radius K57NTW7ZZM
| URI | m2://inv/K57NTW7ZZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q652571, Bohr radius (definition). Also ProofWiki Definition:Bohr_Radius
History
- 2026-10-26: add by m2/dev
K58E81VG3R K58E81VG3R
| URI | m2://inv/K58E81VG3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#42X0 (statement). In 7VXBVQ5SAC/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10
Geodesic deviation equation K58ES3V58M
| URI | m2://inv/K58ES3V58M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#KU1R, Geodesic deviation equation (definition)
History
- 2026-11-02: add by m2/dev
K58S4GEG5X K58S4GEG5X
| URI | m2://inv/K58S4GEG5X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.18704#DKOG (example). In T4MQVXFGWC/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
MLE asymptotics K58X6K2VH6
| URI | m2://inv/K58X6K2VH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10080#YVSB, MLE asymptotics (statement). In N6EBNRZCYX/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
K58XV4WBK1 K58XV4WBK1
| URI | m2://inv/K58XV4WBK1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
Multiplicative function K590RXWVSD
| URI | m2://inv/K590RXWVSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#7PEO, Multiplicative function (definition)
History
- 2026-11-02: add by m2/dev
K596A1QQD7 K596A1QQD7
| URI | m2://inv/K596A1QQD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04645#JJZZ (statement). In YMZ6XP5542/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Product dilations on blocks K597BD98C6
| URI | m2://inv/K597BD98C6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#P889, Product dilations on blocks (statement). In XD603HRHKC/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
K597EJDZVX K597EJDZVX
| URI | m2://inv/K597EJDZVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08145#7VAW (statement). In N0QVPPFFC3/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
K59A53EYDQ K59A53EYDQ
| URI | m2://inv/K59A53EYDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#EQAX (statement). In 1K7M5TD0M2/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
One sample t-test K59FJ1D2R0
| URI | m2://inv/K59FJ1D2R0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Student's t-test#86S7, One sample t-test (unknown)
History
- 2026-11-02: add by m2/dev
Idola specus K59MB4QHP7
| URI | m2://inv/K59MB4QHP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idola specus, Idola specus (definition). Also Wikidata Q5989396
History
- 2026-11-02: add by m2/dev
Autoregressive conditional heteroskedasticity K59PV7BYNF
| URI | m2://inv/K59PV7BYNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TFPM, Autoregressive conditional heteroskedasticity (definition)
History
- 2026-11-02: add by m2/dev
K59W78NJZM K59W78NJZM
| URI | m2://inv/K59W78NJZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#C0D1 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Construction K5A2ASZRPD
| URI | m2://inv/K5A2ASZRPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 42 polytope#N6LQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
K5AERQ86HH K5AERQ86HH
| URI | m2://inv/K5AERQ86HH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#HB63 (statement). In WZMHJCQPB2/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Shabal K5AHE7713Q
| URI | m2://inv/K5AHE7713Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shabal, Shabal (definition). Also Wikidata Q60791256
History
- 2026-11-02: add by m2/dev
Properties of representatives *{Lem. 3.2 K5AMGVXVZV
| URI | m2://inv/K5AMGVXVZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#NE2M, Properties of representatives *{Lem. 3.2 (statement). In KM3Q791JY0/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.4.2
truncated pyramid K5AQTKEQHB
| URI | m2://inv/K5AQTKEQHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754967, truncated pyramid (unknown). Also MathWorld PyramidalFrustum
History
- 2026-10-26: add by m2/dev
Isomorphic normed spaces K5AR0E5RR7
| URI | m2://inv/K5AR0E5RR7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#D8DA, Isomorphic normed spaces (unknown)
History
- 2026-11-02: add by m2/dev
K5B0BQQXG4 K5B0BQQXG4
| URI | m2://inv/K5B0BQQXG4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#55N1 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Evans conic K5B18KVCHM
| URI | m2://inv/K5B18KVCHM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q129254508, Evans conic (unknown). Also MathWorld EvansConic
History
- 2026-10-26: add by m2/dev
K5B219VWJS K5B219VWJS
| URI | m2://inv/K5B219VWJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#39TL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dirac sea K5B284DNV2
| URI | m2://inv/K5B284DNV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#UJ8D, Dirac sea (unknown)
History
- 2026-11-02: add by m2/dev
K5B3R5WS3D K5B3R5WS3D
| URI | m2://inv/K5B3R5WS3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#O2SV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Local radial potential K5B9DZ5YQ5
| URI | m2://inv/K5B9DZ5YQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#1WIM, Local radial potential (statement). In X1FPG0KYBM/e1, theorem K.4
History
- 2026-10-28: add by m2/v0.4.2
K5BBVX0QG7 K5BBVX0QG7
| URI | m2://inv/K5BBVX0QG7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#EVR8 (definition). In 7XM8WXVBWK/e1, definition 4.5
History
- 2026-10-30: add by m2/v0.4.12
Statement of the conjecture K5BDMB82CK
| URI | m2://inv/K5BDMB82CK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaught conjecture#SQ8M, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
K5BF39M9J9 K5BF39M9J9
| URI | m2://inv/K5BF39M9J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#YNTD (statement)
History
- 2026-11-01: add by m2/v0.6.15
The composition law of IBQFs K5BQW558JJ
| URI | m2://inv/K5BQW558JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss composition law#I2XY, The composition law of IBQFs (statement)
History
- 2026-11-02: add by m2/dev
Scientific notation K5BSCEXCEW
| URI | m2://inv/K5BSCEXCEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#9OR8, Scientific notation (definition)
History
- 2026-11-02: add by m2/dev
Gaussian case K5C2YX8BPR
| URI | m2://inv/K5C2YX8BPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14695#DLHT, Gaussian case (statement). In T15EJSPCNG/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
Example K5C74SZSQD
| URI | m2://inv/K5C74SZSQD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse trigonometric functions#K13M, Example (example)
History
- 2026-11-02: add by m2/dev
Complete set K5CC8BCCGG
| URI | m2://inv/K5CC8BCCGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/complete-consistent-sets.tex#def:complete-set, Complete set (definition). In PKGMM3P5QY, defn, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
Chelsea Walton K5CDXPED93
| URI | m2://inv/K5CDXPED93 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chelsea Walton, Chelsea Walton (topic). Also Wikidata Q57531647
History
- 2026-11-02: add by m2/dev
24-cell prism K5CHYA3NH6
| URI | m2://inv/K5CHYA3NH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#G5XL, 24-cell prism (definition)
History
- 2026-11-02: add by m2/dev
lower triangular matrix K5CNG74E17
| URI | m2://inv/K5CNG74E17 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.1.4/lower-triangular-matrix, lower triangular matrix (concept). In 649HGZKE96, index, section 3.1.4
History
- 2026-11-01: add by m2/v0.6.13
Applying Douglas' theorem K5CPGBBKAX
| URI | m2://inv/K5CPGBBKAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse problem for Lagrangian mechanics#4WNW, Applying Douglas' theorem (statement)
History
- 2026-11-02: add by m2/dev
K5CPKT3C91 K5CPKT3C91
| URI | m2://inv/K5CPKT3C91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#defn-3 (definition). In N54F33XE07, defn, section C.2
History
- 2026-11-01: add by m2/v0.6.13
residue theorem K5CS2KT8DN
| URI | m2://inv/K5CS2KT8DN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > residue theorem, residue theorem (unknown)
History
- 2026-10-26: add by m2/dev
NUTS statistical regions of Bulgaria K5CTGY3XD6
| URI | m2://inv/K5CTGY3XD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NUTS statistical regions of Bulgaria, NUTS statistical regions of Bulgaria (definition). Also Wikidata Q1337565
History
- 2026-11-02: add by m2/dev
Examples K5CVXECAT1
| URI | m2://inv/K5CVXECAT1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet series#SNXT, Examples (example)
History
- 2026-11-02: add by m2/dev
Contact potential K5CYYFTNK1
| URI | m2://inv/K5CYYFTNK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05164#XD05, Contact potential (statement). In JY6RYSNXMJ/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Artin K5D314KYAR
| URI | m2://inv/K5D314KYAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#XKH7, Artin (statement). In WCY07D1CJG/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
K5DA00P2VA K5DA00P2VA
| URI | m2://inv/K5DA00P2VA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15010#TSPA (statement). In K3WJ6ZN184/e1, proposition 10.5
History
- 2026-10-27: add by m2/v0.3.5
K5DAEN534A K5DAEN534A
| URI | m2://inv/K5DAEN534A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#9SBG (definition)
History
- 2026-11-01: add by m2/v0.6.15
K5DH5WFQK7 K5DH5WFQK7
| URI | m2://inv/K5DH5WFQK7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#O269 (definition). In VGJVFCDV8A/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Preservation of the Expected Measure K5DJG6KJVH
| URI | m2://inv/K5DJG6KJVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30105#PVGZ, Preservation of the Expected Measure (statement)
History
- 2026-11-01: add by m2/v0.6.15
K5DQ630QGW K5DQ630QGW
| URI | m2://inv/K5DQ630QGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22832#E51C (statement)
History
- 2026-11-02: add by m2/v0.6.17
K5E1MM7WDP K5E1MM7WDP
| URI | m2://inv/K5E1MM7WDP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16768#44I8 (definition). In 8FWK676AQX/e1, definition 8
History
- 2026-10-28: add by m2/v0.4.2
K5E2EMX8WA K5E2EMX8WA
| URI | m2://inv/K5E2EMX8WA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#ZYBV (statement). In CTVPA2FQT1/e1, lemma 4.1.2
History
- 2026-10-27: add by m2/v0.4.0
The projected lattice and its fibres K5E520R70Q
| URI | m2://inv/K5E520R70Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#USL9, The projected lattice and its fibres (statement). In T2B54J7121/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
K5E64SY03E K5E64SY03E
| URI | m2://inv/K5E64SY03E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#9EIQ (example). In KBH265QSBT/e1, example 7.6
History
- 2026-10-29: add by m2/v0.4.10
Bloch–Torrey equation K5EBHZHBHT
| URI | m2://inv/K5EBHZHBHT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffusion-weighted magnetic resonance imaging#04ZS, Bloch–Torrey equation (unknown)
History
- 2026-11-02: add by m2/dev
K5EBNJZQGS K5EBNJZQGS
| URI | m2://inv/K5EBNJZQGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#VBFC (statement). In RS6WWZKMT6/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
K5EJ7MBHA9 K5EJ7MBHA9
| URI | m2://inv/K5EJ7MBHA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32906#AO6E (statement). In R589MXXHX4/e1, proposition 6.4
History
- 2026-10-31: add by m2/v0.5.6
K5F1FZPMJJ K5F1FZPMJJ
| URI | m2://inv/K5F1FZPMJJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2012.05048#HH1G (definition). In NY9HW1E6DY/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Lagrange top K5F7347G23
| URI | m2://inv/K5F7347G23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#V6L4, Lagrange top (definition)
History
- 2026-11-02: add by m2/dev
K5F7JSA0MM K5F7JSA0MM
| URI | m2://inv/K5F7JSA0MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#6A7H (statement)
History
- 2026-11-01: add by m2/v0.6.15
K5FCFMMDZ3 K5FCFMMDZ3
| URI | m2://inv/K5FCFMMDZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#0JSL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Least-squares spectral analysis K5FD583WFQ
| URI | m2://inv/K5FD583WFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ADUD, Least-squares spectral analysis (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#E1BZ, Least-squares spectral analysis (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#CS7X, Least-squares spectral analysis (definition)
History
- 2026-11-02: add by m2/dev
K5FHQNJYC6 K5FHQNJYC6
| URI | m2://inv/K5FHQNJYC6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#L8MY (definition). In CGA36VE1C5/e1, definition 2.1.2
History
- 2026-10-27: add by m2/v0.3.6
K5FSKPB9Z2 K5FSKPB9Z2
| URI | m2://inv/K5FSKPB9Z2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23833#4QKL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Formal definition K5FV9W7WRJ
| URI | m2://inv/K5FV9W7WRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear bottleneck assignment problem#K99U, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Pre-computed dictionary attack K5FZNHT7KR
| URI | m2://inv/K5FZNHT7KR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dictionary attack#55RI, Pre-computed dictionary attack (unknown)
History
- 2026-11-02: add by m2/dev
K5G11VZ4GH K5G11VZ4GH
| URI | m2://inv/K5G11VZ4GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01796#FMNM (statement). In JC3PAB5DRC/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.12
Typical profile K5GANPB67Y
| URI | m2://inv/K5GANPB67Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05767#WM34, Typical profile (example). In BG6MTYCXWS/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.10
K5GN1YEX4X K5GN1YEX4X
| URI | m2://inv/K5GN1YEX4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01656#FDPP (statement). In AHGQZ89DY0/e1, corollary 3.1
History
- 2026-10-29: add by m2/v0.4.12
Examples K5GPWP5G4C
| URI | m2://inv/K5GPWP5G4C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pre-Lie algebra#I09T, Examples (example)
History
- 2026-11-02: add by m2/dev
K5GQ3EQXA8 K5GQ3EQXA8
| URI | m2://inv/K5GQ3EQXA8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13888#YQ9R (example). In XJWYBPS14M/e1, example 6.2
History
- 2026-10-28: add by m2/v0.4.2
Popoviciu's inequality K5GWXCAYGX
| URI | m2://inv/K5GWXCAYGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#FLTK, Popoviciu's inequality (statement)
History
- 2026-11-02: add by m2/dev
K5GZ8ZV0ZF K5GZ8ZV0ZF
| URI | m2://inv/K5GZ8ZV0ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#JAYG (statement). In 43TBS9P2PX/e1, lemma 2.13
History
- 2026-10-28: add by m2/v0.4.2
Heinz-Dieter Ebbinghaus K5H6PTK1YZ
| URI | m2://inv/K5H6PTK1YZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinz-Dieter Ebbinghaus, Heinz-Dieter Ebbinghaus (topic). Also Wikidata Q96821
History
- 2026-11-02: add by m2/dev
K5H7BRJZS5 K5H7BRJZS5
| URI | m2://inv/K5H7BRJZS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#OXHQ (statement). In 9B5TNEBJHV/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
PLS K5HEFEJTV1
| URI | m2://inv/K5HEFEJTV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PLS (complexity), PLS (definition). Also Wikidata Q7119675
History
- 2026-11-02: add by m2/dev
Exactness of the Koszul complex K5HTF3CE72
| URI | m2://inv/K5HTF3CE72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#VSC7, Exactness of the Koszul complex (statement)
History
- 2026-11-01: add by m2/v0.6.15
K5HWNX3TWM K5HWNX3TWM
| URI | m2://inv/K5HWNX3TWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13271#MLIH (statement). In G8ZEBKZY8M/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Quasitruncation (geometry) K5J0BHAPQF
| URI | m2://inv/K5J0BHAPQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncation (geometry)#0VNF, Quasitruncation (geometry) (unknown)
History
- 2026-11-02: add by m2/dev
Joint Realization of a Local Profile K5J0XP9H2Q
| URI | m2://inv/K5J0XP9H2Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#LPLB, Joint Realization of a Local Profile (definition). In 7MVPNFPRKB/e1, definition 8.10
History
- 2026-10-30: add by m2/v0.4.12
K5J15H7XMZ K5J15H7XMZ
| URI | m2://inv/K5J15H7XMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#DN1J (definition)
History
- 2026-11-02: add by m2/v0.6.17
Tetradyakis hexahedron K5J2CN1DCS
| URI | m2://inv/K5J2CN1DCS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28001371, Tetradyakis hexahedron (object). Also MathWorld TetradyakisHexahedron
History
- 2026-10-26: add by m2/dev
Algorithmic bias K5J5EBV5PT
| URI | m2://inv/K5J5EBV5PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic bias, Algorithmic bias (definition). Also Wikidata Q45253460
History
- 2026-11-02: add by m2/dev
K5JB4HH9MP K5JB4HH9MP
| URI | m2://inv/K5JB4HH9MP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-quantifiers.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 8.9
History
- 2026-11-01: add by m2/v0.6.13
Heh K5JBR0C9ZK
| URI | m2://inv/K5JBR0C9ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heh (god), Heh (definition). Also Wikidata Q1126848
History
- 2026-11-02: add by m2/dev
K5JE01XES4 K5JE01XES4
| URI | m2://inv/K5JE01XES4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#QQQS (statement). In Y3X5XY2J65/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.2
linear arboricity K5JGG7Q1J2
| URI | m2://inv/K5JGG7Q1J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303647, linear arboricity (unknown). Also MathWorld LinearArboricity
- wikipedia: Wikipedia Linear arboricity, Linear arboricity (definition). Also Wikidata Q25303647
History
- 2026-10-26: add by m2/dev
K5JGKFS185 K5JGKFS185
| URI | m2://inv/K5JGKFS185 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19845#CNVE (statement). In A8Y7B1MD91/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
K5JR54EP0Q K5JR54EP0Q
| URI | m2://inv/K5JR54EP0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#UFI7 (statement). In CTVPA2FQT1/e1, lemma 8.2.2
History
- 2026-10-27: add by m2/v0.4.0
K5JZCXCR19 K5JZCXCR19
| URI | m2://inv/K5JZCXCR19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#EJUV (statement). In MG81A9XJTQ/e1, lemma VI.5
History
- 2026-10-29: add by m2/v0.4.10
Unipotent reduction K5K68HKAFQ
| URI | m2://inv/K5K68HKAFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#AG4Q, Unipotent reduction (statement). In H7DMRWBBJN/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
K5K73EH2M4 K5K73EH2M4
| URI | m2://inv/K5K73EH2M4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06755#LSLE (definition). In DKEX05SEXS/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Completeness of the history space K5K9HJ0C8K
| URI | m2://inv/K5K9HJ0C8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#1P4F, Completeness of the history space (statement). In PV4Z2FRXRZ/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
K5KF72MYDD K5KF72MYDD
| URI | m2://inv/K5KF72MYDD |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.20001#1S3Q (conjecture). In Y6YJSB93C3/e1, conjecture 15
History
- 2026-10-27: add by m2/v0.3.5
reverse mathematics K5KX14K5Y1
| URI | m2://inv/K5KX14K5Y1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Reverse mathematics 7SQS69T17R |
Mentions
- wikidata: Wikidata Q2005236, reverse mathematics (topic). Also nLab reverse mathematics
- wikipedia: Wikipedia Reverse mathematics, Reverse mathematics (topic). Also Wikidata Q2005236
History
- 2026-10-26: add by m2/dev
hearing the shape of a drum K5M2ZDH5R4
| URI | m2://inv/K5M2ZDH5R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hearing the shape of a drum X3VH8H1XV3 |
Mentions
- wikidata: Wikidata Q5691670, hearing the shape of a drum (problem). Also MathWorld IsospectralManifolds, nLab hearing the shape of a drum
- wikipedia: Wikipedia Hearing the shape of a drum, Hearing the shape of a drum (definition). Also Wikidata Q5691670
History
- 2026-10-26: add by m2/dev
Tutte's theorem K5M3Y7QFH3
| URI | m2://inv/K5M3Y7QFH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte's theorem on perfect matchings#E8G1, Tutte's theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications K5M4D5TGPP
| URI | m2://inv/K5M4D5TGPP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange multiplier#UO3R, Applications (example)
History
- 2026-11-02: add by m2/dev
permutation category K5M4HC4R0R
| URI | m2://inv/K5M4HC4R0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60792574, permutation category (unknown). Also nLab permutation category
- wikipedia: Wikipedia Permutation category, Permutation category (definition). Also Wikidata Q60792574
History
- 2026-10-26: add by m2/dev
K5M7KG8CSY K5M7KG8CSY
| URI | m2://inv/K5M7KG8CSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#HA0C (statement). In PWXT7J9JX3/e1, corollary 7.9
History
- 2026-10-28: add by m2/v0.4.2
Daniel Bump K5MAEGCFBR
| URI | m2://inv/K5MAEGCFBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Bump, Daniel Bump (topic). Also Wikidata Q15453046
History
- 2026-11-02: add by m2/dev
Hans Robert Müller K5MJCEPK3D
| URI | m2://inv/K5MJCEPK3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Robert Müller, Hans Robert Müller (topic). Also Wikidata Q17125965
History
- 2026-11-02: add by m2/dev
K5MNGNA6G5 K5MNGNA6G5
| URI | m2://inv/K5MNGNA6G5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02663#9NWS (statement). In PGAZ70WGMG/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.12
K5MPH76KCM K5MPH76KCM
| URI | m2://inv/K5MPH76KCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#4824 (statement). In Q4RZTN2EX6/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.4.2
Noether's theorem K5MQKN9G94
| URI | m2://inv/K5MQKN9G94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace–Runge–Lenz vector#2T44, Noether's theorem (statement)
History
- 2026-11-02: add by m2/dev
Quaternary K5MQXQHPBK
| URI | m2://inv/K5MQXQHPBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#QMBZ, Quaternary (definition)
History
- 2026-11-02: add by m2/dev
Universal homeomorphism K5N3RYWD57
| URI | m2://inv/K5N3RYWD57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal homeomorphism, Universal homeomorphism (definition). Also Wikidata Q48972036
History
- 2026-11-02: add by m2/dev
K5N9TFG6KE K5N9TFG6KE
| URI | m2://inv/K5N9TFG6KE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
probability theory K5NACBYN7W
| URI | m2://inv/K5NACBYN7W |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Probability theory 0RWE7CPJ32 |
Mentions
- wikidata: Wikidata Q5862903, probability theory (topic). Also nLab probability theory, ProofWiki Definition:Probability_Theory
- wikipedia: Wikipedia Probability theory, Probability theory (topic). Also Wikidata Q5862903
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Relation to the open mapping theorem K5NBJFHW6Z
| URI | m2://inv/K5NBJFHW6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem#YAXO, Relation to the open mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
K5NE65KPM4 K5NE65KPM4
| URI | m2://inv/K5NE65KPM4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-31 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
Differential geometry of curves K5NGPSEVX1
| URI | m2://inv/K5NGPSEVX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#B4W4, Differential geometry of curves (definition)
History
- 2026-11-02: add by m2/dev
mathematical game K5NJGC7BN6
| URI | m2://inv/K5NJGC7BN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1507104, mathematical game (unknown). Also MathWorld Game
- wikipedia: Wikipedia Mathematical game, Mathematical game (definition). Also Wikidata Q1507104
History
- 2026-10-26: add by m2/dev
graph K5NKAYCRFP
| URI | m2://inv/K5NKAYCRFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Graph 00C0BR7D7H |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Graph theory > simple graph, simple graph (unknown). Also Mathlib SimpleGraph
- wikidata: Wikidata Q141488, graph (unknown). Also EoM Graph, Mathlib SimpleGraph, MathWorld Graph
- wikipedia: Wikipedia Graph (discrete mathematics), Graph (definition). Also Wikidata Q141488
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Indian National Mathematical Olympiad K5NKM99933
| URI | m2://inv/K5NKM99933 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#ZJE5, Indian National Mathematical Olympiad (unknown)
History
- 2026-11-02: add by m2/dev
Wild-quadratic residual quotient K5NP9K4MKB
| URI | m2://inv/K5NP9K4MKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#LS6D, Wild-quadratic residual quotient (statement). In 5BZQS1KY9A/e1, proposition 9.21
History
- 2026-10-29: add by m2/v0.4.10
K5NSQPV8QX K5NSQPV8QX
| URI | m2://inv/K5NSQPV8QX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21359#20AE (statement)
History
- 2026-11-02: add by m2/v0.6.18
K5P1JTZPWS K5P1JTZPWS
| URI | m2://inv/K5P1JTZPWS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#VZIU (definition). In PA3B6C0WY7/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.10
surjunctive K5P3AGFT8R
| URI | m2://inv/K5P3AGFT8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6H7Z, surjunctive (definition)
History
- 2026-11-02: add by m2/dev
K5P5Z1BQMC K5P5Z1BQMC
| URI | m2://inv/K5P5Z1BQMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#UZ6U (statement). In QD0X3XJS6T/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
K5P7YR3SAR K5P7YR3SAR
| URI | m2://inv/K5P7YR3SAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16814#G1QC (statement). In MN03Z3PRFT/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
K5PCV4GHWN K5PCV4GHWN
| URI | m2://inv/K5PCV4GHWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03264#JDVY (statement). In 5TXRSPPTHP/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
Actual and potential infinity K5PEWH6VTK
| URI | m2://inv/K5PEWH6VTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actual and potential infinity, Actual and potential infinity (definition). Also Wikidata Q124425734
History
- 2026-11-02: add by m2/dev
K5PJS291M4 K5PJS291M4
| URI | m2://inv/K5PJS291M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#7QL3 (statement). In CJRBKR4JKT/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.10
Alberto González Domínguez K5PK07WBTM
| URI | m2://inv/K5PK07WBTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alberto González Domínguez, Alberto González Domínguez (topic). Also Wikidata Q3704796
History
- 2026-11-02: add by m2/dev
Quadric geometric algebra K5PK6DPCG1
| URI | m2://inv/K5PK6DPCG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#6DUV, Quadric geometric algebra (definition)
History
- 2026-11-02: add by m2/dev
Definitions K5PP17D2SS
| URI | m2://inv/K5PP17D2SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph homomorphism#HWNX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
K5Q0227429 K5Q0227429
| URI | m2://inv/K5Q0227429 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:no-higher-ac (statement). In N54F33XE07, lem, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
logical consequence K5Q4KGKET0
| URI | m2://inv/K5Q4KGKET0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5J0H, logical consequence (definition)
History
- 2026-11-02: add by m2/dev
K5QCGJX4BH K5QCGJX4BH
| URI | m2://inv/K5QCGJX4BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#I8NI (statement). In ESDKTYDHC8/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
parabola K5QFJ1ZD5T
| URI | m2://inv/K5QFJ1ZD5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Parabola 04S2GMHX82 |
Mentions
- wikidata: Wikidata Q48297, parabola (unknown). Also MathWorld Parabola
- wikipedia: Wikipedia Parabola, Parabola (definition). Also Wikidata Q48297
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties K5QM3XC0A2
| URI | m2://inv/K5QM3XC0A2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff space#1751, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cauchy K5QVHN94V5
| URI | m2://inv/K5QVHN94V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#P23R, Cauchy (definition)
History
- 2026-11-02: add by m2/dev
K5QYDQJVNB K5QYDQJVNB
| URI | m2://inv/K5QYDQJVNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#mv:prop:lin11onto (statement). In E59CDZA4DP, prop, section 11.1.3
History
- 2026-11-01: add by m2/v0.6.13
K5R5WM2WCS K5R5WM2WCS
| URI | m2://inv/K5R5WM2WCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#C6MP (statement). In 7CADATJMAA/e1, lemma D.1
History
- 2026-10-31: add by m2/v0.5.6
K5R5ZYBEA9 K5R5ZYBEA9
| URI | m2://inv/K5R5ZYBEA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22528#FTKO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Signed radial defect K5R6SMEZT6
| URI | m2://inv/K5R6SMEZT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20042#8TST, Signed radial defect (statement)
History
- 2026-11-02: add by m2/v0.6.18
Comparison triangle K5R7JNGRQT
| URI | m2://inv/K5R7JNGRQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison triangle, Comparison triangle (definition). Also Wikidata Q5156041
History
- 2026-11-02: add by m2/dev
Exact average-budget frontier K5RENGTWVJ
| URI | m2://inv/K5RENGTWVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08069#LGDA, Exact average-budget frontier (statement). In TVW9BTWJ3D/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.10
K5RF59BT65 K5RF59BT65
| URI | m2://inv/K5RF59BT65 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-3.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Comparison with the negative K\"ahler--Einstein metric K5RKYN8X2D
| URI | m2://inv/K5RKYN8X2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#17W7, Comparison with the negative K\"ahler--Einstein metric (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quadratic variation K5RMY92T43
| URI | m2://inv/K5RMY92T43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8WNH, Quadratic variation (definition)
History
- 2026-11-02: add by m2/dev
Bi-exactness K5RQ9ZSHWY
| URI | m2://inv/K5RQ9ZSHWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#CE32, Bi-exactness (statement). In MZ60NP20BH/e1, corollary 4.17
History
- 2026-10-27: add by m2/v0.4.0
Brown's representability theorem K5RXV5SE7V
| URI | m2://inv/K5RXV5SE7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#59VK, Brown's representability theorem (statement)
History
- 2026-11-02: add by m2/dev
COSIC K5S1QDQZ3G
| URI | m2://inv/K5S1QDQZ3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia COSIC, COSIC (definition). Also Wikidata Q5013503
History
- 2026-11-02: add by m2/dev
Theorem (Wehrung 2007) K5S1W5MMAH
| URI | m2://inv/K5S1W5MMAH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#OZ5F, Theorem (Wehrung 2007) (statement)
History
- 2026-11-02: add by m2/dev
orthogonal group K5SCJBHTYB
| URI | m2://inv/K5SCJBHTYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Orthogonal group 0TKYAEJ8N7 |
Mentions
- wikidata: Wikidata Q1783179, orthogonal group (definition). Also EoM Orthogonal_group, MathWorld OrthogonalGroup, nLab orthogonal group, ProofWiki Definition:Orthogonal_Group
- wikipedia: Wikipedia Orthogonal group, Orthogonal group (definition). Also Wikidata Q1783179
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Arakelyan K5SFH5TME5
| URI | m2://inv/K5SFH5TME5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#ZJ22, Arakelyan (statement). In 4RPXT0YCS5/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
K5SH6VKKXM K5SH6VKKXM
| URI | m2://inv/K5SH6VKKXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#TG20 (statement). In SD43497T8C/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.5
Roli's cube K5SJ8WWMKF
| URI | m2://inv/K5SJ8WWMKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiral polytope#CSVJ, Roli's cube (unknown)
History
- 2026-11-02: add by m2/dev
Measurable function K5SNMBYK40
| URI | m2://inv/K5SNMBYK40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#UZJW, Measurable function (definition)
- wikipedia: Wikipedia List of integration and measure theory topics#4P5B, Measurable function (definition)
History
- 2026-11-02: add by m2/dev
K5SZ5F7RCB K5SZ5F7RCB
| URI | m2://inv/K5SZ5F7RCB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24363#MM4W (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hosmer–Lemeshow test K5T0CV2XYE
| URI | m2://inv/K5T0CV2XYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hosmer–Lemeshow test, Hosmer–Lemeshow test (definition). Also Wikidata Q5908162
History
- 2026-11-02: add by m2/dev
Milü K5T8KCZX40
| URI | m2://inv/K5T8KCZX40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3858176, Milü (definition). Also ProofWiki Definition:Zu_Chongzhi_Fraction
- wikipedia: Wikipedia Milü, Milü (topic). Also Wikidata Q3858176
History
- 2026-10-26: add by m2/dev
George Anderson K5TJSJBXNA
| URI | m2://inv/K5TJSJBXNA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Anderson (mathematician), George Anderson (topic). Also Wikidata Q5536249
History
- 2026-11-02: add by m2/dev
Theory and Decision K5TKV1628P
| URI | m2://inv/K5TKV1628P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#MDR2, Theory and Decision (unknown)
History
- 2026-11-02: add by m2/dev
K5TV7DFA8H K5TV7DFA8H
| URI | m2://inv/K5TV7DFA8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#351T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harer stability K5TVKA39JZ
| URI | m2://inv/K5TVKA39JZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#2J46, Harer stability (statement). In DPJ15KW23C/e1, proposition 7.3
History
- 2026-10-30: add by m2/v0.4.12
K5TVVAM3PA K5TVVAM3PA
| URI | m2://inv/K5TVVAM3PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#Q6II (statement). In SN6F0MPPVF/e1, corollary 5.11
History
- 2026-10-28: add by m2/v0.4.2
Goldbach's conjecture K5TXPFSTNE
| URI | m2://inv/K5TXPFSTNE |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Goldbach's conjecture 063JNBSMJ0 |
Mentions
- wikidata: Wikidata Q485520, Goldbach's conjecture (problem). Also MathWorld GoldbachConjecture, ProofWiki Goldbach_Conjecture
- wikipedia: Wikipedia Goldbach's conjecture, Goldbach's conjecture (conjecture). Also Wikidata Q485520
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties K5V3TA6FTB
| URI | m2://inv/K5V3TA6FTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gδ set#K5YA, Properties (statement)
History
- 2026-11-02: add by m2/dev
connectives, not K5V59D390A
| URI | m2://inv/K5V59D390A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/connectives-not, connectives, not (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Examples K5V7TJNA6E
| URI | m2://inv/K5V7TJNA6E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence of squares#DAXR, Examples (example)
History
- 2026-11-02: add by m2/dev
K5VANJ0MAE K5VANJ0MAE
| URI | m2://inv/K5VANJ0MAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06310#6I6J (statement). In WR5S1V9V8J/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Experimental consequences of the theorem K5VDY11XKC
| URI | m2://inv/K5VDY11XKC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gurzadyan theorem#WGXT, Experimental consequences of the theorem (statement)
History
- 2026-11-02: add by m2/dev
rank of a system of linear equations K5VJ9ZNWZM
| URI | m2://inv/K5VJ9ZNWZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > rank of a system of linear equations, rank of a system of linear equations (unknown)
History
- 2026-10-26: add by m2/dev
K5VJBNW1KZ K5VJBNW1KZ
| URI | m2://inv/K5VJBNW1KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#TER4 (statement). In D0XH7W96T3/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Lie supergroup K5VMPVXQ1D
| URI | m2://inv/K5VMPVXQ1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supergroup (physics)#M6VK, Lie supergroup (unknown)
History
- 2026-11-02: add by m2/dev
K5VTA6GR3A K5VTA6GR3A
| URI | m2://inv/K5VTA6GR3A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#thm:cr (statement). In PKGMM3P5QY, thm, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
Formal definition K5W1HKMTPM
| URI | m2://inv/K5W1HKMTPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential type#JMI7, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
K5WDBDQWZ1 K5WDBDQWZ1
| URI | m2://inv/K5WDBDQWZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#ZXV5 (statement). In EHW82CK883/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Properties K5WHVJV7X8
| URI | m2://inv/K5WHVJV7X8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coequalizer#WPUB, Properties (statement)
History
- 2026-11-02: add by m2/dev
sfermion K5WKR0YDM4
| URI | m2://inv/K5WKR0YDM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2347008, sfermion (unknown). Also nLab sfermion
History
- 2026-10-26: add by m2/dev
Gray, Mary W. K5WMBKE64M
| URI | m2://inv/K5WMBKE64M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XRYO, Gray, Mary W. (topic)
History
- 2026-11-02: add by m2/dev
Abraham Seidenberg K5WQZD62FC
| URI | m2://inv/K5WQZD62FC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CGY8, Abraham Seidenberg (unknown)
History
- 2026-11-02: add by m2/dev
Christopher Hooley K5WTRPCQWJ
| URI | m2://inv/K5WTRPCQWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AHAS, Christopher Hooley (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LJ3S, Christopher Hooley (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RPWH, Christopher Hooley (topic)
History
- 2026-11-02: add by m2/dev
K5WZBNHMMH K5WZBNHMMH
| URI | m2://inv/K5WZBNHMMH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proof-2 (proof). In RZP28ERRZV, proof, section 95.2
History
- 2026-11-01: add by m2/v0.6.13
The silver endpoint K5X0J8Q1PF
| URI | m2://inv/K5X0J8Q1PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38993#DWUF, The silver endpoint (statement). In AFKQK866Y1/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Andreu Mas-Colell K5XD8M5JTQ
| URI | m2://inv/K5XD8M5JTQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andreu Mas-Colell, Andreu Mas-Colell (topic). Also Wikidata Q385512
History
- 2026-11-02: add by m2/dev
Similar triangle K5XKXQ5YFE
| URI | m2://inv/K5XKXQ5YFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity (geometry)#UW5Z, Similar triangle (unknown)
History
- 2026-11-02: add by m2/dev
K5XMM1JA28 K5XMM1JA28
| URI | m2://inv/K5XMM1JA28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#THFB (statement). In Y7TVAQE9PF/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.3.5
cylindrical projection K5XVEBM6NX
| URI | m2://inv/K5XVEBM6NX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2077983, cylindrical projection (unknown). Also MathWorld CylindricalProjection
History
- 2026-10-26: add by m2/dev
Paul Bernays K5XW7XK051
| URI | m2://inv/K5XW7XK051 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9DOE, Paul Bernays (topic)
History
- 2026-11-02: add by m2/dev
Nonuniqueness K5XWV5DF2M
| URI | m2://inv/K5XWV5DF2M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#1L2E, Nonuniqueness (example). In 8PZXZ8Y9FK/e1, example 4.10
History
- 2026-10-27: add by m2/v0.4.2
K5XXK4TC3A K5XXK4TC3A
| URI | m2://inv/K5XXK4TC3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10202#8GDZ (statement). In ER06JKXR8B/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Shell Bounds for the Kernel K5XZ2M6CPX
| URI | m2://inv/K5XZ2M6CPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#VUS6, Shell Bounds for the Kernel (statement). In QJ1G1HBC6C/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.2
Case fraction K5Y0WZTW0E
| URI | m2://inv/K5Y0WZTW0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraction#JEL4, Case fraction (unknown)
History
- 2026-11-02: add by m2/dev
K5Y440BFCE K5Y440BFCE
| URI | m2://inv/K5Y440BFCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#JHOS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Algorithm K5Y4WBGFRE
| URI | m2://inv/K5Y4WBGFRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate entropy#GI9E, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
K5YCQ7YZ4H K5YCQ7YZ4H
| URI | m2://inv/K5YCQ7YZ4H |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#K846 (problem). In FJ8XVQ6F0T/e1, problem 4.10
History
- 2026-10-27: add by m2/v0.4.0
Bridgeland--King--Reid K5YGJX801K
| URI | m2://inv/K5YGJX801K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#9LGT, Bridgeland--King--Reid (statement). In KJC9FRS3C2/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Local PL convergence and finite trajectory length with backtracking K5YHWAWQVW
| URI | m2://inv/K5YHWAWQVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06557#8DCI, Local PL convergence and finite trajectory length with backtracking (statement). In VV5CH6Y31D/e1, corollary B.5
History
- 2026-10-29: add by m2/v0.4.10
Colin P. Rourke K5YJTKJHEB
| URI | m2://inv/K5YJTKJHEB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MI3G, Colin P. Rourke (topic)
History
- 2026-11-02: add by m2/dev
Lee K5YPA7ZKVX
| URI | m2://inv/K5YPA7ZKVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17850#QRRN, Lee (statement). In WS5KWBEG5Q/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.0
Characterization K5YQVKZ6YM
| URI | m2://inv/K5YQVKZ6YM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew-merged permutation#HP52, Characterization (statement)
History
- 2026-11-02: add by m2/dev
K5YWHP4C2A K5YWHP4C2A
| URI | m2://inv/K5YWHP4C2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16225#BCKX (statement). In H3DJV9YQW1/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Sweet32 K5Z0V4WBB0
| URI | m2://inv/K5Z0V4WBB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple DES#X04S, Sweet32 (unknown)
History
- 2026-11-02: add by m2/dev
K5Z1Y7Q3C6 K5Z1Y7Q3C6
| URI | m2://inv/K5Z1Y7Q3C6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.02207#EO1L (problem). In 1T3ZYPQZF0/e1, problem 4.5
History
- 2026-10-27: add by m2/v0.3.6
disjoint disk property K5Z3X3V4FV
| URI | m2://inv/K5Z3X3V4FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#UO6Z, disjoint disk property (definition)
History
- 2026-11-02: add by m2/dev
Uniform finite-scale non-SoS test K5ZEWHZFVR
| URI | m2://inv/K5ZEWHZFVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#YSPZ, Uniform finite-scale non-SoS test (statement). In X407M6WFNR/e1, theorem D.1
History
- 2026-10-29: add by m2/v0.4.10