Inventory rows 21
The cards of the rows of the inventory whose ids start with 21. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Proposition 3 2107QVE7EB
| URI | m2://inv/2107QVE7EB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geiringer–Laman theorem#GDKR, Proposition 3 (statement)
History
- 2026-11-02: add by m2/dev
Proposition 210B4N4S3C
| URI | m2://inv/210B4N4S3C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor's theorem on Kan complexes#HAMA, Proposition (statement)
History
- 2026-11-02: add by m2/dev
The loop space of the semisimple part 210HNS1Y4Y
| URI | m2://inv/210HNS1Y4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.04164#FLB5, The loop space of the semisimple part (statement). In KR7WXN4EWR/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
210NACBDBD 210NACBDBD
| URI | m2://inv/210NACBDBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#GHA0 (statement). In WZMHJCQPB2/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Karamata 210P7A6DYQ
| URI | m2://inv/210P7A6DYQ |
|---|---|
| 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.13505#YCQH, Karamata (statement). In 6Z1DDCYCQ8/e1, theorem A.4
History
- 2026-10-28: add by m2/v0.4.2
210QKKJHKD 210QKKJHKD
| URI | m2://inv/210QKKJHKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#HBKA (statement). In EZXTEXR47M/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Loch Achtriochtan 210TN14HRB
| URI | m2://inv/210TN14HRB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WUDC, Loch Achtriochtan (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 210W3A2EA9
| URI | m2://inv/210W3A2EA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli number#KNZ6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
The equivalent definitions of a Noetherian ring 2111J5SGPY
| URI | m2://inv/2111J5SGPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#proposition-2, The equivalent definitions of a Noetherian ring (statement). In RZP28ERRZV, proposition, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
membership 211581K9TY
| URI | m2://inv/211581K9TY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/membership, membership (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Cryptographic Service Provider 2118BF0T0J
| URI | m2://inv/2118BF0T0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic Service Provider, Cryptographic Service Provider (definition). Also Wikidata Q460982
History
- 2026-11-02: add by m2/dev
211CSNBT4D 211CSNBT4D
| URI | m2://inv/211CSNBT4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2609.26479#ED1Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
211F3V7C63 211F3V7C63
| URI | m2://inv/211F3V7C63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#EDO0 (statement). In HVY45JQRNK/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
Applications 211KZ7EG76
| URI | m2://inv/211KZ7EG76 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field reconstruction#WW46, Applications (example)
History
- 2026-11-02: add by m2/dev
Formula 211P0T66YT
| URI | m2://inv/211P0T66YT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz zeta function#O9XR, Formula (statement)
History
- 2026-11-02: add by m2/dev
Hardy's uncertainty principle 211PQ71S66
| URI | m2://inv/211PQ71S66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty principle#8YMZ, Hardy's uncertainty principle (statement)
History
- 2026-11-02: add by m2/dev
211QD6BB6N 211QD6BB6N
| URI | m2://inv/211QD6BB6N |
|---|---|
| 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 2207.12181#S0IY (statement). In FSD8NE3XSR/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.4.0
211SE5A6MW 211SE5A6MW
| URI | m2://inv/211SE5A6MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#G0ER (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm 211SEHAA69
| URI | m2://inv/211SEHAA69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tau-leaping#HLWQ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
211VFNB1BY 211VFNB1BY
| URI | m2://inv/211VFNB1BY |
|---|---|
| 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 2610.20316#SZTD (definition). In YRJS76169Z/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.4.2
Not invented here 211X747G1A
| URI | m2://inv/211X747G1A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#Z9W0, Not invented here (unknown)
History
- 2026-11-02: add by m2/dev
Nicolas Bergeron 2128V118RW
| URI | m2://inv/2128V118RW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3E09, Nicolas Bergeron (topic)
History
- 2026-11-02: add by m2/dev
212BFK2R5N 212BFK2R5N
| URI | m2://inv/212BFK2R5N |
|---|---|
| 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.21532#TP65 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties 212SBQWZA5
| URI | m2://inv/212SBQWZA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex bipartite graph#ZIPD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Geospatial predictive modeling 212SMBXX3C
| URI | m2://inv/212SMBXX3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JUOH, Geospatial predictive modeling (definition)
History
- 2026-11-02: add by m2/dev
Matching of the shifted coefficients 212TDJCE9S
| URI | m2://inv/212TDJCE9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34016#3HYV, Matching of the shifted coefficients (statement). In 1E4AJ49FWV/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Encryption software 212ZFF1W53
| URI | m2://inv/212ZFF1W53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encryption software, Encryption software (definition). Also Wikidata Q5375622
History
- 2026-11-02: add by m2/dev
212ZMMV1Z4 212ZMMV1Z4
| URI | m2://inv/212ZMMV1Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.05276#HW3D (statement). In 4C5XHYTRT2/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
2133DDXQS6 2133DDXQS6
| URI | m2://inv/2133DDXQS6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 55-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.30579#XZZK (definition). In FDYZFDHZH9/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
2136W5JQ0N 2136W5JQ0N
| URI | m2://inv/2136W5JQ0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#TSJ8 (statement). In RBQ5FNCVNZ/e1, proposition 7.9
History
- 2026-10-30: add by m2/v0.4.12
Szpiro's conjecture 213A3F6QHG
| URI | m2://inv/213A3F6QHG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q829242, Szpiro's conjecture (conjecture). Also MathWorld SzpirosConjecture, nLab Szpiro's conjecture
- wikipedia: Wikipedia Szpiro's conjecture, Szpiro's conjecture (conjecture). Also Wikidata Q829242
History
- 2026-10-26: add by m2/dev
644 symmetry 213EGFAYMW
| URI | m2://inv/213EGFAYMW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform tilings in hyperbolic plane#VW4J, 644 symmetry (unknown)
History
- 2026-11-02: add by m2/dev
213PWNBYPG 213PWNBYPG
| URI | m2://inv/213PWNBYPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26033#DVZP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mean payoff game 2144TCHGX0
| URI | m2://inv/2144TCHGX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean payoff game, Mean payoff game (definition). Also Wikidata Q130235648
History
- 2026-11-02: add by m2/dev
214RXRTHKV 214RXRTHKV
| URI | m2://inv/214RXRTHKV |
|---|---|
| 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 2308.08081#K9NQ (statement). In FJ8XVQ6F0T/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.0
IUSSP 214S05785N
| URI | m2://inv/214S05785N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institut national d'études démographiques#A1QS, IUSSP (unknown)
History
- 2026-11-02: add by m2/dev
special 2152KP98V1
| URI | m2://inv/2152KP98V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LI32, special (definition)
History
- 2026-11-02: add by m2/dev
The lack of an actual paradox 215AC9C5VJ
| URI | m2://inv/215AC9C5VJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindley's paradox#JVOY, The lack of an actual paradox (statement)
History
- 2026-11-02: add by m2/dev
the chordless four-cycle 215AKA1N2V
| URI | m2://inv/215AKA1N2V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#BLW6, the chordless four-cycle (example). In PCAS8S14J6/e1, example D.11
History
- 2026-10-31: add by m2/v0.5.6
Algorismus 215KMVDR6W
| URI | m2://inv/215KMVDR6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorismus (Norse text), Algorismus (definition). Also Wikidata Q24090594
History
- 2026-11-02: add by m2/dev
215ZMP2T1K 215ZMP2T1K
| URI | m2://inv/215ZMP2T1K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proof-4 (proof). In RZP28ERRZV, proof, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
Jean-Louis Nicolas 2166J343DW
| URI | m2://inv/2166J343DW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Louis Nicolas, Jean-Louis Nicolas (topic). Also Wikidata Q19663837
History
- 2026-11-02: add by m2/dev
Raphael David Levine 216R2H3PKZ
| URI | m2://inv/216R2H3PKZ |
|---|---|
| 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#Q06D, Raphael David Levine (unknown)
History
- 2026-11-02: add by m2/dev
RSA Factoring Challenge 216VTP2WVJ
| URI | m2://inv/216VTP2WVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#WCQO, RSA Factoring Challenge (definition)
History
- 2026-11-02: add by m2/dev
216Y3BJQE8 216Y3BJQE8
| URI | m2://inv/216Y3BJQE8 |
|---|---|
| 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 2609.26581#A8K9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
216Y8NHZRS 216Y8NHZRS
| URI | m2://inv/216Y8NHZRS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#TLQK (example). In RK0ZMDJ23T/e1, example 1.1.7
History
- 2026-10-31: add by m2/v0.5.6
Jacobson 216ZWZ1R2T
| URI | m2://inv/216ZWZ1R2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#09HD, Jacobson (definition)
History
- 2026-11-02: add by m2/dev
Samuel L. Braunstein 21712JEEH9
| URI | m2://inv/21712JEEH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3MPA, Samuel L. Braunstein (unknown)
History
- 2026-11-02: add by m2/dev
2173KT89AW 2173KT89AW
| URI | m2://inv/2173KT89AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#CFDS (statement). In CB68ATPEV9/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
informal 217J7F9GPF
| URI | m2://inv/217J7F9GPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00525#8K8P, informal (statement). In JN34PDDXH8/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
DPLL algorithm 217JWT2N1D
| URI | m2://inv/217JWT2N1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DPLL algorithm, DPLL algorithm (definition). Also Wikidata Q2030088
History
- 2026-11-02: add by m2/dev
217RFAWHD9 217RFAWHD9
| URI | m2://inv/217RFAWHD9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#TIVW (definition). In DHQWFJW02X/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Argument from fallacy 217SAT6S1Z
| URI | m2://inv/217SAT6S1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from fallacy, Argument from fallacy (definition). Also Wikidata Q776991
History
- 2026-11-02: add by m2/dev
Integrable function 217VJ5XZ1C
| URI | m2://inv/217VJ5XZ1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#615X, Integrable function (definition)
History
- 2026-11-02: add by m2/dev
International Association for Statistical Education 217XFK7VZQ
| URI | m2://inv/217XFK7VZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Association for Statistical Education, International Association for Statistical Education (definition). Also Wikidata Q85769617
History
- 2026-11-02: add by m2/dev
218DMH1AFT 218DMH1AFT
| URI | m2://inv/218DMH1AFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#FMRG (statement). In SD28S3K7BT/e1, proposition 25
History
- 2026-10-29: add by m2/v0.4.12
218G8CBYK4 218G8CBYK4
| URI | m2://inv/218G8CBYK4 |
|---|---|
| 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.36186#H1YG (definition). In 30PQN6JP7W/e1, definition 14
History
- 2026-10-27: add by m2/v0.3.5
Pancuran Tujuh 218MJS6BF4
| URI | m2://inv/218MJS6BF4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SYPW, Pancuran Tujuh (unknown)
History
- 2026-11-02: add by m2/dev
Proof-theoretic ordinal 218TQS2XRQ
| URI | m2://inv/218TQS2XRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#O9DW, Proof-theoretic ordinal (definition)
History
- 2026-11-02: add by m2/dev
218ZB9MGZN 218ZB9MGZN
| URI | m2://inv/218ZB9MGZN |
|---|---|
| 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 2206.05392#3T9M (statement). In 58D1ZC82DW/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
Hrushovski construction 21958AHGYT
| URI | m2://inv/21958AHGYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hrushovski construction, Hrushovski construction (definition). Also Wikidata Q5923924
History
- 2026-11-02: add by m2/dev
Thomas Nikolaus 21996FCTR2
| URI | m2://inv/21996FCTR2 |
|---|---|
| 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#3GDZ, Thomas Nikolaus (unknown)
History
- 2026-11-02: add by m2/dev
2199PNASGG 2199PNASGG
| URI | m2://inv/2199PNASGG |
|---|---|
| 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.31549#F6DM (statement). In CVB7NA2N10/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Nick Patterson 219AS1CYCX
| URI | m2://inv/219AS1CYCX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nick Patterson (scientist), Nick Patterson (topic). Also Wikidata Q29014620
History
- 2026-11-02: add by m2/dev
Product formulas 219EFDYXVZ
| URI | m2://inv/219EFDYXVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic functions#ITPB, Product formulas (statement)
History
- 2026-11-02: add by m2/dev
VC inequality 219GNXF7ZD
| URI | m2://inv/219GNXF7ZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vapnik–Chervonenkis theory#4LAK, VC inequality (statement)
History
- 2026-11-02: add by m2/dev
219YKF7RP2 219YKF7RP2
| URI | m2://inv/219YKF7RP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#2LNJ (statement). In PQHTR84RAJ/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.4.0
History of system dynamics 219Z24MB70
| URI | m2://inv/219Z24MB70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System dynamics#4RT4, History of system dynamics (unknown)
History
- 2026-11-02: add by m2/dev
tensor bundle 21A2YF27M5
| URI | m2://inv/21A2YF27M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4454684, tensor bundle (unknown). Also EoM Tensor_bundle
- wikipedia: Wikipedia Tensor bundle, Tensor bundle (definition). Also Wikidata Q4454684
History
- 2026-10-26: add by m2/dev
Squeeze operator 21AMFA0W39
| URI | m2://inv/21AMFA0W39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squeeze operator, Squeeze operator (definition). Also Wikidata Q7582217
History
- 2026-11-02: add by m2/dev
21AYX7G4CA 21AYX7G4CA
| URI | m2://inv/21AYX7G4CA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39169#MZOA (problem). In ANHWXYPQFX/e1, problem B.1
History
- 2026-10-30: add by m2/v0.4.12
semisimple algebra 21B4TX2Q5A
| URI | m2://inv/21B4TX2Q5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2851437, semisimple algebra (unknown). Also MathWorld SemisimpleAlgebra, nLab semisimple algebra
- wikipedia: Wikipedia Semisimple algebra, Semisimple algebra (definition). Also Wikidata Q2851437
History
- 2026-10-26: add by m2/dev
21BD3PAF3K 21BD3PAF3K
| URI | m2://inv/21BD3PAF3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26813#83WN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Haar concentration 21BE5BVJW0
| URI | m2://inv/21BE5BVJW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-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.24901#JX7V, Haar concentration (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shoshana Kamin 21BN40KTYA
| URI | m2://inv/21BN40KTYA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shoshana Kamin, Shoshana Kamin (topic). Also Wikidata Q7502335
History
- 2026-11-02: add by m2/dev
21BN8DWYMK 21BN8DWYMK
| URI | m2://inv/21BN8DWYMK |
|---|---|
| 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.27941#N075 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dimension theorem for vector spaces 21BQ4H2ZAY
| URI | m2://inv/21BQ4H2ZAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Dimension theorem for vector spaces 0WK0Y8RH1M |
Mentions
- mathlib_1000: mathlib_1000 Q3527205, Dimension theorem for vector spaces (statement). Also Mathlib mk_eq_mk_of_basis, Wikidata Q3527205
- thousand_plus: thousand_plus Q3527205, Dimension theorem for vector spaces (statement). Also Mathlib mk_eq_mk_of_basis, Wikidata Q3527205, Wikipedia Dimension theorem for vector spaces
- wikipedia: Wikipedia Dimension theorem for vector spaces, Dimension theorem for vector spaces (statement). Also Wikidata Q3527205
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties 21C7ESMY1Y
| URI | m2://inv/21C7ESMY1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph entropy#QZ8K, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 21CAC4W1PP
| URI | m2://inv/21CAC4W1PP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite set#6G5A, Properties (statement)
History
- 2026-11-02: add by m2/dev
21CNXA8972 21CNXA8972
| URI | m2://inv/21CNXA8972 |
|---|---|
| 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.12912#DL3T (statement). In PDKBKKJ4BV/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Properties 21CV1WTX5E
| URI | m2://inv/21CV1WTX5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary commutator#EWZQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
21CW8YYRE8 21CW8YYRE8
| URI | m2://inv/21CW8YYRE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#0WR5 (statement). In CB68ATPEV9/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12
Felix Klein 21CY5HCWXV
| URI | m2://inv/21CY5HCWXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q76641, Felix Klein (unknown). Also nLab Felix Klein, ProofWiki Mathematician:Felix_Christian_Klein
- wikipedia: Wikipedia Felix Klein, Felix Klein (topic). Also Wikidata Q76641
History
- 2026-10-26: add by m2/dev
21D7J1M1DG 21D7J1M1DG
| URI | m2://inv/21D7J1M1DG |
|---|---|
| Kind | definition |
| 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.20050#YOHH (definition). In T41GD0Y0GX/e1, definition A.2
History
- 2026-10-27: add by m2/v0.4.2
21DKF9SMAC 21DKF9SMAC
| URI | m2://inv/21DKF9SMAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4946#JYXS (statement). In R4ZM6Q4SHH/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Minimum 21EADC4BA8
| URI | m2://inv/21EADC4BA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#7Q0W, Minimum (definition)
History
- 2026-11-02: add by m2/dev
21EDRNC5DN 21EDRNC5DN
| URI | m2://inv/21EDRNC5DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#6XGI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jeff Cheeger 21EER568BH
| URI | m2://inv/21EER568BH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4NZO, Jeff Cheeger (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9JCK, Jeff Cheeger (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BFX9, Jeff Cheeger (topic)
History
- 2026-11-02: add by m2/dev
Definitions 21ER9529PP
| URI | m2://inv/21ER9529PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sprague–Grundy theorem#OJHM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Jiří Čížek 21ERHM921T
| URI | m2://inv/21ERHM921T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jiří Čížek, Jiří Čížek (topic). Also Wikidata Q41267187
History
- 2026-11-02: add by m2/dev
Lis Brack-Bernsen 21EW0CN721
| URI | m2://inv/21EW0CN721 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lis Brack-Bernsen, Lis Brack-Bernsen (topic). Also Wikidata Q21264267
History
- 2026-11-02: add by m2/dev
Norwegian Mathematical Society 21F7Z6HXVT
| URI | m2://inv/21F7Z6HXVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norwegian Mathematical Society, Norwegian Mathematical Society (definition). Also Wikidata Q1253252
History
- 2026-11-02: add by m2/dev
21F9PGQ63W 21F9PGQ63W
| URI | m2://inv/21F9PGQ63W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#56NG (definition). In BDN507RN7J/e1, definition 3.6.4
History
- 2026-10-30: add by m2/v0.4.12
Calculator Exam Mode 21F9TV1BKG
| URI | m2://inv/21F9TV1BKG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP Prime#WW7B, Calculator Exam Mode (unknown)
History
- 2026-11-02: add by m2/dev
21FBQJ44RM 21FBQJ44RM
| URI | m2://inv/21FBQJ44RM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24448#C4YF (definition)
History
- 2026-11-01: add by m2/v0.6.15
redundancy theory of truth 21FBW0AEXW
| URI | m2://inv/21FBW0AEXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6Z60, redundancy theory of truth (definition)
History
- 2026-11-02: add by m2/dev
21FMRGZEW2 21FMRGZEW2
| URI | m2://inv/21FMRGZEW2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14803#YPRO (definition). In VAEVDTBD3B/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Procedural texture 21FNRH1JTX
| URI | m2://inv/21FNRH1JTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#D1B7, Procedural texture (unknown)
History
- 2026-11-02: add by m2/dev
Minimum viable population 21FNYNM350
| URI | m2://inv/21FNYNM350 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KQE9, Minimum viable population (definition)
History
- 2026-11-02: add by m2/dev
Construction 21GM5HT4XQ
| URI | m2://inv/21GM5HT4XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall plane#3LVX, Construction (definition)
History
- 2026-11-02: add by m2/dev
Definition and example 21GN2AD2RA
| URI | m2://inv/21GN2AD2RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character table#AKZN, Definition and example (definition)
History
- 2026-11-02: add by m2/dev
21GN9Z5XYG 21GN9Z5XYG
| URI | m2://inv/21GN9Z5XYG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-45 (proof). In VNMV985MXX, proof, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
21GSYB9FQ9 21GSYB9FQ9
| URI | m2://inv/21GSYB9FQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-1.xml#proposition-inverse-inverse (statement). In 649HGZKE96, proposition, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
Bernstein inequality 21GTBQ8F2G
| URI | m2://inv/21GTBQ8F2G |
|---|---|
| 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.03011#3HTK, Bernstein inequality (statement). In VE8FB6K8EN/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
21H9PJRHYH 21H9PJRHYH
| URI | m2://inv/21H9PJRHYH |
|---|---|
| Kind | definition |
| 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.09390#5XJH (definition). In 7SSKW778T8/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.10
21HFCJZ8ND 21HFCJZ8ND
| URI | m2://inv/21HFCJZ8ND |
|---|---|
| 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.22306#ELRJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
21HFVNVWAP 21HFVNVWAP
| URI | m2://inv/21HFVNVWAP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#proof-1 (proof). In RZP28ERRZV, proof, section 53.2
History
- 2026-11-01: add by m2/v0.6.13
21HGFF2NX7 21HGFF2NX7
| URI | m2://inv/21HGFF2NX7 |
|---|---|
| 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.10221#QU1U (statement). In 9Z5M655EPV/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
21HGP074TM 21HGP074TM
| URI | m2://inv/21HGP074TM |
|---|---|
| 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.21403#2BSK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dorte Olesen 21HYD8MVQ5
| URI | m2://inv/21HYD8MVQ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorte Olesen, Dorte Olesen (topic). Also Wikidata Q16063650
History
- 2026-11-02: add by m2/dev
Properties 21J6S0CAYY
| URI | m2://inv/21J6S0CAYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski closure axioms#B6F7, Properties (statement)
History
- 2026-11-02: add by m2/dev
21JECEYNYK 21JECEYNYK
| URI | m2://inv/21JECEYNYK |
|---|---|
| Kind | definition |
| 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.22306#K8CD (definition)
History
- 2026-11-02: add by m2/v0.6.17
Exact identity on normalized triples 21JMVZRJBK
| URI | m2://inv/21JMVZRJBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15180#GFXF, Exact identity on normalized triples (statement). In AMRWRJDNKJ/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Variants 21JZ8W87VX
| URI | m2://inv/21JZ8W87VX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beal conjecture#J7DY, Variants (statement)
History
- 2026-11-02: add by m2/dev
Niels Erik Nørlund 21K3RT3XX8
| URI | m2://inv/21K3RT3XX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZJO2, Niels Erik Nørlund (topic)
History
- 2026-11-02: add by m2/dev
Pseudogroup 21K4Y8CDKZ
| URI | m2://inv/21K4Y8CDKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#1FCQ, Pseudogroup (definition)
History
- 2026-11-02: add by m2/dev
21K6JC4R4N 21K6JC4R4N
| URI | m2://inv/21K6JC4R4N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#3CFW (definition). In NGZ5AZ70NN/e1, definition 5.9
History
- 2026-10-28: add by m2/v0.4.2
21KCHCYMWF 21KCHCYMWF
| URI | m2://inv/21KCHCYMWF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#K9RV (definition)
History
- 2026-11-02: add by m2/v0.6.18
Embedded resolution 21KH20J9P4
| URI | m2://inv/21KH20J9P4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#DPVM, Embedded resolution (definition)
History
- 2026-11-02: add by m2/v0.6.17
$k$-sorted set 21KJ6B8AN6
| URI | m2://inv/21KJ6B8AN6 |
|---|---|
| Kind | definition |
| 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.12484#EEQ0, $k$-sorted set (definition). In GW23NX78SB/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Definition 21KN09ENZ6
| URI | m2://inv/21KN09ENZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planck's law#3ZUW, Definition (definition)
History
- 2026-11-02: add by m2/dev
21KPZSDQES 21KPZSDQES
| URI | m2://inv/21KPZSDQES |
|---|---|
| Kind | problem |
| 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 2609.31556#GRP5 (problem). In 1VBEMR0JXH/e1, problem
History
- 2026-10-31: add by m2/v0.5.6
21KSDSCB7Q 21KSDSCB7Q
| URI | m2://inv/21KSDSCB7Q |
|---|---|
| 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.03449#X8R5 (statement). In 3XM05SYQ8D/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
21KZQYRP6N 21KZQYRP6N
| URI | m2://inv/21KZQYRP6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39981#SQZ3 (statement). In PMMV6YAEVR/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Equilateral pentagon 21M6N8F3V1
| URI | m2://inv/21M6N8F3V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equilateral pentagon, Equilateral pentagon (definition). Also Wikidata Q5384459
History
- 2026-11-02: add by m2/dev
Geodesic 21M6SYC6B7
| URI | m2://inv/21M6SYC6B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#6R0X, Geodesic (definition)
- wikipedia: Wikipedia List of variational topics#SAM2, Geodesic (definition)
- wikipedia: Wikipedia List of mathematical topics in relativity#27S4, Geodesic (definition)
History
- 2026-11-02: add by m2/dev
excluded middle 21MA7DJXGA
| URI | m2://inv/21MA7DJXGA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.2/excluded-middle, excluded middle (concept). In N54F33XE07, index, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
21MDE3B072 21MDE3B072
| URI | m2://inv/21MDE3B072 |
|---|---|
| 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#BWXM (statement). In CNS2J2E4T2/e1, theorem 21
History
- 2026-10-29: add by m2/v0.4.12
21MDJ6VHDR 21MDJ6VHDR
| URI | m2://inv/21MDJ6VHDR |
|---|---|
| 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.17579#6KTF (statement). In 1H021CTR3A/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
21MV552C5E 21MV552C5E
| URI | m2://inv/21MV552C5E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-7 (example). In E9HS8K3A52, example, section 5.2.3
History
- 2026-11-01: add by m2/v0.6.13
21MX6J2MKR 21MX6J2MKR
| URI | m2://inv/21MX6J2MKR |
|---|---|
| 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.07299#BTNZ (statement). In M70KP0BZ99/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
Double root 21MYA2RPCZ
| URI | m2://inv/21MYA2RPCZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicity (mathematics)#XMAD, Double root (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 21NA7BMSDH
| URI | m2://inv/21NA7BMSDH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul complex#BXBN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
21NE3NKSVG 21NE3NKSVG
| URI | m2://inv/21NE3NKSVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19251#J2LC (statement). In CSW6NG0FRN/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
21NGAFKH05 21NGAFKH05
| URI | m2://inv/21NGAFKH05 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#7AZC (example). In W0ZHX9DHPV/e1, example 3
History
- 2026-10-29: add by m2/v0.4.10
21NK24NKWY 21NK24NKWY
| URI | m2://inv/21NK24NKWY |
|---|---|
| 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 0907.5545#Y98P (statement). In K3GWCTV5YE/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Example 21NS69GF58
| URI | m2://inv/21NS69GF58 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal ontology#GUZE, Example (example)
History
- 2026-11-02: add by m2/dev
Valuation (algebra) 21NT1EYX28
| URI | m2://inv/21NT1EYX28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#05V4, Valuation (algebra) (definition)
History
- 2026-11-02: add by m2/dev
21NWFX021N 21NWFX021N
| URI | m2://inv/21NWFX021N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
Properties 21NY6698H3
| URI | m2://inv/21NY6698H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph property#I2IG, Properties (statement)
History
- 2026-11-02: add by m2/dev
21NYZCAPT8 21NYZCAPT8
| URI | m2://inv/21NYZCAPT8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#R897 (definition). In A5KESSK05N/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
21P4WZPQ54 21P4WZPQ54
| URI | m2://inv/21P4WZPQ54 |
|---|---|
| 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 2207.07461#46JX (statement). In GAG532VMPF/e1, lemma 7.2.11
History
- 2026-10-27: add by m2/v0.3.5
21PB667TRR 21PB667TRR
| URI | m2://inv/21PB667TRR |
|---|---|
| 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.17518#IZ4D (statement). In YA4JEWTVS4/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Borell–TIS inequality 21PE6GCGPF
| URI | m2://inv/21PE6GCGPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borell–TIS inequality, Borell–TIS inequality (statement). Also Wikidata Q28405810
History
- 2026-11-02: add by m2/dev
Theorem 21PMZ9WVJS
| URI | m2://inv/21PMZ9WVJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable vector-valued functions from Euclidean space#GCYN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Alternative definitions 21PNNQDM7V
| URI | m2://inv/21PNNQDM7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oracle machine#ZFNL, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
21PNVAAB2N 21PNVAAB2N
| URI | m2://inv/21PNVAAB2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12371#KNWS (statement). In 8TTFQH19QR/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Locally constant property 21PVFQA7TE
| URI | m2://inv/21PVFQA7TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.12565#X206, Locally constant property (statement). In 9RYQ164FWA/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
Definition 21PYC432AR
| URI | m2://inv/21PYC432AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional network#YF5K, Definition (definition)
History
- 2026-11-02: add by m2/dev
21PYYZ0TD0 21PYYZ0TD0
| URI | m2://inv/21PYYZ0TD0 |
|---|---|
| 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.15316#XUH2 (statement). In 3K84E4150C/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Peter Bloomfield 21Q1W83WRQ
| URI | m2://inv/21Q1W83WRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Bloomfield (statistician), Peter Bloomfield (topic). Also Wikidata Q102120182
History
- 2026-11-02: add by m2/dev
Alder's razor 21Q2RT73XK
| URI | m2://inv/21Q2RT73XK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mike Alder#7ANC, Alder's razor (unknown)
History
- 2026-11-02: add by m2/dev
William Kantor 21Q3Q9EMJW
| URI | m2://inv/21Q3Q9EMJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W5UJ, William Kantor (topic)
History
- 2026-11-02: add by m2/dev
21Q6N41SYZ 21Q6N41SYZ
| URI | m2://inv/21Q6N41SYZ |
|---|---|
| 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.05193#KX4G (statement). In XDMM0KNNZ9/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Singular set of the cuspidal pull-back 21QAVFSB8E
| URI | m2://inv/21QAVFSB8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26152#T5KL, Singular set of the cuspidal pull-back (statement)
History
- 2026-11-01: add by m2/v0.6.15
Henri Padé 21QDWVDN0W
| URI | m2://inv/21QDWVDN0W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L6I0, Henri Padé (topic)
History
- 2026-11-02: add by m2/dev
Rod group 21QN7VNA4H
| URI | m2://inv/21QN7VNA4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rod group, Rod group (definition). Also Wikidata Q7356422
History
- 2026-11-02: add by m2/dev
21QPP135RC 21QPP135RC
| URI | m2://inv/21QPP135RC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#F0UP (statement). In Z5SP3NW41S/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
21QX4WDGPM 21QX4WDGPM
| URI | m2://inv/21QX4WDGPM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
21QXWA9T3T 21QXWA9T3T
| URI | m2://inv/21QXWA9T3T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29107#PR87 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Statistical estimation 21R5KA8R36
| URI | m2://inv/21R5KA8R36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ECAB, Statistical estimation (topic)
History
- 2026-11-02: add by m2/dev
Tsen rank 21RSAY2S2Y
| URI | m2://inv/21RSAY2S2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsen rank, Tsen rank (definition). Also Wikidata Q7849522
History
- 2026-11-02: add by m2/dev
21RW1P72SK 21RW1P72SK
| URI | m2://inv/21RW1P72SK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#ERZ4 (definition). In 7V2PVZS04C/e1, definition 6.8
History
- 2026-10-31: add by m2/v0.5.6
21RW6APDY1 21RW6APDY1
| URI | m2://inv/21RW6APDY1 |
|---|---|
| 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.03517#V8ED (statement). In 3CGS9GSKTQ/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.12
amalgamation property 21S9MBRS2X
| URI | m2://inv/21S9MBRS2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Amalgamation property XSCSX39GEZ |
Mentions
- wikidata: Wikidata Q4739384, amalgamation property (unknown). Also nLab amalgamation property
- wikipedia: Wikipedia Amalgamation property, Amalgamation property (definition). Also Wikidata Q4739384
History
- 2026-10-26: add by m2/dev
21SG51KRAT 21SG51KRAT
| URI | m2://inv/21SG51KRAT |
|---|---|
| Kind | example |
| 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 2412.20238#IZYJ (example). In V8CA0STSPB/e1, example 16
History
- 2026-10-27: add by m2/v0.3.5
21T4GNREGC 21T4GNREGC
| URI | m2://inv/21T4GNREGC |
|---|---|
| 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.09086#BEXO (statement). In JPC86V77CH/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
Monotone class theorem 21TADDQ7NM
| URI | m2://inv/21TADDQ7NM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q242045, Monotone class theorem (statement). Also Wikidata Q242045
- thousand_plus: thousand_plus Q242045, Monotone class theorem (statement). Also Wikidata Q242045, Wikipedia Monotone class theorem
- wikipedia: Wikipedia Monotone class theorem, Monotone class theorem (statement). Also Wikidata Q242045
History
- 2026-10-26: add by m2/dev
21TBMT6VVT 21TBMT6VVT
| URI | m2://inv/21TBMT6VVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23238#Z653 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Markov–Krein theorem 21THXKJN61
| URI | m2://inv/21THXKJN61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov–Krein theorem, Markov–Krein theorem (statement). Also Wikidata Q17093302
History
- 2026-11-02: add by m2/dev
Center 21TM9RRKZ5
| URI | m2://inv/21TM9RRKZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center (ring theory), Center (definition). Also Wikidata Q30603786
History
- 2026-11-02: add by m2/dev
Stokes paradox 21TPHDGX9G
| URI | m2://inv/21TPHDGX9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes flow#47KT, Stokes paradox (statement)
History
- 2026-11-02: add by m2/dev
Wiener's Tauberian theorem 21TSD6M5NM
| URI | m2://inv/21TSD6M5NM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527279, Wiener's tauberian theorem (statement). Also Wikidata Q3527279
- thousand_plus: thousand_plus Q3527279, Wiener's tauberian theorem (statement). Also Wikidata Q3527279, Wikipedia Wiener's tauberian theorem
- wikipedia: Wikipedia Wiener's Tauberian theorem, Wiener's Tauberian theorem (statement). Also Wikidata Q3527279
History
- 2026-10-26: add by m2/dev
Definition 21TXBY5Q92
| URI | m2://inv/21TXBY5Q92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Postnikov system#2VZS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Outer extensions: general reduction 21TZVHM5HE
| URI | m2://inv/21TZVHM5HE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#WPPY, Outer extensions: general reduction (statement). In 9NVKKW8HDH/e1, proposition 2.91
History
- 2026-10-28: add by m2/v0.4.2
The method 21V5NXTQFD
| URI | m2://inv/21V5NXTQFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siamese method#BKP1, The method (definition)
History
- 2026-11-02: add by m2/dev
Principle of maximum caliber 21V6TNEBRW
| URI | m2://inv/21V6TNEBRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of maximum caliber, Principle of maximum caliber (statement). Also Wikidata Q24897666
History
- 2026-11-02: add by m2/dev
21V7YWDKHM 21V7YWDKHM
| URI | m2://inv/21V7YWDKHM |
|---|---|
| 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#2NXV (statement). In KTQS6YPA4E/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Virial theorem 21V9TZQAHB
| URI | m2://inv/21V9TZQAHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5JCL, Virial theorem (statement)
History
- 2026-11-02: add by m2/dev
21VKZZY6VS 21VKZZY6VS
| URI | m2://inv/21VKZZY6VS |
|---|---|
| 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#O636 (statement). In AAVGAGCWTE/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Palm–Khintchine theorem 21VSX8GKXS
| URI | m2://inv/21VSX8GKXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palm–Khintchine theorem, Palm–Khintchine theorem (statement). Also Wikidata Q7128479
History
- 2026-11-02: add by m2/dev
21W5EEMNGM 21W5EEMNGM
| URI | m2://inv/21W5EEMNGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27974#HFW2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Excess intersection formula 21WPD97Y0X
| URI | m2://inv/21WPD97Y0X |
|---|---|
| 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.01731#HJMS, Excess intersection formula (statement). In 3TJ2FWXQ0D/e1, fact 2.9
History
- 2026-10-29: add by m2/v0.4.12
Properties 21WQCGXM1J
| URI | m2://inv/21WQCGXM1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire space#6UV6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Non-response bias 21WSW3W3BV
| URI | m2://inv/21WSW3W3BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TROX, Non-response bias (definition)
History
- 2026-11-02: add by m2/dev
Definition 21WX1W439A
| URI | m2://inv/21WX1W439A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semilinear set#3UOQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wavelet transform modulus maxima method 21X3WXQM9J
| URI | m2://inv/21X3WXQM9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet transform modulus maxima method, Wavelet transform modulus maxima method (definition). Also Wikidata Q7975372
History
- 2026-11-02: add by m2/dev
21X9BF1KKP 21X9BF1KKP
| URI | m2://inv/21X9BF1KKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.17669#AKD2 (statement). In RAWXJ72WWA/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Frobenius transport 21XG27H6JQ
| URI | m2://inv/21XG27H6JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#NTD2, Frobenius transport (statement). In 88GEN3Z5VG/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Canonical local coefficient bound 21XGZ4NVSM
| URI | m2://inv/21XGZ4NVSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#JU5W, Canonical local coefficient bound (statement). In N06J7GC05Q/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
21XKBV9P68 21XKBV9P68
| URI | m2://inv/21XKBV9P68 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#5SF9 (definition). In CHC3T113Y4/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
21XKM801D1 21XKM801D1
| URI | m2://inv/21XKM801D1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38749#CHVW (statement). In 3ZPVZE3GZH/e1, proposition 8
History
- 2026-10-30: add by m2/v0.4.12
topological, path 21XT9GHZ6P
| URI | m2://inv/21XT9GHZ6P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/topological-path, topological, path (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
21YDTFHT3A 21YDTFHT3A
| URI | m2://inv/21YDTFHT3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#YZGA (statement). In D8XZBXJPR5/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
Restricted partial quotients 21YEA4PK96
| URI | m2://inv/21YEA4PK96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted partial quotients, Restricted partial quotients (definition). Also Wikidata Q7316303
History
- 2026-11-02: add by m2/dev
21YHTPC3AK 21YHTPC3AK
| URI | m2://inv/21YHTPC3AK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#RAOO (statement). In VJTRH1S4JA/e1, corollary 3.14
History
- 2026-10-28: add by m2/v0.4.2
Standing Wave Discrete Fourier Transform 21YMVJH4B4
| URI | m2://inv/21YMVJH4B4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short-time Fourier transform#2G2S, Standing Wave Discrete Fourier Transform (unknown)
History
- 2026-11-02: add by m2/dev
ICE 21YR7Q7A25
| URI | m2://inv/21YR7Q7A25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ICE (cipher), ICE (definition). Also Wikidata Q1636024
History
- 2026-11-02: add by m2/dev
Cohen's h 21YT6Q3KNX
| URI | m2://inv/21YT6Q3KNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QHCB, Cohen's h (definition)
History
- 2026-11-02: add by m2/dev
Via Euler's formula 21YV09ER8P
| URI | m2://inv/21YV09ER8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pick's theorem#QRXD, Via Euler's formula (statement)
History
- 2026-11-02: add by m2/dev
Eduard Looijenga 21YWSSDNMY
| URI | m2://inv/21YWSSDNMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15454945, Eduard Looijenga (unknown). Also nLab Eduard Looijenga
- wikipedia: Wikipedia Eduard Looijenga, Eduard Looijenga (topic). Also Wikidata Q15454945
History
- 2026-10-26: add by m2/dev
21YY1YRCWA 21YY1YRCWA
| URI | m2://inv/21YY1YRCWA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-10 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Notation 21Z0XKQ9B0
| URI | m2://inv/21Z0XKQ9B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#OW5O, Notation (definition)
History
- 2026-11-02: add by m2/dev
Uniform local length comparison 21Z4HCK4QF
| URI | m2://inv/21Z4HCK4QF |
|---|---|
| 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.10192#6NXQ, Uniform local length comparison (statement). In CEV9Q1KZY7/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
21Z5QVNJRZ 21Z5QVNJRZ
| URI | m2://inv/21Z5QVNJRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29699#R43J (statement)
History
- 2026-11-01: add by m2/v0.6.15
21Z6R2K30S 21Z6R2K30S
| URI | m2://inv/21Z6R2K30S |
|---|---|
| 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.01216#UCTF (statement). In 59016RQTW6/e1, theorem 6.4
History
- 2026-10-29: add by m2/v0.4.12
Once de Octubre 21ZDPZVMKH
| URI | m2://inv/21ZDPZVMKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3078, Once de Octubre (unknown)
History
- 2026-11-02: add by m2/dev
Anna Jaśkiewicz 21ZE8F2Z36
| URI | m2://inv/21ZE8F2Z36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Jaśkiewicz, Anna Jaśkiewicz (topic). Also Wikidata Q102368850
History
- 2026-11-02: add by m2/dev
Application 21ZGH4M2C2
| URI | m2://inv/21ZGH4M2C2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace operator#EGKO, Application (example)
History
- 2026-11-02: add by m2/dev
21ZJNBRR6Z 21ZJNBRR6Z
| URI | m2://inv/21ZJNBRR6Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34813#3JM7 (example). In P3V3ZGCHV7/e1, example 2.9
History
- 2026-10-30: add by m2/v0.4.12
21ZPD9B623 21ZPD9B623
| URI | m2://inv/21ZPD9B623 |
|---|---|
| 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.06419#MWW1 (statement). In JSZRXT3W3E/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
21ZXGF7NDJ 21ZXGF7NDJ
| URI | m2://inv/21ZXGF7NDJ |
|---|---|
| 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#HULJ (statement). In PREJREM4BB/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2