Inventory rows 3B
The cards of the rows of the inventory whose ids start with 3B. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
squarefree word 3B0069CQEF
| URI | m2://inv/3B0069CQEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1138140, squarefree word (unknown). Also MathWorld SquarefreeWord
- wikipedia: Wikipedia Square-free word, Square-free word (definition). Also Wikidata Q1138140
History
- 2026-10-26: add by m2/dev
elementary cellular automaton 3B03W7PR7S
| URI | m2://inv/3B03W7PR7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1875447, elementary cellular automaton (unknown). Also MathWorld ElementaryCellularAutomaton
- wikipedia: Wikipedia Elementary cellular automaton, Elementary cellular automaton (definition). Also Wikidata Q1875447
History
- 2026-10-26: add by m2/dev
E4M 3B04055TF4
| URI | m2://inv/3B04055TF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E4M, E4M (definition). Also Wikidata Q5322413
History
- 2026-11-02: add by m2/dev
3B0EQRW09F 3B0EQRW09F
| URI | m2://inv/3B0EQRW09F |
|---|---|
| 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.17817#HFQN (statement). In M8TSJ24RC2/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Veinte de Junio 3B0M2BGPR4
| URI | m2://inv/3B0M2BGPR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#M5L2, Veinte de Junio (unknown)
History
- 2026-11-02: add by m2/dev
3B0NHSMT8B 3B0NHSMT8B
| URI | m2://inv/3B0NHSMT8B |
|---|---|
| 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.31363#MBJ3 (statement). In XB8NYRD86J/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Chung Kai-lai 3B0RNR64TF
| URI | m2://inv/3B0RNR64TF |
|---|---|
| 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 Q1257250, Chung Kai-lai (unknown). Also ProofWiki Mathematician:Kai_Lai_Chung
- wikipedia: Wikipedia Chung Kai-lai, Chung Kai-lai (topic). Also Wikidata Q1257250
History
- 2026-10-26: add by m2/dev
mere proposition 3B0TV5QWFG
| URI | m2://inv/3B0TV5QWFG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.3/mere-proposition, mere proposition (concept). In N54F33XE07, index, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
3B0WBMQM06 3B0WBMQM06
| URI | m2://inv/3B0WBMQM06 |
|---|---|
| Kind | problem |
| 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 2602.03909#D7VB (problem). In WWFAVFGPQQ/e1, problem 1
History
- 2026-10-27: add by m2/v0.4.0
3B0ZN06PD9 3B0ZN06PD9
| URI | m2://inv/3B0ZN06PD9 |
|---|---|
| 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 1406.2996#AESF (statement). In 6XENXFC77F/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
set of prime numbers 3B11BE9R2T
| URI | m2://inv/3B11BE9R2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47370614, set of prime numbers (unknown). Also MathWorld Primes
History
- 2026-10-26: add by m2/dev
Statement of the theorem 3B15MS6395
| URI | m2://inv/3B15MS6395 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minlos–Sazonov theorem#BKK8, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Formulas for primes 3B1CJWSV2E
| URI | m2://inv/3B1CJWSV2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime number#5DI3, Formulas for primes (statement)
History
- 2026-11-02: add by m2/dev
argument 3B1SZTS2MX
| URI | m2://inv/3B1SZTS2MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#7VIL, argument (definition)
History
- 2026-11-02: add by m2/dev
Representation theory of the Poincaré group 3B1W3M2PHT
| URI | m2://inv/3B1W3M2PHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#NBO5, Representation theory of the Poincaré group (definition)
History
- 2026-11-02: add by m2/dev
3B228VCSQY 3B228VCSQY
| URI | m2://inv/3B228VCSQY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13347#CIR6 (definition). In Z6QS82DPHE/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
3B25C4GXXH 3B25C4GXXH
| URI | m2://inv/3B25C4GXXH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.05259#XUZE (definition). In X1J5HKPS3R/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
square bracket 3B28C7MJ33
| URI | m2://inv/3B28C7MJ33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#WOOS, square bracket (definition)
History
- 2026-11-02: add by m2/dev
3B2AWZ60A9 3B2AWZ60A9
| URI | m2://inv/3B2AWZ60A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#25LB (statement). In ETRT1R1CQ8/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.0
Represented prestack criterion 3B2CGBC5Q7
| URI | m2://inv/3B2CGBC5Q7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#ZWHN, Represented prestack criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 3B2EKRPPV4
| URI | m2://inv/3B2EKRPPV4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nisnevich topology#ZYJD, Applications (example)
History
- 2026-11-02: add by m2/dev
Courts of law 3B2P5SCPDA
| URI | m2://inv/3B2P5SCPDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falsifiability#HHNR, Courts of law (statement)
History
- 2026-11-02: add by m2/dev
Separation 3B2X6KJ8VB
| URI | m2://inv/3B2X6KJ8VB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1704.08191#U894, Separation (statement). In 8DATR785BJ/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
3B31FZ5F2E 3B31FZ5F2E
| URI | m2://inv/3B31FZ5F2E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-38 (exercise). In E9HS8K3A52, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
Intermediate value theorem 3B365HEK7B
| URI | m2://inv/3B365HEK7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-upper-bound property#KSQW, Intermediate value theorem (statement)
History
- 2026-11-02: add by m2/dev
Smoothing function 3B372TDPER
| URI | m2://inv/3B372TDPER |
|---|---|
| Kind | definition |
| 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.07190#N0DL, Smoothing function (definition). In ZWS6Q4467X/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.10
3B3JHWYYT8 3B3JHWYYT8
| URI | m2://inv/3B3JHWYYT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-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 2505.04593#1XK4 (statement). In PEXJPV3NP8/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
The universal Floquet vector 3B3QVGWNQE
| URI | m2://inv/3B3QVGWNQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2610.18512#DSC5, The universal Floquet vector (statement). In 11JNM66Z09/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
Christopher Zeeman Medal for Communication of Mathematics 3B3YWREXHY
| URI | m2://inv/3B3YWREXHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christopher Zeeman Medal for Communication of Mathematics, Christopher Zeeman Medal for Communication of Mathematics (definition). Also Wikidata Q42034768
History
- 2026-11-02: add by m2/dev
Explicit example 3B3Z0C5SRA
| URI | m2://inv/3B3Z0C5SRA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#example-5, Explicit example (example). In RZP28ERRZV, example, section 57.3
History
- 2026-11-01: add by m2/v0.6.13
3B4190HFPN 3B4190HFPN
| URI | m2://inv/3B4190HFPN |
|---|---|
| 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 1304.4839#W72D (statement). In YWS516YD1V/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
3B46QVFQMS 3B46QVFQMS
| URI | m2://inv/3B46QVFQMS |
|---|---|
| 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.25543#KBJA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 3B47PJJ4WZ
| URI | m2://inv/3B47PJJ4WZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wall–Sun–Sun prime#OMQF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
3B4D5HZM28 3B4D5HZM28
| URI | m2://inv/3B4D5HZM28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#defn-7 (definition). In N54F33XE07, defn, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
3B4FBTP7XS 3B4FBTP7XS
| URI | m2://inv/3B4FBTP7XS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#CS6G (statement). In D1DFM4WYEW/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
3B4PT37G7D 3B4PT37G7D
| URI | m2://inv/3B4PT37G7D |
|---|---|
| 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.18312#P3TC (statement). In NPEVE32HFP/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Lobachevsky 3B4QXEQ44C
| URI | m2://inv/3B4QXEQ44C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lobachevsky (song), Lobachevsky (definition). Also Wikidata Q6663530
History
- 2026-11-02: add by m2/dev
Finite determination 3B4SCMWFZV
| URI | m2://inv/3B4SCMWFZV |
|---|---|
| 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#PL5V, Finite determination (statement). In X2NNNW8CX5/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
\bf Tower Inequality 3B4V4RT9ZF
| URI | m2://inv/3B4V4RT9ZF |
|---|---|
| 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 2312.14445#9IW3, \bf Tower Inequality (statement). In V56MKF0KW2/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Truism 3B4Z8Q0YNR
| URI | m2://inv/3B4Z8Q0YNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truism, Truism (definition). Also Wikidata Q1500906
History
- 2026-11-02: add by m2/dev
Example 3B4ZWTYQJW
| URI | m2://inv/3B4ZWTYQJW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorization of polynomials over finite fields#9P82, Example (example)
History
- 2026-11-02: add by m2/dev
Post-hoc analysis 3B53N46K1J
| URI | m2://inv/3B53N46K1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PXX2, Post-hoc analysis (definition)
History
- 2026-11-02: add by m2/dev
3B55DBE2B7 3B55DBE2B7
| URI | m2://inv/3B55DBE2B7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22394#YVVD (statement)
History
- 2026-11-02: add by m2/v0.6.17
3B56V6TD3T 3B56V6TD3T
| URI | m2://inv/3B56V6TD3T |
|---|---|
| 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.38188#7SU5 (statement). In 7615KVXDB5/e1, lemma 2.20
History
- 2026-10-30: add by m2/v0.4.12
3B5DF8HFJV 3B5DF8HFJV
| URI | m2://inv/3B5DF8HFJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#GS2F (statement). In TNC658NVMQ/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
3B5QNWHXMY 3B5QNWHXMY
| URI | m2://inv/3B5QNWHXMY |
|---|---|
| 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.19861#E6R5 (statement). In 5ZPQ60TM6J/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Transfer 3B5RPQDV1J
| URI | m2://inv/3B5RPQDV1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#6BAW, Transfer (statement). In 44DQ7W1NW9/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
3B5S629F4N 3B5S629F4N
| URI | m2://inv/3B5S629F4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#VYHA (statement). In 3N9E9T6AF5/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Definition and examples 3B5TYXXZ3H
| URI | m2://inv/3B5TYXXZ3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime number#GBOI, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
3B5VHZN65D 3B5VHZN65D
| URI | m2://inv/3B5VHZN65D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#C4RU (statement). In 5E9G06XJKC/e1, lemma C.27
History
- 2026-10-28: add by m2/v0.4.2
Heisenberg groups and direct powers 3B5W5FWCXG
| URI | m2://inv/3B5W5FWCXG |
|---|---|
| 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.06909#TDCL, Heisenberg groups and direct powers (statement). In F1EF8XE30A/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.10
Shafarevich–Weil theorem 3B60M2GP4S
| URI | m2://inv/3B60M2GP4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shafarevich–Weil theorem, Shafarevich–Weil theorem (statement). Also Wikidata Q7460997
History
- 2026-11-02: add by m2/dev
Grunwald–Wang theorem 3B66F3CC5E
| URI | m2://inv/3B66F3CC5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5612159, Grunwald–Wang theorem (statement). Also Wikidata Q5612159
- thousand_plus: thousand_plus Q5612159, Grunwald–Wang theorem (statement). Also Wikidata Q5612159, Wikipedia Grunwald–Wang theorem
- wikipedia: Wikipedia Grunwald–Wang theorem, Grunwald–Wang theorem (statement). Also Wikidata Q5612159
History
- 2026-10-26: add by m2/dev
3B66YEAB91 3B66YEAB91
| URI | m2://inv/3B66YEAB91 |
|---|---|
| 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.06899#GFOH (statement). In 5Z2K9JGFSS/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Evolutionary image processing 3B6C9T02M0
| URI | m2://inv/3B6C9T02M0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#RXQ7, Evolutionary image processing (unknown)
History
- 2026-11-02: add by m2/dev
Paul H. Rabinowitz 3B6RMERA0S
| URI | m2://inv/3B6RMERA0S |
|---|---|
| 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#PQIE, Paul H. Rabinowitz (topic)
History
- 2026-11-02: add by m2/dev
Weighted inverse estimates 3B6T7NCH0X
| URI | m2://inv/3B6T7NCH0X |
|---|---|
| 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.21963#WSLN, Weighted inverse estimates (statement). In HR9R8RPKN8/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
strong perfect graph theorem 3B79DMCNGW
| URI | m2://inv/3B79DMCNGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | Strong perfect graph theorem MFNNZQ484T |
Mentions
- mathlib_1000: mathlib_1000 Q16680059, Strong perfect graph theorem (statement). Also Wikidata Q16680059
- thousand_plus: thousand_plus Q16680059, Strong perfect graph theorem (statement). Also Wikidata Q16680059, Wikipedia Strong perfect graph theorem
- wikidata: Wikidata Q16680059, strong perfect graph theorem (statement). Also MathWorld StrongPerfectGraphTheorem
- wikipedia: Wikipedia Strong perfect graph theorem, Strong perfect graph theorem (statement). Also Wikidata Q16680059
History
- 2026-10-26: add by m2/dev
Example 3B7BR995G4
| URI | m2://inv/3B7BR995G4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lissajous-toric knot#CK9J, Example (example)
History
- 2026-11-02: add by m2/dev
Dynkin's formula 3B7E3E2SAE
| URI | m2://inv/3B7E3E2SAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô diffusion#KC1Z, Dynkin's formula (statement)
History
- 2026-11-02: add by m2/dev
3B7G0CTWBY 3B7G0CTWBY
| URI | m2://inv/3B7G0CTWBY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-16 (example). In E9HS8K3A52, example, section 4.8.1
History
- 2026-11-01: add by m2/v0.6.13
Viscoelasticity 3B7HAEWSD2
| URI | m2://inv/3B7HAEWSD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viscoelasticity, Viscoelasticity (definition). Also Wikidata Q910483
History
- 2026-11-02: add by m2/dev
3B7Q84S6HT 3B7Q84S6HT
| URI | m2://inv/3B7Q84S6HT |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#BTNO (unknown). In R2XC1SC9NZ/e1, unknown 22
History
- 2026-10-27: add by m2/v0.3.5
Supersaturation Theorem 3B8647Y1CM
| URI | m2://inv/3B8647Y1CM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forbidden subgraph problem#TV17, Supersaturation Theorem (statement)
History
- 2026-11-02: add by m2/dev
3B86RTFKMM 3B86RTFKMM
| URI | m2://inv/3B86RTFKMM |
|---|---|
| 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 1907.01440#2CNM (definition). In QDRYC6WJJ7/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
3B87Z6RY20 3B87Z6RY20
| URI | m2://inv/3B87Z6RY20 |
|---|---|
| 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.26191#FRFG (statement)
History
- 2026-11-01: add by m2/v0.6.15
3B8GPG9J54 3B8GPG9J54
| URI | m2://inv/3B8GPG9J54 |
|---|---|
| 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.22074#DW1H (definition). In F3BKXXPR3K/e1, definition 3.19
History
- 2026-10-27: add by m2/v0.4.2
3B8M1XETCY 3B8M1XETCY
| URI | m2://inv/3B8M1XETCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#S868 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3B8NRRKE60 3B8NRRKE60
| URI | m2://inv/3B8NRRKE60 |
|---|---|
| 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 2211.04758#NQWI (statement). In DRWDJG2G3S/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.3.5
Almost prime 3B8T7D2B4K
| URI | m2://inv/3B8T7D2B4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#8DWP, Almost prime (unknown)
History
- 2026-11-02: add by m2/dev
Prefix grammar 3B8WM7SJ1C
| URI | m2://inv/3B8WM7SJ1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prefix grammar, Prefix grammar (definition). Also Wikidata Q995671
History
- 2026-11-02: add by m2/dev
Extraspecial group 3B8WX2GMP4
| URI | m2://inv/3B8WX2GMP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extraspecial group, Extraspecial group (definition). Also Wikidata Q5422174
History
- 2026-11-02: add by m2/dev
3B91F1NXFQ 3B91F1NXFQ
| URI | m2://inv/3B91F1NXFQ |
|---|---|
| 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.15588#ENEN (statement). In M2VCJFGZ4P/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
$f$ is locally bounded 3B99N5STR6
| URI | m2://inv/3B99N5STR6 |
|---|---|
| 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.08434#IZDZ, $f$ is locally bounded (statement). In VN8087G2FC/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.10
Matt Visser 3B9S1WQATR
| URI | m2://inv/3B9S1WQATR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matt Visser, Matt Visser (topic). Also Wikidata Q6789473
History
- 2026-11-02: add by m2/dev
3B9WAF9ZK6 3B9WAF9ZK6
| URI | m2://inv/3B9WAF9ZK6 |
|---|---|
| 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 0910.5574#L7K4 (definition). In 2TJRBRKYAY/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
3B9WTWW8EK 3B9WTWW8EK
| URI | m2://inv/3B9WTWW8EK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
Active set 3B9XC8ZW6S
| URI | m2://inv/3B9XC8ZW6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#0O8L, Active set (definition)
History
- 2026-11-02: add by m2/dev
3BA095M42K 3BA095M42K
| URI | m2://inv/3BA095M42K |
|---|---|
| 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.32439#XBOS (statement). In GD8D1YH7K4/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Alexander Merkurjev 3BA3EFZPC0
| URI | m2://inv/3BA3EFZPC0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Merkurjev, Alexander Merkurjev (topic). Also Wikidata Q2642658
History
- 2026-11-02: add by m2/dev
Definition 3BA60CZP0M
| URI | m2://inv/3BA60CZP0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal polynomial (field theory)#0O5I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Philosophy of Arithmetic 3BACVFSTS9
| URI | m2://inv/3BACVFSTS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophy of Arithmetic, Philosophy of Arithmetic (definition). Also Wikidata Q3737572
History
- 2026-11-02: add by m2/dev
3BAMKQCQNF 3BAMKQCQNF
| URI | m2://inv/3BAMKQCQNF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 2609.03601#W9J0 (definition). In F7TDYCHCSE/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Federigo Enriques 3BAP1FN132
| URI | m2://inv/3BAP1FN132 |
|---|---|
| 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 Q982529, Federigo Enriques (unknown). Also nLab Federigo Enriques
- wikipedia: Wikipedia Federigo Enriques, Federigo Enriques (topic). Also Wikidata Q982529
History
- 2026-10-26: add by m2/dev
3BARKY9ZEH 3BARKY9ZEH
| URI | m2://inv/3BARKY9ZEH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 40.2
History
- 2026-11-01: add by m2/v0.6.13
Definitions 3BARP9JENF
| URI | m2://inv/3BARP9JENF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff space#EDV3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
\LL{$k$} Problem 3BB07W83V5
| URI | m2://inv/3BB07W83V5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#0T5R, \LL{$k$} Problem (definition)
History
- 2026-11-01: add by m2/v0.6.15
3BB727ZAMN 3BB727ZAMN
| URI | m2://inv/3BB727ZAMN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-largest.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
Cesaro fractal 3BBF00AK03
| URI | m2://inv/3BBF00AK03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham curve#86AJ, Cesaro fractal (unknown)
History
- 2026-11-02: add by m2/dev
3BBNTPZVY2 3BBNTPZVY2
| URI | m2://inv/3BBNTPZVY2 |
|---|---|
| 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.12827#837D (statement). In ESMHWR0QED/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
3BBQW876ZE 3BBQW876ZE
| URI | m2://inv/3BBQW876ZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16381#YGSL (statement). In 304QK565QF/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
3BBR4GDXXQ 3BBR4GDXXQ
| URI | m2://inv/3BBR4GDXXQ |
|---|---|
| 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.26162#V67S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charles Earl Rickart 3BC0V6RV9W
| URI | m2://inv/3BC0V6RV9W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Earl Rickart, Charles Earl Rickart (topic). Also Wikidata Q18926943
History
- 2026-11-02: add by m2/dev
Definition 3BC770EWZB
| URI | m2://inv/3BC770EWZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apartness relation#MX7Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
3BC7ZAW7RP 3BC7ZAW7RP
| URI | m2://inv/3BC7ZAW7RP |
|---|---|
| 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#I5GK (statement). In 4H727T2YAS/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Kadomtsev–Petviashvili equation 3BCANXERSY
| URI | m2://inv/3BCANXERSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kadomtsev–Petviashvili equation P93R13XP0P |
Mentions
- wikidata: Wikidata Q6345653, Kadomtsev–Petviashvili equation (unknown). Also MathWorld Kadomtsev-PetviashviliEquation
- wikipedia: Wikipedia Kadomtsev–Petviashvili equation, Kadomtsev–Petviashvili equation (definition). Also Wikidata Q6345653
History
- 2026-10-26: add by m2/dev
Generalizations 3BCCKQ1BGZ
| URI | m2://inv/3BCCKQ1BGZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of Bertini#TWFB, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Trace zero cryptography 3BCGBG7DZ7
| URI | m2://inv/3BCGBG7DZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace zero cryptography, Trace zero cryptography (definition). Also Wikidata Q7831150
History
- 2026-11-02: add by m2/dev
3BCKE1CQYV 3BCKE1CQYV
| URI | m2://inv/3BCKE1CQYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.38068#EO5W (statement). In 67GE5M1GGD/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Cut admissibility 3BCS0SVM8A
| URI | m2://inv/3BCS0SVM8A |
|---|---|
| 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.08293#7K00, Cut admissibility (statement). In 90A5DJG27R/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
3BD4F9NMCK 3BD4F9NMCK
| URI | m2://inv/3BD4F9NMCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#D17I (statement)
History
- 2026-11-02: add by m2/v0.6.18
Covariant-amplifier representation 3BDAYVYAVN
| URI | m2://inv/3BDAYVYAVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35986#XVBE, Covariant-amplifier representation (statement). In PBX6AMPVT2/e1, lemma C.3
History
- 2026-10-30: add by m2/v0.4.12
Liouville function 3BDD3C3WP7
| URI | m2://inv/3BDD3C3WP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#A6JZ, Liouville function (definition)
History
- 2026-11-02: add by m2/dev
Gauss's formulation of the composition law 3BDGQN4ZEY
| URI | m2://inv/3BDGQN4ZEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss composition law#0HZB, Gauss's formulation of the composition law (statement)
History
- 2026-11-02: add by m2/dev
Conditional probability distribution 3BDHF4NVT7
| URI | m2://inv/3BDHF4NVT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X4KU, Conditional probability distribution (definition)
- wikipedia: Wikipedia List of probability topics#Q5PR, Conditional probability distribution (definition)
History
- 2026-11-02: add by m2/dev
Seshadri constant 3BDKN8V0FT
| URI | m2://inv/3BDKN8V0FT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seshadri constant, Seshadri constant (object). Also Wikidata Q7456047
History
- 2026-11-02: add by m2/dev
An example 3BDPYB5BCA
| URI | m2://inv/3BDPYB5BCA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency analysis#P262, An example (example)
History
- 2026-11-02: add by m2/dev
3BDVSCTNP4 3BDVSCTNP4
| URI | m2://inv/3BDVSCTNP4 |
|---|---|
| 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 1512.06981#N62M (statement). In X923ZEY423/e1, corollary 1.6.1
History
- 2026-10-27: add by m2/v0.3.5
3BDVW4QMS7 3BDVW4QMS7
| URI | m2://inv/3BDVW4QMS7 |
|---|---|
| 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.10077#I2KV (statement). In YA7H9PY3R1/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
Derivation from Planck's law 3BDXCJ7ESZ
| URI | m2://inv/3BDXCJ7ESZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan–Boltzmann law#EZH1, Derivation from Planck's law (statement)
History
- 2026-11-02: add by m2/dev
3BE1788HEZ 3BE1788HEZ
| URI | m2://inv/3BE1788HEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.22642#G29E (statement)
History
- 2026-11-02: add by m2/v0.6.17
3BE3XNYVWF 3BE3XNYVWF
| URI | m2://inv/3BE3XNYVWF |
|---|---|
| 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.18252#V1TS (statement). In PSQ3CNVK2D/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Lie's three theorems 3BE4E8519E
| URI | m2://inv/3BE4E8519E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie theory#RBKH, Lie's three theorems (statement)
History
- 2026-11-02: add by m2/dev
cabtaxi number 3BEJ14MTYV
| URI | m2://inv/3BEJ14MTYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2708644, cabtaxi number (unknown). Also MathWorld CabtaxiNumber, OEIS A047696
- wikipedia: Wikipedia Cabtaxi number, Cabtaxi number (definition). Also Wikidata Q2708644
History
- 2026-10-26: add by m2/dev
Properties 3BET8KNP93
| URI | m2://inv/3BET8KNP93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split interval#YLIO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Landau's problems 3BEYPSS20T
| URI | m2://inv/3BEYPSS20T |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#BASL, Landau's problems (conjecture)
History
- 2026-11-02: add by m2/dev
3BF2MHNY8W 3BF2MHNY8W
| URI | m2://inv/3BF2MHNY8W |
|---|---|
| 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.16060#FES0 (definition). In X0BTF9HPGM/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
3BF3W5HBX7 3BF3W5HBX7
| URI | m2://inv/3BF3W5HBX7 |
|---|---|
| Kind | example |
| 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.24314#YF3N (example)
History
- 2026-11-01: add by m2/v0.6.15
3BF4PVEA6K 3BF4PVEA6K
| URI | m2://inv/3BF4PVEA6K |
|---|---|
| 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 2310.14879#XAD2 (statement). In 3VZ55B2N0D/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.4.0
Definition 3BFBG2ARFS
| URI | m2://inv/3BFBG2ARFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arason invariant#4PPL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Firefly 3BFE691EPH
| URI | m2://inv/3BFE691EPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Firefly (key exchange protocol), Firefly (definition). Also Wikidata Q5451829
History
- 2026-11-02: add by m2/dev
3BFESJPF8J 3BFESJPF8J
| URI | m2://inv/3BFESJPF8J |
|---|---|
| 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.31910#XLAR (statement). In E4EK1XXPY4/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
3BFF5P9WMB 3BFF5P9WMB
| URI | m2://inv/3BFF5P9WMB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#LBXX (example). In 46370P3Y9S/e1, example 3.2
History
- 2026-10-27: add by m2/v0.4.2
Greatening (geometry) 3BFG3M15AC
| URI | m2://inv/3BFG3M15AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#STYM, Greatening (geometry) (definition)
History
- 2026-11-02: add by m2/dev
3BFGH4E5HP 3BFGH4E5HP
| URI | m2://inv/3BFGH4E5HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36306#196F (statement). In NHQEAVMJE1/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Petty, William 3BFHDWD0DP
| URI | m2://inv/3BFHDWD0DP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BZ0L, Petty, William (unknown)
History
- 2026-11-02: add by m2/dev
Numerical smoothing and differentiation 3BFYY6CN5S
| URI | m2://inv/3BFYY6CN5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z63D, Numerical smoothing and differentiation (definition)
History
- 2026-11-02: add by m2/dev
Examples 3BFZG6NNQW
| URI | m2://inv/3BFZG6NNQW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded type (mathematics)#C4BQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Spin-weighted spherical harmonics 3BG4EVDQZ3
| URI | m2://inv/3BG4EVDQZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin-weighted spherical harmonics, Spin-weighted spherical harmonics (definition). Also Wikidata Q7577353
History
- 2026-11-02: add by m2/dev
A vector regression from field symmetries 3BG82X22AB
| URI | m2://inv/3BG82X22AB |
|---|---|
| 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.38228#DIDY, A vector regression from field symmetries (statement). In 9YAE8FNQST/e1, lemma 23.11
History
- 2026-10-30: add by m2/v0.4.12
Loschmidt's paradox 3BGA5YBV0B
| URI | m2://inv/3BGA5YBV0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#4M3R, Loschmidt's paradox (statement)
History
- 2026-11-02: add by m2/dev
Properties 3BGB81JEW6
| URI | m2://inv/3BGB81JEW6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity of a permutation#MR5O, Properties (statement)
History
- 2026-11-02: add by m2/dev
3BGCMHKKTS 3BGCMHKKTS
| URI | m2://inv/3BGCMHKKTS |
|---|---|
| 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.21181#VKHN (statement). In 3D0GJXDY11/e1, theorem D
History
- 2026-10-27: add by m2/v0.4.2
Associated Legendre polynomials 3BGMDHH2QV
| URI | m2://inv/3BGMDHH2QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#4H6D, Associated Legendre polynomials (definition)
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#Z876, Associated Legendre polynomials (definition)
History
- 2026-11-02: add by m2/dev
3BGS7K8M48 3BGS7K8M48
| URI | m2://inv/3BGS7K8M48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#THCA (statement). In HHF08X70P6/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.12
Pinsker's inequality 3BH3BAS5JC
| URI | m2://inv/3BH3BAS5JC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0N9B, Pinsker's inequality (statement)
- wikipedia: Wikipedia List of inequalities#YLGL, Pinsker's inequality (statement)
History
- 2026-11-02: add by m2/dev
George Gamow 3BH567V4C1
| URI | m2://inv/3BH567V4C1 |
|---|---|
| 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 Q59478, George Gamow (unknown). Also ProofWiki Mathematician:George_Gamow
History
- 2026-10-26: add by m2/dev
3BH7CCY96F 3BH7CCY96F
| URI | m2://inv/3BH7CCY96F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-96 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
Example 3BHBCFX35J
| URI | m2://inv/3BHBCFX35J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clearing denominators#3XCW, Example (example)
History
- 2026-11-02: add by m2/dev
3BHDPBZN0K 3BHDPBZN0K
| URI | m2://inv/3BHDPBZN0K |
|---|---|
| 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.32174#RMG2 (statement). In GHKR740SG3/e1, corollary 3.7
History
- 2026-10-31: add by m2/v0.5.6
3BHP31SBCS 3BHP31SBCS
| URI | m2://inv/3BHP31SBCS |
|---|---|
| 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 2609.24325#E1WL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 3BHS0EG0NS
| URI | m2://inv/3BHS0EG0NS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of multiple correlation#BI62, Definition (definition)
History
- 2026-11-02: add by m2/dev
Topological invariant 3BJ0QRMWB8
| URI | m2://inv/3BJ0QRMWB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#QRNH, Topological invariant (definition)
History
- 2026-11-02: add by m2/dev
3BJ40H70CF 3BJ40H70CF
| URI | m2://inv/3BJ40H70CF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.02111#RFOS (statement). In NC5ZRF6F8N/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.12
3BJ65E8ASZ 3BJ65E8ASZ
| URI | m2://inv/3BJ65E8ASZ |
|---|---|
| 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.36411#CB2L (statement). In 9QG5CND2RQ/e1, lemma 9.2
History
- 2026-10-30: add by m2/v0.4.12
Subwavelength 3BJ6EJP2Z8
| URI | m2://inv/3BJ6EJP2Z8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelength#KELV, Subwavelength (unknown)
History
- 2026-11-02: add by m2/dev
Offset envelope class 3BJ7HWEEB4
| URI | m2://inv/3BJ7HWEEB4 |
|---|---|
| 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.20687#I4O4, Offset envelope class (definition)
History
- 2026-11-02: add by m2/v0.6.18
Multivariate Student distribution 3BJAF4HEZE
| URI | m2://inv/3BJAF4HEZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RB7Q, Multivariate Student distribution (definition)
History
- 2026-11-02: add by m2/dev
Algebraic complexity 3BJBPN2VT9
| URI | m2://inv/3BJBPN2VT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.09295#KC2I, Algebraic complexity (statement). In 29X0B511NF/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
3BJC1Z9WSW 3BJC1Z9WSW
| URI | m2://inv/3BJC1Z9WSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13953#USGC (statement). In D8258MF12E/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
3BJJHYMSR4 3BJJHYMSR4
| URI | m2://inv/3BJJHYMSR4 |
|---|---|
| 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 2511.07697#3L6G (statement). In 57P5P33HS3/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.5
(Tuleta #13) 3BK754KBD7
| URI | m2://inv/3BK754KBD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#CQGC, (Tuleta #13) (unknown)
History
- 2026-11-02: add by m2/dev
3BK7Y8PR4F 3BK7Y8PR4F
| URI | m2://inv/3BK7Y8PR4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-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 2605.02634#FALF (statement). In EZ6PAF0MXH/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Lot 11 and Area, Prince Edward Island 3BK9CD88VB
| URI | m2://inv/3BK9CD88VB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GOXF, Lot 11 and Area, Prince Edward Island (unknown)
History
- 2026-11-02: add by m2/dev
Efficient decoding of double-circulant codes based on cyclic codes 3BKCJZ5K5H
| URI | m2://inv/3BKCJZ5K5H |
|---|---|
| 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 2507.13548#IGRP, Efficient decoding of double-circulant codes based on cyclic codes (statement). In 4NVVK50D1P/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Classification of the eight smooth types 3BKECD57X9
| URI | m2://inv/3BKECD57X9 |
|---|---|
| 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.03298#RTJZ, Classification of the eight smooth types (statement). In 9SBZP218SM/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Shen--Xi--Zhao 3BKEFZQMQB
| URI | m2://inv/3BKEFZQMQB |
|---|---|
| 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.14434#D4E8, Shen--Xi--Zhao (statement). In TW93XZXMHE/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
3BKQ2JZ0YZ 3BKQ2JZ0YZ
| URI | m2://inv/3BKQ2JZ0YZ |
|---|---|
| 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 2605.30285#0O3C (statement). In YMY0NNSM27/e1, corollary 7.9
History
- 2026-10-27: add by m2/v0.3.6
3BM2D38HNV 3BM2D38HNV
| URI | m2://inv/3BM2D38HNV |
|---|---|
| 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.24051#HPBT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Notation 3BM359XT4K
| URI | m2://inv/3BM359XT4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpose graph#RYAB, Notation (definition)
History
- 2026-11-02: add by m2/dev
Almost pancyclic 3BMHYG8G6W
| URI | m2://inv/3BMHYG8G6W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pancyclic graph#Z0VU, Almost pancyclic (unknown)
History
- 2026-11-02: add by m2/dev
3BMJ3XQH1F 3BMJ3XQH1F
| URI | m2://inv/3BMJ3XQH1F |
|---|---|
| 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 2201.03058#T2LF (example). In STV2W9WA1K/e1, example 0.7
History
- 2026-10-27: add by m2/v0.4.0
Brownian excursion 3BMMPPK94Q
| URI | m2://inv/3BMMPPK94Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian excursion, Brownian excursion (definition). Also Wikidata Q4976524
History
- 2026-11-02: add by m2/dev
5-tuple 3BMNYH94QY
| URI | m2://inv/3BMNYH94QY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41205798, 5-tuple (unknown). Also MathWorld Quintuple
History
- 2026-10-26: add by m2/dev
Variations 3BMP3QETE1
| URI | m2://inv/3BMP3QETE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-system#EW1P, Variations (statement)
History
- 2026-11-02: add by m2/dev
Definitions 3BN78QG176
| URI | m2://inv/3BN78QG176 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolvent set#O9UV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
3BNAGTPBRP 3BNAGTPBRP
| URI | m2://inv/3BNAGTPBRP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#XCK0 (definition)
History
- 2026-11-01: add by m2/v0.6.15
3BNK6H210F 3BNK6H210F
| URI | m2://inv/3BNK6H210F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.22681#WAPR (definition). In 68VEQQX68G/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
3BNNWZNW0G 3BNNWZNW0G
| URI | m2://inv/3BNNWZNW0G |
|---|---|
| Kind | definition |
| 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 2610.08885#VHH4 (definition). In B4RHB3CF12/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
3BNVXM7VM8 3BNVXM7VM8
| URI | m2://inv/3BNVXM7VM8 |
|---|---|
| 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 0810.0962#1W8S (statement). In 80YMRN5KS9/e1, proposition 24
History
- 2026-10-27: add by m2/v0.3.5
Formal definition 3BP33QJ968
| URI | m2://inv/3BP33QJ968 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual (category theory)#O8A3, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
polyadic first-order logic 3BP89YCR0T
| URI | m2://inv/3BP89YCR0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QL76, polyadic first-order logic (definition)
History
- 2026-11-02: add by m2/dev
3BPB3DRT89 3BPB3DRT89
| URI | m2://inv/3BPB3DRT89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25269#JTBB (statement)
History
- 2026-11-01: add by m2/v0.6.15
3BPD7H0PMQ 3BPD7H0PMQ
| URI | m2://inv/3BPD7H0PMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21600#A8PE (statement). In EGAXXGHQNK/e1, theorem 5
History
- 2026-10-27: add by m2/v0.4.2
Two-copy estimate 3BPMSXSWDN
| URI | m2://inv/3BPMSXSWDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-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.26743#QG1C, Two-copy estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
3BPW1DMWJD 3BPW1DMWJD
| URI | m2://inv/3BPW1DMWJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#JCKJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
contractible, function 3BPYDKPJPB
| URI | m2://inv/3BPYDKPJPB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.4/contractible-function, contractible, function (concept). In N54F33XE07, index, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Ordered type 3BPYGZY5HZ
| URI | m2://inv/3BPYGZY5HZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substructural type system#Z3HG, Ordered type (unknown)
History
- 2026-11-02: add by m2/dev
universe level 3BPZVE9E1W
| URI | m2://inv/3BPZVE9E1W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2/universe-level, universe level (concept). In N54F33XE07, index, section 2
History
- 2026-11-01: add by m2/v0.6.13
3BQ5GSQ9RR 3BQ5GSQ9RR
| URI | m2://inv/3BQ5GSQ9RR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#7KN0 (statement). In J55JTTKG84/e1, theorem 6.5
History
- 2026-10-29: add by m2/v0.4.12
homothetic center 3BQ8PGNPGS
| URI | m2://inv/3BQ8PGNPGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5891804, homothetic center (unknown). Also MathWorld HomotheticCenter
- wikipedia: Wikipedia Homothetic center, Homothetic center (definition). Also Wikidata Q5891804
History
- 2026-10-26: add by m2/dev
Definition 3BQCGVWJVP
| URI | m2://inv/3BQCGVWJVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear Schrödinger equation#3N9O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Brahmagupta polynomial 3BQDAF9WE6
| URI | m2://inv/3BQDAF9WE6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16056720, Brahmagupta polynomial (concept). Also MathWorld BrahmaguptaPolynomial
- wikipedia: Wikipedia Brahmagupta polynomials, Brahmagupta polynomials (definition). Also Wikidata Q16056720
History
- 2026-10-26: add by m2/dev
Hermitian symmetric space 3BQDQDCS6T
| URI | m2://inv/3BQDQDCS6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian symmetric space, Hermitian symmetric space (definition). Also Wikidata Q5741926
History
- 2026-11-02: add by m2/dev
3BQH2Z0ZST 3BQH2Z0ZST
| URI | m2://inv/3BQH2Z0ZST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15869#1KNW (statement). In 5VRP29WZEK/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Explicit mixed Laguerre I forms 3BQJ2MS38G
| URI | m2://inv/3BQJ2MS38G |
|---|---|
| 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 2609.26110#RI1N, Explicit mixed Laguerre I forms (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ezra Getzler 3BQXGKGQCZ
| URI | m2://inv/3BQXGKGQCZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H2AJ, Ezra Getzler (unknown)
History
- 2026-11-02: add by m2/dev
Factoring $x^3-2 \pmod 5$ 3BQZWB807Z
| URI | m2://inv/3BQZWB807Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#example-2, Factoring $x^3-2 \pmod 5$ (example). In RZP28ERRZV, example, section 13.7
History
- 2026-11-01: add by m2/v0.6.13
Liénard's theorem 3BR34RZ1JP
| URI | m2://inv/3BR34RZ1JP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liénard equation#0SA3, Liénard's theorem (statement)
History
- 2026-11-02: add by m2/dev
stiff problem 3BR4BKVKCF
| URI | m2://inv/3BR4BKVKCF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.7/stiff-problem, stiff problem (concept). In E9HS8K3A52, index, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
BF model 3BR657VWP7
| URI | m2://inv/3BR657VWP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BF model, BF model (definition). Also Wikidata Q4835538
History
- 2026-11-02: add by m2/dev
3BR6CM1MXV 3BR6CM1MXV
| URI | m2://inv/3BR6CM1MXV |
|---|---|
| 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.21231#7D2L (statement). In 4RH9PS7MN1/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
3BRNGN51WF 3BRNGN51WF
| URI | m2://inv/3BRNGN51WF |
|---|---|
| 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.28509#DLH3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3BRPB5Z161 3BRPB5Z161
| URI | m2://inv/3BRPB5Z161 |
|---|---|
| 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.10505#HNTC (statement). In JW8HH6EPG2/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
Zweisimmen 3BRV3N69WT
| URI | m2://inv/3BRV3N69WT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#C3NL, Zweisimmen (unknown)
History
- 2026-11-02: add by m2/dev
Homotopy retract 3BRW54YDAP
| URI | m2://inv/3BRW54YDAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy#GLU0, Homotopy retract (unknown)
History
- 2026-11-02: add by m2/dev
3BS6MPV8S5 3BS6MPV8S5
| URI | m2://inv/3BS6MPV8S5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#1I24 (definition). In P2ETMXKVDS/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.3.5
Isaac Albert Barnett 3BS6QCDMWM
| URI | m2://inv/3BS6QCDMWM |
|---|---|
| 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#BZQ4, Isaac Albert Barnett (unknown)
History
- 2026-11-02: add by m2/dev
Definition 3BS832WXMD
| URI | m2://inv/3BS832WXMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form for free groups and free product of groups#QHW2, Definition (definition)
History
- 2026-11-02: add by m2/dev
3BS98FHQC2 3BS98FHQC2
| URI | m2://inv/3BS98FHQC2 |
|---|---|
| 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.07673#O2RR (statement). In 37B1MPV8GX/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
DALR 3BSE56CS53
| URI | m2://inv/3BSE56CS53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lapse rate#IK4R, DALR (unknown)
History
- 2026-11-02: add by m2/dev
3BSK3E7EPC 3BSK3E7EPC
| URI | m2://inv/3BSK3E7EPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/normalization/translations.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 59.4
History
- 2026-11-01: add by m2/v0.6.13
3BSNGX4B6A 3BSNGX4B6A
| URI | m2://inv/3BSNGX4B6A |
|---|---|
| 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 1904.09810#4TKO (statement). In T1VFA7TXPA/e1, theorem 25
History
- 2026-10-27: add by m2/v0.3.5
Binary icosahedral group 3BSS19PQA0
| URI | m2://inv/3BSS19PQA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary icosahedral group, Binary icosahedral group (definition). Also Wikidata Q4913898
History
- 2026-11-02: add by m2/dev
3BSXXE77BB 3BSXXE77BB
| URI | m2://inv/3BSXXE77BB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#YMKD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tame group 3BSZF0BC9B
| URI | m2://inv/3BSZF0BC9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tame group, Tame group (definition). Also Wikidata Q7681116
History
- 2026-11-02: add by m2/dev
3BT7GK2FBP 3BT7GK2FBP
| URI | m2://inv/3BT7GK2FBP |
|---|---|
| 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 2206.12966#D1TC (statement). In VH93X5QZDV/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
3BTAGH2EEG 3BTAGH2EEG
| URI | m2://inv/3BTAGH2EEG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#YNYJ (example). In 1KSE33PVS6/e1, example 44
History
- 2026-10-30: add by m2/v0.4.12
Walter Bartky 3BTC65BC2Q
| URI | m2://inv/3BTC65BC2Q |
|---|---|
| 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#52BR, Walter Bartky (unknown)
History
- 2026-11-02: add by m2/dev
Fixed-effect Poisson model 3BTDC5TRKW
| URI | m2://inv/3BTDC5TRKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GPIY, Fixed-effect Poisson model (definition)
History
- 2026-11-02: add by m2/dev
3BTJ2MCR5P 3BTJ2MCR5P
| URI | m2://inv/3BTJ2MCR5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#prop:rep-id (statement). In PKGMM3P5QY, prop, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
depth-first search tree 3BTM9KE54R
| URI | m2://inv/3BTM9KE54R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#ULG1, depth-first search tree (definition)
History
- 2026-11-02: add by m2/dev
3BTMTSPRR2 3BTMTSPRR2
| URI | m2://inv/3BTMTSPRR2 |
|---|---|
| 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.33018#ZSWT (definition). In 8XVS0QJ2AH/e1, definition 8
History
- 2026-10-31: add by m2/v0.5.6
Floor division 3BTNP5NKT0
| URI | m2://inv/3BTNP5NKT0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division (mathematics)#0N8Q, Floor division (unknown)
History
- 2026-11-02: add by m2/dev
Definition 3BTQ9V4PMF
| URI | m2://inv/3BTQ9V4PMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-spiral semigroup#533J, Definition (definition)
History
- 2026-11-02: add by m2/dev
3BTQS0707M 3BTQS0707M
| URI | m2://inv/3BTQS0707M |
|---|---|
| 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.15982#B7SK (statement). In KB50SHR229/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.2
3BTXJ99QDC 3BTXJ99QDC
| URI | m2://inv/3BTXJ99QDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#T5OU (statement)
History
- 2026-11-02: add by m2/v0.6.17
3BV3T8KP2Q 3BV3T8KP2Q
| URI | m2://inv/3BV3T8KP2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#3T7H (statement). In XYCBKM4WKY/e1, theorem 33
History
- 2026-10-27: add by m2/v0.3.5
Singular boundary method 3BVCYEM4XS
| URI | m2://inv/3BVCYEM4XS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular boundary method, Singular boundary method (definition). Also Wikidata Q7524247
History
- 2026-11-02: add by m2/dev
hamiltonian, cycle 3BVS5PVSJA
| URI | m2://inv/3BVS5PVSJA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.3/hamiltonian-cycle, hamiltonian, cycle (concept). In QKM9DD2H56, index, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Olive Clio Hazlett 3BVXW4T1MZ
| URI | m2://inv/3BVXW4T1MZ |
|---|---|
| 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#U92B, Olive Clio Hazlett (topic)
History
- 2026-11-02: add by m2/dev
3BW8HJHB27 3BW8HJHB27
| URI | m2://inv/3BW8HJHB27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#W5RO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 3BW93RDQ8E
| URI | m2://inv/3BW93RDQ8E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial derivative#7X60, Example (example)
History
- 2026-11-02: add by m2/dev
cocycle 3BWAEFENFJ
| URI | m2://inv/3BWAEFENFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5139921, cocycle (unknown). Also MathWorld Cocycle, nLab cocycle
- wikipedia: Wikipedia Cocycle, Cocycle (definition). Also Wikidata Q5139921
History
- 2026-10-26: add by m2/dev
Examples 3BWEP92HV6
| URI | m2://inv/3BWEP92HV6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic sequence#QA5U, Examples (example)
History
- 2026-11-02: add by m2/dev
B. E. J. Dahlberg 3BWJT9F2J1
| URI | m2://inv/3BWJT9F2J1 |
|---|---|
| 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#UWM8, B. E. J. Dahlberg (unknown)
History
- 2026-11-02: add by m2/dev
cactus graph 3BWPMZ4N0V
| URI | m2://inv/3BWPMZ4N0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1699014, cactus graph (unknown). Also MathWorld CactusGraph
- wikipedia: Wikipedia Cactus graph, Cactus graph (definition). Also Wikidata Q1699014
History
- 2026-10-26: add by m2/dev
3BWQMDRH9N 3BWQMDRH9N
| URI | m2://inv/3BWQMDRH9N |
|---|---|
| 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 2609.39707#9RRP (statement). In NFH5VEY1D1/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Formula 3BWRW828M8
| URI | m2://inv/3BWRW828M8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capital asset pricing model#9LTA, Formula (statement)
History
- 2026-11-02: add by m2/dev
Definition 3BWX5BPNHZ
| URI | m2://inv/3BWX5BPNHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian tree#H7Z2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Splitting-field obstruction 3BXBJ40F0H
| URI | m2://inv/3BXBJ40F0H |
|---|---|
| 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.04317#ERDA, Splitting-field obstruction (statement). In CF1X73QQ11/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
3BXDCBMBP3 3BXDCBMBP3
| URI | m2://inv/3BXDCBMBP3 |
|---|---|
| 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.11517#XXAM (statement). In 87NF85QAKT/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.3
3BXQSSR8S5 3BXQSSR8S5
| URI | m2://inv/3BXQSSR8S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#8T6Z (statement). In 9DQKY7KGE8/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.3.5
Generic benign degeneracy 3BXR4JNETM
| URI | m2://inv/3BXR4JNETM |
|---|---|
| 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.20270#UVRV, Generic benign degeneracy (statement). In GV0QGZH67P/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.4.2
Tamar Ziegler 3BXTMJQHKR
| URI | m2://inv/3BXTMJQHKR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AJHS, Tamar Ziegler (topic)
History
- 2026-11-02: add by m2/dev
Spectral type and multiplicity 3BXXBTC6BK
| URI | m2://inv/3BXXBTC6BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.25925#LTJC, Spectral type and multiplicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 3BXXBWJ53N
| URI | m2://inv/3BXXBWJ53N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gröbner basis#TEFB, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
topos 3BY1WMSTR6
| URI | m2://inv/3BY1WMSTR6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/topos, topos (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
3BY3RGN7D2 3BY3RGN7D2
| URI | m2://inv/3BY3RGN7D2 |
|---|---|
| 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.10902#DCT0 (statement). In 96T1K6C3NZ/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.3
Characteristic polynomial of the augmented Ferrers lattice 3BY7QAJTMA
| URI | m2://inv/3BY7QAJTMA |
|---|---|
| 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.24541#VHQB, Characteristic polynomial of the augmented Ferrers lattice (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 3BY9H0JZMS
| URI | m2://inv/3BY9H0JZMS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine Hecke algebra#3U8D, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
3BYJ69EM0V 3BYJ69EM0V
| URI | m2://inv/3BYJ69EM0V |
|---|---|
| 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 2409.17318#G8QK (statement). In 2P63T9MJ4P/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
The Animate and the Inanimate 3BYQ3ZSPDK
| URI | m2://inv/3BYQ3ZSPDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William James Sidis#Y21U, The Animate and the Inanimate (unknown)
History
- 2026-11-02: add by m2/dev
Warden 3BYWJZQEWW
| URI | m2://inv/3BYWJZQEWW |
|---|---|
| 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#5R6M, Warden (unknown)
History
- 2026-11-02: add by m2/dev
3BYWTC7TXJ 3BYWTC7TXJ
| URI | m2://inv/3BYWTC7TXJ |
|---|---|
| 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.34471#QLVW (statement). In BQ6MCMHCJK/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
PBW Gram matrices at fixed height 3BYZATN6DT
| URI | m2://inv/3BYZATN6DT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35986#HMTO, PBW Gram matrices at fixed height (statement). In PBX6AMPVT2/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
3BZ1QEWCDK 3BZ1QEWCDK
| URI | m2://inv/3BZ1QEWCDK |
|---|---|
| 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 2112.05010#KKSA (statement). In 4SZNPS3Z00/e1, proposition J.4
History
- 2026-10-27: add by m2/v0.3.6
3BZ5J6B3NW 3BZ5J6B3NW
| URI | m2://inv/3BZ5J6B3NW |
|---|---|
| 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#08EP (statement). In AYG8HYGW6V/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.3
Neighbourhood scheme 3BZ9P9H3CK
| URI | m2://inv/3BZ9P9H3CK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.25188#JZC9, Neighbourhood scheme (definition)
History
- 2026-11-01: add by m2/v0.6.15
Physical knot theory 3BZFC3PY5H
| URI | m2://inv/3BZFC3PY5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#Y0C1, Physical knot theory (unknown)
History
- 2026-11-02: add by m2/dev
3BZFP0AA2J 3BZFP0AA2J
| URI | m2://inv/3BZFP0AA2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#2TTX (statement)
History
- 2026-11-01: add by m2/v0.6.15
3BZH9H82G9 3BZH9H82G9
| URI | m2://inv/3BZH9H82G9 |
|---|---|
| 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.37739#B7JZ (statement). In F5XF5VXTXY/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
3BZWVVBCRF 3BZWVVBCRF
| URI | m2://inv/3BZWVVBCRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31304#YT6A (statement). In 3YK9MDW1D2/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6