Inventory rows MH
The cards of the rows of the inventory whose ids start with MH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Geometry-adapted cross-entropy bounds MH00JFE60G
| URI | m2://inv/MH00JFE60G |
|---|---|
| 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.11309#5SK3, Geometry-adapted cross-entropy bounds (statement). In TTEAQA1XXR/e1, lemma B.8
History
- 2026-10-28: add by m2/v0.4.3
MH06Q5B2YQ MH06Q5B2YQ
| URI | m2://inv/MH06Q5B2YQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#theorem-6 (statement). In RZP28ERRZV, theorem, section 52.7.3
History
- 2026-11-01: add by m2/v0.6.13
physical property MH0B38N2E4
| URI | m2://inv/MH0B38N2E4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4373292, physical property (definition). Also ProofWiki Definition:Physical_Property
History
- 2026-10-26: add by m2/dev
MH0QQWRMPJ MH0QQWRMPJ
| URI | m2://inv/MH0QQWRMPJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1508.01731#GKAU (example). In PKJFZEY8ZV/e1, example 4.2
History
- 2026-10-27: add by m2/v0.3.5
MH0R4KY4VV MH0R4KY4VV
| URI | m2://inv/MH0R4KY4VV |
|---|---|
| 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.22345#MNQ6 (statement). In 7JATJ4VG9G/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.0
coordination game MH0WMYPR4P
| URI | m2://inv/MH0WMYPR4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q656316, coordination game (definition). Also ProofWiki Definition:Coordination_Game
History
- 2026-10-26: add by m2/dev
KiHz MH0Z9KQ752
| URI | m2://inv/MH0Z9KQ752 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ISO/IEC 80000#8XL0, KiHz (unknown)
History
- 2026-11-02: add by m2/dev
MH12D87W5C MH12D87W5C
| URI | m2://inv/MH12D87W5C |
|---|---|
| Kind | problem |
| 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.20881#2KCB (problem)
History
- 2026-11-02: add by m2/v0.6.18
Octagonal pyramid MH185RZZV5
| URI | m2://inv/MH185RZZV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BS27, Octagonal pyramid (definition)
History
- 2026-11-02: add by m2/dev
tensor analysis MH19HSTR2E
| URI | m2://inv/MH19HSTR2E |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 53A45 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1318181, tensor analysis (topic). Also MathWorld TensorAnalysis
History
- 2026-10-26: add by m2/dev
Family MH1AS37TKN
| URI | m2://inv/MH1AS37TKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Family (U.S. census), Family (definition). Also Wikidata Q5433028
History
- 2026-11-02: add by m2/dev
Order of a graph MH1C76AYTX
| URI | m2://inv/MH1C76AYTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph (discrete mathematics)#ABK9, Order of a graph (unknown)
History
- 2026-11-02: add by m2/dev
MH1CDPR31J MH1CDPR31J
| URI | m2://inv/MH1CDPR31J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#proof-2 (proof). In RZP28ERRZV, proof, section 53.4
History
- 2026-11-01: add by m2/v0.6.13
Zorn's lemma MH1CJ42TP4
| URI | m2://inv/MH1CJ42TP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BBWJ, Zorn's lemma (statement)
History
- 2026-11-02: add by m2/dev
MH1D1WJY78 MH1D1WJY78
| URI | m2://inv/MH1D1WJY78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#HDVC (statement). In QHFP0837Q8/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Theorem 4.1 in and Theorem 4.8 MH1THDPR5B
| URI | m2://inv/MH1THDPR5B |
|---|---|
| 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 2405.05684#2JVR, Theorem 4.1 in and Theorem 4.8 (statement). In 1PR73ECTZB/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Formulation MH1XFHM12A
| URI | m2://inv/MH1XFHM12A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farrell–Jones conjecture#K7K1, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Heavy--light structure of a flip MH258GF5V3
| URI | m2://inv/MH258GF5V3 |
|---|---|
| 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.10002#EMTQ, Heavy--light structure of a flip (statement). In 5ZYWF6HAXJ/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.10
Wold's theorem MH25Q5ENKH
| URI | m2://inv/MH25Q5ENKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2588432, Wold's theorem (statement). Also Wikidata Q2588432
- thousand_plus: thousand_plus Q2588432, Wold's theorem (statement). Also Wikidata Q2588432, Wikipedia Wold's theorem
- wikipedia: Wikipedia Wold's theorem, Wold's theorem (statement). Also Wikidata Q2588432
History
- 2026-10-26: add by m2/dev
MH2E7HAKJ9 MH2E7HAKJ9
| URI | m2://inv/MH2E7HAKJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2302.06336#XCCE (statement). In CCRSWBXWXW/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
his set theoretic paradox MH2FRQNP42
| URI | m2://inv/MH2FRQNP42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#T68N, his set theoretic paradox (statement)
History
- 2026-11-02: add by m2/dev
Connelly MH2QFHE2Y1
| URI | m2://inv/MH2QFHE2Y1 |
|---|---|
| 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 0909.2893#CEFF, Connelly (statement). In JQ4JYAXCMK/e1, theorem 22
History
- 2026-10-27: add by m2/v0.3.5
Erdős sumset conjecture MH32K07S9Y
| URI | m2://inv/MH32K07S9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#QAHK, Erdős sumset conjecture (statement)
History
- 2026-11-02: add by m2/dev
MH35W82H21 MH35W82H21
| URI | m2://inv/MH35W82H21 |
|---|---|
| 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 math/0003117#QT9S (statement). In WD2NCBV9F0/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
MH3N507182 MH3N507182
| URI | m2://inv/MH3N507182 |
|---|---|
| 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.15217#9TO9 (statement). In G70Q2FB591/e1, theorem 2.27
History
- 2026-10-28: add by m2/v0.4.2
Circular embedding conjecture MH3TFY5CN9
| URI | m2://inv/MH3TFY5CN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle double cover#V7RP, Circular embedding conjecture (statement)
History
- 2026-11-02: add by m2/dev
Symmetry MH3VQ4DEAP
| URI | m2://inv/MH3VQ4DEAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated trihexagonal tiling#OVED, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
MH40JAYVZR MH40JAYVZR
| URI | m2://inv/MH40JAYVZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.08976#S11Y (statement). In ZVNM9X4NNG/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.5
Judith O'Fallon MH4AMTYBFB
| URI | m2://inv/MH4AMTYBFB |
|---|---|
| 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#ZVIY, Judith O'Fallon (topic)
History
- 2026-11-02: add by m2/dev
successor, isomorphism on $\Z$ MH4H05HCZT
| URI | m2://inv/MH4H05HCZT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.3/successor-isomorphism-on-z, successor, isomorphism on $\Z$ (concept). In N54F33XE07, index, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
Cheon Jung-hee MH4KNCCW5P
| URI | m2://inv/MH4KNCCW5P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HW9C, Cheon Jung-hee (unknown)
History
- 2026-11-02: add by m2/dev
Strong seeded extractor MH4ZRXBC2B
| URI | m2://inv/MH4ZRXBC2B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#W63G, Strong seeded extractor (definition). In ZZER8ZBSCR/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Examples MH51MBHPM5
| URI | m2://inv/MH51MBHPM5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational principle#HQ2L, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties MH577J6R2D
| URI | m2://inv/MH577J6R2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense submodule#PWFB, Properties (statement)
History
- 2026-11-02: add by m2/dev
MH5CVA55KS MH5CVA55KS
| URI | m2://inv/MH5CVA55KS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10511#E0Z2 (statement). In BTX64QG716/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Large-job contribution MH5D852H7Q
| URI | m2://inv/MH5D852H7Q |
|---|---|
| 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.17329#NCXG, Large-job contribution (statement). In F6GD5JWK9M/e1, proposition 4.19
History
- 2026-10-28: add by m2/v0.4.2
MH5DX1GKNM MH5DX1GKNM
| URI | m2://inv/MH5DX1GKNM |
|---|---|
| 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.02489#FTPX (statement). In ZCJDWDR16Z/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Annie MacKinnon MH5EG4FN6A
| URI | m2://inv/MH5EG4FN6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annie MacKinnon, Annie MacKinnon (topic). Also Wikidata Q95663131
History
- 2026-11-02: add by m2/dev
Posterior rigidity at the entropy frontier MH5H4RNAHK
| URI | m2://inv/MH5H4RNAHK |
|---|---|
| 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#BYXL, Posterior rigidity at the entropy frontier (statement). In 9YAE8FNQST/e1, corollary 23.10
History
- 2026-10-30: add by m2/v0.4.12
One pendant leaf MH5N4Y25FT
| URI | m2://inv/MH5N4Y25FT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02276#J6ZF, One pendant leaf (statement). In 3X0RCNDNZA/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Voyager 1 MH5PJD7QVR
| URI | m2://inv/MH5PJD7QVR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#XJUP, Voyager 1 (unknown)
History
- 2026-11-02: add by m2/dev
Stanley's reciprocity theorem MH5VHFCD0A
| URI | m2://inv/MH5VHFCD0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7599389, Stanley's reciprocity theorem (statement). Also Wikidata Q7599389
- thousand_plus: thousand_plus Q7599389, Stanley's reciprocity theorem (statement). Also Wikidata Q7599389, Wikipedia Stanley's reciprocity theorem
- wikipedia: Wikipedia Stanley's reciprocity theorem, Stanley's reciprocity theorem (statement). Also Wikidata Q7599389
History
- 2026-10-26: add by m2/dev
Profiles in an intermediate quotient MH5WSPGZXW
| URI | m2://inv/MH5WSPGZXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#BF17, Profiles in an intermediate quotient (statement)
History
- 2026-11-02: add by m2/v0.6.18
configuration space MH5ZKS0W4S
| URI | m2://inv/MH5ZKS0W4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#4WHB, configuration space (definition)
History
- 2026-11-02: add by m2/dev
Second moment MH66FWGQZ3
| URI | m2://inv/MH66FWGQZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#HVRP, Second moment (definition)
History
- 2026-11-02: add by m2/dev
MH69856YWS MH69856YWS
| URI | m2://inv/MH69856YWS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
Brownian motion MH6R10GT3Z
| URI | m2://inv/MH6R10GT3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q178036, Brownian motion (definition). Also EoM Brownian_motion, MathWorld BrownianMotion, nLab Brownian motion, ProofWiki Definition:Brownian_Motion
- wikipedia: Wikipedia Brownian motion, Brownian motion (definition). Also Wikidata Q178036
History
- 2026-10-26: add by m2/dev
Kakutani - von Neumann dichotomy MH6RRZRX7P
| URI | m2://inv/MH6RRZRX7P |
|---|---|
| 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.37375#LSXT, Kakutani - von Neumann dichotomy (statement). In PV4Z2FRXRZ/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
Sutherland's formula MH6TNAMDES
| URI | m2://inv/MH6TNAMDES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viscosity#608O, Sutherland's formula (unknown)
History
- 2026-11-02: add by m2/dev
Constructions MH6Z59E705
| URI | m2://inv/MH6Z59E705 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diameter#U5RI, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Partial BVC-LICQ with $\BetaIndices$ MH710X9V1B
| URI | m2://inv/MH710X9V1B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20368#XOHV, Partial BVC-LICQ with $\BetaIndices$ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Möbius plane MH724XTRH1
| URI | m2://inv/MH724XTRH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius plane, Möbius plane (definition). Also Wikidata Q1392693
History
- 2026-11-02: add by m2/dev
MH7ADZW54F MH7ADZW54F
| URI | m2://inv/MH7ADZW54F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/simp.tex#alphatimesalpha (statement). In PKGMM3P5QY, lem, section 69.5
History
- 2026-11-01: add by m2/v0.6.13
Canadian Open Mathematics Challenge MH7CRPGQEH
| URI | m2://inv/MH7CRPGQEH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#Y5TT, Canadian Open Mathematics Challenge (unknown)
History
- 2026-11-02: add by m2/dev
Definition MH7GN70T6G
| URI | m2://inv/MH7GN70T6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex cone#WCBV, Definition (definition)
History
- 2026-11-02: add by m2/dev
MH7NDQ3D4Q MH7NDQ3D4Q
| URI | m2://inv/MH7NDQ3D4Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-10 (proof). In N54F33XE07, proof, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
MH7NF26FXD MH7NF26FXD
| URI | m2://inv/MH7NF26FXD |
|---|---|
| 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.05784#4XRU (statement). In 6NVP3YRWVA/e1, corollary 2.32
History
- 2026-10-29: add by m2/v0.4.10
M-CARD MH7PT5R1CY
| URI | m2://inv/MH7PT5R1CY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CableCARD#4UC9, M-CARD (unknown)
History
- 2026-11-02: add by m2/dev
MH7Q6NE7B7 MH7Q6NE7B7
| URI | m2://inv/MH7Q6NE7B7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:prop:upperlowerepsilon (statement). In E59CDZA4DP, prop, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
MH7QZYEXYE MH7QZYEXYE
| URI | m2://inv/MH7QZYEXYE |
|---|---|
| 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.08935#I0FQ (definition). In G02N9D40B9/e1, definition 6.2.4
History
- 2026-10-29: add by m2/v0.4.10
MH7XFKN1Y1 MH7XFKN1Y1
| URI | m2://inv/MH7XFKN1Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#6B25 (statement). In TQ9CKHBTWN/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Example MH889ST7VG
| URI | m2://inv/MH889ST7VG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius formula#HK9E, Example (example)
History
- 2026-11-02: add by m2/dev
MH8BZ327ZZ MH8BZ327ZZ
| URI | m2://inv/MH8BZ327ZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#29YE (statement). In TNC658NVMQ/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
MH8DVHMZ4H MH8DVHMZ4H
| URI | m2://inv/MH8DVHMZ4H |
|---|---|
| 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.15094#5K1N (statement). In 5AA8PPK2CC/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
HC MH8DX99N2T
| URI | m2://inv/MH8DX99N2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#I3KZ, HC (definition)
History
- 2026-11-02: add by m2/dev
infraparticle MH8G1184WP
| URI | m2://inv/MH8G1184WP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6031458, infraparticle (unknown). Also nLab infraparticle
History
- 2026-10-26: add by m2/dev
Josephine Chanler MH8JZGM98K
| URI | m2://inv/MH8JZGM98K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josephine Chanler, Josephine Chanler (topic). Also Wikidata Q28600206
History
- 2026-11-02: add by m2/dev
MH8M89S3FN MH8M89S3FN
| URI | m2://inv/MH8M89S3FN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-16 (example). In E59CDZA4DP, example, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
MH8Q310T9C MH8Q310T9C
| URI | m2://inv/MH8Q310T9C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#NNY3 (definition). In ZJ6VQCRDVR/e1, definition 7
History
- 2026-10-29: add by m2/v0.4.12
Kosters--Zhu Hodge and contact bounds MH8QYY7Z4F
| URI | m2://inv/MH8QYY7Z4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#SICG, Kosters--Zhu Hodge and contact bounds (statement). In 8BNPFYQDQX/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
Turing machine MH8SPTJA5X
| URI | m2://inv/MH8SPTJA5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/turing-machines.tex#defn-1, Turing machine (definition). In PKGMM3P5QY, defn, section 86.2
History
- 2026-11-01: add by m2/v0.6.13
Hausdorff metric MH8VQD5ZVZ
| URI | m2://inv/MH8VQD5ZVZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19416#JOJU, Hausdorff metric (definition). In TJVWQ0ZSGY/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
MH8YTNR4JM MH8YTNR4JM
| URI | m2://inv/MH8YTNR4JM |
|---|---|
| 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 2601.01000#DOCD (definition). In RYFV9HGWWZ/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
coherence MH9MJRBM2N
| URI | m2://inv/MH9MJRBM2N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.5/coherence, coherence (concept). In N54F33XE07, index, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
pairing function MH9MV43A77
| URI | m2://inv/MH9MV43A77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2S6U, pairing function (definition)
History
- 2026-11-02: add by m2/dev
The algorithm MH9N88TAZ9
| URI | m2://inv/MH9N88TAZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosaraju's algorithm#T5A0, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
MH9SNJES09 MH9SNJES09
| URI | m2://inv/MH9SNJES09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15736#5K98 (statement). In 17WP1JCDAV/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Inconsistent triad MH9THFRNAE
| URI | m2://inv/MH9THFRNAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inconsistent triad, Inconsistent triad (definition). Also Wikidata Q17056010
History
- 2026-11-02: add by m2/dev
MH9V35WNJV MH9V35WNJV
| URI | m2://inv/MH9V35WNJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01561#CLXT (statement). In W4G7BCHYEW/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
MH9VY7K1FF MH9VY7K1FF
| URI | m2://inv/MH9VY7K1FF |
|---|---|
| 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.01599#D0QT (statement). In K2KYNCWER3/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Axiom of determinacy MH9Y4AVJT6
| URI | m2://inv/MH9Y4AVJT6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#QGBH, Axiom of determinacy (statement)
History
- 2026-11-02: add by m2/dev
A Fourier criterion for zero-budget utility MHA23JGCVM
| URI | m2://inv/MHA23JGCVM |
|---|---|
| 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#0CIA, A Fourier criterion for zero-budget utility (statement). In 9YAE8FNQST/e1, theorem 28.20
History
- 2026-10-30: add by m2/v0.4.12
MHA3M1D0CK MHA3M1D0CK
| URI | m2://inv/MHA3M1D0CK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:contr-unit (statement). In N54F33XE07, lem, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
MHA5E3VE33 MHA5E3VE33
| URI | m2://inv/MHA5E3VE33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#GNFJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Corollary MHA74FRBXX
| URI | m2://inv/MHA74FRBXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fejér's theorem#NZ0V, Corollary (statement)
History
- 2026-11-02: add by m2/dev
MHA7WVZHYA MHA7WVZHYA
| URI | m2://inv/MHA7WVZHYA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#1EQX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Complex logarithm MHAEAFQX5B
| URI | m2://inv/MHAEAFQX5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex logarithm, Complex logarithm (definition). Also Wikidata Q2520206
History
- 2026-11-02: add by m2/dev
Block sampling distribution consistency MHAFV6PRSE
| URI | m2://inv/MHAFV6PRSE |
|---|---|
| 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.33868#UVV9, Block sampling distribution consistency (statement). In 7TQ3XH3X79/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Integer partitions MHB8KA8TN2
| URI | m2://inv/MHB8KA8TN2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#Z3Q0, Integer partitions (definition). In 5MJ4NJ5ZCV/e1, definition 2.12
History
- 2026-10-28: add by m2/v0.4.3
MHBA5384F7 MHBA5384F7
| URI | m2://inv/MHBA5384F7 |
|---|---|
| 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 2309.15424#0NP6 (statement). In NXYZ1EAWKN/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Relative standard error MHBC11GFEN
| URI | m2://inv/MHBC11GFEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YLYH, Relative standard error (definition)
History
- 2026-11-02: add by m2/dev
MHBCFTV1CW MHBCFTV1CW
| URI | m2://inv/MHBCFTV1CW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#ZYW9 (definition). In 3A4K47Y9F2/e1, definition 6.9
History
- 2026-10-27: add by m2/v0.4.0
Spain MHBMW8PT1J
| URI | m2://inv/MHBMW8PT1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29, Spain (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Spain
History
- 2026-10-26: add by m2/dev
MHBPN98EPV MHBPN98EPV
| URI | m2://inv/MHBPN98EPV |
|---|---|
| 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.36509#6YGS (statement). In DPJ15KW23C/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
MHBPV19WMB MHBPV19WMB
| URI | m2://inv/MHBPV19WMB |
|---|---|
| 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 2610.21675#AQHH (statement). In TB1294GY5X/e1, theorem B.6
History
- 2026-10-27: add by m2/v0.4.2
Weisner coefficients MHBZH66SD9
| URI | m2://inv/MHBZH66SD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#IHIA, Weisner coefficients (statement). In 7V3HG30ZGW/e1, proposition 5.19
History
- 2026-10-27: add by m2/v0.4.0
Richard Leibler MHC1MHD790
| URI | m2://inv/MHC1MHD790 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MZ2N, Richard Leibler (topic)
History
- 2026-11-02: add by m2/dev
MHC35DBCCT MHC35DBCCT
| URI | m2://inv/MHC35DBCCT |
|---|---|
| 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.20170#BZUG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Matti Jutila MHCE6G7PC8
| URI | m2://inv/MHCE6G7PC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matti Jutila, Matti Jutila (topic). Also Wikidata Q2743300
History
- 2026-11-02: add by m2/dev
Semantic --- \textsc{Ctx-Emp MHCH3J2FYN
| URI | m2://inv/MHCH3J2FYN |
|---|---|
| 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.21131#24RG, Semantic --- \textsc{Ctx-Emp (statement). In CPYWHRTPKC/e1, lemma 7.34
History
- 2026-10-27: add by m2/v0.4.2
Demetrios Christodoulou MHCM9GBXNT
| URI | m2://inv/MHCM9GBXNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#9AVX, Demetrios Christodoulou (topic)
History
- 2026-11-02: add by m2/dev
MHCMRQXKBE MHCMRQXKBE
| URI | m2://inv/MHCMRQXKBE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-65 (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
MHCXV51J5Q MHCXV51J5Q
| URI | m2://inv/MHCXV51J5Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23518#PMZL (definition)
History
- 2026-11-02: add by m2/v0.6.17
nil MHD53K1GKN
| URI | m2://inv/MHD53K1GKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#ITFF, nil (definition)
History
- 2026-11-02: add by m2/dev
MHD6F2D151 MHD6F2D151
| URI | m2://inv/MHD6F2D151 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#9EB9 (definition). In H21X3FHNYJ/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.2
MHD6YYG34Z MHD6YYG34Z
| URI | m2://inv/MHD6YYG34Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#NQS0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Krull–Schmidt category MHDFQYQPBN
| URI | m2://inv/MHDFQYQPBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull–Schmidt category, Krull–Schmidt category (definition). Also Wikidata Q6439290
History
- 2026-11-02: add by m2/dev
MHDGSGH0P9 MHDGSGH0P9
| URI | m2://inv/MHDGSGH0P9 |
|---|---|
| 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#LAEM (statement). In 61ZHQ7BTKP/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
MHDTMFCQK4 MHDTMFCQK4
| URI | m2://inv/MHDTMFCQK4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-11 (exercise). In E9HS8K3A52, exercise, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
Definition MHDTW4G60E
| URI | m2://inv/MHDTW4G60E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logit#SIIU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Brune cycle MHE0JW35NK
| URI | m2://inv/MHE0JW35NK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network synthesis#9OCE, Brune cycle (unknown)
History
- 2026-11-02: add by m2/dev
MHE1ZGAFT2 MHE1ZGAFT2
| URI | m2://inv/MHE1ZGAFT2 |
|---|---|
| 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.27049#GPPV (statement)
History
- 2026-11-01: add by m2/v0.6.15
MHE310ZR38 MHE310ZR38
| URI | m2://inv/MHE310ZR38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#J6GE (statement). In ATSYBWEMMP/e1, corollary 3.13
History
- 2026-10-29: add by m2/v0.4.10
MHEAS76THX MHEAS76THX
| URI | m2://inv/MHEAS76THX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#W929 (definition). In F6C80AEXC1/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
HP-65 MHEB9ZA3JJ
| URI | m2://inv/MHEB9ZA3JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-65, HP-65 (definition). Also Wikidata Q220638
History
- 2026-11-02: add by m2/dev
Eleny Ionel MHEEEZZ5V6
| URI | m2://inv/MHEEEZZ5V6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleny Ionel, Eleny Ionel (topic). Also Wikidata Q50105556
History
- 2026-11-02: add by m2/dev
Construction MHEG505A6G
| URI | m2://inv/MHEG505A6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 6-cubes#5Z1O, Construction (definition)
History
- 2026-11-02: add by m2/dev
Type-class limits MHEG53NZWA
| URI | m2://inv/MHEG53NZWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19982#CSDE, Type-class limits (statement)
History
- 2026-11-02: add by m2/v0.6.18
MHEPKBKFDJ MHEPKBKFDJ
| URI | m2://inv/MHEPKBKFDJ |
|---|---|
| Kind | problem |
| 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.25291#AQ0K (problem)
History
- 2026-11-01: add by m2/v0.6.15
Rudolf E. Kálmán MHETXR2SY3
| URI | m2://inv/MHETXR2SY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#3NWZ, Rudolf E. Kálmán (unknown)
History
- 2026-11-02: add by m2/dev
Journal of Experimental and Theoretical Physics MHEWYBF24Y
| URI | m2://inv/MHEWYBF24Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Nikolay Bogolyubov#I0M7, Journal of Experimental and Theoretical Physics (unknown)
History
- 2026-11-02: add by m2/dev
S-procedure MHF2912MHR
| URI | m2://inv/MHF2912MHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-procedure, S-procedure (definition). Also Wikidata Q25111847
History
- 2026-11-02: add by m2/dev
càdlàg function MHF2VDRQKK
| URI | m2://inv/MHF2VDRQKK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q900194, càdlàg function (concept). Also MathWorld CadlagFunction
- wikipedia: Wikipedia Càdlàg, Càdlàg (definition). Also Wikidata Q900194
History
- 2026-10-26: add by m2/dev
MHF8PBCME0 MHF8PBCME0
| URI | m2://inv/MHF8PBCME0 |
|---|---|
| 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.22272#O8XZ (statement). In 4VZV5V0YD6/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.0
Kotzig's conjecture MHFDYGVG6V
| URI | m2://inv/MHFDYGVG6V |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kotzig's conjecture, Kotzig's conjecture (conjecture). Also Wikidata Q128395030
History
- 2026-11-02: add by m2/dev
Principles of mental models MHG1S1QT5X
| URI | m2://inv/MHG1S1QT5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mental model#798B, Principles of mental models (statement)
History
- 2026-11-02: add by m2/dev
MHG61B6SK6 MHG61B6SK6
| URI | m2://inv/MHG61B6SK6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#GO6G (definition). In KBH265QSBT/e1, definition 8.1
History
- 2026-10-29: add by m2/v0.4.10
Wang's \(FT_2\) condition MHG77CEDB5
| URI | m2://inv/MHG77CEDB5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23281#VPJM, Wang's \(FT_2\) condition (definition)
History
- 2026-11-02: add by m2/v0.6.17
Type-1 Gumbel distribution MHGCR4MEM4
| URI | m2://inv/MHGCR4MEM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P60N, Type-1 Gumbel distribution (definition)
History
- 2026-11-02: add by m2/dev
Consistent estimator MHGGNNAFXQ
| URI | m2://inv/MHGGNNAFXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F358, Consistent estimator (definition)
History
- 2026-11-02: add by m2/dev
The two polynomial alternatives MHGHK0BJMW
| URI | m2://inv/MHGHK0BJMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#5YB1, The two polynomial alternatives (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formalism MHGQMK53G4
| URI | m2://inv/MHGQMK53G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formalism (philosophy of mathematics), Formalism (definition). Also Wikidata Q1433067
History
- 2026-11-02: add by m2/dev
Mixture distribution MHGR3ZFR90
| URI | m2://inv/MHGR3ZFR90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture distribution, Mixture distribution (definition). Also Wikidata Q17157111
History
- 2026-11-02: add by m2/dev
A general form of Azuma's inequality MHGR6ZNMZ4
| URI | m2://inv/MHGR6ZNMZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Azuma's inequality#I3CC, A general form of Azuma's inequality (statement)
History
- 2026-11-02: add by m2/dev
First-return code MHH1EJTM43
| URI | m2://inv/MHH1EJTM43 |
|---|---|
| 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.30817#W0TQ, First-return code (statement). In DP5KJ7AATM/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
MHH1YK44G5 MHH1YK44G5
| URI | m2://inv/MHH1YK44G5 |
|---|---|
| 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 2006.05158#AVSH (statement). In 4VCW6SZQXK/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Theorem MHH2GXC019
| URI | m2://inv/MHH2GXC019 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct integral#1UIQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
MHH2H4F587 MHH2H4F587
| URI | m2://inv/MHH2H4F587 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36300#UL6A (statement). In MNWD3Y6W56/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Gauss's inequality MHH511KP0Y
| URI | m2://inv/MHH511KP0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality#XZ4U, Gauss's inequality (statement)
History
- 2026-11-02: add by m2/dev
Triple-alignment extinction MHH8JPRMJP
| URI | m2://inv/MHH8JPRMJP |
|---|---|
| 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 2610.10557#JVE5, Triple-alignment extinction (statement). In D2MXWDTHWS/e1, proposition 19
History
- 2026-10-29: add by m2/v0.4.10
meromorphic function MHHPVR488Y
| URI | m2://inv/MHHPVR488Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Meromorphic function 0NSD1TPHR0 |
Mentions
- wikidata: Wikidata Q217616, meromorphic function (unknown). Also MathWorld MeromorphicFunction, nLab meromorphic function
- wikipedia: Wikipedia Meromorphic function, Meromorphic function (definition). Also Wikidata Q217616
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
MHHTM5KX1N MHHTM5KX1N
| URI | m2://inv/MHHTM5KX1N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#HWTG (definition). In T3BY4TXYT4/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
An alternative definition MHHW8E7FXH
| URI | m2://inv/MHHW8E7FXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally integrable function#QSS1, An alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Short transition MHJ44K2ZHW
| URI | m2://inv/MHJ44K2ZHW |
|---|---|
| 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.11330#TUZ7, Short transition (statement). In Z73GKA9WDB/e1, lemma B.6
History
- 2026-10-28: add by m2/v0.4.3
Truncated trihexagonal tiling MHJ5CRENW2
| URI | m2://inv/MHJ5CRENW2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#LIEM, Truncated trihexagonal tiling (object)
History
- 2026-11-02: add by m2/dev
MHJDQSN0NP MHJDQSN0NP
| URI | m2://inv/MHJDQSN0NP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#KSAN (statement). In PEXJPV3NP8/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.5
MHJJ0BCXSW MHJJ0BCXSW
| URI | m2://inv/MHJJ0BCXSW |
|---|---|
| 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 2312.14319#FVFU (statement). In V0S2EZ53GB/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
quadro-cubic, quadro-quartic MHJQZGSYG9
| URI | m2://inv/MHJQZGSYG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#7M2Y, quadro-cubic, quadro-quartic (definition)
History
- 2026-11-02: add by m2/dev
MHJTB5QXC8 MHJTB5QXC8
| URI | m2://inv/MHJTB5QXC8 |
|---|---|
| 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.32374#H7CK (statement). In 96D6N9AXQM/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
MHJV1W3N8X MHJV1W3N8X
| URI | m2://inv/MHJV1W3N8X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 80.6
History
- 2026-11-01: add by m2/v0.6.13
MHJW8HSXYQ MHJW8HSXYQ
| URI | m2://inv/MHJW8HSXYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18152#JB46 (statement). In AAVGAGCWTE/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Debra A. Murphy MHJW8MA821
| URI | m2://inv/MHJW8MA821 |
|---|---|
| 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#IVUW, Debra A. Murphy (unknown)
History
- 2026-11-02: add by m2/dev
Five-number summary MHJWABRWC1
| URI | m2://inv/MHJWABRWC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five-number summary, Five-number summary (definition). Also Wikidata Q1228792
History
- 2026-11-02: add by m2/dev
MHJZJ0KYT3 MHJZJ0KYT3
| URI | m2://inv/MHJZJ0KYT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#BAKS (statement)
History
- 2026-11-02: add by m2/v0.6.17
indefinite integral MHK0G1ZGGD
| URI | m2://inv/MHK0G1ZGGD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.3.2/indefinite-integral, indefinite integral (concept). In 907G4C4EJ1, index, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
MHK447RNH3 MHK447RNH3
| URI | m2://inv/MHK447RNH3 |
|---|---|
| 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.20119#WC9I (statement)
History
- 2026-11-02: add by m2/v0.6.18
Luigi Cremona MHKHQWMHTM
| URI | m2://inv/MHKHQWMHTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4M2H, Luigi Cremona (topic)
History
- 2026-11-02: add by m2/dev
MHKJ2SWKJZ MHKJ2SWKJZ
| URI | m2://inv/MHKJ2SWKJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21717#J9FB (statement). In CE603VK92S/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
MHKT817E6C MHKT817E6C
| URI | m2://inv/MHKT817E6C |
|---|---|
| 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.03520#YER2 (statement). In CSRZ9CWK69/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Amalgamation lemma MHKWEMXEDG
| URI | m2://inv/MHKWEMXEDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.08027#78WJ, Amalgamation lemma (statement). In YF3CEQDXGQ/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
Product maps MHKWRNTHT2
| URI | m2://inv/MHKWRNTHT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#UZZG, Product maps (statement). In 29X0B511NF/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
MHM08JSKES MHM08JSKES
| URI | m2://inv/MHM08JSKES |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RC-extend-Q-Lipschitz (statement). In N54F33XE07, lem, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Definition MHM84285KF
| URI | m2://inv/MHM84285KF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soddy's hexlet#G5GD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Product of group subsets MHM9T5HSD4
| URI | m2://inv/MHM9T5HSD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#IM47, Product of group subsets (definition)
History
- 2026-11-02: add by m2/dev
wedge formula MHMEC2P4SH
| URI | m2://inv/MHMEC2P4SH |
|---|---|
| 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#ISOB, wedge formula (statement). In XX1J2REXY2/e1, theorem 2.12
History
- 2026-10-28: add by m2/v0.4.2
Examples MHMHTZ376Z
| URI | m2://inv/MHMHTZ376Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latin square#TVG8, Examples (example)
History
- 2026-11-02: add by m2/dev
List of global sustainability statistics MHMKGSPG0K
| URI | m2://inv/MHMKGSPG0K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of global sustainability statistics, List of global sustainability statistics (topic). Also Wikidata Q6621725
History
- 2026-11-02: add by m2/dev
Schwartz's theorem MHMS8VQ034
| URI | m2://inv/MHMS8VQ034 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley–Wiener theorem#ZFQ6, Schwartz's theorem (statement)
History
- 2026-11-02: add by m2/dev
MHN4YJK6S8 MHN4YJK6S8
| URI | m2://inv/MHN4YJK6S8 |
|---|---|
| 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.24043#3M6L (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition MHN6HHH6PB
| URI | m2://inv/MHN6HHH6PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable function#77QL, Definition (definition)
History
- 2026-11-02: add by m2/dev
MHN989ZGEE MHN989ZGEE
| URI | m2://inv/MHN989ZGEE |
|---|---|
| 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.35360#6NJA (statement). In 770AQ8T366/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Applications MHNE68ZAXN
| URI | m2://inv/MHNE68ZAXN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E (mathematical constant)#9TWB, Applications (example)
History
- 2026-11-02: add by m2/dev
MHNNAXQNP4 MHNNAXQNP4
| URI | m2://inv/MHNNAXQNP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:encode-total-equiv (statement). In N54F33XE07, cor, section 7.1.5
History
- 2026-11-01: add by m2/v0.6.13
Milnor-Schwarz MHNQ11XPEM
| URI | m2://inv/MHNQ11XPEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.09162#PJ0E, Milnor-Schwarz (statement). In TAPS8P2VYS/e1, lemma 1.1
History
- 2026-10-29: add by m2/v0.4.10
Definition MHNQMK1TAR
| URI | m2://inv/MHNQMK1TAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive state representation#TFDK, Definition (definition)
History
- 2026-11-02: add by m2/dev
MHNSZWR5XP MHNSZWR5XP
| URI | m2://inv/MHNSZWR5XP |
|---|---|
| Kind | example |
| 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.03688#SB2U (example). In HMWJQY9NAP/e1, example 1
History
- 2026-10-29: add by m2/v0.4.12
Chemometrics MHP0VQM86E
| URI | m2://inv/MHP0VQM86E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemometrics, Chemometrics (definition). Also Wikidata Q910067
History
- 2026-11-02: add by m2/dev
MHPEHN5JCZ MHPEHN5JCZ
| URI | m2://inv/MHPEHN5JCZ |
|---|---|
| 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 2305.10202#GF82 (statement). In ER06JKXR8B/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.0
Strict P\'olya for periodic tilings MHPN1YVRWW
| URI | m2://inv/MHPN1YVRWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#WLTU, Strict P\'olya for periodic tilings (statement). In CBF6TQS4DW/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Moore–Aronszajn theorem MHPNMGVQZY
| URI | m2://inv/MHPNMGVQZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LX0Y, Moore–Aronszajn theorem (definition)
History
- 2026-11-02: add by m2/dev
MHPS6GTAH2 MHPS6GTAH2
| URI | m2://inv/MHPS6GTAH2 |
|---|---|
| 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.14374#VW53 (statement). In YPTC532FEG/e1, lemma 24
History
- 2026-10-28: add by m2/v0.4.2
Profile entropy of matrix product states MHPWEKPPQW
| URI | m2://inv/MHPWEKPPQW |
|---|---|
| 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#1CA7, Profile entropy of matrix product states (statement). In R6RF3P6D5A/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.12
Jackknife variance estimates for random forest MHQ2648JQM
| URI | m2://inv/MHQ2648JQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jackknife variance estimates for random forest, Jackknife variance estimates for random forest (definition). Also Wikidata Q25052538
History
- 2026-11-02: add by m2/dev
William Kantor MHQ326CFMT
| URI | m2://inv/MHQ326CFMT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Kantor, William Kantor (topic). Also Wikidata Q15446993
History
- 2026-11-02: add by m2/dev
Definition MHQ3HWSGP5
| URI | m2://inv/MHQ3HWSGP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta function of a lattice#H342, Definition (definition)
History
- 2026-11-02: add by m2/dev
MHQ4V1MRFW MHQ4V1MRFW
| URI | m2://inv/MHQ4V1MRFW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-28 (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
Generalizations MHQ94G9TAP
| URI | m2://inv/MHQ94G9TAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash equilibrium#JT2S, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
MHQHZYAWEX MHQHZYAWEX
| URI | m2://inv/MHQHZYAWEX |
|---|---|
| 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 2411.17412#QE4Y (statement). In DPBHYJBGKD/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.6
positional numeral system MHQKFRGNND
| URI | m2://inv/MHQKFRGNND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25457532, positional numeral system (definition). Also ProofWiki Definition:Positional_Numeral_System
History
- 2026-10-26: add by m2/dev
MHQM469CGP MHQM469CGP
| URI | m2://inv/MHQM469CGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.16099#55YB (statement). In 91RRFW0K5D/e1, proposition 39
History
- 2026-10-27: add by m2/v0.3.5
Wasserstein approximation MHR43QT0X4
| URI | m2://inv/MHR43QT0X4 |
|---|---|
| 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.08821#20O1, Wasserstein approximation (statement). In KP1THB2C09/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
class number problem MHR6F4T52F
| URI | m2://inv/MHR6F4T52F |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2403973, class number problem (problem). Also MathWorld GausssClassNumberProblem
- wikipedia: Wikipedia Class number problem, Class number problem (conjecture). Also Wikidata Q2403973
History
- 2026-10-26: add by m2/dev
MHR8HGM4YG MHR8HGM4YG
| URI | m2://inv/MHR8HGM4YG |
|---|---|
| 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.15744#6PFY (statement). In NV3PBZGBB7/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
MHR8MN8HZF MHR8MN8HZF
| URI | m2://inv/MHR8MN8HZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04135#PT5D (statement). In 587PWJ6W5D/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
MHRADZC4JH MHRADZC4JH
| URI | m2://inv/MHRADZC4JH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#K2Q9 (statement). In CGA36VE1C5/e1, fact 3.3.4
History
- 2026-10-27: add by m2/v0.3.6
MHRBVC6BBT MHRBVC6BBT
| URI | m2://inv/MHRBVC6BBT |
|---|---|
| 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.04935#CIOP (statement). In 7WVPJVPQH2/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
MHRC4DSJ1D MHRC4DSJ1D
| URI | m2://inv/MHRC4DSJ1D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-77 (exercise). In E9HS8K3A52, exercise, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
MHRDWB1XXA MHRDWB1XXA
| URI | m2://inv/MHRDWB1XXA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
MHREDZ06EC MHREDZ06EC
| URI | m2://inv/MHREDZ06EC |
|---|---|
| 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 2609.21052#32M3 (definition)
History
- 2026-11-02: add by m2/v0.6.18
sulfur-36 MHRFA5S6YQ
| URI | m2://inv/MHRFA5S6YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2881932, sulfur-36 (definition). Also ProofWiki Definition:Sulphur/36
History
- 2026-10-26: add by m2/dev
MHRMN3Q3MR MHRMN3Q3MR
| URI | m2://inv/MHRMN3Q3MR |
|---|---|
| Kind | statement |
| 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#WTWN (statement). In 9ZSNSJRJ5N/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
Definition MHRPD4ZJ3A
| URI | m2://inv/MHRPD4ZJ3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random cluster model#H8RD, Definition (definition)
History
- 2026-11-02: add by m2/dev
MHRSV0SRYX MHRSV0SRYX
| URI | m2://inv/MHRSV0SRYX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 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.21960#5CXA (example). In QX77AN49J0/e1, example 6.4
History
- 2026-10-27: add by m2/v0.4.2
MHRW2C7FAR MHRW2C7FAR
| URI | m2://inv/MHRW2C7FAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04214#R42A (statement). In HWY7AQ4KT2/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
MHS053AHG0 MHS053AHG0
| URI | m2://inv/MHS053AHG0 |
|---|---|
| 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.10452#34U1 (statement). In 2F4PNP1V3B/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
Infinite monkey theorem MHSC1P23CG
| URI | m2://inv/MHSC1P23CG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BCM8, Infinite monkey theorem (statement)
History
- 2026-11-02: add by m2/dev
Generatrix MHSG1ZVXN3
| URI | m2://inv/MHSG1ZVXN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generatrix, Generatrix (definition). Also Wikidata Q549388
History
- 2026-11-02: add by m2/dev
MHSHENPYSK MHSHENPYSK
| URI | m2://inv/MHSHENPYSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#KQ5Z (statement). In V6EPE8XHAD/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Whole real line MHSZHS0JEA
| URI | m2://inv/MHSZHS0JEA |
|---|---|
| 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.32585#YW1D, Whole real line (statement). In FJFJ3WR1SS/e1, theorem B
History
- 2026-10-31: add by m2/v0.5.6
Arthur Stafford Hathaway MHT2JWWCFB
| URI | m2://inv/MHT2JWWCFB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Stafford Hathaway, Arthur Stafford Hathaway (topic). Also Wikidata Q17626469
History
- 2026-11-02: add by m2/dev
MHT64WP31N MHT64WP31N
| URI | m2://inv/MHT64WP31N |
|---|---|
| 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 2608.23797#R5WB (statement). In PZCA01JXVR/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.3.5
MHTA960GY2 MHTA960GY2
| URI | m2://inv/MHTA960GY2 |
|---|---|
| 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.28669#AHN4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MHTCN9QCT1 MHTCN9QCT1
| URI | m2://inv/MHTCN9QCT1 |
|---|---|
| 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 math/0003117#807I (statement). In WD2NCBV9F0/e1, lemma 6.11
History
- 2026-10-27: add by m2/v0.3.5
Definition MHTHTQ1CY9
| URI | m2://inv/MHTHTQ1CY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient-like vector field#4ALH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Axioms MHTM3ADSYX
| URI | m2://inv/MHTM3ADSYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forking extension#NV2P, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Ana Bela Cruzeiro MHTNCZV8BG
| URI | m2://inv/MHTNCZV8BG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ana Bela Cruzeiro, Ana Bela Cruzeiro (topic). Also Wikidata Q102395402
History
- 2026-11-02: add by m2/dev
probability calculus MHTRFF1SSY
| URI | m2://inv/MHTRFF1SSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3L16, probability calculus (definition)
History
- 2026-11-02: add by m2/dev
MHTSTSZKPB MHTSTSZKPB
| URI | m2://inv/MHTSTSZKPB |
|---|---|
| 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.40156#2UH8 (statement). In PP8BEHWK33/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Theorem C (universal algebra) MHTX5QE0KG
| URI | m2://inv/MHTX5QE0KG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#YJA2, Theorem C (universal algebra) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Michael Hutchings MHTZZ99CYF
| URI | m2://inv/MHTZZ99CYF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#66HW, Michael Hutchings (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AIV4, Michael Hutchings (topic)
History
- 2026-11-02: add by m2/dev
Slyusar, Vadim Ivanovich MHV48DC862
| URI | m2://inv/MHV48DC862 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#QKUJ, Slyusar, Vadim Ivanovich (unknown)
History
- 2026-11-02: add by m2/dev
MHV4QKQPG3 MHV4QKQPG3
| URI | m2://inv/MHV4QKQPG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#def:goedel (definition). In PKGMM3P5QY, defn, section 39.4
History
- 2026-11-01: add by m2/v0.6.13
Fundamental lemma of the Selberg sieve MHVDPFN3YV
| URI | m2://inv/MHVDPFN3YV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental lemma of sieve theory#AG2H, Fundamental lemma of the Selberg sieve (statement)
History
- 2026-11-02: add by m2/dev
MHVQ7HZV8F MHVQ7HZV8F
| URI | m2://inv/MHVQ7HZV8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07114#MOFA (statement). In HP3TM356J6/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.10
Tensor product and hom of cyclic groups MHVWED55GT
| URI | m2://inv/MHVWED55GT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the kind of the item is unknown) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic group#2FFV, Tensor product and hom of cyclic groups (unknown)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Local compactness MHW067E21T
| URI | m2://inv/MHW067E21T |
|---|---|
| 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.09001#I6V3, Local compactness (statement). In HJC1JJZRSH/e1, corollary 4.13
History
- 2026-10-29: add by m2/v0.4.10
MHWCPN5SRB MHWCPN5SRB
| URI | m2://inv/MHWCPN5SRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#YIPT (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
MHWEJ68400 MHWEJ68400
| URI | m2://inv/MHWEJ68400 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#defn-1 (definition). In E59CDZA4DP, defn, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
MHWNCKY7PW MHWNCKY7PW
| URI | m2://inv/MHWNCKY7PW |
|---|---|
| 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.10365#LPYX (statement). In PRVQPSBVHK/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
MHWR1WHVEX MHWR1WHVEX
| URI | m2://inv/MHWR1WHVEX |
|---|---|
| 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.29943#6N36 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MHWV85HGVK MHWV85HGVK
| URI | m2://inv/MHWV85HGVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#IPEM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations MHX5C5WZBV
| URI | m2://inv/MHX5C5WZBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composite field (mathematics)#H7BP, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Rotation operator MHX92AZFQQ
| URI | m2://inv/MHX92AZFQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation operator (quantum mechanics), Rotation operator (definition). Also Wikidata Q7370313
History
- 2026-11-02: add by m2/dev
MHXCT65YJQ MHXCT65YJQ
| URI | m2://inv/MHXCT65YJQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/subsets.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 83.1
History
- 2026-11-01: add by m2/v0.6.13
Properties MHXD55CZEW
| URI | m2://inv/MHXD55CZEW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinantal variety#T7TU, Properties (statement)
History
- 2026-11-02: add by m2/dev
MHXP0GQ9P0 MHXP0GQ9P0
| URI | m2://inv/MHXP0GQ9P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#J341 (statement). In XV70TXYS5A/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
Left divide MHXP3A42EZ
| URI | m2://inv/MHXP3A42EZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division (mathematics)#TPDL, Left divide (unknown)
History
- 2026-11-02: add by m2/dev
Torricelli's law MHXSMR7CEV
| URI | m2://inv/MHXSMR7CEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evangelista Torricelli#RC7R, Torricelli's law (statement)
History
- 2026-11-02: add by m2/dev
I-spline MHXSSH1MWZ
| URI | m2://inv/MHXSSH1MWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#LGDY, I-spline (definition)
History
- 2026-11-02: add by m2/dev
MHXTD87QVK MHXTD87QVK
| URI | m2://inv/MHXTD87QVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#11SX (statement). In Q5Z178SAHP/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
MHY3VJ9D9C MHY3VJ9D9C
| URI | m2://inv/MHY3VJ9D9C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 99.1
History
- 2026-11-01: add by m2/v0.6.13
MHY56ZAZ5W MHY56ZAZ5W
| URI | m2://inv/MHY56ZAZ5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05486#UICF (statement). In 5Z46AK2XTC/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Voigt profile MHYD8090A6
| URI | m2://inv/MHYD8090A6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voigt profile, Voigt profile (definition). Also Wikidata Q1417619
History
- 2026-11-02: add by m2/dev
OpenMath MHYEA99NQ8
| URI | m2://inv/MHYEA99NQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenMath, OpenMath (definition). Also Wikidata Q1465300
History
- 2026-11-02: add by m2/dev
MHYFE33T6F MHYFE33T6F
| URI | m2://inv/MHYFE33T6F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 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.14045#X6RO (definition). In KZ71GXT2B0/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
solid angle MHYM37B7RT
| URI | m2://inv/MHYM37B7RT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208476, solid angle (definition). Also EoM Solid_angle, MathWorld SolidAngle, ProofWiki Definition:Solid_Angle
- wikipedia: Wikipedia Solid angle, Solid angle (definition). Also Wikidata Q208476
History
- 2026-10-26: add by m2/dev
MHYPF9H6SG MHYPF9H6SG
| URI | m2://inv/MHYPF9H6SG |
|---|---|
| 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.05442#AP7B (statement). In WEPE51JCHZ/e1, proposition 9.1
History
- 2026-10-29: add by m2/v0.4.10
MHYVGMB37J MHYVGMB37J
| URI | m2://inv/MHYVGMB37J |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13B10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114715717 (topic)
History
- 2026-10-26: add by m2/dev
MHYWGY5WDE MHYWGY5WDE
| URI | m2://inv/MHYWGY5WDE |
|---|---|
| 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.30410#R33M (statement). In 5HZX3JVJWF/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
MHZ1KFTMZ8 MHZ1KFTMZ8
| URI | m2://inv/MHZ1KFTMZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:switch inequality using negative (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
History of mathematical analysis MHZ9ZPG016
| URI | m2://inv/MHZ9ZPG016 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical analysis#9985, History of mathematical analysis (unknown)
History
- 2026-11-02: add by m2/dev
MHZBNMHD29 MHZBNMHD29
| URI | m2://inv/MHZBNMHD29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#2F77 (statement). In M8TSJ24RC2/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Lower growth from doubling MHZEPWB55B
| URI | m2://inv/MHZEPWB55B |
|---|---|
| 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.20643#Y2IF, Lower growth from doubling (statement)
History
- 2026-11-02: add by m2/v0.6.18
Davies attack MHZJTJRY2V
| URI | m2://inv/MHZJTJRY2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davies attack, Davies attack (definition). Also Wikidata Q568825
History
- 2026-11-02: add by m2/dev
MHZXJYHQ61 MHZXJYHQ61
| URI | m2://inv/MHZXJYHQ61 |
|---|---|
| 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.07927#MCX0 (statement). In GKM19DHQTM/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
MHZYNBDC7Z MHZYNBDC7Z
| URI | m2://inv/MHZYNBDC7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#HIQD (statement). In REDG6QVHM3/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.12