Inventory rows WE
The cards of the rows of the inventory whose ids start with WE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Generalization error WE01VMJAJS
| URI | m2://inv/WE01VMJAJS |
|---|---|
| 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.22240#0G4X, Generalization error (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rao–Blackwell theorem WE02Y8YM4S
| URI | m2://inv/WE02Y8YM4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jensen's inequality#PL6Y, Rao–Blackwell theorem (statement)
History
- 2026-11-02: add by m2/dev
Bounded convergence theorem WE058VPA66
| URI | m2://inv/WE058VPA66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominated convergence theorem#WNDK, Bounded convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
WE0702YTA5 WE0702YTA5
| URI | m2://inv/WE0702YTA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00375#9DRW (statement). In YV6ZXRDHX4/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
WE0A9FSSNQ WE0A9FSSNQ
| URI | m2://inv/WE0A9FSSNQ |
|---|---|
| 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.06108#FNDS (statement). In D3WKY1PW64/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
WE0C82YZE3 WE0C82YZE3
| URI | m2://inv/WE0C82YZE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#626T (statement). In VN084GGZGK/e1, proposition 3.19
History
- 2026-10-28: add by m2/v0.4.3
Additively indecomposable ordinal WE0CFEX6SD
| URI | m2://inv/WE0CFEX6SD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additively indecomposable ordinal, Additively indecomposable ordinal (definition). Also Wikidata Q4681349
History
- 2026-11-02: add by m2/dev
WE0KHXTZVV WE0KHXTZVV
| URI | m2://inv/WE0KHXTZVV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#YB7S (definition). In NGZ5AZ70NN/e1, definition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Second-moment control of rich motions WE0QRS9V19
| URI | m2://inv/WE0QRS9V19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#MW8L, Second-moment control of rich motions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cypherpunk WE0QXRA3S5
| URI | m2://inv/WE0QXRA3S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cypherpunk, Cypherpunk (definition). Also Wikidata Q1434323
History
- 2026-11-02: add by m2/dev
WE0RJSNGNX WE0RJSNGNX
| URI | m2://inv/WE0RJSNGNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.03563#OHOG (statement). In R6DR6F68BJ/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
University of California, Riverside WE0TZVYG0R
| URI | m2://inv/WE0TZVYG0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of schools for quantitative psychology#PXNN, University of California, Riverside (unknown)
History
- 2026-11-02: add by m2/dev
WE11QSKYG8 WE11QSKYG8
| URI | m2://inv/WE11QSKYG8 |
|---|---|
| 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.27152#QYDN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition WE14H567A4
| URI | m2://inv/WE14H567A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian tree#ESG2, Definition (definition)
History
- 2026-11-02: add by m2/dev
WE16FZJCNR WE16FZJCNR
| URI | m2://inv/WE16FZJCNR |
|---|---|
| Kind | statement |
| 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#3SSJ (statement). In 304QK565QF/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Definition WE182K2JE6
| URI | m2://inv/WE182K2JE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker coefficient#6ZJ6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Truncating at the noise level is not enough WE1S6V15M7
| URI | m2://inv/WE1S6V15M7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10640#V1W3, Truncating at the noise level is not enough (statement). In BAQVK6N0RD/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
WE1W2RWX9Q WE1W2RWX9Q
| URI | m2://inv/WE1W2RWX9Q |
|---|---|
| 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.18632#6WIL (statement). In PTM5MVD4M0/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Weyl transformation WE1YH45YAP
| URI | m2://inv/WE1YH45YAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#MJWL, Weyl transformation (unknown)
History
- 2026-11-02: add by m2/dev
Example WE209444GJ
| URI | m2://inv/WE209444GJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski functional#8QOT, Example (example)
History
- 2026-11-02: add by m2/dev
Feasible region WE24MT8Z4Q
| URI | m2://inv/WE24MT8Z4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feasible region, Feasible region (definition). Also Wikidata Q17013331
History
- 2026-11-02: add by m2/dev
Monotonicity WE27M4JW9E
| URI | m2://inv/WE27M4JW9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prop:monotonicity, Monotonicity (statement). In PKGMM3P5QY, prop, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
negative proposition WE27VMTMV3
| URI | m2://inv/WE27VMTMV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VLI9, negative proposition (definition)
History
- 2026-11-02: add by m2/dev
WE299JJKZH WE299JJKZH
| URI | m2://inv/WE299JJKZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-33 (example). In VNMV985MXX, example, section C
History
- 2026-11-01: add by m2/v0.6.13
Definition WE2R1DRG9V
| URI | m2://inv/WE2R1DRG9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean-valued model#4H87, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pseudocompact space WE2XJKC7JW
| URI | m2://inv/WE2XJKC7JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudocompact space, Pseudocompact space (definition). Also Wikidata Q5362132
History
- 2026-11-02: add by m2/dev
WE30NAX5QF WE30NAX5QF
| URI | m2://inv/WE30NAX5QF |
|---|---|
| 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.21358#CV2A (statement). In XV70TXYS5A/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.2
Wentworth-Fitzwilliam, Charles WE32C6JAAG
| URI | m2://inv/WE32C6JAAG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GEJW, Wentworth-Fitzwilliam, Charles (unknown)
History
- 2026-11-02: add by m2/dev
WE35SFX6PY WE35SFX6PY
| URI | m2://inv/WE35SFX6PY |
|---|---|
| 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 2609.25957#TYIC (statement)
History
- 2026-11-01: add by m2/v0.6.15
WE3C74CJBN WE3C74CJBN
| URI | m2://inv/WE3C74CJBN |
|---|---|
| Kind | example |
| 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.12489#OQ1P (example). In FDWFVD08SE/e1, example 2.4
History
- 2026-10-28: add by m2/v0.4.2
Axioms WE3CMQD7CE
| URI | m2://inv/WE3CMQD7CE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke–Platek set theory with urelements#X6YU, Axioms (statement)
History
- 2026-11-02: add by m2/dev
WE3H92F4TQ WE3H92F4TQ
| URI | m2://inv/WE3H92F4TQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 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.14060#EYA0 (statement). In X47RYAZF8P/e1, lemma 6.10
History
- 2026-10-28: add by m2/v0.4.2
Examples WE3M5Y49PS
| URI | m2://inv/WE3M5Y49PS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indexed family#U7SK, Examples (example)
History
- 2026-11-02: add by m2/dev
Lewis Carroll WE3ZGD2XVE
| URI | m2://inv/WE3ZGD2XVE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#7H9V, Lewis Carroll (topic)
History
- 2026-11-02: add by m2/dev
Shifted bounds and a fixed radius decrease WE3ZJ983P6
| URI | m2://inv/WE3ZJ983P6 |
|---|---|
| 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.06544#CF2J, Shifted bounds and a fixed radius decrease (statement). In VCRB27RMN6/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
WE42VXGTSD WE42VXGTSD
| URI | m2://inv/WE42VXGTSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03864#7VAJ (statement). In 41GB65CTBJ/e1, theorem A1
History
- 2026-10-29: add by m2/v0.4.12
Example WE44C8JQBV
| URI | m2://inv/WE44C8JQBV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflected entropy#3ZN2, Example (example)
History
- 2026-11-02: add by m2/dev
Generalization WE4BHERR0C
| URI | m2://inv/WE4BHERR0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonferroni correction#MATP, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Formulas resembling Heron's formula WE4GMGCQ6D
| URI | m2://inv/WE4GMGCQ6D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area of a triangle#DYKA, Formulas resembling Heron's formula (statement)
History
- 2026-11-02: add by m2/dev
WE4J12QC6M WE4J12QC6M
| URI | m2://inv/WE4J12QC6M |
|---|---|
| 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.37450#CW0U (statement). In FP05Z6EBV4/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
comonad WE4KSXN9QB
| URI | m2://inv/WE4KSXN9QB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#BYSS, comonad (definition)
History
- 2026-11-02: add by m2/dev
Universal limit theorem WE4KW406QC
| URI | m2://inv/WE4KW406QC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rough path#T92I, Universal limit theorem (statement)
History
- 2026-11-02: add by m2/dev
WE4PMTJNPH WE4PMTJNPH
| URI | m2://inv/WE4PMTJNPH |
|---|---|
| Kind | definition |
| 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#97WK (definition). In YG5EX49042/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Quotient by an equivalence relation WE4Q8KYV6K
| URI | m2://inv/WE4Q8KYV6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient by an equivalence relation, Quotient by an equivalence relation (definition). Also Wikidata Q25098739
History
- 2026-11-02: add by m2/dev
Definitions WE4WY2SA7B
| URI | m2://inv/WE4WY2SA7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ind-completion#4O5Y, Definitions (definition)
History
- 2026-11-02: add by m2/dev
WE555WKDTV WE555WKDTV
| URI | m2://inv/WE555WKDTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.09599#TFKP (statement). In 4JYGH9XNA9/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
Romain Dujardin WE5CEVMJ49
| URI | m2://inv/WE5CEVMJ49 |
|---|---|
| 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#TTS1, Romain Dujardin (unknown)
History
- 2026-11-02: add by m2/dev
Donald Rubin WE5VW3H7BR
| URI | m2://inv/WE5VW3H7BR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Rubin, Donald Rubin (topic). Also Wikidata Q5295094
History
- 2026-11-02: add by m2/dev
John Hewitt Jellett WE5Z55JEVQ
| URI | m2://inv/WE5Z55JEVQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Hewitt Jellett, John Hewitt Jellett (topic). Also Wikidata Q6239156
History
- 2026-11-02: add by m2/dev
Logicomix WE6G9VA6S3
| URI | m2://inv/WE6G9VA6S3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logicomix, Logicomix (definition). Also Wikidata Q2537008
History
- 2026-11-02: add by m2/dev
WE74Y7BB2Y WE74Y7BB2Y
| URI | m2://inv/WE74Y7BB2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24614#QFPO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Luria–Delbrück experiment WE76KAAKXJ
| URI | m2://inv/WE76KAAKXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luria–Delbrück experiment, Luria–Delbrück experiment (definition). Also Wikidata Q866818
History
- 2026-11-02: add by m2/dev
Open problems WE79M9P5GX
| URI | m2://inv/WE79M9P5GX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson graph#F7KT, Open problems (statement)
History
- 2026-11-02: add by m2/dev
WE7FZCMRHD WE7FZCMRHD
| URI | m2://inv/WE7FZCMRHD |
|---|---|
| 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.01561#CHR5 (statement). In W4G7BCHYEW/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
WE7VB3KFHY WE7VB3KFHY
| URI | m2://inv/WE7VB3KFHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.14310#TEIY (statement). In 8GSG7024NW/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Condition number WE7VFVD0QE
| URI | m2://inv/WE7VFVD0QE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#7HMF, Condition number (definition)
History
- 2026-11-02: add by m2/dev
Finnish Mathematical Society WE83YG80SP
| URI | m2://inv/WE83YG80SP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finnish Mathematical Society, Finnish Mathematical Society (definition). Also Wikidata Q1417959
History
- 2026-11-02: add by m2/dev
Alberto Conti WE8GJXT6S9
| URI | m2://inv/WE8GJXT6S9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#XK18, Alberto Conti (unknown)
History
- 2026-11-02: add by m2/dev
WE8GQHG91D WE8GQHG91D
| URI | m2://inv/WE8GQHG91D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#prop:bijection-inverse (statement). In PKGMM3P5QY, prop, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
cokernel WE8HAYXR4B
| URI | m2://inv/WE8HAYXR4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cokernel H8W38933NC |
Mentions
- wikidata: Wikidata Q2156511, cokernel (unknown). Also MathWorld Cokernel, nLab cokernel
- wikipedia: Wikipedia Cokernel, Cokernel (definition). Also Wikidata Q2156511
History
- 2026-10-26: add by m2/dev
WE8RV3YEWK WE8RV3YEWK
| URI | m2://inv/WE8RV3YEWK |
|---|---|
| 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.20656#HGBR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement WE8Z1K1SR9
| URI | m2://inv/WE8Z1K1SR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choi's theorem on completely positive maps#6VKR, Statement (statement)
History
- 2026-11-02: add by m2/dev
WE90S3XE9P WE90S3XE9P
| URI | m2://inv/WE90S3XE9P |
|---|---|
| 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.23128#NSQW (statement)
History
- 2026-11-02: add by m2/v0.6.17
WE9B7WBCCR WE9B7WBCCR
| URI | m2://inv/WE9B7WBCCR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#proposition-3 (statement). In RZP28ERRZV, proposition, section 30.4
History
- 2026-11-01: add by m2/v0.6.13
Boué--Dupuis formula WE9BGXQ609
| URI | m2://inv/WE9BGXQ609 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 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.17815#Y1B6, Boué--Dupuis formula (statement). In GJ7N2EWACX/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
WE9ES1QTW3 WE9ES1QTW3
| URI | m2://inv/WE9ES1QTW3 |
|---|---|
| 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.01561#4YZI (statement). In W4G7BCHYEW/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
Binomial-QMF WE9EZKEJC1
| URI | m2://inv/WE9EZKEJC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#5GGX, Binomial-QMF (unknown)
History
- 2026-11-02: add by m2/dev
WE9PJ5FDD2 WE9PJ5FDD2
| URI | m2://inv/WE9PJ5FDD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-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.03138#O4XD (statement). In P5SY7AVP5E/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
World Liberty Financial WE9PXYWKFE
| URI | m2://inv/WE9PXYWKFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia World Liberty Financial, World Liberty Financial (definition). Also Wikidata Q130316305
History
- 2026-11-02: add by m2/dev
WE9R17V68S WE9R17V68S
| URI | m2://inv/WE9R17V68S |
|---|---|
| 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#JHRR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Octagon WE9T8Y0RPT
| URI | m2://inv/WE9T8Y0RPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#5BXW, Octagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#7BMQ, Octagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#N30M, Octagon (definition)
History
- 2026-11-02: add by m2/dev
GNU Data Language WEA3XNARMX
| URI | m2://inv/WEA3XNARMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#D3K2, GNU Data Language (unknown)
History
- 2026-11-02: add by m2/dev
Map coercivity with respect to dual suboptimality WEA4GYJ3EY
| URI | m2://inv/WEA4GYJ3EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35574#3Q57, Map coercivity with respect to dual suboptimality (statement). In 3Q70DMD7Z7/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
Characterization WEA9RK199V
| URI | m2://inv/WEA9RK199V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-Laplace distribution#OGLH, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Random compact set WEAAVVZG4J
| URI | m2://inv/WEAAVVZG4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ACGC, Random compact set (definition)
History
- 2026-11-02: add by m2/dev
An exact two-time test WEAC1TBQQ1
| URI | m2://inv/WEAC1TBQQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#FCY8, An exact two-time test (statement). In CJRBKR4JKT/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.10
WEAE38H5RG WEAE38H5RG
| URI | m2://inv/WEAE38H5RG |
|---|---|
| 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.09154#V6TB (statement). In JYVGX17N4F/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
rigid designator WEB0YJ0ABM
| URI | m2://inv/WEB0YJ0ABM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NO93, rigid designator (definition)
History
- 2026-11-02: add by m2/dev
Identity elements WEBCCCCXKQ
| URI | m2://inv/WEBCCCCXKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse element#UU04, Identity elements (statement)
History
- 2026-11-02: add by m2/dev
WEBHYGSPHS WEBHYGSPHS
| URI | m2://inv/WEBHYGSPHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#IMN1 (statement). In 49V3ANDZTY/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.5
WEBN17HZTE WEBN17HZTE
| URI | m2://inv/WEBN17HZTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-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.23464#KG42 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bite force quotient WEBNWB1V0D
| URI | m2://inv/WEBNWB1V0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bite force quotient, Bite force quotient (definition). Also Wikidata Q814962
History
- 2026-11-02: add by m2/dev
Weak-to-standard comparison WEBQPCMJFT
| URI | m2://inv/WEBQPCMJFT |
|---|---|
| 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.33154#YXYE, Weak-to-standard comparison (statement). In N28DEYRBW7/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Leftist grammar WEBWC6KYJZ
| URI | m2://inv/WEBWC6KYJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leftist grammar, Leftist grammar (definition). Also Wikidata Q55616726
History
- 2026-11-02: add by m2/dev
Generalizations WEC5AZ2FZQ
| URI | m2://inv/WEC5AZ2FZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss map#TCMF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Notation WEC6TB4XA2
| URI | m2://inv/WEC6TB4XA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributional data analysis#W3A8, Notation (definition)
History
- 2026-11-02: add by m2/dev
Full termination WEC8P2WSQ9
| URI | m2://inv/WEC8P2WSQ9 |
|---|---|
| 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.33679#7PQ1, Full termination (statement). In 3N9E9T6AF5/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Niven's theorem WECCKWBD47
| URI | m2://inv/WECCKWBD47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#92OY, Niven's theorem (statement)
History
- 2026-11-02: add by m2/dev
WECD8B3BJ3 WECD8B3BJ3
| URI | m2://inv/WECD8B3BJ3 |
|---|---|
| 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#0HCP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Migration in Ukraine WECH2Z7BZN
| URI | m2://inv/WECH2Z7BZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Ukraine#5VA9, Migration in Ukraine (unknown)
History
- 2026-11-02: add by m2/dev
WECMSQ4S2Y WECMSQ4S2Y
| URI | m2://inv/WECMSQ4S2Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25348#2OZL (definition)
History
- 2026-11-01: add by m2/v0.6.15
Polygon area WECNHWCGCD
| URI | m2://inv/WECNHWCGCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygon#COOQ, Polygon area (unknown)
History
- 2026-11-02: add by m2/dev
Shoelace formula WECP07RBTK
| URI | m2://inv/WECP07RBTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shoelace formula#MMHF, Shoelace formula (statement)
History
- 2026-11-02: add by m2/dev
Lehmer's phenomenon WECSFX7Y3V
| URI | m2://inv/WECSFX7Y3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#ZHX5, Lehmer's phenomenon (unknown)
History
- 2026-11-02: add by m2/dev
subcomplex WECV07R0XK
| URI | m2://inv/WECV07R0XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22355#ND1O, subcomplex (statement)
History
- 2026-11-02: add by m2/v0.6.17
Tomoe WED2KA3FGP
| URI | m2://inv/WED2KA3FGP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#O1YE, Tomoe (unknown)
History
- 2026-11-02: add by m2/dev
Outline of calculus WED5RS5CNF
| URI | m2://inv/WED5RS5CNF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#BN8I, Outline of calculus (topic)
History
- 2026-11-02: add by m2/dev
uniform WEDKTZB1MR
| URI | m2://inv/WEDKTZB1MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#9DIJ, uniform (definition)
History
- 2026-11-02: add by m2/dev
Examples WEDMBYR8X3
| URI | m2://inv/WEDMBYR8X3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper and lower sets#N0T8, Examples (example)
History
- 2026-11-02: add by m2/dev
Well-definedness and admissibility of the candidate chain WEE1NDPX7C
| URI | m2://inv/WEE1NDPX7C |
|---|---|
| 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.33360#5JT4, Well-definedness and admissibility of the candidate chain (statement). In GH6FSDK4YB/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
crossed module WEE620EQNN
| URI | m2://inv/WEE620EQNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5188565, crossed module (unknown). Also EoM Crossed_module, nLab crossed module
- wikipedia: Wikipedia Crossed module, Crossed module (definition). Also Wikidata Q5188565
History
- 2026-10-26: add by m2/dev
pseudo-reductive WEEHK65Q0Y
| URI | m2://inv/WEEHK65Q0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#85JN, pseudo-reductive (definition)
History
- 2026-11-02: add by m2/dev
Proposition WEEJKJ5P58
| URI | m2://inv/WEEJKJ5P58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filters in topology#AY35, Proposition (statement)
History
- 2026-11-02: add by m2/dev
loop space, functoriality of WEF36QVQK0
| URI | m2://inv/WEF36QVQK0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.4/loop-space-functoriality-of, loop space, functoriality of (concept). In N54F33XE07, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
WEFD9CXJ2Z WEFD9CXJ2Z
| URI | m2://inv/WEFD9CXJ2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.23660#LQS6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
WEFW9E4G7S WEFW9E4G7S
| URI | m2://inv/WEFW9E4G7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#XS7O (statement). In QHFP0837Q8/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
WEFY76078J WEFY76078J
| URI | m2://inv/WEFY76078J |
|---|---|
| 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 2610.07631#ZZ6C (statement). In 6JVJ5GCQ1E/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Theorem 7 WEG3XC0ZSW
| URI | m2://inv/WEG3XC0ZSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#PDV4, Theorem 7 (statement)
History
- 2026-11-02: add by m2/dev
Generalization WEG5J38B1E
| URI | m2://inv/WEG5J38B1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casting out nines#OGPT, Generalization (statement)
History
- 2026-11-02: add by m2/dev
WEGD5DBCBW WEGD5DBCBW
| URI | m2://inv/WEGD5DBCBW |
|---|---|
| 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.21600#GPS9 (statement). In EGAXXGHQNK/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
consequence relation WEGRK5NS72
| URI | m2://inv/WEGRK5NS72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#INWZ, consequence relation (definition)
History
- 2026-11-02: add by m2/dev
WEH4C5JDJY WEH4C5JDJY
| URI | m2://inv/WEH4C5JDJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#W0GT (statement). In WZMHJCQPB2/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
WEH5HFH5EV WEH5HFH5EV
| URI | m2://inv/WEH5HFH5EV |
|---|---|
| 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.39293#9M3Z (statement). In S26QVW5613/e1, proposition 2.1.7
History
- 2026-10-30: add by m2/v0.4.12
Equipotential line WEH7VCEB8N
| URI | m2://inv/WEH7VCEB8N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour line#W4E3, Equipotential line (unknown)
History
- 2026-11-02: add by m2/dev
Josephine Wairimu Kagunda WEHC6R93N6
| URI | m2://inv/WEHC6R93N6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josephine Wairimu Kagunda, Josephine Wairimu Kagunda (topic). Also Wikidata Q112066628
History
- 2026-11-02: add by m2/dev
Elementary modulation estimates WEHD30S31B
| URI | m2://inv/WEHD30S31B |
|---|---|
| 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.29147#US0V, Elementary modulation estimates (statement)
History
- 2026-11-01: add by m2/v0.6.15
WEHDEV918F WEHDEV918F
| URI | m2://inv/WEHDEV918F |
|---|---|
| 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.11082#DAJX (statement). In GFPFFN0BXV/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.3
Coefficient sandwich WEHMHY3CDN
| URI | m2://inv/WEHMHY3CDN |
|---|---|
| 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.06490#F3AS, Coefficient sandwich (statement). In NKXTXH59P1/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
WEJASRFCJG WEJASRFCJG
| URI | m2://inv/WEJASRFCJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2503.00560#INP2 (statement). In KH1H3TSWPS/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.6
WEJCSBR2B1 WEJCSBR2B1
| URI | m2://inv/WEJCSBR2B1 |
|---|---|
| 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.15809#9ZEL (statement). In 6GBT11XKAF/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
WEJQQPJJ6N WEJQQPJJ6N
| URI | m2://inv/WEJQQPJJ6N |
|---|---|
| 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.39103#CKBD (statement). In VGB0N93ES8/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
WEJRBYFAAC WEJRBYFAAC
| URI | m2://inv/WEJRBYFAAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11619#NEB3 (statement). In HT2K76Y9WS/e1, proposition C.4
History
- 2026-10-28: add by m2/v0.4.3
Examples WEJSHXAGV0
| URI | m2://inv/WEJSHXAGV0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young's modulus#6FB5, Examples (example)
History
- 2026-11-02: add by m2/dev
Eva Bayer-Fluckiger WEJSP1DS0T
| URI | m2://inv/WEJSP1DS0T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eva Bayer-Fluckiger, Eva Bayer-Fluckiger (topic). Also Wikidata Q32416
History
- 2026-11-02: add by m2/dev
Algorithm WEJSS5JTNS
| URI | m2://inv/WEJSS5JTNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K q-flats#I07H, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
WEJX43P05N WEJX43P05N
| URI | m2://inv/WEJX43P05N |
|---|---|
| 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 2606.00589#DLQ2 (statement). In C8JAGP8VCQ/e1, lemma 8.10
History
- 2026-10-27: add by m2/v0.3.5
\redhead{Recovery pressure WEJXFK047M
| URI | m2://inv/WEJXFK047M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05504#IK72, \redhead{Recovery pressure (definition). In 5PY98FZVJW/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Stonewall Workplace Equality Index WEJY3VVRBG
| URI | m2://inv/WEJY3VVRBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stonewall Workplace Equality Index, Stonewall Workplace Equality Index (definition). Also Wikidata Q7619381
History
- 2026-11-02: add by m2/dev
mathematics, classical WEK24FVMSV
| URI | m2://inv/WEK24FVMSV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.4/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 9.4
History
- 2026-11-01: add by m2/v0.6.13
WEK4PG850W WEK4PG850W
| URI | m2://inv/WEK4PG850W |
|---|---|
| Kind | example |
| 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.27056#FAZS (example)
History
- 2026-11-01: add by m2/v0.6.15
WEK7KJ5800 WEK7KJ5800
| URI | m2://inv/WEK7KJ5800 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#XKFS (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Raw localized flux bound WEKE6JCYEM
| URI | m2://inv/WEKE6JCYEM |
|---|---|
| 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.29147#YJOI, Raw localized flux bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
local WEKWAHVGPX
| URI | m2://inv/WEKWAHVGPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#4GAY, local (definition)
History
- 2026-11-02: add by m2/dev
WEKYET29JC WEKYET29JC
| URI | m2://inv/WEKYET29JC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25321#V3KH (statement)
History
- 2026-11-01: add by m2/v0.6.15
WEM1FAFRGG WEM1FAFRGG
| URI | m2://inv/WEM1FAFRGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#63MT (statement). In Q6HRJP4AWA/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Methods WEMDJ18ZAT
| URI | m2://inv/WEMDJ18ZAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behavioural genetics#ADUY, Methods (definition)
History
- 2026-11-02: add by m2/dev
WEMF98AG5S WEMF98AG5S
| URI | m2://inv/WEMF98AG5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#RIZP (statement)
History
- 2026-11-01: add by m2/v0.6.15
WEMG2FDKY3 WEMG2FDKY3
| URI | m2://inv/WEMG2FDKY3 |
|---|---|
| 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.03763#G74D (statement). In ARZ4X5PXXC/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.12
reduced suspension WEMGWVVF7R
| URI | m2://inv/WEMGWVVF7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91791780, reduced suspension (unknown). Also nLab reduced suspension
History
- 2026-10-26: add by m2/dev
WEMTVRP8XQ WEMTVRP8XQ
| URI | m2://inv/WEMTVRP8XQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.08976#8QTH (statement). In ZVNM9X4NNG/e1, lemma 14
History
- 2026-10-27: add by m2/v0.3.5
Leibniz's notation WEMV9FX6Q4
| URI | m2://inv/WEMV9FX6Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz's notation, Leibniz's notation (definition). Also Wikidata Q1069516
History
- 2026-11-02: add by m2/dev
Construction WEN14KQN0E
| URI | m2://inv/WEN14KQN0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of elements#IY75, Construction (definition)
History
- 2026-11-02: add by m2/dev
WEN2803T4M WEN2803T4M
| URI | m2://inv/WEN2803T4M |
|---|---|
| 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 2604.02255#ID7R (statement). In 14NGZPH8B9/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
orthogonal factorization system WEN5N6ZH40
| URI | m2://inv/WEN5N6ZH40 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6/orthogonal-factorization-system, orthogonal factorization system (concept). In N54F33XE07, index, section 6
History
- 2026-11-01: add by m2/v0.6.13
WEN6CGSFSB WEN6CGSFSB
| URI | m2://inv/WEN6CGSFSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#proposition-1 (statement). In 649HGZKE96, proposition, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
WENCRFKGEF WENCRFKGEF
| URI | m2://inv/WENCRFKGEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.23682#HHXJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement WENFJF9KNV
| URI | m2://inv/WENFJF9KNV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson scatter theorem#82O3, Statement (statement)
History
- 2026-11-02: add by m2/dev
WENH3JKGVQ WENH3JKGVQ
| URI | m2://inv/WENH3JKGVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#0QQF (statement). In AY2MA29921/e1, proposition 05
History
- 2026-10-27: add by m2/v0.3.5
Multiplicative pseudorandom set WENK8205KX
| URI | m2://inv/WENK8205KX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#TFTK, Multiplicative pseudorandom set (definition). In 1K7M5TD0M2/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.12
WENKYH6JYJ WENKYH6JYJ
| URI | m2://inv/WENKYH6JYJ |
|---|---|
| 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 2610.18620#30VT (statement). In 6WJ0R9YEBR/e1, corollary 3.22
History
- 2026-10-28: add by m2/v0.4.2
WENY4G8W60 WENY4G8W60
| URI | m2://inv/WENY4G8W60 |
|---|---|
| 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.07370#5BKB (statement). In Q94QXG67CK/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.10
WEP2CD8G21 WEP2CD8G21
| URI | m2://inv/WEP2CD8G21 |
|---|---|
| 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 2504.21000#ZBBQ (statement). In BCVFS160MF/e1, lemma 1.2
History
- 2026-10-27: add by m2/v0.3.5
WEPEPK6T96 WEPEPK6T96
| URI | m2://inv/WEPEPK6T96 |
|---|---|
| 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.02158#M5CZ (statement). In PCV12VAD47/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
mathematics, proof-relevant WEPH76WX3B
| URI | m2://inv/WEPH76WX3B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/mathematics-proof-relevant, mathematics, proof-relevant (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
William Frederick Eberlein WEQ5DB8ZVT
| URI | m2://inv/WEQ5DB8ZVT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Frederick Eberlein, William Frederick Eberlein (topic). Also Wikidata Q2578876
History
- 2026-11-02: add by m2/dev
WEQ8JKY6NW WEQ8JKY6NW
| URI | m2://inv/WEQ8JKY6NW |
|---|---|
| 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.38975#MRV7 (statement). In D2247CRPPE/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
♣ WEQEVAZV3V
| URI | m2://inv/WEQEVAZV3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LY3J, ♣ (definition)
History
- 2026-11-02: add by m2/dev
WEQFSVPV7Q WEQFSVPV7Q
| URI | m2://inv/WEQFSVPV7Q |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 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 1705.04310#82SQ (problem). In MG51GG0QZN/e1, problem 3.9
History
- 2026-10-27: add by m2/v0.3.5
WEQK1ESEY9 WEQK1ESEY9
| URI | m2://inv/WEQK1ESEY9 |
|---|---|
| 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.13137#4IC1 (statement). In NH77XVB03X/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Cameron–Erdős conjecture WEQQZH6DSQ
| URI | m2://inv/WEQQZH6DSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2993308, Cameron–Erdős theorem (statement). Also Wikidata Q2993308
- thousand_plus: thousand_plus Q2993308, Cameron–Erdős theorem (statement). Also Wikidata Q2993308, Wikipedia Cameron–Erdős conjecture
- wikipedia: Wikipedia Cameron–Erdős conjecture, Cameron–Erdős conjecture (statement). Also Wikidata Q2993308
History
- 2026-10-26: add by m2/dev
Australian Polling Council WEQSKFW1W8
| URI | m2://inv/WEQSKFW1W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Australian Polling Council, Australian Polling Council (definition). Also Wikidata Q118898758
History
- 2026-11-02: add by m2/dev
Directed set WEQYK5RSQ7
| URI | m2://inv/WEQYK5RSQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directed set, Directed set (definition). Also Wikidata Q1513048
History
- 2026-11-02: add by m2/dev
Example WER4VRE26B
| URI | m2://inv/WER4VRE26B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cnoidal wave#R9CI, Example (example)
History
- 2026-11-02: add by m2/dev
*{Def. 3.2 WER6CT4024
| URI | m2://inv/WER6CT4024 |
|---|---|
| Kind | definition |
| 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#JD70, *{Def. 3.2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
right triangle WERF6BT5XD
| URI | m2://inv/WERF6BT5XD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q158688, right triangle (unknown). Also MathWorld RightTriangle
- wikipedia: Wikipedia Right triangle, Right triangle (definition). Also Wikidata Q158688
History
- 2026-10-26: add by m2/dev
WERGZPK4EW WERGZPK4EW
| URI | m2://inv/WERGZPK4EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#I98K (statement)
History
- 2026-11-02: add by m2/v0.6.17
Countable generator theorem (Rokhlin 1965) WERNMRGXMB
| URI | m2://inv/WERNMRGXMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#KZ9I, Countable generator theorem (Rokhlin 1965) (statement)
History
- 2026-11-02: add by m2/dev
Institute of Mathematical Sciences, Chennai WERZC669B0
| URI | m2://inv/WERZC669B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Mathematical Sciences, Chennai, Institute of Mathematical Sciences, Chennai (definition). Also Wikidata Q3530296
History
- 2026-11-02: add by m2/dev
Eilenberg–Zilber category WES2JBFKD9
| URI | m2://inv/WES2JBFKD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8QM0, Eilenberg–Zilber category (definition)
History
- 2026-11-02: add by m2/dev
The Book of Why WES2Q41WEQ
| URI | m2://inv/WES2Q41WEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Book of Why, The Book of Why (definition). Also Wikidata Q98199430
History
- 2026-11-02: add by m2/dev
Lukacs Distinguished Professor WES5TW9S21
| URI | m2://inv/WES5TW9S21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lukacs Distinguished Professor, Lukacs Distinguished Professor (definition). Also Wikidata Q6701654
History
- 2026-11-02: add by m2/dev
Capital asset pricing model WESKXA6HVT
| URI | m2://inv/WESKXA6HVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capital asset pricing model, Capital asset pricing model (definition). Also Wikidata Q848354
History
- 2026-11-02: add by m2/dev
cardinality WESWRBRGRW
| URI | m2://inv/WESWRBRGRW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.5/cardinality, cardinality (concept). In QKM9DD2H56, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Use WET2WB6EPQ
| URI | m2://inv/WET2WB6EPQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octagon#NKME, Use (example)
History
- 2026-11-02: add by m2/dev
Hamburger moment problem WETC6H0A49
| URI | m2://inv/WETC6H0A49 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hamburger moment problem TBNCFXTMMW |
Mentions
- wikidata: Wikidata Q5644349, Hamburger moment problem (problem). Also MathWorld HamburgerMomentProblem
- wikipedia: Wikipedia Hamburger moment problem, Hamburger moment problem (problem). Also Wikidata Q5644349
History
- 2026-10-26: add by m2/dev
WETHJSMRS1 WETHJSMRS1
| URI | m2://inv/WETHJSMRS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#BP5K (statement)
History
- 2026-11-01: add by m2/v0.6.15
WETJC0SAE1 WETJC0SAE1
| URI | m2://inv/WETJC0SAE1 |
|---|---|
| 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 2610.18078#C3W0 (statement). In YVK8EFSYNJ/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Guido Stampacchia WETQ8Z1TMS
| URI | m2://inv/WETQ8Z1TMS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#IQ9Y, Guido Stampacchia (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ME6P, Guido Stampacchia (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QIGM, Guido Stampacchia (topic)
History
- 2026-11-02: add by m2/dev
WETZRRRRDS WETZRRRRDS
| URI | m2://inv/WETZRRRRDS |
|---|---|
| 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 2610.08226#SN1J (statement). In V6EPE8XHAD/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
WEV28037G2 WEV28037G2
| URI | m2://inv/WEV28037G2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#UFHS (statement). In CEKW9CNVVW/e1, proposition 6.13
History
- 2026-10-29: add by m2/v0.4.10
WEVH9YDPHE WEVH9YDPHE
| URI | m2://inv/WEVH9YDPHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/beyond/intuitionistic-logic.tex#thm-3 (statement). In PKGMM3P5QY, thm, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
game semantics WEVXVHA1WF
| URI | m2://inv/WEVXVHA1WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65122115, game semantics (unknown). Also nLab game semantics
- wikipedia: Wikipedia Game semantics, Game semantics (definition). Also Wikidata Q65122115
History
- 2026-10-26: add by m2/dev
Fast Fourier transform WEW206AQCN
| URI | m2://inv/WEW206AQCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#I8SV, Fast Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Cauchy–Schwarz inequality WEWC9RFE8E
| URI | m2://inv/WEWC9RFE8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#64P5, Cauchy–Schwarz inequality (definition)
History
- 2026-11-02: add by m2/dev
Earwigs WEWCA8GKZ5
| URI | m2://inv/WEWCA8GKZ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#YTRA, Earwigs (unknown)
History
- 2026-11-02: add by m2/dev
Ludwig Schlesinger WEWRXVVR11
| URI | m2://inv/WEWRXVVR11 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#H3CC, Ludwig Schlesinger (topic)
History
- 2026-11-02: add by m2/dev
WEWSHKJZ45 WEWSHKJZ45
| URI | m2://inv/WEWSHKJZ45 |
|---|---|
| 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 2610.19360#4YQ0 (statement). In MFCW5CY96C/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
Rectified 24-cell honeycomb WEWWT5193S
| URI | m2://inv/WEWWT5193S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YD3B, Rectified 24-cell honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#J71V, Rectified 24-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Pallavi Dani WEWZ4NA39V
| URI | m2://inv/WEWZ4NA39V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pallavi Dani, Pallavi Dani (topic). Also Wikidata Q102185731
History
- 2026-11-02: add by m2/dev
WEX1Y8W0JT WEX1Y8W0JT
| URI | m2://inv/WEX1Y8W0JT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.01919#UB07 (statement). In 4H727T2YAS/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.12
Barkley model WEX5YR217H
| URI | m2://inv/WEX5YR217H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reaction–diffusion system#44KF, Barkley model (unknown)
History
- 2026-11-02: add by m2/dev
Quadratic successful-set converse WEXCD8S71M
| URI | m2://inv/WEXCD8S71M |
|---|---|
| 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.09472#F2WO, Quadratic successful-set converse (statement). In 35925M9GJW/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.10
WEXFBFK55M WEXFBFK55M
| URI | m2://inv/WEXFBFK55M |
|---|---|
| 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.22268#VW9P (statement). In 9ZD87293QS/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.4.0
WEXK04HV8S WEXK04HV8S
| URI | m2://inv/WEXK04HV8S |
|---|---|
| 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.16731#DIG5 (statement). In D68KBZQ4Q6/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
Robert F. Engle WEXKDZT6JJ
| URI | m2://inv/WEXKDZT6JJ |
|---|---|
| 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#YAKZ, Robert F. Engle (unknown)
History
- 2026-11-02: add by m2/dev
Fredholm's theorem WEXN402WRG
| URI | m2://inv/WEXN402WRG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 4 |
| Outcome | open |
| Node | Fredholm's theorem XQ8DYKW4SH |
Mentions
- mathlib_1000: mathlib_1000 Q3984069, Fredholm's theorem (statement). Also Wikidata Q3984069
- thousand_plus: thousand_plus Q3984069, Fredholm's theorem (statement). Also Wikidata Q3984069, Wikipedia Fredholm's theorem
- wikidata: Wikidata Q3984069, Fredholm's theorem (statement). Also EoM Fredholm_theorems, MathWorld FredholmsTheorem
- wikipedia: Wikipedia Fredholm's theorem, Fredholm's theorem (statement). Also Wikidata Q3984069
History
- 2026-10-26: add by m2/dev
WEXTP2JPB4 WEXTP2JPB4
| URI | m2://inv/WEXTP2JPB4 |
|---|---|
| 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 2111.07717#C33E (statement). In AXFXGWG7ZG/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.0
Realization on and above the diagonal WEXZYW3KP0
| URI | m2://inv/WEXZYW3KP0 |
|---|---|
| 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 2610.00115#6LPT, Realization on and above the diagonal (statement). In JK8PYKCZRA/e1, theorem 7.3
History
- 2026-10-30: add by m2/v0.4.12
WEY0RAC99E WEY0RAC99E
| URI | m2://inv/WEY0RAC99E |
|---|---|
| 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.13852#TX2A (statement). In SXTGSAH3WF/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Black hole greybody factors WEY7KMVQ44
| URI | m2://inv/WEY7KMVQ44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hawking radiation#G9JK, Black hole greybody factors (unknown)
History
- 2026-11-02: add by m2/dev
WEYAPR7FQ1 WEYAPR7FQ1
| URI | m2://inv/WEYAPR7FQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15010#HX98 (statement). In K3WJ6ZN184/e1, lemma A.12
History
- 2026-10-27: add by m2/v0.3.5
WEYHGHX4B4 WEYHGHX4B4
| URI | m2://inv/WEYHGHX4B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16339#FMSN (statement). In ER5EH4W919/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Plant floor layout WEYQS2M5MS
| URI | m2://inv/WEYQS2M5MS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#4CNB, Plant floor layout (unknown)
History
- 2026-11-02: add by m2/dev
Implementation WEYRC5Y8D8
| URI | m2://inv/WEYRC5Y8D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data structure#F8B7, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Median of the Trapezoid theorem WEYZQZVWFY
| URI | m2://inv/WEYZQZVWFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoid#O5IL, Median of the Trapezoid theorem (unknown)
History
- 2026-11-02: add by m2/dev
Lawrence C. Evans WEZ1RRAC56
| URI | m2://inv/WEZ1RRAC56 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TJQB, Lawrence C. Evans (topic)
History
- 2026-11-02: add by m2/dev
Menger's theorem and gammoid rank WEZ712N0H1
| URI | m2://inv/WEZ712N0H1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gammoid#H5UM, Menger's theorem and gammoid rank (statement)
History
- 2026-11-02: add by m2/dev
WEZEV3WDWK WEZEV3WDWK
| URI | m2://inv/WEZEV3WDWK |
|---|---|
| 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#UQXX (statement). In 9B5TNEBJHV/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10