Inventory rows KE
The cards of the rows of the inventory whose ids start with KE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Weak head normal form KE01DAGFZQ
| URI | m2://inv/KE01DAGFZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta normal form#2YOM, Weak head normal form (unknown)
History
- 2026-11-02: add by m2/dev
bijection KE02VNHXRC
| URI | m2://inv/KE02VNHXRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Bijective function 0GG9TVW90M |
Mentions
- wikidata: Wikidata Q180907, bijection (unknown). Also EoM Bijection, MathWorld Bijection, nLab bijection
- wikipedia: Wikipedia Bijection, Bijection (definition). Also Wikidata Q180907
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
KE0FP9SWHM KE0FP9SWHM
| URI | m2://inv/KE0FP9SWHM |
|---|---|
| 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.06438#9F98 (statement). In Z633BH3HER/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.10
KE0FSJ1B7W KE0FSJ1B7W
| URI | m2://inv/KE0FSJ1B7W |
|---|---|
| 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.06707#N082 (statement). In 9TR5E527P5/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
KE0G8X2BE3 KE0G8X2BE3
| URI | m2://inv/KE0G8X2BE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.14811#XOZ6 (statement). In QA5CM6HNM1/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
KE0KXZZA3F KE0KXZZA3F
| URI | m2://inv/KE0KXZZA3F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Eliyahu Rips KE0MX1QERD
| URI | m2://inv/KE0MX1QERD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eliyahu Rips, Eliyahu Rips (topic). Also Wikidata Q1322048
History
- 2026-11-02: add by m2/dev
Harry Clinton Gossard KE0TB8WQBD
| URI | m2://inv/KE0TB8WQBD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#8Z0M, Harry Clinton Gossard (unknown)
History
- 2026-11-02: add by m2/dev
ACCESS PTB KE0TMH1N8G
| URI | m2://inv/KE0TMH1N8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epidemiology#63J9, ACCESS PTB (unknown)
History
- 2026-11-02: add by m2/dev
KE10NYVMDV KE10NYVMDV
| URI | m2://inv/KE10NYVMDV |
|---|---|
| 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 2208.07490#C35C (statement). In EK9MF8KMFC/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
KE18YS8990 KE18YS8990
| URI | m2://inv/KE18YS8990 |
|---|---|
| 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.09672#GLFF (statement). In TXBXCPP0QH/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
John Selfridge KE1F5617F3
| URI | m2://inv/KE1F5617F3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1QD1, John Selfridge (topic)
History
- 2026-11-02: add by m2/dev
Albert W. Tucker KE1F5GGDAY
| URI | m2://inv/KE1F5GGDAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FX19, Albert W. Tucker (topic)
History
- 2026-11-02: add by m2/dev
KE1FDVJS6V KE1FDVJS6V
| URI | m2://inv/KE1FDVJS6V |
|---|---|
| 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 2412.14956#1HLU (statement). In T8BQ6HHZYT/e1, proposition 6.17
History
- 2026-10-27: add by m2/v0.3.5
KE1JXGEPMH KE1JXGEPMH
| URI | m2://inv/KE1JXGEPMH |
|---|---|
| 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.17442#WVHL (statement). In 6ADGJ51W1P/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
KE1MJSNHA7 KE1MJSNHA7
| URI | m2://inv/KE1MJSNHA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:path-sigma (statement). In N54F33XE07, thm, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
KE1RC2VB4D KE1RC2VB4D
| URI | m2://inv/KE1RC2VB4D |
|---|---|
| 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.13939#6T3N (statement). In T0NQ0Q9WVD/e1, lemma 1.3
History
- 2026-10-28: add by m2/v0.4.2
Peter Ludvig Sylow KE1ZEEZFZK
| URI | m2://inv/KE1ZEEZFZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Ludvig Sylow, Peter Ludvig Sylow (topic). Also Wikidata Q320298
History
- 2026-11-02: add by m2/dev
KE229Y4V3C KE229Y4V3C
| URI | m2://inv/KE229Y4V3C |
|---|---|
| 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 2610.05194#2WKM (statement). In 77R8YQ16JH/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
KE23V84Z6J KE23V84Z6J
| URI | m2://inv/KE23V84Z6J |
|---|---|
| Kind | problem |
| 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 2605.24355#JC0O (problem). In VV3AJMWWCR/e1, problem 7
History
- 2026-10-27: add by m2/v0.3.6
Examples KE25QNPH3T
| URI | m2://inv/KE25QNPH3T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural filtration#VOFT, Examples (example)
History
- 2026-11-02: add by m2/dev
Programmable thermostat KE262G0N5E
| URI | m2://inv/KE262G0N5E |
|---|---|
| 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#H11R, Programmable thermostat (unknown)
History
- 2026-11-02: add by m2/dev
KE29C7RW58 KE29C7RW58
| URI | m2://inv/KE29C7RW58 |
|---|---|
| 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.25100#X8EM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Injectivity radius KE2CBTQHCK
| URI | m2://inv/KE2CBTQHCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#2GS8, Injectivity radius (topic)
History
- 2026-11-02: add by m2/dev
KE2PMZBMNM KE2PMZBMNM
| URI | m2://inv/KE2PMZBMNM |
|---|---|
| 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.02642#PGOT (statement). In VMWV58VWKN/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.12
Higman–Sims graph KE2YYE4ZQ8
| URI | m2://inv/KE2YYE4ZQ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115511, Higman–Sims graph (concept). Also House of Graphs 1165, MathWorld Higman-SimsGraph
History
- 2026-10-26: add by m2/dev
Aomoto's integral formula KE3245Z194
| URI | m2://inv/KE3245Z194 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg integral#6YIT, Aomoto's integral formula (statement)
History
- 2026-11-02: add by m2/dev
KE32GFQAHQ KE32GFQAHQ
| URI | m2://inv/KE32GFQAHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#AI2H (statement). In KTQS6YPA4E/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
KE33JEHG3P KE33JEHG3P
| URI | m2://inv/KE33JEHG3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.32138#R4H4 (statement). In ZG0GNHTCWB/e1, proposition 6.14
History
- 2026-10-31: add by m2/v0.5.6
Genest, Christian KE36HEWZ5C
| URI | m2://inv/KE36HEWZ5C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#UTTD, Genest, Christian (topic)
History
- 2026-11-02: add by m2/dev
Jacqueline Dewar KE36X8C1RJ
| URI | m2://inv/KE36X8C1RJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacqueline Dewar, Jacqueline Dewar (topic). Also Wikidata Q57158960
History
- 2026-11-02: add by m2/dev
The two-state case KE3H1E33MJ
| URI | m2://inv/KE3H1E33MJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 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.26066#S8XK, The two-state case (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conjugate form of the Hopf formula KE3MDZTQAR
| URI | m2://inv/KE3MDZTQAR |
|---|---|
| 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.18350#CCXX, Conjugate form of the Hopf formula (statement). In A20E8FZS21/e1, lemma 9.2
History
- 2026-10-28: add by m2/v0.4.2
KE3Y5PJ5ZY KE3Y5PJ5ZY
| URI | m2://inv/KE3Y5PJ5ZY |
|---|---|
| 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.06200#87KL (statement). In B5XCHJKX7Q/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
KE45VKMFE0 KE45VKMFE0
| URI | m2://inv/KE45VKMFE0 |
|---|---|
| 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.18600#QGRP (statement). In 31D6TQVCNZ/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Interpolation inequality KE487AX5JY
| URI | m2://inv/KE487AX5JY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation inequality, Interpolation inequality (statement). Also Wikidata Q17098156
History
- 2026-11-02: add by m2/dev
Lagrange bracket KE48RX4H4C
| URI | m2://inv/KE48RX4H4C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q389328, Lagrange bracket (concept). Also MathWorld LagrangeBracket
History
- 2026-10-26: add by m2/dev
Conventions KE4BN63C69
| URI | m2://inv/KE4BN63C69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic expression#JK12, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Expected risk with confidence bounds KE4CZWK1KD
| URI | m2://inv/KE4CZWK1KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#TG02, Expected risk with confidence bounds (statement). In X1FPG0KYBM/e1, theorem T.4
History
- 2026-10-28: add by m2/v0.4.2
J. D. Morgan KE4D2R0S8H
| URI | m2://inv/KE4D2R0S8H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#X8JX, J. D. Morgan (unknown)
History
- 2026-11-02: add by m2/dev
Definition KE4GTE8AGN
| URI | m2://inv/KE4GTE8AGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz space#MNY2, Definition (definition)
History
- 2026-11-02: add by m2/dev
468 (number) KE4JP1RNV6
| URI | m2://inv/KE4JP1RNV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#16I3, 468 (number) (unknown)
History
- 2026-11-02: add by m2/dev
KE4Q4DWR6T KE4Q4DWR6T
| URI | m2://inv/KE4Q4DWR6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#FP8X (statement). In T2N92YSY5R/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Examples KE4SRBX0P6
| URI | m2://inv/KE4SRBX0P6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore condition#CPB5, Examples (example)
History
- 2026-11-02: add by m2/dev
KE5A2QWCA3 KE5A2QWCA3
| URI | m2://inv/KE5A2QWCA3 |
|---|---|
| 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 2610.21934#9HCR (statement). In YKD51BX3XB/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
KE5D59XW7W KE5D59XW7W
| URI | m2://inv/KE5D59XW7W |
|---|---|
| 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.35183#Y8IJ (statement). In FYM5XFD9RR/e1, theorem 2.19
History
- 2026-10-30: add by m2/v0.4.12
*{Theorem 1.2 KE5PX06WCG
| URI | m2://inv/KE5PX06WCG |
|---|---|
| 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.30575#09RL, *{Theorem 1.2 (statement). In 6WFFY0QM27/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Silver spiral KE5RTAAE32
| URI | m2://inv/KE5RTAAE32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silver ratio#323T, Silver spiral (unknown)
History
- 2026-11-02: add by m2/dev
Divergence relative to countably $\mathcal{H}^k$-rectifiable set, cf.\ KE5TNEYXN9
| URI | m2://inv/KE5TNEYXN9 |
|---|---|
| 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 2609.24451#XA0Y, Divergence relative to countably $\mathcal{H}^k$-rectifiable set, cf.\ (definition)
History
- 2026-11-01: add by m2/v0.6.15
KE6AZCNZ9E KE6AZCNZ9E
| URI | m2://inv/KE6AZCNZ9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#HSP2 (statement). In 73QW05MWQB/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
STU-III KE6BEJ467A
| URI | m2://inv/KE6BEJ467A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#URV3, STU-III (unknown)
History
- 2026-11-02: add by m2/dev
Criticism of Scala KE6BSV9ZBZ
| URI | m2://inv/KE6BSV9ZBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scala (programming language)#CAY4, Criticism of Scala (unknown)
History
- 2026-11-02: add by m2/dev
KE6MM97SSZ KE6MM97SSZ
| URI | m2://inv/KE6MM97SSZ |
|---|---|
| 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.07040#ZIY3 (definition). In KMNXNW7FHP/e1, definition D.2
History
- 2026-10-29: add by m2/v0.4.10
KE6P8BEAXD KE6P8BEAXD
| URI | m2://inv/KE6P8BEAXD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#2E4R (definition)
History
- 2026-11-02: add by m2/v0.6.17
Riesz–Markov–Kakutani representation theorem KE6QTEDDB8
| URI | m2://inv/KE6QTEDDB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Riesz–Markov–Kakutani representation theorem DWFPDF8XTB |
Mentions
- wikidata: Wikidata Q17098001, Riesz–Markov–Kakutani representation theorem (statement). Also MathWorld RieszRepresentationTheorem
- wikipedia: Wikipedia Riesz–Markov–Kakutani representation theorem, Riesz–Markov–Kakutani representation theorem (statement). Also Wikidata Q17098001
History
- 2026-10-26: add by m2/dev
Completeness of the eigenspaces KE6SXN7W1A
| URI | m2://inv/KE6SXN7W1A |
|---|---|
| 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.32561#HS6B, Completeness of the eigenspaces (statement). In NBT0ZCHBB6/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
Applications KE6VQJ0BYV
| URI | m2://inv/KE6VQJ0BYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptical distribution#2AT2, Applications (example)
History
- 2026-11-02: add by m2/dev
Optimization problem KE6WW1ZY28
| URI | m2://inv/KE6WW1ZY28 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimization problem, Optimization problem (problem). Also Wikidata Q984063
History
- 2026-11-02: add by m2/dev
Uniqueness and existence theorems of Fredholm–Volterra equations KE6ZVAR5BK
| URI | m2://inv/KE6ZVAR5BK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral equation#HVIP, Uniqueness and existence theorems of Fredholm–Volterra equations (statement)
History
- 2026-11-02: add by m2/dev
comparable maps are homotopic KE7029Q5D2
| URI | m2://inv/KE7029Q5D2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-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.15099#D6JO, comparable maps are homotopic (example). In PF5JJ9DS8Q/e1, example 5.2.3
History
- 2026-10-28: add by m2/v0.4.2
KE73C3EFQ5 KE73C3EFQ5
| URI | m2://inv/KE73C3EFQ5 |
|---|---|
| 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.10873#NIDG (statement). In AYG8HYGW6V/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.3
Ringel–Youngs theorem KE76DDYBDE
| URI | m2://inv/KE76DDYBDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2799491, Ringel–Youngs theorem (statement). Also Wikidata Q2799491
- thousand_plus: thousand_plus Q2799491, Ringel–Youngs theorem (statement). Also Wikidata Q2799491, Wikipedia Ringel–Youngs theorem
- wikidata: Wikidata Q2799491, Ringel–Youngs theorem (conjecture). Also MathWorld HeawoodConjecture
- wikipedia: Wikipedia Heawood conjecture, Heawood conjecture (statement). Also Wikidata Q2799491
History
- 2026-10-26: add by m2/dev
KE7K9CANJY KE7K9CANJY
| URI | m2://inv/KE7K9CANJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#H4UP (statement). In Y1DR0DPWD0/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.12
Method KE7PBG01PK
| URI | m2://inv/KE7PBG01PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TWINKLE#L5M3, Method (definition)
History
- 2026-11-02: add by m2/dev
Locally finite group KE7Q0W4TZ9
| URI | m2://inv/KE7Q0W4TZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite group, Locally finite group (definition). Also Wikidata Q6664682
History
- 2026-11-02: add by m2/dev
Η set KE7XR398M9
| URI | m2://inv/KE7XR398M9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Η set, Η set (definition). Also Wikidata Q18385909
History
- 2026-11-02: add by m2/dev
Applications KE7ZHDQWSG
| URI | m2://inv/KE7ZHDQWSG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordan's lemma#XA87, Applications (example)
History
- 2026-11-02: add by m2/dev
Transitions from one state KE80C44VFY
| URI | m2://inv/KE80C44VFY |
|---|---|
| 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.31407#LL5M, Transitions from one state (statement). In 6JSC602CCF/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Type-2 Gumbel distribution KE81J0S9B3
| URI | m2://inv/KE81J0S9B3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#UEE5, Type-2 Gumbel distribution (definition)
History
- 2026-11-02: add by m2/dev
Scientific notation KE86B9D868
| URI | m2://inv/KE86B9D868 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#8OIL, Scientific notation (definition)
History
- 2026-11-02: add by m2/dev
Properties KE86T2EPAR
| URI | m2://inv/KE86T2EPAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoconvex function#LFMM, Properties (statement)
History
- 2026-11-02: add by m2/dev
El Segundo KE8D1RZSA8
| URI | m2://inv/KE8D1RZSA8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#QVI3, El Segundo (unknown)
History
- 2026-11-02: add by m2/dev
KE8HM31PPS KE8HM31PPS
| URI | m2://inv/KE8HM31PPS |
|---|---|
| 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.19694#VKF8 (statement). In EP0M4RSZ9P/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
John Dossey KE8PYPTSJZ
| URI | m2://inv/KE8PYPTSJZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Dossey, John Dossey (topic). Also Wikidata Q102162792
History
- 2026-11-02: add by m2/dev
Miquel's theorem KE8X1Z5NAA
| URI | m2://inv/KE8X1Z5NAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#X8F7, Miquel's theorem (statement)
History
- 2026-11-02: add by m2/dev
KE8Y6VZGNW KE8Y6VZGNW
| URI | m2://inv/KE8Y6VZGNW |
|---|---|
| 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 2610.11902#H4Q0 (statement). In K66QKM4N5E/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.3
History of the separation axioms KE91W05B42
| URI | m2://inv/KE91W05B42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the separation axioms, History of the separation axioms (statement). Also Wikidata Q5870906
History
- 2026-11-02: add by m2/dev
KE937E1VT8 KE937E1VT8
| URI | m2://inv/KE937E1VT8 |
|---|---|
| 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 dg-ga/9612010#U03N (statement). In CM39SWC4A6/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.0
KE953QQ7G0 KE953QQ7G0
| URI | m2://inv/KE953QQ7G0 |
|---|---|
| Kind | example |
| 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 2609.38267#EHTM (example). In 518V871EKW/e1, example 2.2
History
- 2026-10-30: add by m2/v0.4.12
Journal of Educational and Behavioral Statistics KE97SSSN7G
| URI | m2://inv/KE97SSSN7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#X01U, Journal of Educational and Behavioral Statistics (definition)
History
- 2026-11-02: add by m2/dev
KE9BY32V47 KE9BY32V47
| URI | m2://inv/KE9BY32V47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-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 2609.35543#7VLZ (statement). In WSG1ZW956E/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
KE9KYCX5W4 KE9KYCX5W4
| URI | m2://inv/KE9KYCX5W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 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.20713#P8B0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
KEA5Z4VVSA KEA5Z4VVSA
| URI | m2://inv/KEA5Z4VVSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.11301#D9D9 (statement). In YH1W5A0JTS/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Statement KEA8JXBQKS
| URI | m2://inv/KEA8JXBQKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity#JV9Q, Statement (statement)
History
- 2026-11-02: add by m2/dev
KEA9JGZ02P KEA9JGZ02P
| URI | m2://inv/KEA9JGZ02P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#7VGH (statement). In CC6S1HVK0T/e1, proposition 5.35
History
- 2026-10-28: add by m2/v0.4.2
KEAWQMP3QS KEAWQMP3QS
| URI | m2://inv/KEAWQMP3QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#IHSU (statement). In GC2H0HS7ZM/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Uses KEAXG2XZY0
| URI | m2://inv/KEAXG2XZY0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snowflake (software)#T94V, Uses (example)
History
- 2026-11-02: add by m2/dev
connected category KEAXY5E4FT
| URI | m2://inv/KEAXY5E4FT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5161408, connected category (unknown). Also nLab connected category
- wikipedia: Wikipedia Connected category, Connected category (definition). Also Wikidata Q5161408
History
- 2026-10-26: add by m2/dev
Definition KEAXZC22NY
| URI | m2://inv/KEAXZC22NY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner integral#1KDO, Definition (definition)
History
- 2026-11-02: add by m2/dev
homogeneous space KEB16FS5W8
| URI | m2://inv/KEB16FS5W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Homogeneous space 85TWR6E75P |
Mentions
- wikidata: Wikidata Q1324364, homogeneous space (unknown). Also nLab homogeneous space
- wikipedia: Wikipedia Homogeneous space, Homogeneous space (definition). Also Wikidata Q1324364
History
- 2026-10-26: add by m2/dev
Horatio Pollock KEB1G5XA9Q
| URI | m2://inv/KEB1G5XA9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#9T1C, Horatio Pollock (topic)
History
- 2026-11-02: add by m2/dev
KEBAN4NRC1 KEBAN4NRC1
| URI | m2://inv/KEBAN4NRC1 |
|---|---|
| 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#KVED (statement). In 2ZRQP063HP/e1, fact 2.5
History
- 2026-10-28: add by m2/v0.4.2
KEBEAPPDJY KEBEAPPDJY
| URI | m2://inv/KEBEAPPDJY |
|---|---|
| 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.33829#0MZ2 (statement). In S34H2JTJHH/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
KEBEJCDMBJ KEBEJCDMBJ
| URI | m2://inv/KEBEJCDMBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/quantifiers.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 58.1
History
- 2026-11-01: add by m2/v0.6.13
KEBHW020J2 KEBHW020J2
| URI | m2://inv/KEBHW020J2 |
|---|---|
| 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.02079#NP5W (statement). In CNS2J2E4T2/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
KEBM5SVCD1 KEBM5SVCD1
| URI | m2://inv/KEBM5SVCD1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#GM6O (definition). In V7VCEA0VAA/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.10
Gerrit Lekkerkerker KEBM604PB1
| URI | m2://inv/KEBM604PB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerrit Lekkerkerker, Gerrit Lekkerkerker (topic). Also Wikidata Q15812052
History
- 2026-11-02: add by m2/dev
KEBS75PE38 KEBS75PE38
| URI | m2://inv/KEBS75PE38 |
|---|---|
| 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 2609.22280#WTI5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition KEBSS0VM8E
| URI | m2://inv/KEBSS0VM8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian process#P5LM, Definition (definition)
History
- 2026-11-02: add by m2/dev
KEBVH9N9R9 KEBVH9N9R9
| URI | m2://inv/KEBVH9N9R9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-11 (proof). In N54F33XE07, proof, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
higher-order variable KEC58RZZ40
| URI | m2://inv/KEC58RZZ40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#PZ78, higher-order variable (definition)
History
- 2026-11-02: add by m2/dev
KEC5EDS181 KEC5EDS181
| URI | m2://inv/KEC5EDS181 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#SPJZ (statement). In T2N92YSY5R/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
L. Des Lauriers KEC6NNVC18
| URI | m2://inv/KEC6NNVC18 |
|---|---|
| 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#XQOU, L. Des Lauriers (unknown)
History
- 2026-11-02: add by m2/dev
KEC7EFPMTB KEC7EFPMTB
| URI | m2://inv/KEC7EFPMTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#corollary-2 (statement). In RZP28ERRZV, corollary, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
KEC7JAV9X2 KEC7JAV9X2
| URI | m2://inv/KEC7JAV9X2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.10930#54GD (statement). In HX63A1PH1W/e1, proposition 5.34
History
- 2026-10-28: add by m2/v0.4.3
KECHD5NGG7 KECHD5NGG7
| URI | m2://inv/KECHD5NGG7 |
|---|---|
| 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 2305.06030#7RDX (statement). In 2Q0CNQ8DQB/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
KECQK3R77C KECQK3R77C
| URI | m2://inv/KECQK3R77C |
|---|---|
| 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.04603#1ASX (statement). In HEAG8V2JM1/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
KECS8B2Z3P KECS8B2Z3P
| URI | m2://inv/KECS8B2Z3P |
|---|---|
| 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#XD81 (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
KECV2ZSWEA KECV2ZSWEA
| URI | m2://inv/KECV2ZSWEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#KEVG (statement). In CC6S1HVK0T/e1, theorem E.10
History
- 2026-10-28: add by m2/v0.4.2
KECVH8NBS4 KECVH8NBS4
| URI | m2://inv/KECVH8NBS4 |
|---|---|
| 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 0903.1569#UWVZ (statement). In ZM7WZ2A9H2/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
KECX2G99H4 KECX2G99H4
| URI | m2://inv/KECX2G99H4 |
|---|---|
| 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 2512.22986#OQCI (statement). In GFP8TEKFBC/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
modular lattice KECXXTAPS4
| URI | m2://inv/KECXXTAPS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Modular lattice QX7WZ92QAK |
Mentions
- wikidata: Wikidata Q1538614, modular lattice (unknown). Also EoM Modular_lattice, MathWorld ModularLattice, nLab modular lattice
- wikipedia: Wikipedia Modular lattice, Modular lattice (definition). Also Wikidata Q1538614
History
- 2026-10-26: add by m2/dev
Related results KED26XCWDR
| URI | m2://inv/KED26XCWDR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roberts's triangle theorem#L6RJ, Related results (statement)
History
- 2026-11-02: add by m2/dev
KEDDP85C7B KEDDP85C7B
| URI | m2://inv/KEDDP85C7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/isomorphism.tex#defn:isomorphism (definition). In PKGMM3P5QY, defn, section 46.2
History
- 2026-11-01: add by m2/v0.6.13
Procedure KEDGHD5THA
| URI | m2://inv/KEDGHD5THA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z-test#L7YB, Procedure (definition)
History
- 2026-11-02: add by m2/dev
Approximations for the exponential integral function KEDQTWE6RP
| URI | m2://inv/KEDQTWE6RP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential integral#XQVI, Approximations for the exponential integral function (unknown)
History
- 2026-11-02: add by m2/dev
Eilenberg--Mac Lane Spaces KEDXSKJRYM
| URI | m2://inv/KEDXSKJRYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#Eilenberg-Mac-Lane-Spaces, Eilenberg--Mac Lane Spaces (statement). In N54F33XE07, thm, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
KEE0GMM809 KEE0GMM809
| URI | m2://inv/KEE0GMM809 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#M8JZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
KEE1765527 KEE1765527
| URI | m2://inv/KEE1765527 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.3308#FPTG (statement). In KGBKNQB52Z/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Cheeger constant KEE27SDTCT
| URI | m2://inv/KEE27SDTCT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheeger constant, Cheeger constant (object). Also Wikidata Q5089259
History
- 2026-11-02: add by m2/dev
Prasad V. Tetali KEEFV6KDTT
| URI | m2://inv/KEEFV6KDTT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#X7HV, Prasad V. Tetali (topic)
History
- 2026-11-02: add by m2/dev
Yasuo Akizuki KEEQ8X534P
| URI | m2://inv/KEEQ8X534P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yasuo Akizuki, Yasuo Akizuki (topic). Also Wikidata Q67865013
History
- 2026-11-02: add by m2/dev
connectives, implies KEEQ9MHZGF
| URI | m2://inv/KEEQ9MHZGF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/connectives-implies, connectives, implies (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
KEERY2EWNN KEERY2EWNN
| URI | m2://inv/KEERY2EWNN |
|---|---|
| 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.29477#1DH8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heinrich Christoph Wilhelm Sigwart KEF07660FF
| URI | m2://inv/KEF07660FF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Christoph Wilhelm Sigwart, Heinrich Christoph Wilhelm Sigwart (topic). Also Wikidata Q97178
History
- 2026-11-02: add by m2/dev
KEF7RZRNHD KEF7RZRNHD
| URI | m2://inv/KEF7RZRNHD |
|---|---|
| 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.10078#KNEO (statement). In YVGRZK1HRS/e1, theorem 2.13
History
- 2026-10-29: add by m2/v0.4.10
Snefru KEF8BBY1WD
| URI | m2://inv/KEF8BBY1WD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#00TA, Snefru (definition)
History
- 2026-11-02: add by m2/dev
Inellipse KEFA7FPW8D
| URI | m2://inv/KEFA7FPW8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#QAS1, Inellipse (definition)
History
- 2026-11-02: add by m2/dev
Examples KEFASFV8SF
| URI | m2://inv/KEFASFV8SF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonparametric regression#2661, Examples (example)
History
- 2026-11-02: add by m2/dev
KEFFMY003H KEFFMY003H
| URI | m2://inv/KEFFMY003H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#lemma-1 (statement). In E59CDZA4DP, lemma, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
KEFK95KV3V KEFK95KV3V
| URI | m2://inv/KEFK95KV3V |
|---|---|
| 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 2407.04161#SUXT (statement). In JBZJ7NPQ4G/e1, corollary 5.6
History
- 2026-10-27: add by m2/v0.4.0
Strong Law of Large Numbers KEFN062228
| URI | m2://inv/KEFN062228 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Cantelli lemma#BSSP, Strong Law of Large Numbers (statement)
History
- 2026-11-02: add by m2/dev
KEFN0R98NV KEFN0R98NV
| URI | m2://inv/KEFN0R98NV |
|---|---|
| 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.18152#2NQG (statement). In AAVGAGCWTE/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Generalizations KEG53BZR8D
| URI | m2://inv/KEG53BZR8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey's theorem#GLAU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
KEG91HG1K5 KEG91HG1K5
| URI | m2://inv/KEG91HG1K5 |
|---|---|
| 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.20002#SISC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Specular reflection KEGCF8R7Y3
| URI | m2://inv/KEGCF8R7Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Specular reflection, Specular reflection (definition). Also Wikidata Q1079524
History
- 2026-11-02: add by m2/dev
Ronald Freedman KEGD8EQCSH
| URI | m2://inv/KEGD8EQCSH |
|---|---|
| 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#0K4U, Ronald Freedman (unknown)
History
- 2026-11-02: add by m2/dev
Hartley's test KEGKWGB6Q3
| URI | m2://inv/KEGKWGB6Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SI6N, Hartley's test (definition)
History
- 2026-11-02: add by m2/dev
Lattice multiplication KEGNK3WKW6
| URI | m2://inv/KEGNK3WKW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice multiplication, Lattice multiplication (definition). Also Wikidata Q3516846
History
- 2026-11-02: add by m2/dev
KEGPE5YFXC KEGPE5YFXC
| URI | m2://inv/KEGPE5YFXC |
|---|---|
| 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 2609.38453#1RGV (statement). In DWKWF242Y0/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Vector generalized linear model KEGQ1DVYP2
| URI | m2://inv/KEGQ1DVYP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector generalized linear model, Vector generalized linear model (definition). Also Wikidata Q25304636
History
- 2026-11-02: add by m2/dev
Odd dihedral base KEGTVQJGGC
| URI | m2://inv/KEGTVQJGGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#6VMD, Odd dihedral base (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dos Vientos KEH009QQKJ
| URI | m2://inv/KEH009QQKJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VGTG, Dos Vientos (unknown)
History
- 2026-11-02: add by m2/dev
KEH1MBM018 KEH1MBM018
| URI | m2://inv/KEH1MBM018 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#definition-5 (definition). In RZP28ERRZV, definition, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
Spectrum of a C*-algebra KEH48YCR22
| URI | m2://inv/KEH48YCR22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a C*-algebra, Spectrum of a C*-algebra (definition). Also Wikidata Q7575320
History
- 2026-11-02: add by m2/dev
KEH6YAZB3B KEH6YAZB3B
| URI | m2://inv/KEH6YAZB3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.35858#0T2Y (statement). In R2K4HZN8RW/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Mark Chaplain KEHA3R544A
| URI | m2://inv/KEHA3R544A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Chaplain, Mark Chaplain (topic). Also Wikidata Q38304587
History
- 2026-11-02: add by m2/dev
Aronszajn line KEHA73D083
| URI | m2://inv/KEHA73D083 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aronszajn line, Aronszajn line (definition). Also Wikidata Q4795568
History
- 2026-11-02: add by m2/dev
Definition KEHCSJMMC2
| URI | m2://inv/KEHCSJMMC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse Fourier transform#399E, Definition (definition)
History
- 2026-11-02: add by m2/dev
Monte Carlo methods in finance KEHJ55NH7X
| URI | m2://inv/KEHJ55NH7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monte Carlo methods in finance, Monte Carlo methods in finance (definition). Also Wikidata Q6904707
History
- 2026-11-02: add by m2/dev
Frederick J. Almgren Jr. KEHN50HANH
| URI | m2://inv/KEHN50HANH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick J. Almgren Jr., Frederick J. Almgren Jr. (topic). Also Wikidata Q1452780
History
- 2026-11-02: add by m2/dev
solutions to Pell's equation KEHQA6QJR5
| URI | m2://inv/KEHQA6QJR5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Number theory > solutions to Pell's equation, solutions to Pell's equation (unknown). Also Mathlib Pell.pell
History
- 2026-10-26: add by m2/dev
Basic properties KEHTC3G2BT
| URI | m2://inv/KEHTC3G2BT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łojasiewicz inequality#6YTZ, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
KEHTSYHNTG KEHTSYHNTG
| URI | m2://inv/KEHTSYHNTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.03612#BL69 (statement). In REDG6QVHM3/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
KEHY3XJSM0 KEHY3XJSM0
| URI | m2://inv/KEHY3XJSM0 |
|---|---|
| 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.16060#OWCL (statement). In X0BTF9HPGM/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
History of arithmetic KEHYJJY2GK
| URI | m2://inv/KEHYJJY2GK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic#YQTO, History of arithmetic (unknown)
History
- 2026-11-02: add by m2/dev
Data point KEJ3X202JZ
| URI | m2://inv/KEJ3X202JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6SPC, Data point (definition)
History
- 2026-11-02: add by m2/dev
KEJ49EHZ00 KEJ49EHZ00
| URI | m2://inv/KEJ49EHZ00 |
|---|---|
| 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.36622#QLED (statement). In 9704QPRPR6/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
KEJACD9XWF KEJACD9XWF
| URI | m2://inv/KEJACD9XWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15736#JXP4 (statement). In 17WP1JCDAV/e1, lemma B
History
- 2026-10-28: add by m2/v0.4.2
Method KEJAW63GDD
| URI | m2://inv/KEJAW63GDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mellin inversion theorem#TT0S, Method (definition)
History
- 2026-11-02: add by m2/dev
KEJDJFV6J3 KEJDJFV6J3
| URI | m2://inv/KEJDJFV6J3 |
|---|---|
| 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 2609.38650#IOFP (statement). In DZJ9QJVQK3/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
KEJDK85MGB KEJDK85MGB
| URI | m2://inv/KEJDK85MGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#rotationsgroupabelian (statement). In PKGMM3P5QY, lem, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
KEJHQK931W KEJHQK931W
| URI | m2://inv/KEJHQK931W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-6 (proof). In N54F33XE07, proof, section B.2.2
History
- 2026-11-01: add by m2/v0.6.13
KEJWEPJWJJ KEJWEPJWJJ
| URI | m2://inv/KEJWEPJWJJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05354#RBMV (definition). In TZ5BMDXRQZ/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Wu Wenjun KEK20TX0DK
| URI | m2://inv/KEK20TX0DK |
|---|---|
| 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 Q926125, Wu Wenjun (unknown). Also nLab Wen-Tsun Wu
History
- 2026-10-26: add by m2/dev
KEK3BP0283 KEK3BP0283
| URI | m2://inv/KEK3BP0283 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#HFQ8 (statement). In SBZNH932ZV/e1, theorem 8.4
History
- 2026-10-30: add by m2/v0.4.12
KEK6CJRWTJ KEK6CJRWTJ
| URI | m2://inv/KEK6CJRWTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma-3 (statement). In VNMV985MXX, lemma, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
KEK8QPZF09 KEK8QPZF09
| URI | m2://inv/KEK8QPZF09 |
|---|---|
| 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.04809#X8HL (statement). In 2VHV0RNTNV/e1, fact 7.11
History
- 2026-10-29: add by m2/v0.4.12
KEKB4SBG1G KEKB4SBG1G
| URI | m2://inv/KEKB4SBG1G |
|---|---|
| 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 2505.04063#1I48 (statement). In TFH7T63DX9/e1, lemma S.8
History
- 2026-10-27: add by m2/v0.3.5
KEKFEWPW4C KEKFEWPW4C
| URI | m2://inv/KEKFEWPW4C |
|---|---|
| Kind | problem |
| 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 2205.06433#3DTU (problem). In 628PJKD3EV/e1, problem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Notation KEKRT837RH
| URI | m2://inv/KEKRT837RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szegő limit theorems#MDTG, Notation (definition)
History
- 2026-11-02: add by m2/dev
Meta-regression KEM4HA1DRH
| URI | m2://inv/KEM4HA1DRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YFKD, Meta-regression (definition)
History
- 2026-11-02: add by m2/dev
KEM8J3P1CC KEM8J3P1CC
| URI | m2://inv/KEM8J3P1CC |
|---|---|
| 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.11388#SBGZ (statement). In PC1SZ68BPZ/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.3
Formulation KEMF53P89Z
| URI | m2://inv/KEMF53P89Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwasawa theory#N32E, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Extensions KEMG5Y9ZPC
| URI | m2://inv/KEMG5Y9ZPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Broglie–Bohm theory#5T0G, Extensions (statement)
History
- 2026-11-02: add by m2/dev
KEMHD12PMK KEMHD12PMK
| URI | m2://inv/KEMHD12PMK |
|---|---|
| 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.00379#SFJV (statement). In BTSCWAGACB/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
KEMNE9A175 KEMNE9A175
| URI | m2://inv/KEMNE9A175 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
Examples KEMWBDZC4G
| URI | m2://inv/KEMWBDZC4G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#EW54, Examples (example)
History
- 2026-11-02: add by m2/dev
Clifford's theorem KEMYHAZY6E
| URI | m2://inv/KEMYHAZY6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted representation#51X1, Clifford's theorem (statement)
History
- 2026-11-02: add by m2/dev
Additional translated head-pair gain KEN23MZ09K
| URI | m2://inv/KEN23MZ09K |
|---|---|
| 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.37164#B01Q, Additional translated head-pair gain (statement). In B2PG75FSQJ/e1, proposition 8.2
History
- 2026-10-30: add by m2/v0.4.12
KEN4C0T7FA KEN4C0T7FA
| URI | m2://inv/KEN4C0T7FA |
|---|---|
| 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.15593#FTCW (statement). In PREJREM4BB/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
KEN6KVT7KN KEN6KVT7KN
| URI | m2://inv/KEN6KVT7KN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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.24545#HLK4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Wong KEN75MR7VC
| URI | m2://inv/KEN75MR7VC |
|---|---|
| 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#1IR4, Wong (statement). In GXHKRV5BPY/e1, fact 5.8
History
- 2026-10-29: add by m2/v0.4.10
Typology KENDFDKXNS
| URI | m2://inv/KENDFDKXNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Typology (social science research method), Typology (definition). Also Wikidata Q18355541
History
- 2026-11-02: add by m2/dev
William B. Johnson KENDG4KS46
| URI | m2://inv/KENDG4KS46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William B. Johnson (mathematician), William B. Johnson (topic). Also Wikidata Q2577912
History
- 2026-11-02: add by m2/dev
KENEAV295C KENEAV295C
| URI | m2://inv/KENEAV295C |
|---|---|
| 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 2505.04063#JL0J (statement). In TFH7T63DX9/e1, lemma S.16
History
- 2026-10-27: add by m2/v0.3.5
Primitive-tail verification KENQA9NSCG
| URI | m2://inv/KENQA9NSCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#HYTB, Primitive-tail verification (statement)
History
- 2026-11-02: add by m2/v0.6.18
KENT9F23W5 KENT9F23W5
| URI | m2://inv/KENT9F23W5 |
|---|---|
| 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 1610.01054#FFVZ (statement). In WNTFRFJ8SE/e1, lemma III.4
History
- 2026-10-27: add by m2/v0.3.5
March Boedihardjo KEPC3Z4BPD
| URI | m2://inv/KEPC3Z4BPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia March Boedihardjo, March Boedihardjo (topic). Also Wikidata Q6314789
History
- 2026-11-02: add by m2/dev
KEPDSKT6CR KEPDSKT6CR
| URI | m2://inv/KEPDSKT6CR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21572#N5GU (statement). In 5TSFJEF45V/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.2
Forms become functions KEPGMWR90F
| URI | m2://inv/KEPGMWR90F |
|---|---|
| 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.35460#9QZR, Forms become functions (statement). In R515NECVME/e1, lemma 8.3
History
- 2026-10-30: add by m2/v0.4.12
Economic statistics KEPJ764QGR
| URI | m2://inv/KEPJ764QGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IB8L, Economic statistics (definition)
History
- 2026-11-02: add by m2/dev
KEPMG8WED0 KEPMG8WED0
| URI | m2://inv/KEPMG8WED0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.11596#5NBD (statement). In 76850E2X7T/e1, corollary 3.11
History
- 2026-10-28: add by m2/v0.4.3
KEPNAM2PBH KEPNAM2PBH
| URI | m2://inv/KEPNAM2PBH |
|---|---|
| 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#VF6K (statement). In Z36XFKVTS0/e1, proposition 3.21
History
- 2026-10-27: add by m2/v0.3.5
KEPVR88CQZ KEPVR88CQZ
| URI | m2://inv/KEPVR88CQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07280#7IYX (statement). In 1FJKW4WGEN/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
KEPW656GCX KEPW656GCX
| URI | m2://inv/KEPW656GCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#H6N7 (statement). In 371P9QASSJ/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.4.2
homogeneous part KEPWVR3BKV
| URI | m2://inv/KEPWVR3BKV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/3.1/homogeneous-part, homogeneous part (concept). In VNMV985MXX, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
simplicial Lie algebra KEPY60YAFF
| URI | m2://inv/KEPY60YAFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16896378, simplicial Lie algebra (unknown). Also nLab simplicial Lie algebra
- wikipedia: Wikipedia Simplicial Lie algebra, Simplicial Lie algebra (definition). Also Wikidata Q16896378
History
- 2026-10-26: add by m2/dev
Euler–Lotka equation KEQ6JPWCA2
| URI | m2://inv/KEQ6JPWCA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Lotka equation, Euler–Lotka equation (definition). Also Wikidata Q5409005
History
- 2026-11-02: add by m2/dev
jump KEQN7SRJ3Q
| URI | m2://inv/KEQN7SRJ3Q |
|---|---|
| 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.10408#CM9P, jump (statement). In H976NYKBNT/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
San Luis KEQZEXF5Y4
| URI | m2://inv/KEQZEXF5Y4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#WRWZ, San Luis (unknown)
History
- 2026-11-02: add by m2/dev
KEQZXH21QX KEQZXH21QX
| URI | m2://inv/KEQZXH21QX |
|---|---|
| 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.03499#FCYK (statement). In NAE99N03W3/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
KER4ZPVQHG KER4ZPVQHG
| URI | m2://inv/KER4ZPVQHG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#BWY3 (definition). In M4JGP708F4/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
KERF6X9P6E KERF6X9P6E
| URI | m2://inv/KERF6X9P6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 33.2.3
History
- 2026-11-01: add by m2/v0.6.13
Carl-Erik Särndal KERGHEER21
| URI | m2://inv/KERGHEER21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KIH0, Carl-Erik Särndal (topic)
History
- 2026-11-02: add by m2/dev
\textbf{Similarity of sub-matrices KERMX6KJN1
| URI | m2://inv/KERMX6KJN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2610.14266#21M7, \textbf{Similarity of sub-matrices (statement). In 7R33E8515R/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Church–Turing–Deutsch principle KERP1HGJE2
| URI | m2://inv/KERP1HGJE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#UA66, Church–Turing–Deutsch principle (statement)
History
- 2026-11-02: add by m2/dev
Linear seeded extractors KES5CYCNAW
| URI | m2://inv/KES5CYCNAW |
|---|---|
| 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.02407#QGZ6, Linear seeded extractors (statement). In ZZER8ZBSCR/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.12
curvature form KESCBJ8WT3
| URI | m2://inv/KESCBJ8WT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Curvature form ZAJFW1S078 |
Mentions
- wikidata: Wikidata Q839832, curvature form (unknown). Also EoM Curvature_form, MathWorld CurvatureForm
- wikipedia: Wikipedia Curvature form, Curvature form (definition). Also Wikidata Q839832
History
- 2026-10-26: add by m2/dev
KESCW8HRZH KESCW8HRZH
| URI | m2://inv/KESCW8HRZH |
|---|---|
| Kind | definition |
| 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 2204.01073#ZH7T (definition). In W4TYN4PGE8/e1, definition 2.56
History
- 2026-10-27: add by m2/v0.3.5
Unit triangular matrix KESDG91DYN
| URI | m2://inv/KESDG91DYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular matrix#WRG1, Unit triangular matrix (unknown)
History
- 2026-11-02: add by m2/dev
Qualitative comparative analysis KESKD0V1R2
| URI | m2://inv/KESKD0V1R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#178H, Qualitative comparative analysis (definition)
History
- 2026-11-02: add by m2/dev
Properties KESPEANE4V
| URI | m2://inv/KESPEANE4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support (measure theory)#NVIA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Quadratic assignment problem KESQFEHJY3
| URI | m2://inv/KESQFEHJY3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic assignment problem, Quadratic assignment problem (problem). Also Wikidata Q7268356
History
- 2026-11-02: add by m2/dev
KESRWQSXF2 KESRWQSXF2
| URI | m2://inv/KESRWQSXF2 |
|---|---|
| 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#QAUW (statement). In 4H727T2YAS/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Brauer's theorem on forms KESZ46CP2S
| URI | m2://inv/KESZ46CP2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer's theorem on forms, Brauer's theorem on forms (statement). Also Wikidata Q4958219
History
- 2026-11-02: add by m2/dev
KESZ6G5FRK KESZ6G5FRK
| URI | m2://inv/KESZ6G5FRK |
|---|---|
| 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.14446#JDH3 (statement). In AWRXXZR673/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
KETF6XA68M KETF6XA68M
| URI | m2://inv/KETF6XA68M |
|---|---|
| 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.13618#3JL8 (statement). In XDQAEGH345/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Extension problem KETPWXYS0M
| URI | m2://inv/KETPWXYS0M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group extension#QWN4, Extension problem (unknown)
History
- 2026-11-02: add by m2/dev
Bertha Hart KETQJWSR0K
| URI | m2://inv/KETQJWSR0K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertha Hart, Bertha Hart (topic). Also Wikidata Q111939648
History
- 2026-11-02: add by m2/dev
Properties KETRWQZWQ4
| URI | m2://inv/KETRWQZWQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meagre set#KTOS, Properties (statement)
History
- 2026-11-02: add by m2/dev
KETWA24A66 KETWA24A66
| URI | m2://inv/KETWA24A66 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 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.18929#HZKM (example). In ZRJ2DZT6P1/e1, example 7.1
History
- 2026-10-28: add by m2/v0.4.2
Hungarian algorithm KETWCSHDW0
| URI | m2://inv/KETWCSHDW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hungarian algorithm, Hungarian algorithm (definition). Also Wikidata Q281922
History
- 2026-11-02: add by m2/dev
KETXJEDWFJ KETXJEDWFJ
| URI | m2://inv/KETXJEDWFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2407.06927#NL5R (statement). In YM4CSJJDJZ/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.6
Enthalpy KETZ4AAD3Y
| URI | m2://inv/KETZ4AAD3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enthalpy, Enthalpy (definition). Also Wikidata Q161064
History
- 2026-11-02: add by m2/dev
Rodrigues formula KEV05NADN9
| URI | m2://inv/KEV05NADN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn polynomials#M6S7, Rodrigues formula (statement)
History
- 2026-11-02: add by m2/dev
KEV0BTG1JX KEV0BTG1JX
| URI | m2://inv/KEV0BTG1JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#L59S (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition KEV19BGFKZ
| URI | m2://inv/KEV19BGFKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior product#KQOV, Definition (definition)
History
- 2026-11-02: add by m2/dev
unary function KEV4XN4GK1
| URI | m2://inv/KEV4XN4GK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7882311, unary function (unknown). Also MathWorld UnivariateFunction
- wikipedia: Wikipedia Unary function, Unary function (definition). Also Wikidata Q7882311
History
- 2026-10-26: add by m2/dev
Erdős–Pósa theorem KEV4YVM7H5
| URI | m2://inv/KEV4YVM7H5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5385325, Erdős–Pósa theorem (statement). Also Wikidata Q5385325
- thousand_plus: thousand_plus Q5385325, Erdős–Pósa theorem (statement). Also Wikidata Q5385325, Wikipedia Erdős–Pósa theorem
- wikipedia: Wikipedia Erdős–Pósa theorem, Erdős–Pósa theorem (statement). Also Wikidata Q5385325
History
- 2026-10-26: add by m2/dev
Second count on the packing blocks KEV6E44R1C
| URI | m2://inv/KEV6E44R1C |
|---|---|
| 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 2607.01109#S2JP, Second count on the packing blocks (statement). In V35F0T5RQ2/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Useful update and calibration KEV7M56TA5
| URI | m2://inv/KEV7M56TA5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.33499#FLDK, Useful update and calibration (definition). In AAH14S2JJ2/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
differentiability of the limit of a sequence of functions KEV8WYFS4P
| URI | m2://inv/KEV8WYFS4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > differentiability of the limit of a sequence of functions, differentiability of the limit of a sequence of functions (unknown). Also Mathlib hasFDerivAt_of_tendstoUniformly
History
- 2026-10-26: add by m2/dev
Logarithmic measure KEV9X4G6CD
| URI | m2://inv/KEV9X4G6CD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive real numbers#8FXD, Logarithmic measure (unknown)
History
- 2026-11-02: add by m2/dev
Philips van Marnix, lord of Sint-Aldegonde KEVBFAA9Z5
| URI | m2://inv/KEVBFAA9Z5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#AYS8, Philips van Marnix, lord of Sint-Aldegonde (unknown)
History
- 2026-11-02: add by m2/dev
KEVC4AF7XP KEVC4AF7XP
| URI | m2://inv/KEVC4AF7XP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#JXBV (definition). In WWMHZKWZSM/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
KEVKMXCKRZ KEVKMXCKRZ
| URI | m2://inv/KEVKMXCKRZ |
|---|---|
| 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.30999#934J (statement). In J1BWCKW2QK/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
KEVKPNJSW8 KEVKPNJSW8
| URI | m2://inv/KEVKPNJSW8 |
|---|---|
| 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.15700#993P (statement). In S95MSZ7MDR/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Bernstein Inequality KEVQRNM5ZA
| URI | m2://inv/KEVQRNM5ZA |
|---|---|
| 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.15111#IR5H, Bernstein Inequality (statement). In 6RE6JYE4GP/e1, theorem F.1
History
- 2026-10-28: add by m2/v0.4.2
KEVS2CCTQA KEVS2CCTQA
| URI | m2://inv/KEVS2CCTQA |
|---|---|
| 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.25390#N9II (statement)
History
- 2026-11-01: add by m2/v0.6.15
System node KEVSJWB38H
| URI | m2://inv/KEVSJWB38H |
|---|---|
| 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.03242#CBKP, System node (definition). In MJE6HRC6PX/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Compound of two small stellated dodecahedra KEVTVRZTQ3
| URI | m2://inv/KEVTVRZTQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two small stellated dodecahedra, Compound of two small stellated dodecahedra (definition). Also Wikidata Q5156917
History
- 2026-11-02: add by m2/dev
3-transposition group KEVZYT8814
| URI | m2://inv/KEVZYT8814 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-transposition group, 3-transposition group (definition). Also Wikidata Q2207122
History
- 2026-11-02: add by m2/dev
KEW1BB9NG8 KEW1BB9NG8
| URI | m2://inv/KEW1BB9NG8 |
|---|---|
| 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.17737#UK5T (statement). In 8SXY7Y68HV/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Axioms KEW26K1F00
| URI | m2://inv/KEW26K1F00 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equality (mathematics)#YMH9, Axioms (statement)
History
- 2026-11-02: add by m2/dev
multimodal distribution KEW3WTQGGW
| URI | m2://inv/KEW3WTQGGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#RQUE, multimodal distribution (definition)
History
- 2026-11-02: add by m2/dev
KEW8GB29HE KEW8GB29HE
| URI | m2://inv/KEW8GB29HE |
|---|---|
| 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#SCZV (statement). In GXHKRV5BPY/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
KEWHMS31PB KEWHMS31PB
| URI | m2://inv/KEWHMS31PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.16069#QUH0 (statement). In MBJA03ES8N/e1, corollary 9.1
History
- 2026-10-28: add by m2/v0.4.2
Law of large numbers KEWNZPH5GZ
| URI | m2://inv/KEWNZPH5GZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gambling mathematics#ZTTO, Law of large numbers (statement)
History
- 2026-11-02: add by m2/dev
Fubini–Study metric KEWVX8A41T
| URI | m2://inv/KEWVX8A41T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3333764, Fubini–Study metric (concept). Also EoM Fubini-Study_metric, nLab Fubini-Study metric
- wikipedia: Wikipedia Fubini–Study metric, Fubini–Study metric (definition). Also Wikidata Q3333764
History
- 2026-10-26: add by m2/dev
List of F4 polytopes KEWWG10ZR4
| URI | m2://inv/KEWWG10ZR4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of F4 polytopes, List of F4 polytopes (topic). Also Wikidata Q21067804
History
- 2026-11-02: add by m2/dev
Formal holomorphic function KEWYB8GXZS
| URI | m2://inv/KEWYB8GXZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal holomorphic function, Formal holomorphic function (definition). Also Wikidata Q30704557
History
- 2026-11-02: add by m2/dev
KEWYP0C5G9 KEWYP0C5G9
| URI | m2://inv/KEWYP0C5G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#def:graded_ring (definition). In RZP28ERRZV, definition, section 52.3
History
- 2026-11-01: add by m2/v0.6.13
KEXFHF1GY0 KEXFHF1GY0
| URI | m2://inv/KEXFHF1GY0 |
|---|---|
| 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.13898#DMBU (definition). In 44EVK9BPC9/e1, definition 1.14
History
- 2026-10-28: add by m2/v0.4.2
Examples KEXGT72888
| URI | m2://inv/KEXGT72888 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traffic model#4Y72, Examples (example)
History
- 2026-11-02: add by m2/dev
KEXJK5A1KP KEXJK5A1KP
| URI | m2://inv/KEXJK5A1KP |
|---|---|
| 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.08787#QQS8 (statement). In CCQ5XXWYDZ/e1, lemma III.7
History
- 2026-10-29: add by m2/v0.4.10
Self-relevance effect KEXNJ4F7CN
| URI | m2://inv/KEXNJ4F7CN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#UK6W, Self-relevance effect (unknown)
History
- 2026-11-02: add by m2/dev
KEXT1TNXGH KEXT1TNXGH
| URI | m2://inv/KEXT1TNXGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#1KUB (statement). In 8SVVEVGMNE/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
KEY0S389JT KEY0S389JT
| URI | m2://inv/KEY0S389JT |
|---|---|
| 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 2610.09596#EKKJ (statement). In HXFA55BREZ/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.10
KEY1D7VM8H KEY1D7VM8H
| URI | m2://inv/KEY1D7VM8H |
|---|---|
| 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#FAEA (statement). In CY1FE8W1ZW/e1, lemma 0.29
History
- 2026-10-27: add by m2/v0.3.5
KEY3155MNV KEY3155MNV
| URI | m2://inv/KEY3155MNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#8GB9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Instituto Nacional de Estatística KEYBV8TN5G
| URI | m2://inv/KEYBV8TN5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instituto Nacional de Estatística (São Tomé and Príncipe), Instituto Nacional de Estatística (definition). Also Wikidata Q17123737
History
- 2026-11-02: add by m2/dev
Donald Werner Anderson KEYD0TYAX5
| URI | m2://inv/KEYD0TYAX5 |
|---|---|
| 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#1KQ1, Donald Werner Anderson (unknown)
History
- 2026-11-02: add by m2/dev
KEYZ9118XQ KEYZ9118XQ
| URI | m2://inv/KEYZ9118XQ |
|---|---|
| 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.36818#U9WA (statement). In SK6AP2B9JH/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12
Collision comparison KEZ4FEFFSW
| URI | m2://inv/KEZ4FEFFSW |
|---|---|
| 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.20414#E19X, Collision comparison (statement). In X2NNNW8CX5/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
List of rules of inference KEZ6G4796Y
| URI | m2://inv/KEZ6G4796Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of rules of inference, List of rules of inference (topic). Also Wikidata Q15439057
History
- 2026-11-02: add by m2/dev
KEZBGY0Q9S KEZBGY0Q9S
| URI | m2://inv/KEZBGY0Q9S |
|---|---|
| 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.16510#6CSA (statement). In V7SQ4VXCRX/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Statement of the theorem for direct products KEZDWGJ6GA
| URI | m2://inv/KEZDWGJ6GA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feferman–Vaught theorem#5EY9, Statement of the theorem for direct products (statement)
History
- 2026-11-02: add by m2/dev
Random-threshold inverse-tail asymptotic KEZEX83H12
| URI | m2://inv/KEZEX83H12 |
|---|---|
| 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.28198#TGR6, Random-threshold inverse-tail asymptotic (statement)
History
- 2026-11-01: add by m2/v0.6.15
KEZHD6HR9E KEZHD6HR9E
| URI | m2://inv/KEZHD6HR9E |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#IRIP (unknown). In 4YJH4FPWDA/e1, unknown 4.8
History
- 2026-10-30: add by m2/v0.4.12
Linear KEZK7Q5Q59
| URI | m2://inv/KEZK7Q5Q59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#KMLZ, Linear (definition)
History
- 2026-11-02: add by m2/dev
KEZQ3NG3DW KEZQ3NG3DW
| URI | m2://inv/KEZQ3NG3DW |
|---|---|
| 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.28650#1CJL (definition)
History
- 2026-11-01: add by m2/v0.6.15
Statement KEZV247H26
| URI | m2://inv/KEZV247H26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gale–Ryser theorem#AIUT, Statement (statement)
History
- 2026-11-02: add by m2/dev
KEZYBPFH91 KEZYBPFH91
| URI | m2://inv/KEZYBPFH91 |
|---|---|
| Kind | definition |
| 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.07401#DHCS (definition). In FQ5435B36D/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10