Inventory rows QD
The cards of the rows of the inventory whose ids start with QD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
decagonal number QD04S3DGKS
| URI | m2://inv/QD04S3DGKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q663029, decagonal number (unknown). Also MathWorld DecagonalNumber, OEIS A001107
History
- 2026-10-26: add by m2/dev
QD0664MDFT QD0664MDFT
| URI | m2://inv/QD0664MDFT |
|---|---|
| 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 2506.16491#VW0Y (definition). In P9J6P06Y40/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
QD0BERYZ8S QD0BERYZ8S
| URI | m2://inv/QD0BERYZ8S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#6CFJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
QD0DWCWBTS QD0DWCWBTS
| URI | m2://inv/QD0DWCWBTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23464#ZAS7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Robert Everist Greene QD0GEAVKG3
| URI | m2://inv/QD0GEAVKG3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Everist Greene, Robert Everist Greene (topic). Also Wikidata Q28730171
History
- 2026-11-02: add by m2/dev
QD0MWMFK90 QD0MWMFK90
| URI | m2://inv/QD0MWMFK90 |
|---|---|
| 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.22557#OUES (statement)
History
- 2026-11-02: add by m2/v0.6.17
Frobenius reciprocity QD0Q731KSM
| URI | m2://inv/QD0Q731KSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#Q77E, Frobenius reciprocity (definition)
History
- 2026-11-02: add by m2/dev
Application QD0RDVTR7W
| URI | m2://inv/QD0RDVTR7W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Form factor (electronics)#EYCQ, Application (example)
History
- 2026-11-02: add by m2/dev
QD0YNJ49HN QD0YNJ49HN
| URI | m2://inv/QD0YNJ49HN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#AFII (statement). In QEFS0Y021A/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
QD1D6M71G5 QD1D6M71G5
| URI | m2://inv/QD1D6M71G5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#K76L (definition). In 9DQKY7KGE8/e1, definition 6.18
History
- 2026-10-27: add by m2/v0.3.5
Definition QD1GDWNQS7
| URI | m2://inv/QD1GDWNQS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy–Prokhorov metric#T3KT, Definition (definition)
History
- 2026-11-02: add by m2/dev
QD1GXPJ1MJ QD1GXPJ1MJ
| URI | m2://inv/QD1GXPJ1MJ |
|---|---|
| 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.11772#HRMB (statement). In 2GW9HYGZ8S/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.3
QD1SG6WJS4 QD1SG6WJS4
| URI | m2://inv/QD1SG6WJS4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#49Q0 (example)
History
- 2026-11-01: add by m2/v0.6.15
Immigration to Lawrence, Massachusetts QD1YXGGVB7
| URI | m2://inv/QD1YXGGVB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration to Lawrence, Massachusetts, Immigration to Lawrence, Massachusetts (definition). Also Wikidata Q139761603
History
- 2026-11-02: add by m2/dev
Examples QD2BK683BZ
| URI | m2://inv/QD2BK683BZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck group#XIBN, Examples (example)
History
- 2026-11-02: add by m2/dev
Stafford Tavares QD2EHZX2YP
| URI | m2://inv/QD2EHZX2YP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stafford Tavares, Stafford Tavares (topic). Also Wikidata Q3496350
History
- 2026-11-02: add by m2/dev
Coxeter matroid QD2F1S4GPH
| URI | m2://inv/QD2F1S4GPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter matroid, Coxeter matroid (definition). Also Wikidata Q5179940
History
- 2026-11-02: add by m2/dev
convex combination QD2J18MPKY
| URI | m2://inv/QD2J18MPKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Convex combination 21SXYJYC59 |
Mentions
- wikidata: Wikidata Q2627315, convex combination (unknown). Also MathWorld ConvexCombination
- wikipedia: Wikipedia Convex combination, Convex combination (definition). Also Wikidata Q2627315
History
- 2026-10-26: add by m2/dev
sheaf QD2JMZNMWE
| URI | m2://inv/QD2JMZNMWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sheaf TB6TM6R4MD |
Mentions
- wikidata: Wikidata Q595298, sheaf (definition). Also EoM Sheaf, MathWorld Sheaf, nLab sheaf, ProofWiki Definition:Sheaf_on_Topological_Space
- wikipedia: Wikipedia Sheaf (mathematics), Sheaf (definition). Also Wikidata Q595298
History
- 2026-10-26: add by m2/dev
Conjugate bundle QD2TP0DJAS
| URI | m2://inv/QD2TP0DJAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex vector bundle#36JK, Conjugate bundle (unknown)
History
- 2026-11-02: add by m2/dev
List of Jewish mathematicians QD2XKT9PFW
| URI | m2://inv/QD2XKT9PFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#7T76, List of Jewish mathematicians (topic)
History
- 2026-11-02: add by m2/dev
QD2YJJ6BWV QD2YJJ6BWV
| URI | m2://inv/QD2YJJ6BWV |
|---|---|
| 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#F0W6 (statement). In G70Q2FB591/e1, proposition 2.18
History
- 2026-10-28: add by m2/v0.4.2
Monic scalar--chiral factorization QD32J8FWMC
| URI | m2://inv/QD32J8FWMC |
|---|---|
| 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 2609.20197#ZREC, Monic scalar--chiral factorization (definition)
History
- 2026-11-02: add by m2/v0.6.18
Extended irreversible thermodynamics QD35NTBTJZ
| URI | m2://inv/QD35NTBTJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended irreversible thermodynamics, Extended irreversible thermodynamics (definition). Also Wikidata Q5421889
History
- 2026-11-02: add by m2/dev
QD3AH6F39R QD3AH6F39R
| URI | m2://inv/QD3AH6F39R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#26MO (statement). In MRR92GQNZE/e1, lemma 3.15
History
- 2026-10-30: add by m2/v0.4.12
QD3ASQ9T1W QD3ASQ9T1W
| URI | m2://inv/QD3ASQ9T1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#FJ05 (statement). In 6B2PCEGCYZ/e1, corollary 5.7
History
- 2026-10-31: add by m2/v0.5.6
Definition QD3ATK96Q5
| URI | m2://inv/QD3ATK96Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete Bessel functions#GUSF, Definition (definition)
History
- 2026-11-02: add by m2/dev
QD3JEEMYB5 QD3JEEMYB5
| URI | m2://inv/QD3JEEMYB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.07697#NQE6 (statement). In 57P5P33HS3/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
QD43MXG6M3 QD43MXG6M3
| URI | m2://inv/QD43MXG6M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06785#IT9J (statement). In PG6AEWX25E/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Holm–Bonferroni method QD43NS22XM
| URI | m2://inv/QD43NS22XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holm–Bonferroni method, Holm–Bonferroni method (definition). Also Wikidata Q17030463
History
- 2026-11-02: add by m2/dev
Enrico Bombieri QD44PQZPGY
| URI | m2://inv/QD44PQZPGY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#DA3S, Enrico Bombieri (topic)
History
- 2026-11-02: add by m2/dev
intrinsic equation QD46RTASD4
| URI | m2://inv/QD46RTASD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6058710, intrinsic equation (unknown). Also MathWorld IntrinsicEquation
- wikipedia: Wikipedia Intrinsic equation, Intrinsic equation (definition). Also Wikidata Q6058710
History
- 2026-10-26: add by m2/dev
QD48BSA8ED QD48BSA8ED
| URI | m2://inv/QD48BSA8ED |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#OT1Y (definition). In 9GMTVSTAVN/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.3.5
Frédéric Hélein QD4CX2FC9Q
| URI | m2://inv/QD4CX2FC9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1111811, Frédéric Hélein (unknown). Also nLab Frédéric Hélein
- wikipedia: Wikipedia Frédéric Hélein, Frédéric Hélein (topic). Also Wikidata Q1111811
History
- 2026-10-26: add by m2/dev
Definition QD4H6GMRVQ
| URI | m2://inv/QD4H6GMRVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor reshaping#YQMB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties QD4TEH5SHF
| URI | m2://inv/QD4TEH5SHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series–parallel graph#G7NF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Robin Neumayer QD4Z3PE03Z
| URI | m2://inv/QD4Z3PE03Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robin Neumayer, Robin Neumayer (topic). Also Wikidata Q102674547
History
- 2026-11-02: add by m2/dev
QD53YQMTSD QD53YQMTSD
| URI | m2://inv/QD53YQMTSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#0I6T (statement). In RK0ZMDJ23T/e1, lemma 1.1.14
History
- 2026-10-31: add by m2/v0.5.6
Transform Identities and Regularity QD567ZGWG9
| URI | m2://inv/QD567ZGWG9 |
|---|---|
| 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.20316#IG3E, Transform Identities and Regularity (statement)
History
- 2026-11-02: add by m2/v0.6.18
λ-strong QD5AK4W3YC
| URI | m2://inv/QD5AK4W3YC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#LP9E, λ-strong (definition)
History
- 2026-11-02: add by m2/dev
outerplanar QD5C1SEWD1
| URI | m2://inv/QD5C1SEWD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#3MZ2, outerplanar (definition)
History
- 2026-11-02: add by m2/dev
QD5GNHDVV2 QD5GNHDVV2
| URI | m2://inv/QD5GNHDVV2 |
|---|---|
| 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.17477#5K33 (statement). In 3A92NCWYN3/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
J. Peter May QD5J2J3V73
| URI | m2://inv/QD5J2J3V73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JDTL, J. Peter May (topic)
History
- 2026-11-02: add by m2/dev
Block Wiedemann algorithm QD5J40KNSH
| URI | m2://inv/QD5J40KNSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block Wiedemann algorithm, Block Wiedemann algorithm (definition). Also Wikidata Q4927177
History
- 2026-11-02: add by m2/dev
Scalar estimates QD5S9VKQWX
| URI | m2://inv/QD5S9VKQWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34471#4IKI, Scalar estimates (statement). In BQ6MCMHCJK/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Criterion for uniqueness of sparse solutions QD5VF9PBSD
| URI | m2://inv/QD5VF9PBSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spark (mathematics)#B7XO, Criterion for uniqueness of sparse solutions (statement)
History
- 2026-11-02: add by m2/dev
QD5VX91QQK QD5VX91QQK
| URI | m2://inv/QD5VX91QQK |
|---|---|
| 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 2301.04933#BSCW (definition). In Q70CTMCJTP/e1, definition A.10
History
- 2026-10-27: add by m2/v0.3.5
QD5WB8TNR5 QD5WB8TNR5
| URI | m2://inv/QD5WB8TNR5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#eg:circle (example). In N54F33XE07, eg, section 7.7.1
History
- 2026-11-01: add by m2/v0.6.13
René Thom QD5YN1Q59A
| URI | m2://inv/QD5YN1Q59A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#A9Z8, René Thom (topic)
History
- 2026-11-02: add by m2/dev
QD5YNNN5ZD QD5YNNN5ZD
| URI | m2://inv/QD5YNNN5ZD |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#H15L (problem). In 47WN78VDDF/e1, problem 3.39
History
- 2026-10-30: add by m2/v0.4.12
Mitio Nagumo QD63917E14
| URI | m2://inv/QD63917E14 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mitio Nagumo, Mitio Nagumo (topic). Also Wikidata Q11408759
History
- 2026-11-02: add by m2/dev
Schlessinger's theorem QD63HH5BCM
| URI | m2://inv/QD63HH5BCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schlessinger's theorem, Schlessinger's theorem (statement). Also Wikidata Q7431703
History
- 2026-11-02: add by m2/dev
QD68CSDEZR QD68CSDEZR
| URI | m2://inv/QD68CSDEZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#YNIF (statement)
History
- 2026-11-02: add by m2/v0.6.18
QD68JB2XKR QD68JB2XKR
| URI | m2://inv/QD68JB2XKR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
correlation ratio QD6AW64DV3
| URI | m2://inv/QD6AW64DV3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5172857, correlation ratio (concept). Also MathWorld CorrelationRatio
- wikipedia: Wikipedia Correlation ratio, Correlation ratio (definition). Also Wikidata Q5172857
History
- 2026-10-26: add by m2/dev
QD6DZYMJ83 QD6DZYMJ83
| URI | m2://inv/QD6DZYMJ83 |
|---|---|
| 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#5AX8 (statement). In 1PR73ECTZB/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Finite maximum kernel QD6F3DJRZT
| URI | m2://inv/QD6F3DJRZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#3YF6, Finite maximum kernel (statement). In E7W2HDNEKJ/e1, lemma 7.37
History
- 2026-10-30: add by m2/v0.4.12
QD6M2SG0SK QD6M2SG0SK
| URI | m2://inv/QD6M2SG0SK |
|---|---|
| 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.16700#DT4W (statement). In 3JPKD7NBEN/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Approximation of the main term QD6Z4ZR6QC
| URI | m2://inv/QD6Z4ZR6QC |
|---|---|
| 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.16668#74RX, Approximation of the main term (statement). In W7GPN2AHHM/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
QD73JK8JQA QD73JK8JQA
| URI | m2://inv/QD73JK8JQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#6OKF (statement). In 55QFMZQ5HM/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
QD73PXFJMG QD73PXFJMG
| URI | m2://inv/QD73PXFJMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#DYBJ (statement). In 3RVGEKGX46/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
Cryptovirology QD73T7XEWN
| URI | m2://inv/QD73T7XEWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptovirology, Cryptovirology (definition). Also Wikidata Q3506050
History
- 2026-11-02: add by m2/dev
QD7TQNE1KM QD7TQNE1KM
| URI | m2://inv/QD7TQNE1KM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#AH72 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QD7WEB9V14 QD7WEB9V14
| URI | m2://inv/QD7WEB9V14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#0203 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dyson Brownian motion QD7WMFRKSB
| URI | m2://inv/QD7WMFRKSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson Brownian motion, Dyson Brownian motion (definition). Also Wikidata Q106601418
History
- 2026-11-02: add by m2/dev
Symmetry QD8054M22Q
| URI | m2://inv/QD8054M22Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular tiling honeycomb#AO8U, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
QD880Y17H2 QD880Y17H2
| URI | m2://inv/QD880Y17H2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.01517#L38B (statement). In 1H6HQSMYJW/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Formula QD8995W4JJ
| URI | m2://inv/QD8995W4JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional component analysis#B2XI, Formula (statement)
History
- 2026-11-02: add by m2/dev
Congestion game QD8C92A30X
| URI | m2://inv/QD8C92A30X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congestion game, Congestion game (definition). Also Wikidata Q5160467
History
- 2026-11-02: add by m2/dev
QD8FQ0CVG2 QD8FQ0CVG2
| URI | m2://inv/QD8FQ0CVG2 |
|---|---|
| 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.36412#G115 (statement). In 6HKGGCMBCK/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
QD8JD66AAR QD8JD66AAR
| URI | m2://inv/QD8JD66AAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#D4AM (statement). In W4TYN4PGE8/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
QD8JFAN1EJ QD8JFAN1EJ
| URI | m2://inv/QD8JFAN1EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01615#7R3N (statement). In CJYRXT18TD/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
QD8JM5VAMA QD8JM5VAMA
| URI | m2://inv/QD8JM5VAMA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40282#N0CQ (definition). In P86RWY99S2/e1, definition 1.2.3
History
- 2026-10-30: add by m2/v0.4.12
Example QD8JM9F5XJ
| URI | m2://inv/QD8JM9F5XJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes linear statistics#7L79, Example (example)
History
- 2026-11-02: add by m2/dev
William James Macdonald QD8KZJP0X8
| URI | m2://inv/QD8KZJP0X8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William James Macdonald, William James Macdonald (topic). Also Wikidata Q37735641
History
- 2026-11-02: add by m2/dev
Nixon diamond QD8VAWSTQD
| URI | m2://inv/QD8VAWSTQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nixon diamond, Nixon diamond (definition). Also Wikidata Q1658911
History
- 2026-11-02: add by m2/dev
QD8VW16CRP QD8VW16CRP
| URI | m2://inv/QD8VW16CRP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-23 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
List of countries by past and projected GDP (PPP) per capita QD8WW0C5X7
| URI | m2://inv/QD8WW0C5X7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by past and projected GDP (PPP) per capita, List of countries by past and projected GDP (PPP) per capita (topic). Also Wikidata Q6613953
History
- 2026-11-02: add by m2/dev
QD8Y8FK9AK QD8Y8FK9AK
| URI | m2://inv/QD8Y8FK9AK |
|---|---|
| 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 2609.22240#59PE (statement)
History
- 2026-11-02: add by m2/v0.6.17
QD90R1DNM8 QD90R1DNM8
| URI | m2://inv/QD90R1DNM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#0QS3 (statement). In MS7M2BJS9X/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
QD947P2X25 QD947P2X25
| URI | m2://inv/QD947P2X25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#2FZW (statement). In AQX7DGD360/e1, corollary 5.14
History
- 2026-10-28: add by m2/v0.4.2
Ying Hung QD952YKA4J
| URI | m2://inv/QD952YKA4J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ying Hung, Ying Hung (topic). Also Wikidata Q102349156
History
- 2026-11-02: add by m2/dev
QD965ERMTT QD965ERMTT
| URI | m2://inv/QD965ERMTT |
|---|---|
| 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.18744#5PS2 (statement). In AE07JDH5D3/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Function series QD967A1Q2Q
| URI | m2://inv/QD967A1Q2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function series, Function series (definition). Also Wikidata Q1474614
History
- 2026-11-02: add by m2/dev
QD9BB2E7K5 QD9BB2E7K5
| URI | m2://inv/QD9BB2E7K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#MPGF (statement). In QDRYC6WJJ7/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Emanuel Lasker QD9C8PSFSB
| URI | m2://inv/QD9C8PSFSB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1M5V, Emanuel Lasker (topic)
History
- 2026-11-02: add by m2/dev
Longest uncrossed knight's path QD9CPF9SHW
| URI | m2://inv/QD9CPF9SHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest uncrossed knight's path, Longest uncrossed knight's path (definition). Also Wikidata Q1634949
History
- 2026-11-02: add by m2/dev
Elementary renewal theorem QD9ME2NCJ4
| URI | m2://inv/QD9ME2NCJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renewal theory#10JM, Elementary renewal theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties QD9MHDT6R2
| URI | m2://inv/QD9MHDT6R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed immersion#8NZ5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Range of a function QD9NP54EP8
| URI | m2://inv/QD9NP54EP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#A8GZ, Range of a function (definition)
History
- 2026-11-02: add by m2/dev
QD9YW2H2FP QD9YW2H2FP
| URI | m2://inv/QD9YW2H2FP |
|---|---|
| Kind | example |
| 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 2305.10921#40MT (example). In PD5PJ0EYG6/e1, example 5.6
History
- 2026-10-27: add by m2/v0.3.5
Derived equivalence QD9ZAME7RQ
| URI | m2://inv/QD9ZAME7RQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived category#GZV2, Derived equivalence (unknown)
History
- 2026-11-02: add by m2/dev
QDA08F98CZ QDA08F98CZ
| URI | m2://inv/QDA08F98CZ |
|---|---|
| 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.22759#QFI9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
QDA3MCB88A QDA3MCB88A
| URI | m2://inv/QDA3MCB88A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#Z78V (definition). In REDG6QVHM3/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Definition QDA67QK399
| URI | m2://inv/QDA67QK399 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metacyclic group#TWEJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Association of Mathematics Teachers of India QDAE7PQ79P
| URI | m2://inv/QDAE7PQ79P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association of Mathematics Teachers of India, Association of Mathematics Teachers of India (definition). Also Wikidata Q4809911
History
- 2026-11-02: add by m2/dev
QDAMK1ZBSQ QDAMK1ZBSQ
| URI | m2://inv/QDAMK1ZBSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07728#0XZM (statement). In B1VVAKFCKZ/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.10
Heat exchanger QDANVRNP27
| URI | m2://inv/QDANVRNP27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat exchanger, Heat exchanger (definition). Also Wikidata Q189124
History
- 2026-11-02: add by m2/dev
QDAPCGVVHX QDAPCGVVHX
| URI | m2://inv/QDAPCGVVHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#UAZD (statement). In VNE8N0D2FB/e1, corollary 1.7
History
- 2026-10-31: add by m2/v0.5.6
QDB2CEXTZJ QDB2CEXTZJ
| URI | m2://inv/QDB2CEXTZJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.07892#BCJO (definition). In RGAFSKTAHM/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
QDB31VWZZQ QDB31VWZZQ
| URI | m2://inv/QDB31VWZZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13505#QAPX (statement). In 6Z1DDCYCQ8/e1, proposition 19
History
- 2026-10-28: add by m2/v0.4.2
Church–Kleene ordinal QDB8QW8FGV
| URI | m2://inv/QDB8QW8FGV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonrecursive ordinal#HV2I, Church–Kleene ordinal (unknown)
History
- 2026-11-02: add by m2/dev
\(\epsilon\)-Probabilistic GC Constraint QDBBHNGDT8
| URI | m2://inv/QDBBHNGDT8 |
|---|---|
| Kind | definition |
| 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.09998#JX30, \(\epsilon\)-Probabilistic GC Constraint (definition). In AFMB05H7A6/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.10
Applications QDBC1C40EG
| URI | m2://inv/QDBC1C40EG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci curvature#BNO6, Applications (example)
History
- 2026-11-02: add by m2/dev
QDBEW597RR QDBEW597RR
| URI | m2://inv/QDBEW597RR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#C2LE (definition)
History
- 2026-11-01: add by m2/v0.6.15
QDBF5PZGM7 QDBF5PZGM7
| URI | m2://inv/QDBF5PZGM7 |
|---|---|
| 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.26873#WJ99 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction QDBS9750KB
| URI | m2://inv/QDBS9750KB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular Hadamard matrix#NFWX, Construction (definition)
History
- 2026-11-02: add by m2/dev
Theorem QDBTGFBB7N
| URI | m2://inv/QDBTGFBB7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glivenko–Cantelli theorem#7706, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Boundary classification in the invariant family QDBY7789AE
| URI | m2://inv/QDBY7789AE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.03745#SGKE, Boundary classification in the invariant family (statement). In YWXVX6AX8F/e1, proposition 8.5
History
- 2026-10-29: add by m2/v0.4.12
Properties QDBYZMZ6R7
| URI | m2://inv/QDBYZMZ6R7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric Brownian motion#HE7J, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ramsey’s Theorem QDBZWWP9MV
| URI | m2://inv/QDBZWWP9MV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 31, Ramsey’s Theorem (statement)
History
- 2026-10-26: add by m2/dev
QDC8P9W1KD QDC8P9W1KD
| URI | m2://inv/QDC8P9W1KD |
|---|---|
| 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.23994#IJDY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Vietoris–Begle mapping theorem QDCG7CP7DM
| URI | m2://inv/QDCG7CP7DM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7928688, Vietoris–Begle mapping theorem (statement). Also Wikidata Q7928688
- thousand_plus: thousand_plus Q7928688, Vietoris–Begle mapping theorem (statement). Also Wikidata Q7928688, Wikipedia Vietoris–Begle mapping theorem
- wikipedia: Wikipedia Vietoris–Begle mapping theorem, Vietoris–Begle mapping theorem (statement). Also Wikidata Q7928688
History
- 2026-10-26: add by m2/dev
QDCJDAXNWD QDCJDAXNWD
| URI | m2://inv/QDCJDAXNWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02983#EW53 (statement). In HMNKENER22/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.12
QDCQ7T3X8T QDCQ7T3X8T
| URI | m2://inv/QDCQ7T3X8T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
lattice path, number not crossing $y=x$ QDCRQG8GCX
| URI | m2://inv/QDCRQG8GCX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.5/lattice-path-number-not-crossing-y-x, lattice path, number not crossing $y=x$ (concept). In QKM9DD2H56, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Pure-strategy Nash equilibrium in Game II - strategies of type $\cald \rightarrow \distr(\cala)$ QDD1C77HM2
| URI | m2://inv/QDD1C77HM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1803.10042#BX4M, Pure-strategy Nash equilibrium in Game II - strategies of type $\cald \rightarrow \distr(\cala)$ (statement). In 718SP8YERQ/e1, theorem A4
History
- 2026-10-27: add by m2/v0.3.5
Six Mile Bottom QDD1CC2C0N
| URI | m2://inv/QDD1CC2C0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WL1K, Six Mile Bottom (unknown)
History
- 2026-11-02: add by m2/dev
The reduction formula for scalars QDDAXBKNV7
| URI | m2://inv/QDDAXBKNV7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LSZ reduction formula#PSHO, The reduction formula for scalars (statement)
History
- 2026-11-02: add by m2/dev
Ore condition QDDKDAN1G6
| URI | m2://inv/QDDKDAN1G6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ore condition TJP4ARC2X7 |
Mentions
- wikidata: Wikidata Q986499, Ore condition (concept). Also nLab Ore condition
- wikipedia: Wikipedia Ore condition, Ore condition (definition). Also Wikidata Q986499
History
- 2026-10-26: add by m2/dev
Formal definition QDDKTDQ4Z3
| URI | m2://inv/QDDKTDQ4Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact space#RKK4, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Charles Sturm QDE0G46MNR
| URI | m2://inv/QDE0G46MNR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123485, Charles Sturm (unknown). Also ProofWiki Mathematician:Jacques_Charles_François_Sturm
- wikipedia: Wikipedia Jacques Charles François Sturm, Jacques Charles François Sturm (topic). Also Wikidata Q123485
History
- 2026-10-26: add by m2/dev
Intel Cascade Cipher QDE1DJ5A9N
| URI | m2://inv/QDE1DJ5A9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intel Cascade Cipher, Intel Cascade Cipher (definition). Also Wikidata Q6043447
History
- 2026-11-02: add by m2/dev
Autòs épha QDE2A6CW2M
| URI | m2://inv/QDE2A6CW2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ipse dixit#41VV, Autòs épha (unknown)
History
- 2026-11-02: add by m2/dev
QDE5RKW56N QDE5RKW56N
| URI | m2://inv/QDE5RKW56N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#X60F (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition QDE9X23ZT8
| URI | m2://inv/QDE9X23ZT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kent distribution#MGJD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Non-examples QDEDMDEHXX
| URI | m2://inv/QDEDMDEHXX |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gambler's fallacy#HILI, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
QDEHBNA187 QDEHBNA187
| URI | m2://inv/QDEHBNA187 |
|---|---|
| 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.01225#KAV3 (statement). In MFR807V4YG/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.12
Leslie Lamport QDEJTGMDD1
| URI | m2://inv/QDEJTGMDD1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5QUA, Leslie Lamport (unknown)
History
- 2026-11-02: add by m2/dev
Mac Lane's coherence theorem QDEQP9EGM6
| URI | m2://inv/QDEQP9EGM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5141341, Mac Lane's coherence theorem (unknown). Also nLab coherence theorem
- wikipedia: Wikipedia Mac Lane's coherence theorem, Mac Lane's coherence theorem (statement). Also Wikidata Q5141341
History
- 2026-10-26: add by m2/dev
QDET9WAY70 QDET9WAY70
| URI | m2://inv/QDET9WAY70 |
|---|---|
| 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.21298#LJ8M (statement). In AXWM2MBYXV/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.2
QDEVB16MNB QDEVB16MNB
| URI | m2://inv/QDEVB16MNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#M4T3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Demand with covariates QDEX4RHF0S
| URI | m2://inv/QDEX4RHF0S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40156#AM4I, Demand with covariates (example). In PP8BEHWK33/e1, example 6
History
- 2026-10-30: add by m2/v0.4.12
Newman's conjecture QDF3N22N9B
| URI | m2://inv/QDF3N22N9B |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96395496, Newman's conjecture (conjecture). Also MathWorld NewmansConjecture
- wikipedia: Wikipedia Newman's conjecture, Newman's conjecture (conjecture). Also Wikidata Q96395496
History
- 2026-10-26: add by m2/dev
Bapat–Beg theorem QDFMGBEZEF
| URI | m2://inv/QDFMGBEZEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#URFV, Bapat–Beg theorem (statement)
History
- 2026-11-02: add by m2/dev
Ring object QDFNF0N38N
| URI | m2://inv/QDFNF0N38N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring (mathematics)#IODW, Ring object (unknown)
History
- 2026-11-02: add by m2/dev
QDFQTGS9RX QDFQTGS9RX
| URI | m2://inv/QDFQTGS9RX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29699#C5QK (statement)
History
- 2026-11-01: add by m2/v0.6.15
QDFYEFCB98 QDFYEFCB98
| URI | m2://inv/QDFYEFCB98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40260#RHTB (statement). In 524FZAC6NB/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
QDGCVM34E6 QDGCVM34E6
| URI | m2://inv/QDGCVM34E6 |
|---|---|
| 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.19449#H2VP (statement). In 8ZKPJ3CBDF/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
QDGEQE2TC2 QDGEQE2TC2
| URI | m2://inv/QDGEQE2TC2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#MSV2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
QDGNDBQ5BZ QDGNDBQ5BZ
| URI | m2://inv/QDGNDBQ5BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#VANY (statement). In 55QFMZQ5HM/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.6
QDGQJXPQ5W QDGQJXPQ5W
| URI | m2://inv/QDGQJXPQ5W |
|---|---|
| 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#3KGL (statement). In V6EPE8XHAD/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
Lack QDGTC2HYEJ
| URI | m2://inv/QDGTC2HYEJ |
|---|---|
| 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 2305.01474#M79M, Lack (statement). In 2QB5F6J24Q/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.0
QDH000HAA0 QDH000HAA0
| URI | m2://inv/QDH000HAA0 |
|---|---|
| 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#5U7P (statement)
History
- 2026-11-02: add by m2/v0.6.18
QDH5G7Z184 QDH5G7Z184
| URI | m2://inv/QDH5G7Z184 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#PJ0S (statement). In 2ZRQP063HP/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
QDHD7YF4Y9 QDHD7YF4Y9
| URI | m2://inv/QDHD7YF4Y9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21080#MTKD (statement). In DGE917KQSQ/e1, corollary 6.3
History
- 2026-10-27: add by m2/v0.4.2
Silvia Heubach QDHQ6K93B0
| URI | m2://inv/QDHQ6K93B0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VGJJ, Silvia Heubach (topic)
History
- 2026-11-02: add by m2/dev
G-network QDHS4HF1EM
| URI | m2://inv/QDHS4HF1EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KZ0E, G-network (definition)
History
- 2026-11-02: add by m2/dev
James Cuno QDHZG91755
| URI | m2://inv/QDHZG91755 |
|---|---|
| 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#Q6KI, James Cuno (unknown)
History
- 2026-11-02: add by m2/dev
Raising and lowering indices QDJ27JCQAT
| URI | m2://inv/QDJ27JCQAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#UXPO, Raising and lowering indices (definition)
History
- 2026-11-02: add by m2/dev
QDJCQM3HJM QDJCQM3HJM
| URI | m2://inv/QDJCQM3HJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#DBM2 (statement). In 9B5TNEBJHV/e1, lemma 1.2
History
- 2026-10-29: add by m2/v0.4.10
Pickands–Balkema–de Haan theorem QDJD9TTBH3
| URI | m2://inv/QDJD9TTBH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HM7Q, Pickands–Balkema–de Haan theorem (statement)
History
- 2026-11-02: add by m2/dev
stability, of images under pullback QDJE99MED5
| URI | m2://inv/QDJE99MED5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.6/stability-of-images-under-pullback, stability, of images under pullback (concept). In N54F33XE07, index, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
The Euler–Rodrigues formula for 3D rotations QDJFK8NYC0
| URI | m2://inv/QDJFK8NYC0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotations in 4-dimensional Euclidean space#B2ZQ, The Euler–Rodrigues formula for 3D rotations (statement)
History
- 2026-11-02: add by m2/dev
Dinostratus QDJFY2KNJG
| URI | m2://inv/QDJFY2KNJG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#V1Y2, Dinostratus (topic)
History
- 2026-11-02: add by m2/dev
QDJKJF19VP QDJKJF19VP
| URI | m2://inv/QDJKJF19VP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#E63F (definition). In WRE0P7V6Z3/e1, definition 9.7
History
- 2026-10-30: add by m2/v0.4.12
Bangladesh Mathematical Society QDJPVYKNS5
| URI | m2://inv/QDJPVYKNS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#8OIW, Bangladesh Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
QDJRTY7Z4Z QDJRTY7Z4Z
| URI | m2://inv/QDJRTY7Z4Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21915#Z8ZD (definition)
History
- 2026-11-02: add by m2/v0.6.17
Dougall's formula QDJY75ZKPF
| URI | m2://inv/QDJY75ZKPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized hypergeometric function#U6A3, Dougall's formula (statement)
History
- 2026-11-02: add by m2/dev
Dimension QDJYTDNS3N
| URI | m2://inv/QDJYTDNS3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension (vector space), Dimension (definition). Also Wikidata Q929302
History
- 2026-11-02: add by m2/dev
QDK6RZ8BJ7 QDK6RZ8BJ7
| URI | m2://inv/QDK6RZ8BJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#JD76 (statement). In SVJYA0171G/e1, proposition 8.4
History
- 2026-10-30: add by m2/v0.4.12
Time-inhomogeneous hidden Bernoulli model QDKJ5DVEFH
| URI | m2://inv/QDKJ5DVEFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-inhomogeneous hidden Bernoulli model, Time-inhomogeneous hidden Bernoulli model (definition). Also Wikidata Q5466518
History
- 2026-11-02: add by m2/dev
QDKWQ2V74A QDKWQ2V74A
| URI | m2://inv/QDKWQ2V74A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:dolbeaultdisconnected (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
QDM1ENRXZW QDM1ENRXZW
| URI | m2://inv/QDM1ENRXZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#BO10 (statement). In 3N9E9T6AF5/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
(smooth) trivial vector bundle QDM33VCP41
| URI | m2://inv/QDM33VCP41 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) trivial vector bundle, (smooth) trivial vector bundle (unknown). Also Mathlib Bundle.Trivial.contMDiffVectorBundle
History
- 2026-10-26: add by m2/dev
3800 QDM7AZAFRD
| URI | m2://inv/QDM7AZAFRD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3000 (number)#WS92, 3800 (unknown)
History
- 2026-11-02: add by m2/dev
QDMFX7711S QDMFX7711S
| URI | m2://inv/QDMFX7711S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#5QMJ (statement). In WSG1ZW956E/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Roy Dyckhoff QDMJW1CTW4
| URI | m2://inv/QDMJW1CTW4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roy Dyckhoff, Roy Dyckhoff (topic). Also Wikidata Q112479403
History
- 2026-11-02: add by m2/dev
A better, but still imperfect, recurrence formula QDMKP1CMGD
| URI | m2://inv/QDMKP1CMGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric table#62AN, A better, but still imperfect, recurrence formula (statement)
History
- 2026-11-02: add by m2/dev
Heawood number QDMMQARRXA
| URI | m2://inv/QDMMQARRXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heawood number, Heawood number (definition). Also Wikidata Q5695308
History
- 2026-11-02: add by m2/dev
Representations QDMSETEZSY
| URI | m2://inv/QDMSETEZSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baby monster group#2GW7, Representations (definition)
History
- 2026-11-02: add by m2/dev
Principle of computational equivalence QDNATMG77G
| URI | m2://inv/QDNATMG77G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A New Kind of Science#P0TS, Principle of computational equivalence (statement)
History
- 2026-11-02: add by m2/dev
Construction QDNBJS5Y16
| URI | m2://inv/QDNBJS5Y16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphisms of the symmetric and alternating groups#E9U4, Construction (definition)
History
- 2026-11-02: add by m2/dev
tau QDND4G8JFM
| URI | m2://inv/QDND4G8JFM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2333151, tau (object). Also OEIS A019692
- wikipedia: Wikipedia Tau (mathematics), Tau (object). Also Wikidata Q2333151
History
- 2026-10-26: add by m2/dev
Optimistic knowledge gradient QDNG8A19JZ
| URI | m2://inv/QDNG8A19JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XT7S, Optimistic knowledge gradient (definition)
History
- 2026-11-02: add by m2/dev
Functional response QDNQX8EF0M
| URI | m2://inv/QDNQX8EF0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional response, Functional response (definition). Also Wikidata Q5508845
History
- 2026-11-02: add by m2/dev
Basic room purge equation QDNT1G1AX6
| URI | m2://inv/QDNT1G1AX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dilution (equation)#VA5K, Basic room purge equation (unknown)
History
- 2026-11-02: add by m2/dev
Ken Brown's lemma QDP5YRGJJ5
| URI | m2://inv/QDP5YRGJJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#0UQC, Ken Brown's lemma (definition)
History
- 2026-11-02: add by m2/dev
QDP8REMEHP QDP8REMEHP
| URI | m2://inv/QDP8REMEHP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval order#MC9I (problem)
History
- 2026-11-02: add by m2/dev
QDPA94J8XF QDPA94J8XF
| URI | m2://inv/QDPA94J8XF |
|---|---|
| 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.14154#P68B (statement). In 8X6PXX2TRA/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Wong graph QDPQCMB0X3
| URI | m2://inv/QDPQCMB0X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115547, Wong graph (unknown). Also House of Graphs 1433, MathWorld WongGraph
- wikipedia: Wikipedia Wong graph, Wong graph (definition). Also Wikidata Q3115547
History
- 2026-10-26: add by m2/dev
Strict Blichfeldt lemma for Euclidean balls QDPRP3BM9K
| URI | m2://inv/QDPRP3BM9K |
|---|---|
| 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#RXVB, Strict Blichfeldt lemma for Euclidean balls (statement). In CBF6TQS4DW/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
G-torsors QDPW9J6MS4
| URI | m2://inv/QDPW9J6MS4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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.28514#14NY, G-torsors (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definitions QDPX13GCH5
| URI | m2://inv/QDPX13GCH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable curve#7VOF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Biautomatic QDQ0N207HY
| URI | m2://inv/QDQ0N207HY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic group#EZ7Y, Biautomatic (unknown)
History
- 2026-11-02: add by m2/dev
Turing reduction QDQ7ZJ2A63
| URI | m2://inv/QDQ7ZJ2A63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#PR42, Turing reduction (definition)
History
- 2026-11-02: add by m2/dev
Bass–Quillen conjecture QDQAMF2914
| URI | m2://inv/QDQAMF2914 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#KBRV, Bass–Quillen conjecture (statement)
History
- 2026-11-02: add by m2/dev
Examples QDQANGBKEB
| URI | m2://inv/QDQANGBKEB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequence#OUY5, Examples (example)
History
- 2026-11-02: add by m2/dev
Poisson binomial distribution QDQDHTES0P
| URI | m2://inv/QDQDHTES0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PLHJ, Poisson binomial distribution (definition)
History
- 2026-11-02: add by m2/dev
QDQFG36SY0 QDQFG36SY0
| URI | m2://inv/QDQFG36SY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#6EL6 (statement). In M8F4PDHH3S/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Yamabe problem QDQNPHC67P
| URI | m2://inv/QDQNPHC67P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yamabe problem, Yamabe problem (problem). Also Wikidata Q3406245
History
- 2026-11-02: add by m2/dev
$m$-flag collapses are $(2m{+}1)$-determined QDQNRR4QKH
| URI | m2://inv/QDQNRR4QKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#SGPK, $m$-flag collapses are $(2m{+}1)$-determined (statement). In PCAS8S14J6/e1, theorem 5.4
History
- 2026-10-31: add by m2/v0.5.6
QDQS974SSF QDQS974SSF
| URI | m2://inv/QDQS974SSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31300#0I5I (statement). In ERHQDB8M41/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
QDRC5W003V QDRC5W003V
| URI | m2://inv/QDRC5W003V |
|---|---|
| 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#OLLF (statement). In PEXJPV3NP8/e1, theorem 2.20
History
- 2026-10-27: add by m2/v0.3.5
William Burnside QDRGCRYQQG
| URI | m2://inv/QDRGCRYQQG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q442983, William Burnside (unknown). Also nLab William Burnside
- wikipedia: Wikipedia William Burnside, William Burnside (topic). Also Wikidata Q442983
History
- 2026-10-26: add by m2/dev
Dependent random choice QDRHA7RE40
| URI | m2://inv/QDRHA7RE40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependent random choice, Dependent random choice (definition). Also Wikidata Q96376236
History
- 2026-11-02: add by m2/dev
Examples QDRHQA14E7
| URI | m2://inv/QDRHQA14E7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compositional data#0OWV, Examples (example)
History
- 2026-11-02: add by m2/dev
QDRHV6CESC QDRHV6CESC
| URI | m2://inv/QDRHV6CESC |
|---|---|
| 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 2006.12475#K2MU (statement). In 8YWBGQQGA3/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Trivial objections QDS7718MZR
| URI | m2://inv/QDS7718MZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trivial objections, Trivial objections (definition). Also Wikidata Q7844661
History
- 2026-11-02: add by m2/dev
Morton Brown QDS7K4VX35
| URI | m2://inv/QDS7K4VX35 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QQ7J, Morton Brown (topic)
History
- 2026-11-02: add by m2/dev
Energy, eigenvalue, and eigenfunction convergence QDS89Z64TK
| URI | m2://inv/QDS89Z64TK |
|---|---|
| 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.19908#P0UK, Energy, eigenvalue, and eigenfunction convergence (statement). In AS5GND6D32/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Applications QDSHG54QYY
| URI | m2://inv/QDSHG54QYY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bit-reversal permutation#7GCE, Applications (example)
History
- 2026-11-02: add by m2/dev
Results QDSMEGCEBN
| URI | m2://inv/QDSMEGCEBN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2002 Serbian Census#I65Y, Results (statement)
History
- 2026-11-02: add by m2/dev
QDSSA2446A QDSSA2446A
| URI | m2://inv/QDSSA2446A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2512.16003#FU8R (example). In BJGS6ZCQ12/e1, example 4.2
History
- 2026-10-27: add by m2/v0.3.6
Small dodecicosacron QDSYHY44DC
| URI | m2://inv/QDSYHY44DC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9MWS, Small dodecicosacron (object)
History
- 2026-11-02: add by m2/dev
James Bjorken QDT3RVTQCW
| URI | m2://inv/QDT3RVTQCW |
|---|---|
| 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 Q331423, James Bjorken (unknown). Also nLab James Bjorken
History
- 2026-10-26: add by m2/dev
Formula QDT7NSEW60
| URI | m2://inv/QDT7NSEW60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skin effect#MKJR, Formula (statement)
History
- 2026-11-02: add by m2/dev
QDTET00DJT QDTET00DJT
| URI | m2://inv/QDTET00DJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21532#MY2F (statement)
History
- 2026-11-02: add by m2/v0.6.18
QDTETMZB8Y QDTETMZB8Y
| URI | m2://inv/QDTETMZB8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#U6CR (statement). In GAG532VMPF/e1, lemma 7.2.1
History
- 2026-10-27: add by m2/v0.3.5
irreflexivity, of $<$ in a field QDTMMYR0CB
| URI | m2://inv/QDTMMYR0CB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/irreflexivity-of-in-a-field, irreflexivity, of $<$ in a field (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
QDTRSWTDXB QDTRSWTDXB
| URI | m2://inv/QDTRSWTDXB |
|---|---|
| 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.23803#2LN9 (problem)
History
- 2026-11-02: add by m2/v0.6.17
QDTTX4XYQE QDTTX4XYQE
| URI | m2://inv/QDTTX4XYQE |
|---|---|
| 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.05327#K51V (statement). In ZD7BWDKT84/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.10
Projective line QDTZ4WKK1G
| URI | m2://inv/QDTZ4WKK1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#VQAR, Projective line (definition)
History
- 2026-11-02: add by m2/dev
Min-max theorem QDV8VPHY79
| URI | m2://inv/QDV8VPHY79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max theorem#EX3K, Min-max theorem (statement)
History
- 2026-11-02: add by m2/dev
QDVAJETB72 QDVAJETB72
| URI | m2://inv/QDVAJETB72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18094#MLG2 (statement). In AYANBEWSFH/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
QDVFJG85YQ QDVFJG85YQ
| URI | m2://inv/QDVFJG85YQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.02261#W509 (statement). In TT74R659T0/e1, lemma 0.8
History
- 2026-10-27: add by m2/v0.3.5
QDVFNTAXCG QDVFNTAXCG
| URI | m2://inv/QDVFNTAXCG |
|---|---|
| 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 2303.11021#21TX (statement). In B2ZK4DF2PM/e1, lemma 1
- arxiv: arXiv 2303.11021#894I (statement). In B2ZK4DF2PM/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.0
QDVSDCGJ2Q QDVSDCGJ2Q
| URI | m2://inv/QDVSDCGJ2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/composition-representable.tex#prop:rep1 (statement). In PKGMM3P5QY, prop, section 29.8
History
- 2026-11-01: add by m2/v0.6.13
Hellas Secunda QDVSPME5ZK
| URI | m2://inv/QDVSPME5ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PWLU, Hellas Secunda (unknown)
History
- 2026-11-02: add by m2/dev
QDVTBFS8FN QDVTBFS8FN
| URI | m2://inv/QDVTBFS8FN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#CWLO (statement)
History
- 2026-11-02: add by m2/v0.6.17
QDVZ3T08XB QDVZ3T08XB
| URI | m2://inv/QDVZ3T08XB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32282#ZD5P (statement). In MF7XEPN4GV/e1, proposition 5
History
- 2026-10-31: add by m2/v0.5.6
Finite modular classification QDVZERMHX5
| URI | m2://inv/QDVZERMHX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#A9EZ, Finite modular classification (statement). In JWNYJVH8XG/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Cross tabulation QDW6C7WM89
| URI | m2://inv/QDW6C7WM89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#87VY, Cross tabulation (definition)
History
- 2026-11-02: add by m2/dev
pow QDWGHBYRXX
| URI | m2://inv/QDWGHBYRXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3LGD, pow (definition)
History
- 2026-11-02: add by m2/dev
fixed point QDWJJ27YKZ
| URI | m2://inv/QDWJJ27YKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fixed point R6QVS6P21N |
Mentions
- wikidata: Wikidata Q217608, fixed point (unknown). Also EoM fixed_point, MathWorld FixedPoint, nLab fixed point
- wikipedia: Wikipedia Fixed point (mathematics), Fixed point (definition). Also Wikidata Q217608
History
- 2026-10-26: add by m2/dev
Linear programming QDWQSK4X9Q
| URI | m2://inv/QDWQSK4X9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#WWHE, Linear programming (definition)
History
- 2026-11-02: add by m2/dev
Bevan et al. QDWWP6EYKV
| URI | m2://inv/QDWWP6EYKV |
|---|---|
| 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.02535#PDZ9, Bevan et al. (statement). In S26PXDSWM9/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Optimality in computable environments QDWYC3E2A0
| URI | m2://inv/QDWYC3E2A0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34458#H60Z, Optimality in computable environments (statement). In 2KQ85H6MS4/e1, corollary 7
History
- 2026-10-30: add by m2/v0.4.12
pattern matching QDWYNTNJ6Z
| URI | m2://inv/QDWYNTNJ6Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/pattern-matching, pattern matching (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
QDX16SX8D6 QDX16SX8D6
| URI | m2://inv/QDX16SX8D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#L8I2 (statement). In 7ZBQ8WGQVB/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
boolean QDX2QY8A9E
| URI | m2://inv/QDX2QY8A9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#JD1U, boolean (definition)
History
- 2026-11-02: add by m2/dev
Peter Montgomery QDX87HTKPD
| URI | m2://inv/QDX87HTKPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Montgomery (mathematician), Peter Montgomery (topic). Also Wikidata Q470485
History
- 2026-11-02: add by m2/dev
QDXA0WS3P0 QDXA0WS3P0
| URI | m2://inv/QDXA0WS3P0 |
|---|---|
| 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 2308.09645#030J (statement). In HVDSC1GQRD/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.5
Rahul Pandharipande QDXEQF3G23
| URI | m2://inv/QDXEQF3G23 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3OR7, Rahul Pandharipande (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JVUU, Rahul Pandharipande (topic)
History
- 2026-11-02: add by m2/dev
QDXHXTG0AE QDXHXTG0AE
| URI | m2://inv/QDXHXTG0AE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#proof-1 (proof). In RZP28ERRZV, proof, section 19.3
History
- 2026-11-01: add by m2/v0.6.13
QDXJ5S2GE4 QDXJ5S2GE4
| URI | m2://inv/QDXJ5S2GE4 |
|---|---|
| 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.02912#Y4FQ (statement). In 2GP3PK3A0C/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Extra regularity of the spatial gradient QDXK2WT7D0
| URI | m2://inv/QDXK2WT7D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02106#QP5Q, Extra regularity of the spatial gradient (statement). In NGKK8ZB29J/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Thabit number QDXNB0316B
| URI | m2://inv/QDXNB0316B |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q965294, Thabit ibn Qurra's theorem (statement). Also Wikidata Q965294
- thousand_plus: thousand_plus Q965294, Thabit ibn Qurra's theorem (statement). Also Wikidata Q965294, Wikipedia Thabit number
- wikidata: Wikidata Q965294, Thabit number (unknown). Also MathWorld ThabitibnKurrahNumber, OEIS A055010
- wikipedia: Wikipedia Thabit number, Thabit number (definition). Also Wikidata Q965294
History
- 2026-10-26: add by m2/dev
Clifford's theorem on special divisors QDXQCD6Q9R
| URI | m2://inv/QDXQCD6Q9R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#59AM, Clifford's theorem on special divisors (conjecture)
- wikipedia: Wikipedia List of inequalities#KMC2, Clifford's theorem on special divisors (conjecture)
History
- 2026-11-02: add by m2/dev
Synthetic mathematics QDY3Z5WTEH
| URI | m2://inv/QDY3Z5WTEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic mathematics, Synthetic mathematics (definition). Also Wikidata Q137441636
History
- 2026-11-02: add by m2/dev
Eugene Speer QDY6GQV4P1
| URI | m2://inv/QDY6GQV4P1 |
|---|---|
| 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 Q94139179, Eugene Speer (unknown). Also nLab Eugene Speer
History
- 2026-10-26: add by m2/dev
QDYEMP3RD2 QDYEMP3RD2
| URI | m2://inv/QDYEMP3RD2 |
|---|---|
| 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.15402#FZNF (statement). In WSE8SEHVXG/e1, lemma 22
History
- 2026-10-28: add by m2/v0.4.2
Nikolai Ivanov QDYN759MHP
| URI | m2://inv/QDYN759MHP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Ivanov (mathematician), Nikolai Ivanov (topic). Also Wikidata Q20670431
History
- 2026-11-02: add by m2/dev
Proposition $4.18$ QDYP6PMGMD
| URI | m2://inv/QDYP6PMGMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#AH3Y, Proposition $4.18$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
QDYR5T2MYP QDYR5T2MYP
| URI | m2://inv/QDYR5T2MYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#NR7R (statement). In 9Z8RSQ36JC/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Harter, Rachel M. QDYTMQBP5Q
| URI | m2://inv/QDYTMQBP5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1JEN, Harter, Rachel M. (topic)
History
- 2026-11-02: add by m2/dev
QDYZYAT5CF QDYZYAT5CF
| URI | m2://inv/QDYZYAT5CF |
|---|---|
| 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.12640#9N76 (statement). In QP9FE1D6PG/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
QDZ4HARFBY QDZ4HARFBY
| URI | m2://inv/QDZ4HARFBY |
|---|---|
| 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 2402.05268#4V9O (statement). In MQZC12P7SA/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Mohr–Mascheroni theorem QDZ64GZ1Z8
| URI | m2://inv/QDZ64GZ1Z8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Mohr–Mascheroni theorem G9VT2J3ZVK |
Mentions
- mathlib_1000: mathlib_1000 Q1152521, Mohr–Mascheroni theorem (statement). Also Wikidata Q1152521
- thousand_plus: thousand_plus Q1152521, Mohr–Mascheroni theorem (statement). Also Wikidata Q1152521, Wikipedia Mohr–Mascheroni theorem
- wikidata: Wikidata Q1152521, Mohr–Mascheroni theorem (statement). Also MathWorld MascheroniConstruction
- wikipedia: Wikipedia Mohr–Mascheroni theorem, Mohr–Mascheroni theorem (statement). Also Wikidata Q1152521
History
- 2026-10-26: add by m2/dev
Properties QDZ9J5RPXG
| URI | m2://inv/QDZ9J5RPXG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Niemeier lattice#ZCE1, Properties (statement)
History
- 2026-11-02: add by m2/dev
QDZGBQ6RBE QDZGBQ6RBE
| URI | m2://inv/QDZGBQ6RBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#cor:subrep_schur (statement). In RZP28ERRZV, corollary, section 81.1
History
- 2026-11-01: add by m2/v0.6.13
QDZQRTSJB8 QDZQRTSJB8
| URI | m2://inv/QDZQRTSJB8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23258#LUTV (definition)
History
- 2026-11-02: add by m2/v0.6.17
QDZS68MNC2 QDZS68MNC2
| URI | m2://inv/QDZS68MNC2 |
|---|---|
| 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 2208.05288#AQHP (definition). In RTW3GDYPND/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.4.0
QDZXC1ASD8 QDZXC1ASD8
| URI | m2://inv/QDZXC1ASD8 |
|---|---|
| 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.06544#8633 (statement). In VCRB27RMN6/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.10
QDZXTJBSYN QDZXTJBSYN
| URI | m2://inv/QDZXTJBSYN |
|---|---|
| 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.05146#KH53 (statement). In 63MJS935N4/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10