Inventory rows 4A
The cards of the rows of the inventory whose ids start with 4A. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
thermodynamic temperature 4A0CFE67Z4
| URI | m2://inv/4A0CFE67Z4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q264647, thermodynamic temperature (definition). Also ProofWiki Definition:Temperature/Absolute
- wikipedia: Wikipedia Thermodynamic temperature, Thermodynamic temperature (definition). Also Wikidata Q264647
History
- 2026-10-26: add by m2/dev
4A0K3HXZ0A 4A0K3HXZ0A
| URI | m2://inv/4A0K3HXZ0A |
|---|---|
| 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.21388#G81D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hotelling's T-squared distribution 4A0MYPBJHW
| URI | m2://inv/4A0MYPBJHW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hotelling's T-squared distribution XS9GETCZX2 |
Mentions
- wikidata: Wikidata Q1393230, Hotelling's T-squared distribution (concept). Also EoM Hotelling-T%5E2-distribution, MathWorld HotellingT-SquaredDistribution
- wikipedia: Wikipedia Hotelling's T-squared distribution, Hotelling's T-squared distribution (definition). Also Wikidata Q1393230
History
- 2026-10-26: add by m2/dev
4A0PB2DWCJ 4A0PB2DWCJ
| URI | m2://inv/4A0PB2DWCJ |
|---|---|
| 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 2609.35467#4VP5 (statement). In FK89DQ9J4S/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
The Martin–Harrington theorem 4A0Q98BHGN
| URI | m2://inv/4A0Q98BHGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lightface analytic game#1OHQ, The Martin–Harrington theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 4A0T04CMH1
| URI | m2://inv/4A0T04CMH1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint representation#IW6L, Examples (example)
History
- 2026-11-02: add by m2/dev
Method 4A0ZM3H7C1
| URI | m2://inv/4A0ZM3H7C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General number field sieve#XJ4W, Method (definition)
History
- 2026-11-02: add by m2/dev
4A14G15B81 4A14G15B81
| URI | m2://inv/4A14G15B81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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.15869#69K8 (statement). In 5VRP29WZEK/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
4A15QB8K42 4A15QB8K42
| URI | m2://inv/4A15QB8K42 |
|---|---|
| Kind | statement |
| 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 2110.11783#XAXT (statement). In X2YDBWNCBT/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Differentiable imaging 4A1DAKFPNS
| URI | m2://inv/4A1DAKFPNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable imaging, Differentiable imaging (definition). Also Wikidata Q136221385
History
- 2026-11-02: add by m2/dev
XploRe 4A1NVMZ7F8
| URI | m2://inv/4A1NVMZ7F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XploRe, XploRe (definition). Also Wikidata Q2598451
History
- 2026-11-02: add by m2/dev
Functional calculus 4A1PAKNH83
| URI | m2://inv/4A1PAKNH83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#GM2H, Functional calculus (definition)
History
- 2026-11-02: add by m2/dev
Properties 4A1R5J3VWY
| URI | m2://inv/4A1R5J3VWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Puig subgroup#IKRK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Integer stationary representatives 4A1REJN3ZS
| URI | m2://inv/4A1REJN3ZS |
|---|---|
| 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#H381, Integer stationary representatives (statement). In 5BZQS1KY9A/e1, lemma 9.7
History
- 2026-10-29: add by m2/v0.4.10
Examples 4A1S8F40YF
| URI | m2://inv/4A1S8F40YF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epigroup#ANGF, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 4A1SFD7N21
| URI | m2://inv/4A1SFD7N21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic#68EW, Definition (definition)
History
- 2026-11-02: add by m2/dev
4A1W1B8X1M 4A1W1B8X1M
| URI | m2://inv/4A1W1B8X1M |
|---|---|
| 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.01467#VUP7 (statement). In 10GZB25WAC/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.12
Deligne's completeness theorem 4A21CY68HW
| URI | m2://inv/4A21CY68HW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne's completeness theorem, Deligne's completeness theorem (statement). Also Wikidata Q139073053
History
- 2026-11-02: add by m2/dev
4A24HM8BBY 4A24HM8BBY
| URI | m2://inv/4A24HM8BBY |
|---|---|
| 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.03460#NXXT (statement). In 54HWP298DG/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.12
Xyzzy (mnemonic) 4A27MBJ3QR
| URI | m2://inv/4A27MBJ3QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross product#903S, Xyzzy (mnemonic) (unknown)
History
- 2026-11-02: add by m2/dev
4A2HZPZM65 4A2HZPZM65
| URI | m2://inv/4A2HZPZM65 |
|---|---|
| Kind | example |
| 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.36389#88UW (example). In N1S169J2MV/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
4A2QFAJQK8 4A2QFAJQK8
| URI | m2://inv/4A2QFAJQK8 |
|---|---|
| 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.36274#AGV1 (statement). In K6AKX423G5/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
4A34HP90ZT 4A34HP90ZT
| URI | m2://inv/4A34HP90ZT |
|---|---|
| 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 2503.01563#763H (statement). In H96Q47E9E1/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
4A38M2GWT3 4A38M2GWT3
| URI | m2://inv/4A38M2GWT3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
4A3KKF8VYQ 4A3KKF8VYQ
| URI | m2://inv/4A3KKF8VYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2401.13523#OSSM (statement). In DDA62XQTWW/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
4A3Q197MWB 4A3Q197MWB
| URI | m2://inv/4A3Q197MWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.13817#XFD1 (statement). In BMSAXTDV47/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
4A3YEHKQF1 4A3YEHKQF1
| URI | m2://inv/4A3YEHKQF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37778#VJ3G (statement). In V399QB419P/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Definition 4A464PJ0X2
| URI | m2://inv/4A464PJ0X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential geometry of surfaces#2BMU, Definition (definition)
History
- 2026-11-02: add by m2/dev
4A46YF1ACG 4A46YF1ACG
| URI | m2://inv/4A46YF1ACG |
|---|---|
| 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 2308.09645#6SSU (statement). In HVDSC1GQRD/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Definition 4A48HBX9WK
| URI | m2://inv/4A48HBX9WK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearly completely decomposable Markov chain#00I3, Definition (definition)
History
- 2026-11-02: add by m2/dev
approximate delta function 4A4C1JH02Z
| URI | m2://inv/4A4C1JH02Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.4/approximate-delta-function, approximate delta function (concept). In VNMV985MXX, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
The algorithm 4A4D7Y70QG
| URI | m2://inv/4A4D7Y70QG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SWIFFT#V1PF, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Constructions 4A4FCTZT28
| URI | m2://inv/4A4FCTZT28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#ID40, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Paolo Aluffi 4A4KD06706
| URI | m2://inv/4A4KD06706 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paolo Aluffi, Paolo Aluffi (topic). Also Wikidata Q60024632
History
- 2026-11-02: add by m2/dev
Divisor topology 4A4SD7FV3D
| URI | m2://inv/4A4SD7FV3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor topology, Divisor topology (definition). Also Wikidata Q5284646
History
- 2026-11-02: add by m2/dev
grade 4A51R9DV68
| URI | m2://inv/4A51R9DV68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#7GTE, grade (definition)
History
- 2026-11-02: add by m2/dev
4A544HZ511 4A544HZ511
| URI | m2://inv/4A544HZ511 |
|---|---|
| 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.14741#RG51 (statement). In RK1VPWWX9E/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Example 4A55X8X9HN
| URI | m2://inv/4A55X8X9HN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beurling algebra#DJCN, Example (example)
History
- 2026-11-02: add by m2/dev
Open problems 4A5617W5EV
| URI | m2://inv/4A5617W5EV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of the Lorentz group#NUMP, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Last-iterate convergence: strongly monotone case 4A57A41FJF
| URI | m2://inv/4A57A41FJF |
|---|---|
| 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.32981#JHTU, Last-iterate convergence: strongly monotone case (statement). In AXDF7YN2RW/e1, theorem 7.1
History
- 2026-10-31: add by m2/v0.5.6
4A58XXQHDA 4A58XXQHDA
| URI | m2://inv/4A58XXQHDA |
|---|---|
| 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.10093#A935 (statement). In NJDN112PFS/e1, proposition A.3
History
- 2026-10-29: add by m2/v0.4.10
4A5H7NGMW2 4A5H7NGMW2
| URI | m2://inv/4A5H7NGMW2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 10
History
- 2026-11-01: add by m2/v0.6.13
Michael Green 4A5MTC23XD
| URI | m2://inv/4A5MTC23XD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1345424, Michael Green (unknown). Also nLab Michael Green
History
- 2026-10-26: add by m2/dev
Geodesic log-convexity of the normalized covariance 4A5P6YQECF
| URI | m2://inv/4A5P6YQECF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#K05C, Geodesic log-convexity of the normalized covariance (statement). In AMRWRJDNKJ/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
4A5P9X2PE9 4A5P9X2PE9
| URI | m2://inv/4A5P9X2PE9 |
|---|---|
| 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 2208.14274#G1HM (statement). In 2FKE7JPQ76/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
4A5Q49TQWQ 4A5Q49TQWQ
| URI | m2://inv/4A5Q49TQWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 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.10860#TRFA (statement). In PBYNV2WF2H/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
Properties 4A5RB6XVYX
| URI | m2://inv/4A5RB6XVYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous linear operator#3OM2, Properties (statement)
History
- 2026-11-02: add by m2/dev
4A5RYN65K2 4A5RYN65K2
| URI | m2://inv/4A5RYN65K2 |
|---|---|
| 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.21914#XK90 (statement)
History
- 2026-11-02: add by m2/v0.6.17
4A5TD59J31 4A5TD59J31
| URI | m2://inv/4A5TD59J31 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.16381#IEX5 (definition). In 304QK565QF/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Hans Peter Schlickewei 4A5VECANA4
| URI | m2://inv/4A5VECANA4 |
|---|---|
| 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#40NZ, Hans Peter Schlickewei (topic)
History
- 2026-11-02: add by m2/dev
4A5WSSK4GG 4A5WSSK4GG
| URI | m2://inv/4A5WSSK4GG |
|---|---|
| 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.11487#ZTV4 (statement). In 8S0K3Y25HM/e1, lemma 11.2
History
- 2026-10-28: add by m2/v0.4.3
Nancy Reid 4A5YFX3YH4
| URI | m2://inv/4A5YFX3YH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#J2AW, Nancy Reid (unknown)
History
- 2026-11-02: add by m2/dev
Subnet 4A5YP1NWWR
| URI | m2://inv/4A5YP1NWWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subnet (mathematics), Subnet (definition). Also Wikidata Q7631721
History
- 2026-11-02: add by m2/dev
bipartite 4A63S7390P
| URI | m2://inv/4A63S7390P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#STHZ, bipartite (definition)
History
- 2026-11-02: add by m2/dev
Shifted Legendre polynomials 4A66VF39EB
| URI | m2://inv/4A66VF39EB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre polynomials#7V6F, Shifted Legendre polynomials (unknown)
History
- 2026-11-02: add by m2/dev
Blaise Pascal 4A6AHEE5AJ
| URI | m2://inv/4A6AHEE5AJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1290, Blaise Pascal (unknown). Also EoM Pascal,_Blaise, ProofWiki Mathematician:Blaise_Pascal
- wikipedia: Wikipedia Blaise Pascal, Blaise Pascal (topic). Also Wikidata Q1290
History
- 2026-10-26: add by m2/dev
Herbert von Denffer 4A6Y1XHP9T
| URI | m2://inv/4A6Y1XHP9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#3KHG, Herbert von Denffer (unknown)
History
- 2026-11-02: add by m2/dev
4A6Z7NJR11 4A6Z7NJR11
| URI | m2://inv/4A6Z7NJR11 |
|---|---|
| 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.13076#53O4 (statement). In K7GJA4WGV7/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
4A71JD8N40 4A71JD8N40
| URI | m2://inv/4A71JD8N40 |
|---|---|
| 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#FTJB (statement). In 9B5TNEBJHV/e1, lemma 1.4
History
- 2026-10-29: add by m2/v0.4.10
Local time 4A74X5KD16
| URI | m2://inv/4A74X5KD16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local time (mathematics), Local time (definition). Also Wikidata Q3883775
History
- 2026-11-02: add by m2/dev
4A7A67AKJQ 4A7A67AKJQ
| URI | m2://inv/4A7A67AKJQ |
|---|---|
| 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 2610.02481#WMBO (definition). In 5HACFNFY0P/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
4A7CTMA25B 4A7CTMA25B
| URI | m2://inv/4A7CTMA25B |
|---|---|
| Kind | definition |
| 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 1806.00752#2W6Y (definition). In GGW2N4JHXM/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Spike-and-slab RBM 4A7NSS5V5G
| URI | m2://inv/4A7NSS5V5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann machine#WHTU, Spike-and-slab RBM (unknown)
History
- 2026-11-02: add by m2/dev
CLRg property 4A7XMHTBYC
| URI | m2://inv/4A7XMHTBYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CLRg property, CLRg property (definition). Also Wikidata Q129261604
History
- 2026-11-02: add by m2/dev
Delta method 4A81SPV4EX
| URI | m2://inv/4A81SPV4EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta method, Delta method (definition). Also Wikidata Q1132714
History
- 2026-11-02: add by m2/dev
logic, constructive vs classical 4A84CKFSND
| URI | m2://inv/4A84CKFSND |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/logic-constructive-vs-classical, logic, constructive vs classical (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
4A8G0DC3EA 4A8G0DC3EA
| URI | m2://inv/4A8G0DC3EA |
|---|---|
| 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 2404.06445#F0BR (statement). In 12JKZ8EN52/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.3.5
A coordinate self-bound 4A8HRVBD7G
| URI | m2://inv/4A8HRVBD7G |
|---|---|
| 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.32558#ZGPW, A coordinate self-bound (statement). In SGQS629QNK/e1, lemma H.1
History
- 2026-10-31: add by m2/v0.5.6
4A8JSWT6RH 4A8JSWT6RH
| URI | m2://inv/4A8JSWT6RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.20306#UKAR (statement). In YG5EX49042/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.2
Anomalous Ward-Takahashi identities 4A8Q38G5DS
| URI | m2://inv/4A8Q38G5DS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ward–Takahashi identity#XOF1, Anomalous Ward-Takahashi identities (unknown)
History
- 2026-11-02: add by m2/dev
Examples 4A8WV16P24
| URI | m2://inv/4A8WV16P24 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curry–Howard correspondence#F57E, Examples (example)
History
- 2026-11-02: add by m2/dev
4A8XBRGCMX 4A8XBRGCMX
| URI | m2://inv/4A8XBRGCMX |
|---|---|
| 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 2610.08028#3YXG (definition). In Z19XDA8QY9/e1, definition 29
History
- 2026-10-29: add by m2/v0.4.10
Chronological continuity points 4A8XN79WTC
| URI | m2://inv/4A8XN79WTC |
|---|---|
| Kind | definition |
| 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#77DK, Chronological continuity points (definition). In KM3Q791JY0/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.2
4A8Y847DDQ 4A8Y847DDQ
| URI | m2://inv/4A8Y847DDQ |
|---|---|
| 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.20513#MASU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 4A935B18KK
| URI | m2://inv/4A935B18KK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal epistemology#3TQ0, Applications (example)
History
- 2026-11-02: add by m2/dev
Fisher market equilibria 4A95PNST8R
| URI | m2://inv/4A95PNST8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PPAD-complete problems#9NU2, Fisher market equilibria (definition)
History
- 2026-11-02: add by m2/dev
4A99RWR9XH 4A99RWR9XH
| URI | m2://inv/4A99RWR9XH |
|---|---|
| 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 2410.02139#SYMS (statement). In TJ1NTK3KJW/e1, corollary 17
History
- 2026-10-27: add by m2/v0.3.5
Free version of Klartag's log-Lichnerowicz inequality 4A9DF8KXSJ
| URI | m2://inv/4A9DF8KXSJ |
|---|---|
| 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#D8CO, Free version of Klartag's log-Lichnerowicz inequality (statement). In MZ60NP20BH/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.4.0
graph zeta amplification 4A9HJ9HQD9
| URI | m2://inv/4A9HJ9HQD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.17135#3OCH, graph zeta amplification (statement). In XX1J2REXY2/e1, theorem 2.14
History
- 2026-10-28: add by m2/v0.4.2
4A9XPS0ZQB 4A9XPS0ZQB
| URI | m2://inv/4A9XPS0ZQB |
|---|---|
| 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 2111.01197#5NNM (statement). In Z36XFKVTS0/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
4AA1KJ28ZN 4AA1KJ28ZN
| URI | m2://inv/4AA1KJ28ZN |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX, 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.10329#ENOM (problem). In SCSTR1Q1BW/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.10
4AA716EFAC 4AA716EFAC
| URI | m2://inv/4AA716EFAC |
|---|---|
| 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.24845#ZVYU (definition)
History
- 2026-11-01: add by m2/v0.6.15
4AAE49J3ZM 4AAE49J3ZM
| URI | m2://inv/4AAE49J3ZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 1705.01594#9KMX (statement). In BR3N3GSY2C/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
4AAN0GEJMY 4AAN0GEJMY
| URI | m2://inv/4AAN0GEJMY |
|---|---|
| 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 2405.05684#ZL8Q (statement). In 1PR73ECTZB/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
4AAPZ59WWS 4AAPZ59WWS
| URI | m2://inv/4AAPZ59WWS |
|---|---|
| Kind | problem |
| 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.11759#F6XN (problem). In MWNFP97KRS/e1, problem
History
- 2026-10-28: add by m2/v0.4.3
reducible 4AAXW2K3V1
| URI | m2://inv/4AAXW2K3V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#EOZU, reducible (definition)
History
- 2026-11-02: add by m2/dev
4AAZTFGGZ7 4AAZTFGGZ7
| URI | m2://inv/4AAZTFGGZ7 |
|---|---|
| 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 2609.24584#NXA8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ABA0495FN 4ABA0495FN
| URI | m2://inv/4ABA0495FN |
|---|---|
| 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.03384#KXIP (statement). In J55JTTKG84/e1, proposition 4.31
History
- 2026-10-29: add by m2/v0.4.12
Rhombohedron 4ABA8BDQQK
| URI | m2://inv/4ABA8BDQQK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#IRAS, Rhombohedron (object)
History
- 2026-11-02: add by m2/dev
4ABGG84Z3J 4ABGG84Z3J
| URI | m2://inv/4ABGG84Z3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#definition-8 (definition). In RZP28ERRZV, definition, section 97.5
History
- 2026-11-01: add by m2/v0.6.13
Examples 4ABN18FX9C
| URI | m2://inv/4ABN18FX9C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root algorithms#WCJ9, Examples (example)
History
- 2026-11-02: add by m2/dev
triad 4ABR6X19EG
| URI | m2://inv/4ABR6X19EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#NSJ7, triad (definition)
History
- 2026-11-02: add by m2/dev
Leonardo Fibonacci 4ABWNSCE4A
| URI | m2://inv/4ABWNSCE4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#WYFV, Leonardo Fibonacci (topic)
History
- 2026-11-02: add by m2/dev
Andries Brouwer 4ABXSSAW6K
| URI | m2://inv/4ABXSSAW6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SNFJ, Andries Brouwer (topic)
History
- 2026-11-02: add by m2/dev
4ABY3GP863 4ABY3GP863
| URI | m2://inv/4ABY3GP863 |
|---|---|
| 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.19288#Z0J0 (statement). In 1EA6AM9V01/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
4AC3QQ4211 4AC3QQ4211
| URI | m2://inv/4AC3QQ4211 |
|---|---|
| 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.24578#NFFR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-identifiability of descending manifolds from persistence 4AC98WXYAM
| URI | m2://inv/4AC98WXYAM |
|---|---|
| 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.01937#5OMD, Non-identifiability of descending manifolds from persistence (statement). In BAEDMM7YM5/e1, proposition 48
History
- 2026-10-29: add by m2/v0.4.12
Gieseking manifold 4ACGS996YN
| URI | m2://inv/4ACGS996YN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gieseking manifold, Gieseking manifold (definition). Also Wikidata Q5559823
History
- 2026-11-02: add by m2/dev
4ACP4E0117 4ACP4E0117
| URI | m2://inv/4ACP4E0117 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
Feferman–Schütte ordinal 4ACR89R0A0
| URI | m2://inv/4ACR89R0A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FM9X, Feferman–Schütte ordinal (definition)
History
- 2026-11-02: add by m2/dev
Angular complement 4ACRKE7K32
| URI | m2://inv/4ACRKE7K32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angle#7GLB, Angular complement (unknown)
History
- 2026-11-02: add by m2/dev
Increment theorem 4AD75RXC4W
| URI | m2://inv/4AD75RXC4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6015420, Increment theorem (statement). Also Wikidata Q6015420
- thousand_plus: thousand_plus Q6015420, Increment theorem (statement). Also Wikidata Q6015420, Wikipedia Increment theorem
- wikipedia: Wikipedia Increment theorem, Increment theorem (statement). Also Wikidata Q6015420
History
- 2026-10-26: add by m2/dev
Ward Whitt 4AD9NSX5AK
| URI | m2://inv/4AD9NSX5AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#BU8I, Ward Whitt (unknown)
History
- 2026-11-02: add by m2/dev
Boltzmann Fair Division 4AD9TBVHBD
| URI | m2://inv/4AD9TBVHBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann Fair Division, Boltzmann Fair Division (definition). Also Wikidata Q134513840
History
- 2026-11-02: add by m2/dev
4ADBADPJWG 4ADBADPJWG
| URI | m2://inv/4ADBADPJWG |
|---|---|
| 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 2609.29824#WXPT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Calkin algebra 4ADBS7HXK8
| URI | m2://inv/4ADBS7HXK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Calkin algebra 6FE7JZ2VF1 |
Mentions
- wikidata: Wikidata Q1027067, Calkin algebra (unknown). Also nLab Calkin algebra
- wikipedia: Wikipedia Calkin algebra, Calkin algebra (definition). Also Wikidata Q1027067
History
- 2026-10-26: add by m2/dev
4ADC9BEKPF 4ADC9BEKPF
| URI | m2://inv/4ADC9BEKPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfinitudeOfPrimes.tex#thm:plus1 (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
Examples 4ADCEESZZD
| URI | m2://inv/4ADCEESZZD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian matrix#FLWA, Examples (example)
History
- 2026-11-02: add by m2/dev
4ADGME6Z8J 4ADGME6Z8J
| URI | m2://inv/4ADGME6Z8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2205.13464#7MZ9 (statement). In JPYGC2R3FC/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.3.6
splitting field 4ADP58KGT0
| URI | m2://inv/4ADP58KGT0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Splitting field 0KXQKX9P63 |
Mentions
- wikidata: Wikidata Q1996100, splitting field (unknown). Also EoM Splitting_field_of_a_polynomial, MathWorld SplittingField, nLab splitting field
- wikipedia: Wikipedia Splitting field, Splitting field (topic). Also Wikidata Q1996100
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Theorem 4ADZQYKFM9
| URI | m2://inv/4ADZQYKFM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#4DAQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Basic properties 4AE5D0RR26
| URI | m2://inv/4AE5D0RR26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer algebra#69UG, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
4AE6XS2G3Y 4AE6XS2G3Y
| URI | m2://inv/4AE6XS2G3Y |
|---|---|
| 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.37897#ZVXN (statement). In RBQ5FNCVNZ/e1, corollary 8.4
History
- 2026-10-30: add by m2/v0.4.12
Error bar 4AE8CMB3F7
| URI | m2://inv/4AE8CMB3F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error bar, Error bar (definition). Also Wikidata Q452399
History
- 2026-11-02: add by m2/dev
4AEG80DXB5 4AEG80DXB5
| URI | m2://inv/4AEG80DXB5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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.36321#NG6A (definition). In 3KTZ6Z615H/e1, definition 5.6
History
- 2026-10-30: add by m2/v0.4.12
Definition 4AEHNYD8YS
| URI | m2://inv/4AEHNYD8YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher information#6WBB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Variants 4AEHXTMRJ6
| URI | m2://inv/4AEHXTMRJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese postman problem#VURQ, Variants (statement)
History
- 2026-11-02: add by m2/dev
Yoav Benjamini 4AEJ5E70HQ
| URI | m2://inv/4AEJ5E70HQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoav Benjamini, Yoav Benjamini (topic). Also Wikidata Q8054200
History
- 2026-11-02: add by m2/dev
The Markov property for It\^o sheets 4AENHJTZ68
| URI | m2://inv/4AENHJTZ68 |
|---|---|
| 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.37805#R0P0, The Markov property for It\^o sheets (statement). In 9ABCBQEHZ9/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
4AEQ4ZKP1N 4AEQ4ZKP1N
| URI | m2://inv/4AEQ4ZKP1N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#ex-1 (example). In PKGMM3P5QY, ex, section 37.8
History
- 2026-11-01: add by m2/v0.6.13
4AERAM4BD5 4AERAM4BD5
| URI | m2://inv/4AERAM4BD5 |
|---|---|
| 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 2603.21971#PFNS (statement). In R6KSZ9H8CY/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
4AEV2N6JBA 4AEV2N6JBA
| URI | m2://inv/4AEV2N6JBA |
|---|---|
| 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.04876#AEHY (statement). In 2TNAKVC0YP/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
Nepal Mathematical Society 4AEX38B0VT
| URI | m2://inv/4AEX38B0VT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#B8ZF, Nepal Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
4AF42JFAQZ 4AF42JFAQZ
| URI | m2://inv/4AF42JFAQZ |
|---|---|
| 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#9IA0 (statement). In 9B5TNEBJHV/e1, lemma 3.19
History
- 2026-10-29: add by m2/v0.4.10
4AF49N8ART 4AF49N8ART
| URI | m2://inv/4AF49N8ART |
|---|---|
| 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.30525#A016 (statement). In CHEZQEACQG/e1, corollary 8.2
History
- 2026-10-31: add by m2/v0.5.6
4AF4DCW5Z9 4AF4DCW5Z9
| URI | m2://inv/4AF4DCW5Z9 |
|---|---|
| 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.06868#0S4S (statement). In TV73V5E7JV/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
4AF4P14WC2 4AF4P14WC2
| URI | m2://inv/4AF4P14WC2 |
|---|---|
| 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.07790#RNLY (statement). In A5YJDDM0NX/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
4AF587FZNC 4AF587FZNC
| URI | m2://inv/4AF587FZNC |
|---|---|
| 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 2208.04502#3DNS (statement). In BT6E9BXXF3/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Constructions 4AF7RSEE2H
| URI | m2://inv/4AF7RSEE2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub 24-cell#EVCT, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Jacobsthal number 4AFBV51NVV
| URI | m2://inv/4AFBV51NVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6119828, Jacobsthal number (object). Also MathWorld JacobsthalNumber, OEIS A001045
- wikipedia: Wikipedia Jacobsthal number, Jacobsthal number (definition). Also Wikidata Q6119828
History
- 2026-10-26: add by m2/dev
4AFCZEHP6J 4AFCZEHP6J
| URI | m2://inv/4AFCZEHP6J |
|---|---|
| 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.28597#YQJ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4AFFP06HR6 4AFFP06HR6
| URI | m2://inv/4AFFP06HR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.36321#JY9X (statement). In 3KTZ6Z615H/e1, theorem 5.11
History
- 2026-10-30: add by m2/v0.4.12
4AFNMQD8FV 4AFNMQD8FV
| URI | m2://inv/4AFNMQD8FV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-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 math/0406514#FYJ3 (statement). In CY1FE8W1ZW/e1, lemma 0.225
History
- 2026-10-27: add by m2/v0.3.5
4AFRHC1P49 4AFRHC1P49
| URI | m2://inv/4AFRHC1P49 |
|---|---|
| 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 2207.11097#11UW (statement). In 13H5BTAXHF/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
Toy theorem 4AFWXBTWFZ
| URI | m2://inv/4AFWXBTWFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toy theorem, Toy theorem (statement). Also Wikidata Q7830555
History
- 2026-11-02: add by m2/dev
Shparlinski, 2019 4AFXFBARQF
| URI | m2://inv/4AFXFBARQF |
|---|---|
| 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.35950#3PQX, Shparlinski, 2019 (statement). In BZN1G5W5FX/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
4AG6MAF72B 4AG6MAF72B
| URI | m2://inv/4AG6MAF72B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-4 (proof). In N54F33XE07, proof, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Example 4AG78ZDRVE
| URI | m2://inv/4AG78ZDRVE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonstandard finite difference scheme#LGOT, Example (example)
History
- 2026-11-02: add by m2/dev
Burrows–Abadi–Needham logic 4AGDGNXKS9
| URI | m2://inv/4AGDGNXKS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#CCQV, Burrows–Abadi–Needham logic (definition)
History
- 2026-11-02: add by m2/dev
4AGG8JPT84 4AGG8JPT84
| URI | m2://inv/4AGG8JPT84 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 36.3
History
- 2026-11-01: add by m2/v0.6.13
Britannia Prima 4AGHGATWV9
| URI | m2://inv/4AGHGATWV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#K605, Britannia Prima (unknown)
History
- 2026-11-02: add by m2/dev
Fort space 4AGM1DPF2A
| URI | m2://inv/4AGM1DPF2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#DYWB, Fort space (definition)
History
- 2026-11-02: add by m2/dev
4AGNTHWEGA 4AGNTHWEGA
| URI | m2://inv/4AGNTHWEGA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_multinom.ptx#exa_strings_multinom (example). In QKM9DD2H56, example, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
4AH13F78V8 4AH13F78V8
| URI | m2://inv/4AH13F78V8 |
|---|---|
| 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.27114#IYGP (statement)
History
- 2026-11-01: add by m2/v0.6.15
4AHKEMA0VX 4AHKEMA0VX
| URI | m2://inv/4AHKEMA0VX |
|---|---|
| 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.17691#68KN (statement). In AT8VD3XB8M/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Harmonic morphism 4AHNRF1X6B
| URI | m2://inv/4AHNRF1X6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic morphism, Harmonic morphism (definition). Also Wikidata Q24068880
History
- 2026-11-02: add by m2/dev
Joseph Arkin 4AHNX29XRS
| URI | m2://inv/4AHNX29XRS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Arkin, Joseph Arkin (topic). Also Wikidata Q13405730
History
- 2026-11-02: add by m2/dev
Sharp six exponentials theorem 4AHW896232
| URI | m2://inv/4AHW896232 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Six exponentials theorem#RMEE, Sharp six exponentials theorem (statement)
History
- 2026-11-02: add by m2/dev
No hidden subset joint-extreme cone under interior support 4AHXXSF785
| URI | m2://inv/4AHXXSF785 |
|---|---|
| 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 2609.29658#INAG, No hidden subset joint-extreme cone under interior support (statement)
History
- 2026-11-01: add by m2/v0.6.15
Threshold criterion 4AJ2K37CBD
| URI | m2://inv/4AJ2K37CBD |
|---|---|
| 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 2609.39700#5Z6J, Threshold criterion (statement). In E7W2HDNEKJ/e1, lemma 7.32
History
- 2026-10-30: add by m2/v0.4.12
Pavel Etingof 4AJ44MN5S6
| URI | m2://inv/4AJ44MN5S6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2064571, Pavel Etingof (unknown). Also nLab Pavel Etingof
- wikipedia: Wikipedia Pavel Etingof, Pavel Etingof (topic). Also Wikidata Q2064571
History
- 2026-10-26: add by m2/dev
Wei Zhang 4AJ6Q7NJ0G
| URI | m2://inv/4AJ6Q7NJ0G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#S3UR, Wei Zhang (topic)
History
- 2026-11-02: add by m2/dev
4AJ8B5SZCW 4AJ8B5SZCW
| URI | m2://inv/4AJ8B5SZCW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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.25168#GJN5 (example)
History
- 2026-11-01: add by m2/v0.6.15
Variance of the compensator 4AJFGQ4K9N
| URI | m2://inv/4AJFGQ4K9N |
|---|---|
| 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.17479#TEI7, Variance of the compensator (statement). In 4FWAY748N7/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
4AJNF3FQD4 4AJNF3FQD4
| URI | m2://inv/4AJNF3FQD4 |
|---|---|
| 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.23238#QZ2Z (definition)
History
- 2026-11-02: add by m2/v0.6.17
Definition 4AJW5SDZKA
| URI | m2://inv/4AJW5SDZKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental class#NAX8, Definition (definition)
History
- 2026-11-02: add by m2/dev
4AJXZM8N0M 4AJXZM8N0M
| URI | m2://inv/4AJXZM8N0M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21034#B4XW (definition)
History
- 2026-11-02: add by m2/v0.6.18
The $n$ embeddings of any separable extension 4AK3Z7Y7MH
| URI | m2://inv/4AK3Z7Y7MH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#theorem-4, The $n$ embeddings of any separable extension (statement). In RZP28ERRZV, theorem, section 14.4
History
- 2026-11-01: add by m2/v0.6.13
solvable Lie algebra 4AK5Z459VN
| URI | m2://inv/4AK5Z459VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7558992, solvable Lie algebra (unknown). Also MathWorld SolvableLieAlgebra
- wikipedia: Wikipedia Solvable Lie algebra, Solvable Lie algebra (definition). Also Wikidata Q7558992
History
- 2026-10-26: add by m2/dev
4AK76DKKGC 4AK76DKKGC
| URI | m2://inv/4AK76DKKGC |
|---|---|
| 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.03222#R7PS (definition). In BB0JGNK4YF/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
algorithmic information theory 4AK8XXHBHP
| URI | m2://inv/4AK8XXHBHP |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 68Q30 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1757543, algorithmic information theory (topic)
History
- 2026-10-26: add by m2/dev
4AK9CN6SAR 4AK9CN6SAR
| URI | m2://inv/4AK9CN6SAR |
|---|---|
| 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 2609.37706#L1OS (statement). In 6YY27KRJFN/e1, lemma 2.31
History
- 2026-10-30: add by m2/v0.4.12
Example 4AKGNNBCNA
| URI | m2://inv/4AKGNNBCNA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand pair#U65I, Example (example)
History
- 2026-11-02: add by m2/dev
Circular mean 4AKGVZCJKG
| URI | m2://inv/4AKGVZCJKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular mean, Circular mean (definition). Also Wikidata Q6803634
History
- 2026-11-02: add by m2/dev
Definition 4AKHZHHEJG
| URI | m2://inv/4AKHZHHEJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular form#FI9F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example 4AKV6819EH
| URI | m2://inv/4AKV6819EH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive estimator#SCCR, Example (example)
History
- 2026-11-02: add by m2/dev
Statement of the theorem 4AM0S37ZKV
| URI | m2://inv/4AM0S37ZKV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindelöf's theorem#Y1MD, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
normal space 4AM4HTGHQ3
| URI | m2://inv/4AM4HTGHQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Normal space 0AJ646N339 |
Mentions
- wikidata: Wikidata Q1071795, normal space (definition). Also MathWorld NormalSpace, nLab normal space, ProofWiki Definition:T4_Space
- wikipedia: Wikipedia Normal space, Normal space (definition). Also Wikidata Q1071795
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Mallows's Cp 4AMDJ1Z6EH
| URI | m2://inv/4AMDJ1Z6EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#STB3, Mallows's Cp (definition)
History
- 2026-11-02: add by m2/dev
5778 4AMDZF9QHY
| URI | m2://inv/4AMDZF9QHY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19247891, 5778 (statement). Also ProofWiki 5778
History
- 2026-10-26: add by m2/dev
4AMF05QSNY 4AMF05QSNY
| URI | m2://inv/4AMF05QSNY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#example-3 (example). In RZP28ERRZV, example, section 24.2.2
History
- 2026-11-01: add by m2/v0.6.13
The ceiling binds the error 4AMHB7R36Q
| URI | m2://inv/4AMHB7R36Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 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.27765#GY94, The ceiling binds the error (statement)
History
- 2026-11-01: add by m2/v0.6.15
4AN0HWFSK6 4AN0HWFSK6
| URI | m2://inv/4AN0HWFSK6 |
|---|---|
| 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.17677#NUX4 (statement). In 5E9G06XJKC/e1, lemma F.24
History
- 2026-10-28: add by m2/v0.4.2
4AN3S3H62X 4AN3S3H62X
| URI | m2://inv/4AN3S3H62X |
|---|---|
| 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.23685#D9UU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement 4AN5AF3E31
| URI | m2://inv/4AN5AF3E31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's theorem (quadrilateral)#FQRA, Statement (statement)
History
- 2026-11-02: add by m2/dev
Definitions 4AN7RJKWJH
| URI | m2://inv/4AN7RJKWJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Struve function#HDHG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
4AN9ZRFMSY 4AN9ZRFMSY
| URI | m2://inv/4AN9ZRFMSY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-1.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
4ANF70TCPR 4ANF70TCPR
| URI | m2://inv/4ANF70TCPR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX, 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.07695#VYWA (example). In 8Z47D12KSX/e1, example 4.12
History
- 2026-10-29: add by m2/v0.4.10
4ANGHH88EB 4ANGHH88EB
| URI | m2://inv/4ANGHH88EB |
|---|---|
| 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#CVDX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties 4ANGKB8ME1
| URI | m2://inv/4ANGKB8ME1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral chi-squared distribution#EEMM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ackermann 4ANGWPCX71
| URI | m2://inv/4ANGWPCX71 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#L2HM, Ackermann (topic)
History
- 2026-11-02: add by m2/dev
Price of anarchy 4ANRQ1C2VA
| URI | m2://inv/4ANRQ1C2VA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price of anarchy, Price of anarchy (definition). Also Wikidata Q7242623
History
- 2026-11-02: add by m2/dev
4ANSSGGR1C 4ANSSGGR1C
| URI | m2://inv/4ANSSGGR1C |
|---|---|
| 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 2609.28195#HK8D (statement)
History
- 2026-11-01: add by m2/v0.6.15
4AP3WR0GD3 4AP3WR0GD3
| URI | m2://inv/4AP3WR0GD3 |
|---|---|
| Kind | example |
| 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.07673#FUY7 (example). In 37B1MPV8GX/e1, example 5.6
History
- 2026-10-29: add by m2/v0.4.10
4APAYETMWA 4APAYETMWA
| URI | m2://inv/4APAYETMWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.14380#DV5J (statement). In 2ZRQP063HP/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Moral nihilism 4APC2ZP4F3
| URI | m2://inv/4APC2ZP4F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moral nihilism, Moral nihilism (definition). Also Wikidata Q12835757
History
- 2026-11-02: add by m2/dev
4APD7VPYSD 4APD7VPYSD
| URI | m2://inv/4APD7VPYSD |
|---|---|
| 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.32077#QL54 (statement). In WYXQDSQR9B/e1, lemma 3.10
History
- 2026-10-31: add by m2/v0.5.6
4APSD1NCP9 4APSD1NCP9
| URI | m2://inv/4APSD1NCP9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Henry's law 4AQ2EGQX05
| URI | m2://inv/4AQ2EGQX05 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry's law, Henry's law (statement). Also Wikidata Q285804
History
- 2026-11-02: add by m2/dev
Fundamental Theorem of Markov Chains 4AQ7FK5V6P
| URI | m2://inv/4AQ7FK5V6P |
|---|---|
| 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.23994#TGO4, Fundamental Theorem of Markov Chains (statement)
History
- 2026-11-02: add by m2/v0.6.17
Existence of QOT barycenters 4AQ915N2HZ
| URI | m2://inv/4AQ915N2HZ |
|---|---|
| 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.01855#0048, Existence of QOT barycenters (statement). In MM8P5CJR18/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Open mapping theorem 4AQ9RGS2C8
| URI | m2://inv/4AQ9RGS2C8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#F7OD, Open mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
Informal, GD in river-valley landscape (improved version of Theorem 3.3 4AQA02N43Y
| URI | m2://inv/4AQA02N43Y |
|---|---|
| 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.30957#35HE, Informal, GD in river-valley landscape (improved version of Theorem 3.3 (statement). In P5YB6R0RK3/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Main theorems 4AQY9JQRZQ
| URI | m2://inv/4AQY9JQRZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propensity score matching#28MW, Main theorems (statement)
History
- 2026-11-02: add by m2/dev
4AR5QDGPCD 4AR5QDGPCD
| URI | m2://inv/4AR5QDGPCD |
|---|---|
| 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 2608.00864#RN36 (statement). In PRF0P3D637/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.5
Concavity 4AR9V5XPJ2
| URI | m2://inv/4AR9V5XPJ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second derivative#1CEW, Concavity (unknown)
History
- 2026-11-02: add by m2/dev
4ARF017KM3 4ARF017KM3
| URI | m2://inv/4ARF017KM3 |
|---|---|
| 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.29152#P7KW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Distribution of the product of two random variables 4ARF2VZSDX
| URI | m2://inv/4ARF2VZSDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution of the product of two random variables, Distribution of the product of two random variables (definition). Also Wikidata Q7247759
History
- 2026-11-02: add by m2/dev
Applications 4ARGPX6AXJ
| URI | m2://inv/4ARGPX6AXJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network simplex algorithm#OH42, Applications (example)
History
- 2026-11-02: add by m2/dev
4ARHWVW1GX 4ARHWVW1GX
| URI | m2://inv/4ARHWVW1GX |
|---|---|
| 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.03341#684D (statement). In 3G1H5ASBVE/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.12
Comparison 4ARJKWGRTT
| URI | m2://inv/4ARJKWGRTT |
|---|---|
| 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.00337#H9TH, Comparison (statement). In 5STQ3ABZ60/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
4ARVTAX4SH 4ARVTAX4SH
| URI | m2://inv/4ARVTAX4SH |
|---|---|
| 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 2610.05582#3HMN (statement). In 9X4TANWWWR/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Discovery of the lemma 4AS4MF40S4
| URI | m2://inv/4AS4MF40S4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman–Pearson lemma#LN1A, Discovery of the lemma (statement)
History
- 2026-11-02: add by m2/dev
CSplash 4AS9WJH8W3
| URI | m2://inv/4AS9WJH8W3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant Institute School of Mathematics, Computing, and Data Science#UKPX, CSplash (unknown)
History
- 2026-11-02: add by m2/dev
4ASAGVD0EZ 4ASAGVD0EZ
| URI | m2://inv/4ASAGVD0EZ |
|---|---|
| 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.26600#LKB1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Farey sunburst 4ASFFTS9T3
| URI | m2://inv/4ASFFTS9T3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farey sequence#6LBM, Farey sunburst (unknown)
History
- 2026-11-02: add by m2/dev
Daya-Nand Verma 4ASG8B6JBW
| URI | m2://inv/4ASG8B6JBW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daya-Nand Verma, Daya-Nand Verma (topic). Also Wikidata Q4014684
History
- 2026-11-02: add by m2/dev
4ASH9S8CAF 4ASH9S8CAF
| URI | m2://inv/4ASH9S8CAF |
|---|---|
| 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.14838#1OAN (statement). In J7ZX3WWRQP/e1, corollary 3.13
History
- 2026-10-28: add by m2/v0.4.2
4ASK106TRF 4ASK106TRF
| URI | m2://inv/4ASK106TRF |
|---|---|
| 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.13877#7WD4 (statement). In NBMA6DBKJG/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Example 4ASK8BYKB7
| URI | m2://inv/4ASK8BYKB7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiparametric model#GP0S, Example (example)
History
- 2026-11-02: add by m2/dev
Giuseppe Lauricella 4ASZDNXGF4
| URI | m2://inv/4ASZDNXGF4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Lauricella, Giuseppe Lauricella (topic). Also Wikidata Q2281823
History
- 2026-11-02: add by m2/dev
Seven-dimensional space 4AT4VSCG1V
| URI | m2://inv/4AT4VSCG1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seven-dimensional space, Seven-dimensional space (definition). Also Wikidata Q2070474
History
- 2026-11-02: add by m2/dev
Picture 4AT54BHEFJ
| URI | m2://inv/4AT54BHEFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picture (mathematics), Picture (definition). Also Wikidata Q7191143
History
- 2026-11-02: add by m2/dev
4AT5ZM6853 4AT5ZM6853
| URI | m2://inv/4AT5ZM6853 |
|---|---|
| Kind | example |
| 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.24845#U4HN (example)
History
- 2026-11-01: add by m2/v0.6.15
4ATB1CEGMB 4ATB1CEGMB
| URI | m2://inv/4ATB1CEGMB |
|---|---|
| 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 2610.08655#WMOR (statement). In ZT7H1ZDN96/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
4ATEBTVAD0 4ATEBTVAD0
| URI | m2://inv/4ATEBTVAD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-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.27886#9N15 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ATNXPXKVE 4ATNXPXKVE
| URI | m2://inv/4ATNXPXKVE |
|---|---|
| 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.26600#5YH7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ATRGEADCS 4ATRGEADCS
| URI | m2://inv/4ATRGEADCS |
|---|---|
| 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.21533#I2BC (statement). In N3Z6JFEPCF/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.4.2
Liouville's theorems 4ATSAY5ZE9
| URI | m2://inv/4ATSAY5ZE9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic function#EHYA, Liouville's theorems (statement)
History
- 2026-11-02: add by m2/dev
4AV18WYSBY 4AV18WYSBY
| URI | m2://inv/4AV18WYSBY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.39317#CPM1 (example). In QM1T8JDK4A/e1, example 5.14
History
- 2026-10-30: add by m2/v0.4.12
Soliton distribution 4AVA8PNR3Y
| URI | m2://inv/4AVA8PNR3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#2ABW, Soliton distribution (definition)
History
- 2026-11-02: add by m2/dev
4AVDXEZ25P 4AVDXEZ25P
| URI | m2://inv/4AVDXEZ25P |
|---|---|
| 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 2610.10736#YPKE (statement). In NCYKB4QG5P/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.3
Olav V Land 4AVJFRMRGD
| URI | m2://inv/4AVJFRMRGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CMJF, Olav V Land (unknown)
History
- 2026-11-02: add by m2/dev
First moment of area 4AVSSRC2T4
| URI | m2://inv/4AVSSRC2T4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First moment of area, First moment of area (definition). Also Wikidata Q920601
History
- 2026-11-02: add by m2/dev
4AVYXEHJZW 4AVYXEHJZW
| URI | m2://inv/4AVYXEHJZW |
|---|---|
| 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 2610.19088#LUVJ (statement). In 90QTB4CC31/e1, lemma 3.24
History
- 2026-10-28: add by m2/v0.4.2
4AW1SKT477 4AW1SKT477
| URI | m2://inv/4AW1SKT477 |
|---|---|
| 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.08935#O4G4 (statement). In G02N9D40B9/e1, proposition 4.4.1
History
- 2026-10-29: add by m2/v0.4.10
4AWBXPWPH7 4AWBXPWPH7
| URI | m2://inv/4AWBXPWPH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#D0Q2 (statement). In GXHKRV5BPY/e1, corollary A.2
History
- 2026-10-29: add by m2/v0.4.10
4AWCJVDYFK 4AWCJVDYFK
| URI | m2://inv/4AWCJVDYFK |
|---|---|
| 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.05722#OFVL (statement). In NDKWV5J14V/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Hong Young 4AWJ3CQQDH
| URI | m2://inv/4AWJ3CQQDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fort Meade#0U5D, Hong Young (unknown)
History
- 2026-11-02: add by m2/dev
Gregorian year 4AWMCFVZ7P
| URI | m2://inv/4AWMCFVZ7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39628023, Gregorian year (definition). Also ProofWiki Definition:Calendar/Gregorian/Year
History
- 2026-10-26: add by m2/dev
Ibn al-Durayhim 4AWQ5TQRFN
| URI | m2://inv/4AWQ5TQRFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#NNV1, Ibn al-Durayhim (topic)
History
- 2026-11-02: add by m2/dev
Definition 4AWTABMS3M
| URI | m2://inv/4AWTABMS3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lenstra elliptic-curve factorization#O2XW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithms 4AX8BVD8T3
| URI | m2://inv/4AX8BVD8T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust principal component analysis#SH7T, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
4AXA72P5WE 4AXA72P5WE
| URI | m2://inv/4AXA72P5WE |
|---|---|
| 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.20165#M91D (statement). In QTD3BP5GA0/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Constructions 4AXNN2H4SQ
| URI | m2://inv/4AXNN2H4SQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided power structure#ZNO5, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Trace semantics of a morphism 4AXR0V0RG7
| URI | m2://inv/4AXR0V0RG7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.20478#PBAT, Trace semantics of a morphism (definition)
History
- 2026-11-02: add by m2/v0.6.18
Metropolis light transport 4AXRNT8TGB
| URI | m2://inv/4AXRNT8TGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#54Z9, Metropolis light transport (unknown)
History
- 2026-11-02: add by m2/dev
Omnitruncation 4AXW3K8GY1
| URI | m2://inv/4AXW3K8GY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GANX, Omnitruncation (definition)
History
- 2026-11-02: add by m2/dev
Join (sigma algebra) 4AXXFVYJJ9
| URI | m2://inv/4AXXFVYJJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-algebra#4OIX, Join (sigma algebra) (unknown)
History
- 2026-11-02: add by m2/dev
4AXXNRZ1CV 4AXXNRZ1CV
| URI | m2://inv/4AXXNRZ1CV |
|---|---|
| Kind | statement |
| 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 2609.34168#9WRA (statement). In 30YQV8N04M/e1, lemma 12.2
History
- 2026-10-30: add by m2/v0.4.12
Significant time points 4AXZCPPCCN
| URI | m2://inv/4AXZCPPCCN |
|---|---|
| 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.39269#FLL2, Significant time points (statement). In HS4X20TX33/e1, theorem 0.47
History
- 2026-10-30: add by m2/v0.4.12
monotone decreasing sequence 4AY05EA0PR
| URI | m2://inv/4AY05EA0PR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.1.1/monotone-decreasing-sequence, monotone decreasing sequence (concept). In E59CDZA4DP, index, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
sheaf of logarithmic differential forms 4AY6W6MYRM
| URI | m2://inv/4AY6W6MYRM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098818, sheaf of logarithmic differential forms (unknown). Also nLab differential form with logarithmic singularities
History
- 2026-10-26: add by m2/dev
Paul Hacking 4AYNYMVA0A
| URI | m2://inv/4AYNYMVA0A |
|---|---|
| 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#3DII, Paul Hacking (unknown)
History
- 2026-11-02: add by m2/dev
4AYTKEEVAQ 4AYTKEEVAQ
| URI | m2://inv/4AYTKEEVAQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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.20801#RZXB (example). In A1GWWGRXPA/e1, example 1.1
History
- 2026-10-27: add by m2/v0.4.2
Concentration of bin averages 4AZ1S1T4RG
| URI | m2://inv/4AZ1S1T4RG |
|---|---|
| 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.08766#CL39, Concentration of bin averages (statement). In QA4JM9SHPA/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
4AZABC3VTD 4AZABC3VTD
| URI | m2://inv/4AZABC3VTD |
|---|---|
| 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 2609.24795#IE7F (statement)
History
- 2026-11-01: add by m2/v0.6.15
bra–ket notation 4AZBF1CCY4
| URI | m2://inv/4AZBF1CCY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59090, bra–ket notation (definition). Also MathWorld DiracNotation, ProofWiki Definition:Dirac_Notation
- wikipedia: Wikipedia Bra–ket notation, Bra–ket notation (definition). Also Wikidata Q59090
History
- 2026-10-26: add by m2/dev
Examples 4AZKA8XPBS
| URI | m2://inv/4AZKA8XPBS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouvillian function#A26F, Examples (example)
History
- 2026-11-02: add by m2/dev
4AZKD9CTWE 4AZKD9CTWE
| URI | m2://inv/4AZKD9CTWE |
|---|---|
| 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 2504.00267#GMIZ (statement). In 38XJWDZ2PH/e1, theorem 4.17
History
- 2026-10-27: add by m2/v0.3.5
4AZMAWAC0B 4AZMAWAC0B
| URI | m2://inv/4AZMAWAC0B |
|---|---|
| Kind | statement |
| 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.25703#H7P2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Caloric polynomial 4AZP97DKEQ
| URI | m2://inv/4AZP97DKEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caloric polynomial, Caloric polynomial (definition). Also Wikidata Q5023656
History
- 2026-11-02: add by m2/dev
Generalization 4AZPXB89PD
| URI | m2://inv/4AZPXB89PD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shift operator#9N7S, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Deligne conjecture 4AZQ3GXG4F
| URI | m2://inv/4AZQ3GXG4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Deligne#7V40, Deligne conjecture (unknown)
History
- 2026-11-02: add by m2/dev
4AZQB44RJS 4AZQB44RJS
| URI | m2://inv/4AZQB44RJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.17626#NN2B (statement). In 54ATJS74DT/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
4AZV1AA00M 4AZV1AA00M
| URI | m2://inv/4AZV1AA00M |
|---|---|
| Kind | statement |
| 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.16704#A6FK (statement). In Q7CWPC7PXY/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
4AZW8VCJHV 4AZW8VCJHV
| URI | m2://inv/4AZW8VCJHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2610.16241#B2TE (statement). In WNDHZVY4WK/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Product order 4AZYBZDZRJ
| URI | m2://inv/4AZYBZDZRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#WR8K, Product order (definition)
History
- 2026-11-02: add by m2/dev