Inventory rows 3D
The cards of the rows of the inventory whose ids start with 3D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
3D01J2YM76 3D01J2YM76
| URI | m2://inv/3D01J2YM76 |
|---|---|
| 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.27393#54XI (statement)
History
- 2026-11-01: add by m2/v0.6.15
3D0242VT80 3D0242VT80
| URI | m2://inv/3D0242VT80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#TIRI (statement). In 7QXAZXGNPQ/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Aging in dogs 3D027FD9DH
| URI | m2://inv/3D027FD9DH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#0UR5, Aging in dogs (unknown)
History
- 2026-11-02: add by m2/dev
Precomputed Radiance Transfer 3D035YRJW6
| URI | m2://inv/3D035YRJW6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#KLTZ, Precomputed Radiance Transfer (unknown)
History
- 2026-11-02: add by m2/dev
3D0AHDDAN4 3D0AHDDAN4
| URI | m2://inv/3D0AHDDAN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04503#8XTB (statement). In GWQP1XPM8E/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
3D0EK1ES6P 3D0EK1ES6P
| URI | m2://inv/3D0EK1ES6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#3O40 (statement). In 3TJ2FWXQ0D/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Kőnig's theorem (graph theory) 3D0K43EVKH
| URI | m2://inv/3D0K43EVKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#KKUN, Kőnig's theorem (graph theory) (statement)
History
- 2026-11-02: add by m2/dev
The Equidistribution of Lattice Shapes of Rings of Integers of Cubic, Quartic, and Quintic Number Fields 3D0T72QSFX
| URI | m2://inv/3D0T72QSFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Equidistribution of Lattice Shapes of Rings of Integers of Cubic, Quartic, and Quintic Number Fields, The Equidistribution of Lattice Shapes of Rings of Integers of Cubic, Quartic, and Quintic Number Fields (definition). Also Wikidata Q107305012
History
- 2026-11-02: add by m2/dev
3D0V4CQ1N3 3D0V4CQ1N3
| URI | m2://inv/3D0V4CQ1N3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#LQQX (example). In XGPZ0G9E1Q/e1, example 7.9
History
- 2026-10-29: add by m2/v0.4.12
Example 3D0WX253K0
| URI | m2://inv/3D0WX253K0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimization Programming Language#VHZR, Example (example)
History
- 2026-11-02: add by m2/dev
Liu, Jun 3D0ZX3QKYH
| URI | m2://inv/3D0ZX3QKYH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Q3XD, Liu, Jun (topic)
History
- 2026-11-02: add by m2/dev
Translation surface 3D16NRR1Q1
| URI | m2://inv/3D16NRR1Q1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Translation surface, Translation surface (definition). Also Wikidata Q2449377
History
- 2026-11-02: add by m2/dev
Variable rules analysis 3D17WV5YEC
| URI | m2://inv/3D17WV5YEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable rules analysis, Variable rules analysis (definition). Also Wikidata Q7915734
History
- 2026-11-02: add by m2/dev
Charles Algernon Parsons 3D1ACKW4DZ
| URI | m2://inv/3D1ACKW4DZ |
|---|---|
| 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#9FPO, Charles Algernon Parsons (unknown)
History
- 2026-11-02: add by m2/dev
Weierstrass preparation theorem 3D1DD6M069
| URI | m2://inv/3D1DD6M069 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 4 |
| Outcome | open |
| Node | Weierstrass preparation theorem 49JSD49P7X |
Mentions
- mathlib_1000: mathlib_1000 Q3527219, Weierstrass preparation theorem (statement). Also Mathlib PowerSeries.exists_isWeierstrassFactorization, Wikidata Q3527219
- thousand_plus: thousand_plus Q3527219, Weierstrass preparation theorem (statement). Also Mathlib PowerSeries.exists_isWeierstrassFactorization, Wikidata Q3527219, Wikipedia Weierstrass preparation theorem
- wikidata: Wikidata Q3527219, Weierstrass preparation theorem (statement). Also nLab Weierstrass preparation theorem
- wikipedia: Wikipedia Weierstrass preparation theorem, Weierstrass preparation theorem (statement). Also Wikidata Q3527219
History
- 2026-10-26: add by m2/dev
3D1GWWGYJ2 3D1GWWGYJ2
| URI | m2://inv/3D1GWWGYJ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#3ZFK (statement). In A4VP56CT7B/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
3D1NZZ7THD 3D1NZZ7THD
| URI | m2://inv/3D1NZZ7THD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#theorem-3 (statement). In E9HS8K3A52, theorem, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
cluster point 3D1PVFE9SQ
| URI | m2://inv/3D1PVFE9SQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > cluster point, cluster point (unknown). Also Mathlib ClusterPt
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > cluster points, cluster points (unknown). Also Mathlib ClusterPt
History
- 2026-10-26: add by m2/dev
3D1Q6AMNQH 3D1Q6AMNQH
| URI | m2://inv/3D1Q6AMNQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1011.4651#RMA3 (statement). In 44YWXB0VB4/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.5
Kempner function 3D1RJNG34D
| URI | m2://inv/3D1RJNG34D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1414564, Kempner function (unknown). Also MathWorld SmarandacheFunction, OEIS A002034
- wikipedia: Wikipedia Kempner function, Kempner function (definition). Also Wikidata Q1414564
History
- 2026-10-26: add by m2/dev
3D1TDCPXBB 3D1TDCPXBB
| URI | m2://inv/3D1TDCPXBB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04603#P6IG (definition). In HEAG8V2JM1/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Navier–Stokes priority controversy 3D27WRT0V5
| URI | m2://inv/3D27WRT0V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Navier–Stokes priority controversy, Navier–Stokes priority controversy (definition). Also Wikidata Q141420099
History
- 2026-11-02: add by m2/dev
Definition 3D29FMPACZ
| URI | m2://inv/3D29FMPACZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic torus#AUBD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Orlicz space 3D2AN3V9KA
| URI | m2://inv/3D2AN3V9KA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#25BP, Orlicz space (definition)
History
- 2026-11-02: add by m2/dev
3D2DJ4HVMC 3D2DJ4HVMC
| URI | m2://inv/3D2DJ4HVMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#2VY1 (statement). In A89G9GMPC9/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
3D2GEM2SBP 3D2GEM2SBP
| URI | m2://inv/3D2GEM2SBP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.08426#MF2Y (definition). In YG2DPMNZ1N/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
3D2K0CXXSZ 3D2K0CXXSZ
| URI | m2://inv/3D2K0CXXSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#U1J2 (statement). In F5STMSPR6X/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.12
3D2P6BFSF7 3D2P6BFSF7
| URI | m2://inv/3D2P6BFSF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00116#T78A (statement). In QBNPEXJEFV/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Homogeneously Suslin set 3D2SM9DK57
| URI | m2://inv/3D2SM9DK57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneously Suslin set, Homogeneously Suslin set (definition). Also Wikidata Q16965550
History
- 2026-11-02: add by m2/dev
3D36AAXTN3 3D36AAXTN3
| URI | m2://inv/3D36AAXTN3 |
|---|---|
| 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.37973#T2NE (statement). In 7276BGZRMP/e1, fact 5
History
- 2026-10-30: add by m2/v0.4.12
Poroelasticity 3D3F3K46DQ
| URI | m2://inv/3D3F3K46DQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poroelasticity, Poroelasticity (topic). Also Wikidata Q27888546
History
- 2026-11-02: add by m2/dev
Nef line bundle 3D3JB55BRM
| URI | m2://inv/3D3JB55BRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nef line bundle, Nef line bundle (definition). Also Wikidata Q6987000
History
- 2026-11-02: add by m2/dev
Concordance correlation coefficient 3D4G0Y2PB7
| URI | m2://inv/3D4G0Y2PB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3ST3, Concordance correlation coefficient (definition)
History
- 2026-11-02: add by m2/dev
3D4MSZBFD0 3D4MSZBFD0
| URI | m2://inv/3D4MSZBFD0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-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.38030#8QB0 (definition). In XYYEJN00D8/e1, definition 2.13
History
- 2026-10-30: add by m2/v0.4.12
rank 3D4WX8GTPY
| URI | m2://inv/3D4WX8GTPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#MP6Z, rank (definition)
History
- 2026-11-02: add by m2/dev
3D52XPW4N8 3D52XPW4N8
| URI | m2://inv/3D52XPW4N8 |
|---|---|
| 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.29304#04RJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
3D57KR2964 3D57KR2964
| URI | m2://inv/3D57KR2964 |
|---|---|
| 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.27646#F8KI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Product topology 3D5969NDBQ
| URI | m2://inv/3D5969NDBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#X8B2, Product topology (definition)
- wikipedia: Wikipedia List of general topology topics#IUZU, Product topology (definition)
- wikipedia: Wikipedia List of topologies#Y679, Product topology (definition)
History
- 2026-11-02: add by m2/dev
Witt's theorem 3D5JCVV8JT
| URI | m2://inv/3D5JCVV8JT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ernst Witt#QREQ, Witt's theorem (statement)
History
- 2026-11-02: add by m2/dev
3D5QN9EWV9 3D5QN9EWV9
| URI | m2://inv/3D5QN9EWV9 |
|---|---|
| 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.19845#F70O (statement). In A8Y7B1MD91/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Definition 3D5QVSS900
| URI | m2://inv/3D5QVSS900 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway's base 13 function#OAVB, Definition (definition)
History
- 2026-11-02: add by m2/dev
3D5TZWMQYH 3D5TZWMQYH
| URI | m2://inv/3D5TZWMQYH |
|---|---|
| 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.22777#3A7Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chipkill 3D5WWYX0BZ
| URI | m2://inv/3D5WWYX0BZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#B13D, Chipkill (unknown)
History
- 2026-11-02: add by m2/dev
Spectral theory of normal C*-algebras 3D60HE1E00
| URI | m2://inv/3D60HE1E00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory of normal C*-algebras, Spectral theory of normal C*-algebras (definition). Also Wikidata Q96406166
History
- 2026-11-02: add by m2/dev
Andrew Wiles 3D63C29JX5
| URI | m2://inv/3D63C29JX5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZCS2, Andrew Wiles (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y6JM, Andrew Wiles (topic)
History
- 2026-11-02: add by m2/dev
Positive links 3D693JK6S0
| URI | m2://inv/3D693JK6S0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#NOBC, Positive links (definition). In 5EKTECQ2P1/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
3D6AV75RFS 3D6AV75RFS
| URI | m2://inv/3D6AV75RFS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#EE2M (definition). In DW7FVA587C/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
3D6BJC8HCC 3D6BJC8HCC
| URI | m2://inv/3D6BJC8HCC |
|---|---|
| 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.08480#ZNCV (statement). In R4EEE89C3S/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Branch number 3D6G4WPBYR
| URI | m2://inv/3D6G4WPBYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branch number, Branch number (definition). Also Wikidata Q117744380
History
- 2026-11-02: add by m2/dev
Mary Foulkes 3D71YWQ13F
| URI | m2://inv/3D71YWQ13F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#9EWJ, Mary Foulkes (topic)
History
- 2026-11-02: add by m2/dev
Lebesgue measure 3D72DCBVZ7
| URI | m2://inv/3D72DCBVZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > Lebesgue measure, Lebesgue measure (unknown). Also Mathlib MeasureTheory.MeasureSpace
History
- 2026-10-26: add by m2/dev
Definition 3D7JVDCMNJ
| URI | m2://inv/3D7JVDCMNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Macdonald polynomials#KS0K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hilbert–Smith conjecture 3D7KC94EA1
| URI | m2://inv/3D7KC94EA1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#9ZJ5, Hilbert–Smith conjecture (conjecture)
- wikipedia: Wikipedia List of geometric topology topics#I983, Hilbert–Smith conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
McNemar's test 3D7NM6J97Z
| URI | m2://inv/3D7NM6J97Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McNemar's test, McNemar's test (definition). Also Wikidata Q1434261
History
- 2026-11-02: add by m2/dev
3D7S507JW3 3D7S507JW3
| URI | m2://inv/3D7S507JW3 |
|---|---|
| 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.29531#CDIE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quillen–Suslin theorem 3D8129J5VE
| URI | m2://inv/3D8129J5VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#T4SK, Quillen–Suslin theorem (definition)
History
- 2026-11-02: add by m2/dev
D'Alembert's principle of inertial forces 3D88C1YAWW
| URI | m2://inv/3D88C1YAWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D'Alembert's principle#XTKF, D'Alembert's principle of inertial forces (statement)
History
- 2026-11-02: add by m2/dev
Distance sampling 3D8CN5RZM8
| URI | m2://inv/3D8CN5RZM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance sampling, Distance sampling (definition). Also Wikidata Q5282869
History
- 2026-11-02: add by m2/dev
3D8DE5XTMH 3D8DE5XTMH
| URI | m2://inv/3D8DE5XTMH |
|---|---|
| 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.20366#FH7X (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dissipative Hamiltonian decomposition 3D8JQHNTKZ
| URI | m2://inv/3D8JQHNTKZ |
|---|---|
| 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.01295#CVY0, Dissipative Hamiltonian decomposition (definition). In EHGJX4ETBN/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
3D8KY01H6E 3D8KY01H6E
| URI | m2://inv/3D8KY01H6E |
|---|---|
| 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 2601.22681#4BHI (statement). In 68VEQQX68G/e1, corollary 3.19
History
- 2026-10-27: add by m2/v0.4.0
flexagon 3D8RDEBEKJ
| URI | m2://inv/3D8RDEBEKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1960545, flexagon (unknown). Also MathWorld Flexagon
- wikipedia: Wikipedia Flexagon, Flexagon (definition). Also Wikidata Q1960545
History
- 2026-10-26: add by m2/dev
Ellis R. Ott 3D93JJYZ05
| URI | m2://inv/3D93JJYZ05 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#SGSP, Ellis R. Ott (topic)
History
- 2026-11-02: add by m2/dev
Recursively enumerable Turing degree 3D9BM7KSGZ
| URI | m2://inv/3D9BM7KSGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing degree#OEDM, Recursively enumerable Turing degree (unknown)
History
- 2026-11-02: add by m2/dev
Reimann and Slaman 3D9K4ZWP74
| URI | m2://inv/3D9K4ZWP74 |
|---|---|
| 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 0812.1600#1ONE, Reimann and Slaman (statement). In 7Z12QX7837/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
Method 3D9XW0ER49
| URI | m2://inv/3D9XW0ER49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytical regularization#5DLO, Method (definition)
History
- 2026-11-02: add by m2/dev
3D9ZKTP236 3D9ZKTP236
| URI | m2://inv/3D9ZKTP236 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#OZ10 (statement). In XBHQRTBH62/e1, corollary 1.9
History
- 2026-10-31: add by m2/v0.5.6
binary relation 3DA0ME90Q1
| URI | m2://inv/3DA0ME90Q1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03E20 |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Binary relation 05AVARPXA2 |
Mentions
- wikidata: Wikidata Q130901, binary relation (topic)
- wikipedia: Wikipedia Binary relation, Binary relation (definition). Also Wikidata Q130901
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
3DA21D9Q8F 3DA21D9Q8F
| URI | m2://inv/3DA21D9Q8F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-205 (exercise). In VNMV985MXX, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Inhomogeneous vector balancing 3DA4HNMPGX
| URI | m2://inv/3DA4HNMPGX |
|---|---|
| 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#HEPC, Inhomogeneous vector balancing (statement). In 9YAE8FNQST/e1, corollary 19.18
History
- 2026-10-30: add by m2/v0.4.12
Multiscale conservative lower bound 3DA4S90VMN
| URI | m2://inv/3DA4S90VMN |
|---|---|
| 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.03633#4ODH, Multiscale conservative lower bound (statement). In X3E4D61X4V/e1, theorem A.6
History
- 2026-10-29: add by m2/v0.4.12
3DA4YM34MH 3DA4YM34MH
| URI | m2://inv/3DA4YM34MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08753#6KQ0 (statement). In J9P361Z1CX/e1, corollary 1.6
History
- 2026-10-29: add by m2/v0.4.10
Diaconis, Persi 3DAEDZKM2K
| URI | m2://inv/3DAEDZKM2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#08K2, Diaconis, Persi (topic)
History
- 2026-11-02: add by m2/dev
Weyl dimension ratio 3DAHCY2F6K
| URI | m2://inv/3DAHCY2F6K |
|---|---|
| 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 2610.06742#AYI8, Weyl dimension ratio (statement). In 24FJ7C8WPN/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
3DAQTYWCBM 3DAQTYWCBM
| URI | m2://inv/3DAQTYWCBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03449#NFA4 (statement). In 3XM05SYQ8D/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.12
conclusion 3DAT89TB7R
| URI | m2://inv/3DAT89TB7R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4/conclusion, conclusion (concept). In Y91XFCEVHQ, index, section 4
History
- 2026-11-01: add by m2/v0.6.13
3DB0CM7G9V 3DB0CM7G9V
| URI | m2://inv/3DB0CM7G9V |
|---|---|
| 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.16554#VR7R (statement). In GWNT8HEZG1/e1, proposition 4.26
History
- 2026-10-27: add by m2/v0.3.6
Twin prime conjecture 3DB431ZPS4
| URI | m2://inv/3DB431ZPS4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin prime#04Y2, Twin prime conjecture (statement)
History
- 2026-11-02: add by m2/dev
3DB5HDEGMD 3DB5HDEGMD
| URI | m2://inv/3DB5HDEGMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23871#VJDR (statement)
History
- 2026-11-02: add by m2/v0.6.17
3DB84WJD0S 3DB84WJD0S
| URI | m2://inv/3DB84WJD0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29152#W9JB (statement)
History
- 2026-11-01: add by m2/v0.6.15
3DBE04B49S 3DBE04B49S
| URI | m2://inv/3DBE04B49S |
|---|---|
| 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.01433#XOLO (statement). In 160PQ7F1AS/e1, lemma 4.16
History
- 2026-10-29: add by m2/v0.4.12
Sasha Cherny 3DBT018BD7
| URI | m2://inv/3DBT018BD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#DT2H, Sasha Cherny (unknown)
History
- 2026-11-02: add by m2/dev
Sergei Chernikov 3DBYGY1CBP
| URI | m2://inv/3DBYGY1CBP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Chernikov, Sergei Chernikov (topic). Also Wikidata Q12170089
History
- 2026-11-02: add by m2/dev
Irish Statistical Association 3DC3Y2DV0Y
| URI | m2://inv/3DC3Y2DV0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irish Statistical Association, Irish Statistical Association (definition). Also Wikidata Q85770002
History
- 2026-11-02: add by m2/dev
Fowler, Henry 3DC4RQ8BBR
| URI | m2://inv/3DC4RQ8BBR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4GH9, Fowler, Henry (unknown)
History
- 2026-11-02: add by m2/dev
Ground field 3DCBKDPDS9
| URI | m2://inv/3DCBKDPDS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ground field, Ground field (definition). Also Wikidata Q5610931
History
- 2026-11-02: add by m2/dev
Examples 3DD0Y3QAB4
| URI | m2://inv/3DD0Y3QAB4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete Heyting algebra#7D5T, Examples (example)
History
- 2026-11-02: add by m2/dev
Filter 3DD234GZ23
| URI | m2://inv/3DD234GZ23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#LF8M, Filter (definition)
History
- 2026-11-02: add by m2/dev
Nell Sedransk 3DD5GH6K3Q
| URI | m2://inv/3DD5GH6K3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nell Sedransk, Nell Sedransk (topic). Also Wikidata Q43387726
History
- 2026-11-02: add by m2/dev
Deterministic uncertainty principle 3DD74YXH98
| URI | m2://inv/3DD74YXH98 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform#CVVS, Deterministic uncertainty principle (statement)
History
- 2026-11-02: add by m2/dev
3DD7VCC742 3DD7VCC742
| URI | m2://inv/3DD7VCC742 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#T2NK (statement). In XX1J2REXY2/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Yamartino method 3DD8VZ21YK
| URI | m2://inv/3DD8VZ21YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6MVW, Yamartino method (definition)
History
- 2026-11-02: add by m2/dev
Countable chain condition 3DD9ZB7RW1
| URI | m2://inv/3DD9ZB7RW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#CVUQ, Countable chain condition (definition)
History
- 2026-11-02: add by m2/dev
3DDB3YXYWJ 3DDB3YXYWJ
| URI | m2://inv/3DDB3YXYWJ |
|---|---|
| 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#P4Z0 (statement). In NFH5VEY1D1/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
3DDT4XX7R1 3DDT4XX7R1
| URI | m2://inv/3DDT4XX7R1 |
|---|---|
| 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 2607.00323#07BO (statement). In BPRFEQY7W4/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.3.6
3DDTWZD2NT 3DDTWZD2NT
| URI | m2://inv/3DDTWZD2NT |
|---|---|
| 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#3BLY (statement)
History
- 2026-11-01: add by m2/v0.6.15
3DDVJ3BFJ6 3DDVJ3BFJ6
| URI | m2://inv/3DDVJ3BFJ6 |
|---|---|
| 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.06466#QM1J (statement). In 6W451V3N75/e1, proposition 9.5
History
- 2026-10-29: add by m2/v0.4.10
Game II $\geqslant$ Game I 3DDWDQ85FK
| URI | m2://inv/3DDWDQ85FK |
|---|---|
| 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 1803.10042#FO6F, Game II $\geqslant$ Game I (statement). In 718SP8YERQ/e1, proposition A1
History
- 2026-10-27: add by m2/v0.3.5
Flagship distance, original 3DDYA5GRZ4
| URI | m2://inv/3DDYA5GRZ4 |
|---|---|
| Kind | conjecture |
| 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.02392#WRRR, Flagship distance, original (conjecture). In W066HQZQBF/e1, conjecture 25
History
- 2026-10-29: add by m2/v0.4.12
Minimal models and Kadeishvili's theorem 3DDZSYH01Y
| URI | m2://inv/3DDZSYH01Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy associative algebra#ZH3T, Minimal models and Kadeishvili's theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement 3DE69WDMP2
| URI | m2://inv/3DE69WDMP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tennis ball theorem#SKXU, Statement (statement)
History
- 2026-11-02: add by m2/dev
Euler method 3DE9B0QMP2
| URI | m2://inv/3DE9B0QMP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euler method 0JARTXX4XP |
Mentions
- wikidata: Wikidata Q868454, Euler method (statement). Also ProofWiki Euler_Method
- wikipedia: Wikipedia Euler method, Euler method (definition). Also Wikidata Q868454
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
3DEJ4802HA 3DEJ4802HA
| URI | m2://inv/3DEJ4802HA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.22317#K76N (definition). In 2W5Z97BBW4/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.0
Niccolò Guicciardini 3DENBRFCVD
| URI | m2://inv/3DENBRFCVD |
|---|---|
| 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#M9LY, Niccolò Guicciardini (unknown)
History
- 2026-11-02: add by m2/dev
3DEV2BHP1C 3DEV2BHP1C
| URI | m2://inv/3DEV2BHP1C |
|---|---|
| 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.22374#DOY4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quotient automaton 3DEZB6VMDH
| URI | m2://inv/3DEZB6VMDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient automaton, Quotient automaton (definition). Also Wikidata Q25305409
History
- 2026-11-02: add by m2/dev
Properties 3DF01PHRFY
| URI | m2://inv/3DF01PHRFY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore plane#Q1FZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
General principles 3DF4X3ZVFN
| URI | m2://inv/3DF4X3ZVFN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-consistent mean field (biology)#QK4U, General principles (statement)
History
- 2026-11-02: add by m2/dev
Valentinus Otho 3DF5BK0C77
| URI | m2://inv/3DF5BK0C77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valentinus Otho, Valentinus Otho (topic). Also Wikidata Q91647
History
- 2026-11-02: add by m2/dev
Definition 3DF7VDQY0Q
| URI | m2://inv/3DF7VDQY0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field reconstruction#6N9X, Definition (definition)
History
- 2026-11-02: add by m2/dev
3DFSX49EWY 3DFSX49EWY
| URI | m2://inv/3DFSX49EWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39905#6QW8 (statement). In D4B23ER9QD/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
Dupuis, Debbie 3DFWH398JE
| URI | m2://inv/3DFWH398JE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JPPF, Dupuis, Debbie (unknown)
History
- 2026-11-02: add by m2/dev
3DG4MCTB4B 3DG4MCTB4B
| URI | m2://inv/3DG4MCTB4B |
|---|---|
| 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.10086#WPXT (statement). In NP9X9CAK19/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.10
Use of different similarity measure formulas 3DGB2V8BAK
| URI | m2://inv/3DGB2V8BAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity measure#JXQU, Use of different similarity measure formulas (statement)
History
- 2026-11-02: add by m2/dev
3DGF89970B 3DGF89970B
| URI | m2://inv/3DGF89970B |
|---|---|
| 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 2212.11038#0SPI (statement). In M3E3ARMJXK/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
Applications 3DGJ7HWDR4
| URI | m2://inv/3DGJ7HWDR4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate random variable#K7CD, Applications (example)
History
- 2026-11-02: add by m2/dev
Pi Day 3DGMDPZV38
| URI | m2://inv/3DGMDPZV38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi Day, Pi Day (definition). Also Wikidata Q179736
History
- 2026-11-02: add by m2/dev
3DGN2T3V2M 3DGN2T3V2M
| URI | m2://inv/3DGN2T3V2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:functor-precat (definition). In N54F33XE07, defn, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Copenhagen General Population Study 3DH0VFW2RR
| URI | m2://inv/3DH0VFW2RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copenhagen General Population Study, Copenhagen General Population Study (definition). Also Wikidata Q130643630
History
- 2026-11-02: add by m2/dev
Affine OU convergence at observation times 3DH0VSX5D0
| URI | m2://inv/3DH0VSX5D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32026#Z78H, Affine OU convergence at observation times (statement). In KM6PX54YFZ/e1, corollary 3
History
- 2026-10-31: add by m2/v0.5.6
3DH2K9CXPP 3DH2K9CXPP
| URI | m2://inv/3DH2K9CXPP |
|---|---|
| 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 2509.05577#2W82 (statement). In EFWBREMZAP/e1, proposition 1.4
History
- 2026-10-27: add by m2/v0.3.5
3DH8FYR1P7 3DH8FYR1P7
| URI | m2://inv/3DH8FYR1P7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17240#IYNX (statement). In 59BZ4V9RQW/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
bornological 3DHCEB8NSZ
| URI | m2://inv/3DHCEB8NSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#N9CY, bornological (definition)
History
- 2026-11-02: add by m2/dev
Opportunistic Wireless Encryption 3DHKBVM0W4
| URI | m2://inv/3DHKBVM0W4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opportunistic Wireless Encryption, Opportunistic Wireless Encryption (definition). Also Wikidata Q56319146
History
- 2026-11-02: add by m2/dev
Integral Hodge conjecture 3DHM6Z3WBK
| URI | m2://inv/3DHM6Z3WBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge conjecture#GEJ2, Integral Hodge conjecture (statement)
History
- 2026-11-02: add by m2/dev
3DHTPRZXRY 3DHTPRZXRY
| URI | m2://inv/3DHTPRZXRY |
|---|---|
| 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.20588#QBJB (statement)
History
- 2026-11-02: add by m2/v0.6.18
3DJ1P4YKNV 3DJ1P4YKNV
| URI | m2://inv/3DJ1P4YKNV |
|---|---|
| Kind | example |
| 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.36423#YNQ6 (example). In Q5Z178SAHP/e1, example 5.12
History
- 2026-10-30: add by m2/v0.4.12
3DJ4MF7E56 3DJ4MF7E56
| URI | m2://inv/3DJ4MF7E56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19326#2IIK (statement). In YFWDHG947Q/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
3DJ79FN6GE 3DJ79FN6GE
| URI | m2://inv/3DJ79FN6GE |
|---|---|
| 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.08581#405W (statement). In VCSPPW15BE/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Solution spheres 3DJB446BXZ
| URI | m2://inv/3DJB446BXZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#TFAX, Solution spheres (definition). In T8F19ZGHF3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
3DJE3Q30S4 3DJE3Q30S4
| URI | m2://inv/3DJE3Q30S4 |
|---|---|
| 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 2606.01011#SDB3 (statement). In RPG6EAXX68/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Prasanta Chandra Mahalanobis 3DJFX3W5HT
| URI | m2://inv/3DJFX3W5HT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GKCX, Prasanta Chandra Mahalanobis (topic)
History
- 2026-11-02: add by m2/dev
Marco Antei 3DJM2HC122
| URI | m2://inv/3DJM2HC122 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marco Antei, Marco Antei (topic). Also Wikidata Q102338970
History
- 2026-11-02: add by m2/dev
3DJV1TYBXE 3DJV1TYBXE
| URI | m2://inv/3DJV1TYBXE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#6T61 (example). In HX63A1PH1W/e1, example 7.10
History
- 2026-10-28: add by m2/v0.4.3
3DJWYEBW9X 3DJWYEBW9X
| URI | m2://inv/3DJWYEBW9X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-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.17045#L9RZ (definition). In PA6JQDSKQT/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Intersection type 3DJY288JJQ
| URI | m2://inv/3DJY288JJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection type, Intersection type (definition). Also Wikidata Q85769734
History
- 2026-11-02: add by m2/dev
Bicomplex number 3DKCG7WWFZ
| URI | m2://inv/3DKCG7WWFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicomplex number, Bicomplex number (definition). Also Wikidata Q3052356
History
- 2026-11-02: add by m2/dev
3DKEW642WP 3DKEW642WP
| URI | m2://inv/3DKEW642WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.08319#PCCE (statement). In MA1CZ2GTAF/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.0
3DKFH1GGQK 3DKFH1GGQK
| URI | m2://inv/3DKFH1GGQK |
|---|---|
| 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#8JA2 (statement). In F1EF8XE30A/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Properties 3DKJZ43KDY
| URI | m2://inv/3DKJZ43KDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shift matrix#37FW, Properties (statement)
History
- 2026-11-02: add by m2/dev
3DKV72AMEQ 3DKV72AMEQ
| URI | m2://inv/3DKV72AMEQ |
|---|---|
| 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.00292#WPKH (statement). In NX3EFW0D0X/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
3DKVD1B890 3DKVD1B890
| URI | m2://inv/3DKVD1B890 |
|---|---|
| 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.27253#E1DA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Almost-everywhere maximal projection dimension 3DM1K9K218
| URI | m2://inv/3DM1K9K218 |
|---|---|
| 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.22485#TEL2, Almost-everywhere maximal projection dimension (statement)
History
- 2026-11-02: add by m2/v0.6.17
3DM6HGC075 3DM6HGC075
| URI | m2://inv/3DM6HGC075 |
|---|---|
| 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 2312.05005#GFNJ (statement). In SMJMAQ2S3J/e1, proposition 13
History
- 2026-10-27: add by m2/v0.4.0
Reference future filtration 3DMBCVE0RS
| URI | m2://inv/3DMBCVE0RS |
|---|---|
| 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.09278#Z44A, Reference future filtration (statement). In XREKHJHAT7/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
3DMDQJW26F 3DMDQJW26F
| URI | m2://inv/3DMDQJW26F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-31 (example). In VNMV985MXX, example, section 6.8
History
- 2026-11-01: add by m2/v0.6.13
Properties 3DN46WF872
| URI | m2://inv/3DN46WF872 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilson loop#CPFL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ellen Hamaker 3DN4J76WPX
| URI | m2://inv/3DN4J76WPX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellen Hamaker, Ellen Hamaker (topic). Also Wikidata Q28778077
History
- 2026-11-02: add by m2/dev
3DN582DPRA 3DN582DPRA
| URI | m2://inv/3DN582DPRA |
|---|---|
| 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.05506#IEVL (statement). In FT53PMB1TE/e1, lemma 2.3.5
History
- 2026-10-29: add by m2/v0.4.10
Deterministic garbling after strict attenuation 3DN76MMRYX
| URI | m2://inv/3DN76MMRYX |
|---|---|
| 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#34I1, Deterministic garbling after strict attenuation (statement). In 9YAE8FNQST/e1, theorem 30.3
History
- 2026-10-30: add by m2/v0.4.12
complement graph 3DNK9SS2M6
| URI | m2://inv/3DNK9SS2M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Complement graph 0MCYJ72VGA |
Mentions
- wikidata: Wikidata Q902252, complement graph (unknown). Also MathWorld GraphComplement
- wikipedia: Wikipedia Complement graph, Complement graph (definition). Also Wikidata Q902252
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Mertens' second theorem 3DNQ01T9VN
| URI | m2://inv/3DNQ01T9VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118176598, Mertens' second theorem (statement). Also MathWorld MertensSecondTheorem
History
- 2026-10-26: add by m2/dev
Liu Sifeng 3DNT2JAJM3
| URI | m2://inv/3DNT2JAJM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liu Sifeng, Liu Sifeng (topic). Also Wikidata Q29033377
History
- 2026-11-02: add by m2/dev
2203 (number) 3DNX52HZXW
| URI | m2://inv/3DNX52HZXW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 (number)#OVL5, 2203 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Continuity of the perimeter functional 3DNX7TBPN6
| URI | m2://inv/3DNX7TBPN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 53-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.11677#35X8, Continuity of the perimeter functional (statement). In 4R7HZD14M6/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
3DNZFEAPM4 3DNZFEAPM4
| URI | m2://inv/3DNZFEAPM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#8JIT (statement). In XD603HRHKC/e1, proposition B.2
History
- 2026-10-30: add by m2/v0.4.12
Argumentum ad crumenam 3DNZP62NCZ
| URI | m2://inv/3DNZP62NCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentum ad crumenam, Argumentum ad crumenam (definition). Also Wikidata Q2861095
History
- 2026-11-02: add by m2/dev
3DP7ETZ7QE 3DP7ETZ7QE
| URI | m2://inv/3DP7ETZ7QE |
|---|---|
| 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 2603.11432#ZEG1 (statement). In 9PGSPHDKR2/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.6
Truncated square tiling 3DP7Y1FFAT
| URI | m2://inv/3DP7Y1FFAT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Euclidean uniform tilings#J16T, Truncated square tiling (object)
History
- 2026-11-02: add by m2/dev
3DP916N301 3DP916N301
| URI | m2://inv/3DP916N301 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 20.5
History
- 2026-11-01: add by m2/v0.6.13
3DPFW2TQ7W 3DPFW2TQ7W
| URI | m2://inv/3DPFW2TQ7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#22KD (statement). In D64RQ09KBP/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.12
3DPKFKWD78 3DPKFKWD78
| URI | m2://inv/3DPKFKWD78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#J4TE (statement). In SYZFEVFHC3/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Large-$p$ product-stabilizer energy 3DPRTWNFY0
| URI | m2://inv/3DPRTWNFY0 |
|---|---|
| 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.02166#115X, Large-$p$ product-stabilizer energy (statement). In R6RF3P6D5A/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.12
Vandermonde polynomial 3DPXSPQA8H
| URI | m2://inv/3DPXSPQA8H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7914492, Vandermonde polynomial (concept). Also MathWorld VandermondeDeterminant
- wikipedia: Wikipedia Vandermonde polynomial, Vandermonde polynomial (definition). Also Wikidata Q7914492
History
- 2026-10-26: add by m2/dev
3DQ2VZQD34 3DQ2VZQD34
| URI | m2://inv/3DQ2VZQD34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#3E4O (statement). In ESDKTYDHC8/e1, corollary 6
History
- 2026-10-29: add by m2/v0.4.12
3DQ39K3M4M 3DQ39K3M4M
| URI | m2://inv/3DQ39K3M4M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.31365#F650 (definition). In 19GENJ3NCP/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Tip of the tongue 3DQ6EB0FX7
| URI | m2://inv/3DQ6EB0FX7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#Y9HO, Tip of the tongue (unknown)
History
- 2026-11-02: add by m2/dev
Definition 3DQ90666RC
| URI | m2://inv/3DQ90666RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trophic coherence#6F50, Definition (definition)
History
- 2026-11-02: add by m2/dev
3DQAWX07DX 3DQAWX07DX
| URI | m2://inv/3DQAWX07DX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-30 (proof). In N54F33XE07, proof, section 1.10
History
- 2026-11-01: add by m2/v0.6.13
Closure properties of connected $p$-words 3DQDRQSP8G
| URI | m2://inv/3DQDRQSP8G |
|---|---|
| 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.27181#A050, Closure properties of connected $p$-words (statement)
History
- 2026-11-01: add by m2/v0.6.15
Agnes Meyer Driscoll 3DQHVTRGFX
| URI | m2://inv/3DQHVTRGFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#O4IS, Agnes Meyer Driscoll (topic)
History
- 2026-11-02: add by m2/dev
Daniel Goldston 3DQJEF7K1Y
| URI | m2://inv/3DQJEF7K1Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#6NLE, Daniel Goldston (topic)
History
- 2026-11-02: add by m2/dev
Chern class 3DQK227G9N
| URI | m2://inv/3DQK227G9N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Chern class PAD37GKDPD |
Mentions
- wikidata: Wikidata Q1069818, Chern class (concept). Also MathWorld ChernClass, nLab Chern class
- wikipedia: Wikipedia Chern class, Chern class (definition). Also Wikidata Q1069818
History
- 2026-10-26: add by m2/dev
3DQTXVYR7B 3DQTXVYR7B
| URI | m2://inv/3DQTXVYR7B |
|---|---|
| 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.10527#MQVC (statement). In 9AXPPWBA9R/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
domain of discourse 3DQZE1TFZZ
| URI | m2://inv/3DQZE1TFZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BZPL, domain of discourse (definition)
History
- 2026-11-02: add by m2/dev
Order isomorphism 3DR1XHRQ8Q
| URI | m2://inv/3DR1XHRQ8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#FIYE, Order isomorphism (definition)
History
- 2026-11-02: add by m2/dev
3DR2CXK0SB 3DR2CXK0SB
| URI | m2://inv/3DR2CXK0SB |
|---|---|
| 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 2312.05005#241U (statement). In SMJMAQ2S3J/e1, corollary 6
History
- 2026-10-27: add by m2/v0.4.0
Ronald J. Stern 3DR3DA0SPF
| URI | m2://inv/3DR3DA0SPF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald J. Stern, Ronald J. Stern (topic). Also Wikidata Q20675719
History
- 2026-11-02: add by m2/dev
Wahl's \(\mathbb{Q}\)-Gorenstein conjecture 3DR97MFSJN
| URI | m2://inv/3DR97MFSJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#B9DJ, Wahl's \(\mathbb{Q}\)-Gorenstein conjecture (statement). In AGJE43FTF8/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.2
Fractional dynamics 3DRATH9Z3N
| URI | m2://inv/3DRATH9Z3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#WOKR, Fractional dynamics (definition)
History
- 2026-11-02: add by m2/dev
set of negative integers 3DRCBSQ2SX
| URI | m2://inv/3DRCBSQ2SX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47379005, set of negative integers (unknown). Also MathWorld Z-
History
- 2026-10-26: add by m2/dev
3DREMP472W 3DREMP472W
| URI | m2://inv/3DREMP472W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.14312#0E9X (statement). In SEPBZN2DRH/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Quotation 3DRGB85GS1
| URI | m2://inv/3DRGB85GS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotation, Quotation (definition). Also Wikidata Q206287
History
- 2026-11-02: add by m2/dev
3DRM3WXMQ8 3DRM3WXMQ8
| URI | m2://inv/3DRM3WXMQ8 |
|---|---|
| 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 2501.15210#XKU0 (statement). In S4S8V2DYSA/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
First-order query-rank exponent 3DRM5M7YV7
| URI | m2://inv/3DRM5M7YV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#4NJP, First-order query-rank exponent (statement)
History
- 2026-11-01: add by m2/v0.6.15
Porphyry of Tyre 3DRN3F0TGQ
| URI | m2://inv/3DRN3F0TGQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Porphyry of Tyre, Porphyry of Tyre (topic). Also Wikidata Q203445
History
- 2026-11-02: add by m2/dev
Polish Mathematical Society 3DRQG2NWD1
| URI | m2://inv/3DRQG2NWD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polish Mathematical Society, Polish Mathematical Society (topic). Also Wikidata Q2063277
History
- 2026-11-02: add by m2/dev
Tutte eight cage 3DRVPDMEEM
| URI | m2://inv/3DRVPDMEEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#2XQE, Tutte eight cage (definition)
History
- 2026-11-02: add by m2/dev
Luc E. Weber 3DRY20TEFS
| URI | m2://inv/3DRY20TEFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#QQ77, Luc E. Weber (unknown)
History
- 2026-11-02: add by m2/dev
3DS425H5BF 3DS425H5BF
| URI | m2://inv/3DS425H5BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#AKFM (statement). In 7ZFD9XRKA1/e1, proposition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Hans Weinberger 3DS9H82EGK
| URI | m2://inv/3DS9H82EGK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Weinberger, Hans Weinberger (topic). Also Wikidata Q5650824
History
- 2026-11-02: add by m2/dev
3DSEQD5C1R 3DSEQD5C1R
| URI | m2://inv/3DSEQD5C1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39642#TFGE (statement). In QR49BK9EF1/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
3DSPMB0PS7 3DSPMB0PS7
| URI | m2://inv/3DSPMB0PS7 |
|---|---|
| Kind | definition |
| 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 2011.05871#JM3V (definition). In 399GJ6EEC2/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Harald Cramér 3DT5QBZAM7
| URI | m2://inv/3DT5QBZAM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#90ED, Harald Cramér (topic)
History
- 2026-11-02: add by m2/dev
formalized 3DT8VYMEF6
| URI | m2://inv/3DT8VYMEF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23143#55V7, formalized (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example 3DTB495BWE
| URI | m2://inv/3DTB495BWE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dualizing sheaf#U8B4, Example (example)
History
- 2026-11-02: add by m2/dev
3DTCCN2E53 3DTCCN2E53
| URI | m2://inv/3DTCCN2E53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14446#XHRD (statement). In AWRXXZR673/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Local Euler characteristic formula 3DTPPNAK2N
| URI | m2://inv/3DTPPNAK2N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local Euler characteristic formula, Local Euler characteristic formula (statement). Also Wikidata Q6664004
History
- 2026-11-02: add by m2/dev
Diez 3DTVDGYP1Y
| URI | m2://inv/3DTVDGYP1Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#90RF, Diez (definition). In MZ60NP20BH/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.4.0
3DTW2MQKPN 3DTW2MQKPN
| URI | m2://inv/3DTW2MQKPN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#G3X2 (definition). In 6DJR9DKY5W/e1, definition 4.9
History
- 2026-10-28: add by m2/v0.4.2
$C$-initial algebra 3DTZEHN1JV
| URI | m2://inv/3DTZEHN1JV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#VJ8J, $C$-initial algebra (definition). In 9ZSNSJRJ5N/e1, definition 22
History
- 2026-10-27: add by m2/v0.4.2
3DV2BN3HN7 3DV2BN3HN7
| URI | m2://inv/3DV2BN3HN7 |
|---|---|
| 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.12295#KT01 (statement). In 6DZPR52HRP/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Advances in Applied Mathematics 3DV5T9VXB9
| URI | m2://inv/3DV5T9VXB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advances in Applied Mathematics, Advances in Applied Mathematics (definition). Also Wikidata Q11074284
History
- 2026-11-02: add by m2/dev
Full coupled closed-loop stability 3DV5TE8TX9
| URI | m2://inv/3DV5TE8TX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#GP5H, Full coupled closed-loop stability (statement)
History
- 2026-11-02: add by m2/v0.6.17
Panofsky-Phillips equation 3DV5V45YVQ
| URI | m2://inv/3DV5V45YVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jefimenko's equations#3UE2, Panofsky-Phillips equation (unknown)
History
- 2026-11-02: add by m2/dev
Pañcabodha 3DV6KSZPGT
| URI | m2://inv/3DV6KSZPGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pañcabodha, Pañcabodha (definition). Also Wikidata Q124022642
History
- 2026-11-02: add by m2/dev
Relation to the Riemann hypothesis 3DV75DDGEJ
| URI | m2://inv/3DV75DDGEJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colossally abundant number#A708, Relation to the Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
3DVFMP1BMJ 3DVFMP1BMJ
| URI | m2://inv/3DVFMP1BMJ |
|---|---|
| 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.32475#UG2Y (statement). In 5N606WED8M/e1, theorem 4
History
- 2026-10-31: add by m2/v0.5.6
Applications 3DVFZWXYHG
| URI | m2://inv/3DVFZWXYHG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized normal distribution#BTKS, Applications (example)
History
- 2026-11-02: add by m2/dev
affine 3DVGJ53945
| URI | m2://inv/3DVGJ53945 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#QV6W, affine (definition)
History
- 2026-11-02: add by m2/dev
3DVHBSWTRJ 3DVHBSWTRJ
| URI | m2://inv/3DVHBSWTRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#GUIE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition 3DVHGD2CVG
| URI | m2://inv/3DVHGD2CVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric interval temporal logic#0RXQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Adversarial contamination 3DVJDN2Y2F
| URI | m2://inv/3DVJDN2Y2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15974#7VPV, Adversarial contamination (statement). In 61ZHQ7BTKP/e1, corollary 2.10
History
- 2026-10-28: add by m2/v0.4.2
3DVJE8D7Y2 3DVJE8D7Y2
| URI | m2://inv/3DVJE8D7Y2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#L1C9 (statement). In 2VHV0RNTNV/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
*{Lemma 6.2 3DVJXXZJHR
| URI | m2://inv/3DVJXXZJHR |
|---|---|
| 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.05708#EH89, *{Lemma 6.2 (statement). In 3BJPFGJNSS/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
3DVQEX9YQ7 3DVQEX9YQ7
| URI | m2://inv/3DVQEX9YQ7 |
|---|---|
| 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 1003.2117#SNAE (statement). In H4D4RFNH2V/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
3DVRD7EK1C 3DVRD7EK1C
| URI | m2://inv/3DVRD7EK1C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10178#RHRF (example). In 8T90H89HNB/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.5
3DVZDRKY6M 3DVZDRKY6M
| URI | m2://inv/3DVZDRKY6M |
|---|---|
| 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.13580#7D6O (statement). In KEQ57N9N7Z/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Edge 3DW0SKXCBH
| URI | m2://inv/3DW0SKXCBH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OH4K, Edge (object)
History
- 2026-11-02: add by m2/dev
3DW33PW1V4 3DW33PW1V4
| URI | m2://inv/3DW33PW1V4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-49 (proof). In N54F33XE07, proof, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
string theory landscape 3DW3GY9VWC
| URI | m2://inv/3DW3GY9VWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4253887, string theory landscape (unknown). Also nLab landscape of string theory vacua
History
- 2026-10-26: add by m2/dev
Rafail Ostrovsky 3DWAZT1S78
| URI | m2://inv/3DWAZT1S78 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#16IJ, Rafail Ostrovsky (unknown)
History
- 2026-11-02: add by m2/dev
Finite-dimensional distribution 3DWCJB1WMH
| URI | m2://inv/3DWCJB1WMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite-dimensional distribution, Finite-dimensional distribution (definition). Also Wikidata Q5450380
History
- 2026-11-02: add by m2/dev
3DWFETQRVH 3DWFETQRVH
| URI | m2://inv/3DWFETQRVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.33442#BQRB (statement). In EWY5YPMKA3/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Weighted $C^{(1,2)}$ Hawking singularity theorem, version 1 3DWQ50C56A
| URI | m2://inv/3DWQ50C56A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.11911#NI6J, Weighted $C^{(1,2)}$ Hawking singularity theorem, version 1 (statement). In 5BYE5NYB89/e1, theorem 4.15
History
- 2026-10-28: add by m2/v0.4.3
3DWWX821FJ 3DWWX821FJ
| URI | m2://inv/3DWWX821FJ |
|---|---|
| Kind | conjecture |
| 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.14217#H3SE (conjecture). In K0DHYQC5B7/e1, conjecture 1.6
History
- 2026-10-28: add by m2/v0.4.2
atomic proposition 3DWYY21572
| URI | m2://inv/3DWYY21572 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#P25Y, atomic proposition (definition)
History
- 2026-11-02: add by m2/dev
Combinatorial meta-analysis 3DWZ3PRW44
| URI | m2://inv/3DWZ3PRW44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial meta-analysis, Combinatorial meta-analysis (definition). Also Wikidata Q17007303
History
- 2026-11-02: add by m2/dev
Eugene Lukacs 3DX1PP2ZWJ
| URI | m2://inv/3DX1PP2ZWJ |
|---|---|
| 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#VIKI, Eugene Lukacs (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#D3HI, Eugene Lukacs (unknown)
History
- 2026-11-02: add by m2/dev
Point distribution model 3DX1V773RH
| URI | m2://inv/3DX1V773RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point distribution model, Point distribution model (definition). Also Wikidata Q2100760
History
- 2026-11-02: add by m2/dev
Relocation of triple junction 3DX3477ACG
| URI | m2://inv/3DX3477ACG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#PEZJ, Relocation of triple junction (example)
History
- 2026-11-01: add by m2/v0.6.15
3DXF35Q8F3 3DXF35Q8F3
| URI | m2://inv/3DXF35Q8F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20972#YJCR (statement). In 6SZE4MTXGZ/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.4.2
3DXSKNZ84E 3DXSKNZ84E
| URI | m2://inv/3DXSKNZ84E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#NN6R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 3DY3CN8SPA
| URI | m2://inv/3DY3CN8SPA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meta-regression#EBJW, Applications (example)
History
- 2026-11-02: add by m2/dev
Complete Classification 3DY63KZ727
| URI | m2://inv/3DY63KZ727 |
|---|---|
| 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.28495#9CO8, Complete Classification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 3DY6SB2J1M
| URI | m2://inv/3DY6SB2J1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly chained diagonally dominant matrix#KXKY, Properties (statement)
History
- 2026-11-02: add by m2/dev
3DY9QB63T9 3DY9QB63T9
| URI | m2://inv/3DY9QB63T9 |
|---|---|
| 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#TL5W (statement). In NC5ZRF6F8N/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.12
3DYF79YEJT 3DYF79YEJT
| URI | m2://inv/3DYF79YEJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#U0H1 (statement). In CC6S1HVK0T/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Hückel method 3DYFVEF7KG
| URI | m2://inv/3DYFVEF7KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hückel method, Hückel method (definition). Also Wikidata Q901357
History
- 2026-11-02: add by m2/dev
Uwe Storch 3DYJJDCSZW
| URI | m2://inv/3DYJJDCSZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uwe Storch, Uwe Storch (topic). Also Wikidata Q106623
History
- 2026-11-02: add by m2/dev
Example 3DYNCF1ZS0
| URI | m2://inv/3DYNCF1ZS0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory function#B3O6, Example (example)
History
- 2026-11-02: add by m2/dev
3DYNEC2P2N 3DYNEC2P2N
| URI | m2://inv/3DYNEC2P2N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05582#Y8GC (definition). In 9X4TANWWWR/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
3DYPBQ4CKJ 3DYPBQ4CKJ
| URI | m2://inv/3DYPBQ4CKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#3XQK (statement). In YVGRZK1HRS/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
3DYR65Q2FR 3DYR65Q2FR
| URI | m2://inv/3DYR65Q2FR |
|---|---|
| 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 2609.36237#CSQM (statement). In JNBMSFE14N/e1, lemma 3.15
History
- 2026-10-30: add by m2/v0.4.12
3DZ8C3R12N 3DZ8C3R12N
| URI | m2://inv/3DZ8C3R12N |
|---|---|
| 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.13833#OCTT (statement). In VD4JP4HVBX/e1, lemma 8.10
History
- 2026-10-28: add by m2/v0.4.2
16-cell prism 3DZEY1Q8QW
| URI | m2://inv/3DZEY1Q8QW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 5-polytope#2DQL, 16-cell prism (unknown)
History
- 2026-11-02: add by m2/dev
3DZJDJAF53 3DZJDJAF53
| URI | m2://inv/3DZJDJAF53 |
|---|---|
| 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 2311.16252#H621 (statement). In 8AHN9GSRMR/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.4.0
3DZQ04CFM3 3DZQ04CFM3
| URI | m2://inv/3DZQ04CFM3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#proof-1 (proof). In RZP28ERRZV, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
John Merrick 3DZS62TFZ4
| URI | m2://inv/3DZS62TFZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#23QY, John Merrick (unknown)
History
- 2026-11-02: add by m2/dev
Marsden--Weinstein, infinite-dimensional form 3DZSM0ASJT
| URI | m2://inv/3DZSM0ASJT |
|---|---|
| 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#SQ6Q, Marsden--Weinstein, infinite-dimensional form (statement). In J55JTTKG84/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
3DZXCKX720 3DZXCKX720
| URI | m2://inv/3DZXCKX720 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#9JN3 (statement). In SNWC76WKWT/e1, lemma H.6
History
- 2026-10-31: add by m2/v0.5.6
3DZY7JGEE5 3DZY7JGEE5
| URI | m2://inv/3DZY7JGEE5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21408#JRD6 (definition). In 3XBEGXNPXZ/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2