Inventory rows PD
The cards of the rows of the inventory whose ids start with PD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Upper-degree slice of a nonbottom interval PD0794YH7D
| URI | m2://inv/PD0794YH7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#ZQB9, Upper-degree slice of a nonbottom interval (statement)
History
- 2026-11-01: add by m2/v0.6.15
Running example: a $3\times3$ BB torus PD0EG4KZGC
| URI | m2://inv/PD0EG4KZGC |
|---|---|
| Kind | example |
| 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.39121#PO3C, Running example: a $3\times3$ BB torus (example). In A42CWWRZJE/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Joseph H. Sampson PD0JYGSS4K
| URI | m2://inv/PD0JYGSS4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph H. Sampson, Joseph H. Sampson (topic). Also Wikidata Q94880819
History
- 2026-11-02: add by m2/dev
Turing OS PD0MMBDVAN
| URI | m2://inv/PD0MMBDVAN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#Z05Y, Turing OS (unknown)
History
- 2026-11-02: add by m2/dev
PD0ZC9T742 PD0ZC9T742
| URI | m2://inv/PD0ZC9T742 |
|---|---|
| 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.09522#075O (statement). In KKR9167FPT/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
Properties of the category of sets PD12J0BHS3
| URI | m2://inv/PD12J0BHS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of sets#B88Q, Properties of the category of sets (statement)
History
- 2026-11-02: add by m2/dev
An arithmetic term for binary bitwise conjunction PD17Q71005
| URI | m2://inv/PD17Q71005 |
|---|---|
| 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.13365#MLR7, An arithmetic term for binary bitwise conjunction (statement). In YMBTSX10FF/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
PD1P5NFG01 PD1P5NFG01
| URI | m2://inv/PD1P5NFG01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00752#U0WR (statement). In GGW2N4JHXM/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
PD1RVVVAXY PD1RVVVAXY
| URI | m2://inv/PD1RVVVAXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25004#G5JV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Poisson PD1YCYWEM0
| URI | m2://inv/PD1YCYWEM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#PO7H, Poisson (definition)
History
- 2026-11-02: add by m2/dev
PD1YPBED13 PD1YPBED13
| URI | m2://inv/PD1YPBED13 |
|---|---|
| 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#G4OB (statement)
History
- 2026-11-02: add by m2/v0.6.18
PD24GM9TPG PD24GM9TPG
| URI | m2://inv/PD24GM9TPG |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#JO4E (problem). In Y43AAKZ7E6/e1, problem Question
History
- 2026-10-28: add by m2/v0.4.2
Traian Lalesco PD2CTXWATC
| URI | m2://inv/PD2CTXWATC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KRKQ, Traian Lalesco (unknown)
History
- 2026-11-02: add by m2/dev
PD2GAPSW89 PD2GAPSW89
| URI | m2://inv/PD2GAPSW89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.08186#QF7U (statement). In X6VGVPQH8V/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
I-adic topology PD2HBS33KJ
| URI | m2://inv/PD2HBS33KJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#97FS, I-adic topology (definition)
History
- 2026-11-02: add by m2/dev
Avner Ash PD3169X21B
| URI | m2://inv/PD3169X21B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Avner Ash, Avner Ash (topic). Also Wikidata Q21004875
History
- 2026-11-02: add by m2/dev
PD37647BJB PD37647BJB
| URI | m2://inv/PD37647BJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30779#ZKTR (statement). In 64V4DXGBKB/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
PD37QJBS6X PD37QJBS6X
| URI | m2://inv/PD37QJBS6X |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#Z39X (problem). In E8FP48FJMZ/e1, problem 2.5
History
- 2026-10-31: add by m2/v0.5.6
Dennis Gaitsgory PD387446S5
| URI | m2://inv/PD387446S5 |
|---|---|
| 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 Q950863, Dennis Gaitsgory (unknown). Also nLab Dennis Gaitsgory
- wikipedia: Wikipedia Dennis Gaitsgory, Dennis Gaitsgory (topic). Also Wikidata Q950863
History
- 2026-10-26: add by m2/dev
Circle PD3CJPVNP0
| URI | m2://inv/PD3CJPVNP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#CD48, Circle (definition)
- wikipedia: Wikipedia List of circle topics#N3LA, Circle (definition)
- wikipedia: Wikipedia List of mathematical shapes#L829, Circle (definition)
- wikipedia: Wikipedia List of curves#IDMV, Circle (definition)
- wikipedia: Wikipedia List of topics related to π#9I91, Circle (definition)
History
- 2026-11-02: add by m2/dev
Covering groups of the alternating and symmetric groups PD3MNZ91HC
| URI | m2://inv/PD3MNZ91HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering groups of the alternating and symmetric groups, Covering groups of the alternating and symmetric groups (definition). Also Wikidata Q5179255
History
- 2026-11-02: add by m2/dev
The seed in $\operatorname{Gr}(2,4)$ PD3PS2D3C0
| URI | m2://inv/PD3PS2D3C0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#CC0Q, The seed in $\operatorname{Gr}(2,4)$ (example). In 6G1KBA0SXV/e1, example 2.7
History
- 2026-10-31: add by m2/v0.5.6
7100 PD4AQHRFGK
| URI | m2://inv/PD4AQHRFGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 7000 (number)#3L05, 7100 (unknown)
History
- 2026-11-02: add by m2/dev
Multiple comparisons problem PD4HK1HYQN
| URI | m2://inv/PD4HK1HYQN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple comparisons problem, Multiple comparisons problem (problem). Also Wikidata Q1038757
History
- 2026-11-02: add by m2/dev
PD4RF44HCK PD4RF44HCK
| URI | m2://inv/PD4RF44HCK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-9 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
C. William Gear PD4YHYE1AE
| URI | m2://inv/PD4YHYE1AE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. William Gear, C. William Gear (topic). Also Wikidata Q15790711
History
- 2026-11-02: add by m2/dev
PD57A8P95S PD57A8P95S
| URI | m2://inv/PD57A8P95S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#QEHX (statement). In KWB9M5YH9G/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Lehmer pair PD5B4K79X4
| URI | m2://inv/PD5B4K79X4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#LH8F, Lehmer pair (unknown)
History
- 2026-11-02: add by m2/dev
Univalent foundations PD5D6CZDH8
| URI | m2://inv/PD5D6CZDH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Univalent foundations, Univalent foundations (definition). Also Wikidata Q25303740
History
- 2026-11-02: add by m2/dev
Continuity PD5EJFSZG7
| URI | m2://inv/PD5EJFSZG7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô diffusion#I1BU, Continuity (statement)
History
- 2026-11-02: add by m2/dev
PD5JDDJGGD PD5JDDJGGD
| URI | m2://inv/PD5JDDJGGD |
|---|---|
| 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.09672#NEMT (statement). In TXBXCPP0QH/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.10
Applications PD65ZFXQDV
| URI | m2://inv/PD65ZFXQDV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abductive reasoning#KETB, Applications (example)
History
- 2026-11-02: add by m2/dev
extensionally defined set PD6A689QDS
| URI | m2://inv/PD6A689QDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109942027, extensionally defined set (unknown). Also MathWorld SetExtension
History
- 2026-10-26: add by m2/dev
Littlewood polynomial PD6BAWRMZV
| URI | m2://inv/PD6BAWRMZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood polynomial, Littlewood polynomial (definition). Also Wikidata Q3395696
History
- 2026-11-02: add by m2/dev
PD6EWZY574 PD6EWZY574
| URI | m2://inv/PD6EWZY574 |
|---|---|
| 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#H95P (statement). In 57P5P33HS3/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Andreas Floer PD6GZ1MSMZ
| URI | m2://inv/PD6GZ1MSMZ |
|---|---|
| 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 Q77507, Andreas Floer (unknown). Also nLab Andreas Floer
- wikipedia: Wikipedia Andreas Floer, Andreas Floer (topic). Also Wikidata Q77507
History
- 2026-10-26: add by m2/dev
PD6MD1ZXBS PD6MD1ZXBS
| URI | m2://inv/PD6MD1ZXBS |
|---|---|
| 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#59GA (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of Beta Kappa Chi chapters PD7061GQ1H
| URI | m2://inv/PD7061GQ1H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Beta Kappa Chi chapters, List of Beta Kappa Chi chapters (topic). Also Wikidata Q130342558
History
- 2026-11-02: add by m2/dev
Newton's inequalities PD77EBF325
| URI | m2://inv/PD77EBF325 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#BR2H, Newton's inequalities (definition)
History
- 2026-11-02: add by m2/dev
PD7ABEDKSA PD7ABEDKSA
| URI | m2://inv/PD7ABEDKSA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/unsolvability-decision-problem.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 87.2
History
- 2026-11-01: add by m2/v0.6.13
PD7BB6C36A PD7BB6C36A
| URI | m2://inv/PD7BB6C36A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#thm:w-uniq (statement). In N54F33XE07, thm, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
PD7C1241TA PD7C1241TA
| URI | m2://inv/PD7C1241TA |
|---|---|
| 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.02295#9PRW (statement). In PEBD9ZMA1W/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Samuel Verblunsky PD7CX37XVC
| URI | m2://inv/PD7CX37XVC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Verblunsky, Samuel Verblunsky (topic). Also Wikidata Q7412825
History
- 2026-11-02: add by m2/dev
PD7FMAFCWK PD7FMAFCWK
| URI | m2://inv/PD7FMAFCWK |
|---|---|
| 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.32104#8ARS (statement). In YRJSYFXNM8/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
PD7K5F44V9 PD7K5F44V9
| URI | m2://inv/PD7K5F44V9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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 2609.27886#5JTD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform correction for nonnegative slopes PD7KX3KJRX
| URI | m2://inv/PD7KX3KJRX |
|---|---|
| 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.25380#GYEL, Uniform correction for nonnegative slopes (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lattice-positive kernel integration PD7MTCRTT3
| URI | m2://inv/PD7MTCRTT3 |
|---|---|
| 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.14318#KM22, Lattice-positive kernel integration (statement). In HA4SZZJ831/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Properties PD7NCJRQ81
| URI | m2://inv/PD7NCJRQ81 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating algebra#GV10, Properties (statement)
History
- 2026-11-02: add by m2/dev
Entropy (information theory) PD88SSRY67
| URI | m2://inv/PD88SSRY67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8Q3U, Entropy (information theory) (definition)
History
- 2026-11-02: add by m2/dev
Peter Guttorp PD8AKRP62P
| URI | m2://inv/PD8AKRP62P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Guttorp, Peter Guttorp (topic). Also Wikidata Q102088827
History
- 2026-11-02: add by m2/dev
PD8C6P0CE0 PD8C6P0CE0
| URI | m2://inv/PD8C6P0CE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#UDZ9 (statement). In X3RFXWN6FW/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.6
Hyman Bass PD8DTBT70D
| URI | m2://inv/PD8DTBT70D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J30D, Hyman Bass (topic)
History
- 2026-11-02: add by m2/dev
Monadic Boolean algebra PD8FV89R3R
| URI | m2://inv/PD8FV89R3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monadic Boolean algebra, Monadic Boolean algebra (definition). Also Wikidata Q6897884
History
- 2026-11-02: add by m2/dev
PD8MXQ8WSH PD8MXQ8WSH
| URI | m2://inv/PD8MXQ8WSH |
|---|---|
| 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 2609.39747#0AC0 (definition). In 9H2KJ3W3JX/e1, definition 10
History
- 2026-10-30: add by m2/v0.4.12
PD8V3D9PJV PD8V3D9PJV
| URI | m2://inv/PD8V3D9PJV |
|---|---|
| Kind | definition |
| 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.33250#2A8Y (definition). In JCTD510XJ0/e1, definition 1.3
History
- 2026-10-30: add by m2/v0.4.12
PD9BWSQCJQ PD9BWSQCJQ
| URI | m2://inv/PD9BWSQCJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#K3H6 (statement). In GQQZNRYK15/e1, proposition 5.7
History
- 2026-10-31: add by m2/v0.5.6
CFB mode PD9FZXS1VY
| URI | m2://inv/PD9FZXS1VY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block cipher mode of operation#397Y, CFB mode (unknown)
History
- 2026-11-02: add by m2/dev
Example PD9N287NQ1
| URI | m2://inv/PD9N287NQ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polychromatic symmetry#4RVL, Example (example)
History
- 2026-11-02: add by m2/dev
Universal measurability of infima PDA7YRAZCB
| URI | m2://inv/PDA7YRAZCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#VXY6, Universal measurability of infima (statement). In KM3Q791JY0/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.4.2
Lipót Klug PDAD143HTK
| URI | m2://inv/PDAD143HTK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lipót Klug, Lipót Klug (topic). Also Wikidata Q1114075
History
- 2026-11-02: add by m2/dev
PDAF3GT9WP PDAF3GT9WP
| URI | m2://inv/PDAF3GT9WP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/logics-proofs.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 50.5
History
- 2026-11-01: add by m2/v0.6.13
PDAKG956J0 PDAKG956J0
| URI | m2://inv/PDAKG956J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30779#1NJ2 (statement). In 64V4DXGBKB/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
László Fejes Tóth PDAKM8Z3FE
| URI | m2://inv/PDAKM8Z3FE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia László Fejes Tóth, László Fejes Tóth (topic). Also Wikidata Q564831
History
- 2026-11-02: add by m2/dev
PDAMNGKF8X PDAMNGKF8X
| URI | m2://inv/PDAMNGKF8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04330#HXJF (statement). In 17H0HEM54D/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Compactly generated group PDANKZW6YV
| URI | m2://inv/PDANKZW6YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactly generated group, Compactly generated group (definition). Also Wikidata Q5155339
History
- 2026-11-02: add by m2/dev
PDAY71S1YM PDAY71S1YM
| URI | m2://inv/PDAY71S1YM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#QNXA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Back-and-forth method PDB0WHF6X7
| URI | m2://inv/PDB0WHF6X7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#T0FD, Back-and-forth method (definition)
History
- 2026-11-02: add by m2/dev
Berge conjecture PDB86FCRQE
| URI | m2://inv/PDB86FCRQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#LB3N, Berge conjecture (unknown)
History
- 2026-11-02: add by m2/dev
PDBF3NQ72C PDBF3NQ72C
| URI | m2://inv/PDBF3NQ72C |
|---|---|
| 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.07164#7YIQ (statement). In Q1XJ5VWE1N/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
Elena Deza PDBNDEZTFW
| URI | m2://inv/PDBNDEZTFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JHDN, Elena Deza (topic)
History
- 2026-11-02: add by m2/dev
Maz'ya PDBPJWN8RN
| URI | m2://inv/PDBPJWN8RN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#KTFG, Maz'ya (statement). In 5XKHZKEGAF/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Hilbert Morrey--Gagliardo--Nirenberg form PDBT0029G8
| URI | m2://inv/PDBT0029G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00292#8MPL, Hilbert Morrey--Gagliardo--Nirenberg form (statement). In NX3EFW0D0X/e1, corollary 7.4
History
- 2026-10-30: add by m2/v0.4.12
PDBVW3CNSS PDBVW3CNSS
| URI | m2://inv/PDBVW3CNSS |
|---|---|
| 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 2610.18078#NHD7 (statement). In YVK8EFSYNJ/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
Murasugi sum PDBYN2MP8P
| URI | m2://inv/PDBYN2MP8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murasugi sum, Murasugi sum (definition). Also Wikidata Q105580325
History
- 2026-11-02: add by m2/dev
Hardy–Littlewood maximal inequality PDC9AV6SXP
| URI | m2://inv/PDC9AV6SXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#03YI, Hardy–Littlewood maximal inequality (definition)
History
- 2026-11-02: add by m2/dev
PDCEDMHVGK PDCEDMHVGK
| URI | m2://inv/PDCEDMHVGK |
|---|---|
| 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 2203.10220#5YKB (statement). In FX2SD1GFHT/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Applications PDCMRA5TX0
| URI | m2://inv/PDCMRA5TX0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation function (statistical mechanics)#TDLQ, Applications (example)
History
- 2026-11-02: add by m2/dev
PDCQPM379Q PDCQPM379Q
| URI | m2://inv/PDCQPM379Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17565#YYQ6 (statement). In C422901XCN/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
algebra PDCYRWN1EV
| URI | m2://inv/PDCYRWN1EV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#YXQP, algebra (definition). In 9ZSNSJRJ5N/e1, definition 9
History
- 2026-10-27: add by m2/v0.4.2
Topological skeleton PDD461Z7YR
| URI | m2://inv/PDD461Z7YR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#YCEM, Topological skeleton (unknown)
History
- 2026-11-02: add by m2/dev
Definition PDD8MRB3RS
| URI | m2://inv/PDD8MRB3RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reedy category#LRZY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Principles PDDJ3XQAF0
| URI | m2://inv/PDDJ3XQAF0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Euclidean geometry#CTGV, Principles (statement)
History
- 2026-11-02: add by m2/dev
Lattice reduction PDDVNXZ4MX
| URI | m2://inv/PDDVNXZ4MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice reduction, Lattice reduction (definition). Also Wikidata Q6497132
History
- 2026-11-02: add by m2/dev
Statement PDDXNG7T9T
| URI | m2://inv/PDDXNG7T9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dunford–Schwartz theorem#816Z, Statement (statement)
History
- 2026-11-02: add by m2/dev
Four-point inequality PDE5MCJP1K
| URI | m2://inv/PDE5MCJP1K |
|---|---|
| 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.24931#PI8E, Four-point inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
PDEC95SN7H PDEC95SN7H
| URI | m2://inv/PDEC95SN7H |
|---|---|
| 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.14839#B315 (statement). In CYB41667NA/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
identity of indiscernibles PDEN9GDKNV
| URI | m2://inv/PDEN9GDKNV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q525506, identity of indiscernibles (statement). Also nLab identity of indiscernibles, ProofWiki Axiom:Leibniz's_Law
- wikipedia: Wikipedia Identity of indiscernibles, Identity of indiscernibles (statement). Also Wikidata Q525506
History
- 2026-10-26: add by m2/dev
Free energy near the line PDERW542FC
| URI | m2://inv/PDERW542FC |
|---|---|
| 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.37479#8P0J, Free energy near the line (statement). In P3RTT99C41/e1, corollary 4.7
History
- 2026-10-30: add by m2/v0.4.12
PDF233EJBS PDF233EJBS
| URI | m2://inv/PDF233EJBS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-1.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Properties PDF4NWH3WY
| URI | m2://inv/PDF4NWH3WY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform on finite groups#5K2O, Properties (statement)
History
- 2026-11-02: add by m2/dev
PDF9GRHYAH PDF9GRHYAH
| URI | m2://inv/PDF9GRHYAH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-6 (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
F. Reese Harvey PDFASAQBH4
| URI | m2://inv/PDFASAQBH4 |
|---|---|
| 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#YGGX, F. Reese Harvey (topic)
History
- 2026-11-02: add by m2/dev
PDFG2KSV67 PDFG2KSV67
| URI | m2://inv/PDFG2KSV67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#1LRK (statement). In DC01XRB5YE/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.3
Examples PDFGB3D63S
| URI | m2://inv/PDFGB3D63S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faulhaber's formula#E1X7, Examples (example)
History
- 2026-11-02: add by m2/dev
Blanuša snark PDFNSYA7EB
| URI | m2://inv/PDFNSYA7EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q510153, Blanuša snark (unknown). Also MathWorld BlanusaSnarks
- wikipedia: Wikipedia Blanuša snarks, Blanuša snarks (definition). Also Wikidata Q510153
History
- 2026-10-26: add by m2/dev
PDFQEXHH12 PDFQEXHH12
| URI | m2://inv/PDFQEXHH12 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11043#SB9L (example). In R3NJYPZH52/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.3
Replica-symmetric threshold PDG4NS925Z
| URI | m2://inv/PDG4NS925Z |
|---|---|
| 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.40345#TIE5, Replica-symmetric threshold (definition). In WK0PT95WW1/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
List of algebraic coding theory topics PDG6PBB86X
| URI | m2://inv/PDG6PBB86X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics, List of algebraic coding theory topics (topic). Also Wikidata Q6605547
History
- 2026-11-02: add by m2/dev
Saul Kripke Center PDG74GH5F0
| URI | m2://inv/PDG74GH5F0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saul Kripke#Z7FL, Saul Kripke Center (unknown)
History
- 2026-11-02: add by m2/dev
List of things named after Archimedes PDGR5QKDV1
| URI | m2://inv/PDGR5QKDV1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#PKL5, List of things named after Archimedes (topic)
History
- 2026-11-02: add by m2/dev
Intention to treat analysis PDGYV37ZW7
| URI | m2://inv/PDGYV37ZW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CFXG, Intention to treat analysis (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Wehrung 1999) PDH0KQTX3D
| URI | m2://inv/PDH0KQTX3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#KAE7, Theorem (Wehrung 1999) (statement)
History
- 2026-11-02: add by m2/dev
great pentagrammic hexecontahedron PDH7A2PJSM
| URI | m2://inv/PDH7A2PJSM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600371, great pentagrammic hexecontahedron (unknown). Also MathWorld GreatPentagrammicHexecontahedron
- wikipedia: Wikipedia Great pentagrammic hexecontahedron, Great pentagrammic hexecontahedron (object). Also Wikidata Q5600371
History
- 2026-10-26: add by m2/dev
Young's modulus PDHA8W3TYG
| URI | m2://inv/PDHA8W3TYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young's modulus, Young's modulus (definition). Also Wikidata Q2091584
History
- 2026-11-02: add by m2/dev
algebraic vector bundle PDHAEP3AR6
| URI | m2://inv/PDHAEP3AR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23807936, algebraic vector bundle (unknown). Also EoM Vector_bundle,_algebraic
History
- 2026-10-26: add by m2/dev
PDHGHWK6DD PDHGHWK6DD
| URI | m2://inv/PDHGHWK6DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#U3WS (statement). In DPJ15KW23C/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
Bessel potential space PDHXT3DDEB
| URI | m2://inv/PDHXT3DDEB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev space#PJDP, Bessel potential space (unknown)
History
- 2026-11-02: add by m2/dev
PDHZQ309DF PDHZQ309DF
| URI | m2://inv/PDHZQ309DF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10147#JNIR (statement). In WZWGAG2FSN/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
PDHZWH1F41 PDHZWH1F41
| URI | m2://inv/PDHZWH1F41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22657#SJVO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Doral PDJ0EKMK86
| URI | m2://inv/PDJ0EKMK86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#DJMT, Doral (unknown)
History
- 2026-11-02: add by m2/dev
PDJMH5SW86 PDJMH5SW86
| URI | m2://inv/PDJMH5SW86 |
|---|---|
| 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.01228#5QCN (statement). In HZAJ20XW7F/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
exact differential equation PDJT2NGEPJ
| URI | m2://inv/PDJT2NGEPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Exact equation 0Q1FKQKTKJ |
Mentions
- wikidata: Wikidata Q1366795, exact differential equation (definition). Also MathWorld ExactFirst-OrderOrdinaryDifferentialEquation, ProofWiki Definition:Exact_Differential_Equation
- wikipedia: Wikipedia Exact differential equation, Exact differential equation (definition). Also Wikidata Q1366795
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
PDK9W2Y1QE PDK9W2Y1QE
| URI | m2://inv/PDK9W2Y1QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#EH62 (statement). In EY0QS456EC/e1, proposition 7.6
History
- 2026-10-29: add by m2/v0.4.12
Directional affine extractor PDKEMRB0YX
| URI | m2://inv/PDKEMRB0YX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#P9T8, Directional affine extractor (definition). In ZZER8ZBSCR/e1, definition 1.4
History
- 2026-10-29: add by m2/v0.4.12
PDKNVV6JR9 PDKNVV6JR9
| URI | m2://inv/PDKNVV6JR9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability.tex#sfr:siz:nen:prob:f-posint (exercise). In PKGMM3P5QY, prob, section 83.9
History
- 2026-11-01: add by m2/v0.6.13
Amrik Singh Nimbran PDKRCC0AKJ
| URI | m2://inv/PDKRCC0AKJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amrik Singh Nimbran, Amrik Singh Nimbran (topic). Also Wikidata Q96417654
History
- 2026-11-02: add by m2/dev
PDKW2FZ528 PDKW2FZ528
| URI | m2://inv/PDKW2FZ528 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35844#Y7OY (statement). In V33HFE8TZT/e1, fact 4
History
- 2026-10-30: add by m2/v0.4.12
associative array PDKWZM801Y
| URI | m2://inv/PDKWZM801Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q80585, associative array (unknown). Also MathWorld AssociativeArray
History
- 2026-10-26: add by m2/dev
PDKZV46G6X PDKZV46G6X
| URI | m2://inv/PDKZV46G6X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#GG5G (example). In BWD76W20W8/e1, example 5.8
History
- 2026-10-29: add by m2/v0.4.12
Topological derivative PDM32904G8
| URI | m2://inv/PDM32904G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological derivative, Topological derivative (definition). Also Wikidata Q7825031
History
- 2026-11-02: add by m2/dev
Kaprekar number PDM92SGSX2
| URI | m2://inv/PDM92SGSX2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1478274, Kaprekar number (concept). Also MathWorld KaprekarNumber
- wikipedia: Wikipedia Kaprekar number, Kaprekar number (definition). Also Wikidata Q1478274
History
- 2026-10-26: add by m2/dev
PDM9ZJRRJN PDM9ZJRRJN
| URI | m2://inv/PDM9ZJRRJN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25973#X775 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Michael Scott Jacobson PDMDCX6S3G
| URI | m2://inv/PDMDCX6S3G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BY56, Michael Scott Jacobson (topic)
History
- 2026-11-02: add by m2/dev
PDMF3PPDPB PDMF3PPDPB
| URI | m2://inv/PDMF3PPDPB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#ques-6 (exercise). In RZP28ERRZV, ques, section 95.5
History
- 2026-11-01: add by m2/v0.6.13
Small balls along regular minimizing geodesics PDMMB8V3XP
| URI | m2://inv/PDMMB8V3XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05204#B48U, Small balls along regular minimizing geodesics (statement). In ET0TQ8YF7Z/e1, proposition 7.9
History
- 2026-10-29: add by m2/v0.4.10
triple product PDMPMN509D
| URI | m2://inv/PDMPMN509D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36248, triple product (unknown). Also MathWorld ScalarTripleProduct
- wikipedia: Wikipedia Triple product, Triple product (definition). Also Wikidata Q36248
History
- 2026-10-26: add by m2/dev
Riemann summability PDMTNHT5VP
| URI | m2://inv/PDMTNHT5VP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergent series#GLB3, Riemann summability (unknown)
History
- 2026-11-02: add by m2/dev
Definition PDN4BEPX7V
| URI | m2://inv/PDN4BEPX7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate vector#K6X5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Commonsense reasoning PDN7VAVEHB
| URI | m2://inv/PDN7VAVEHB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commonsense reasoning, Commonsense reasoning (topic). Also Wikidata Q5153664
History
- 2026-11-02: add by m2/dev
PDNV89SFF7 PDNV89SFF7
| URI | m2://inv/PDNV89SFF7 |
|---|---|
| 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#B3YC (statement). In 6HKGGCMBCK/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
Special case PDNWHPXTGG
| URI | m2://inv/PDNWHPXTGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06108#B411, Special case (statement). In D3WKY1PW64/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
TFNP PDP706SHYB
| URI | m2://inv/PDP706SHYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TFNP, TFNP (definition). Also Wikidata Q2898181
History
- 2026-11-02: add by m2/dev
PDPCR637J4 PDPCR637J4
| URI | m2://inv/PDPCR637J4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#BCCZ (definition). In G02N9D40B9/e1, definition 4.2.3
History
- 2026-10-29: add by m2/v0.4.10
PDPJPKF9AC PDPJPKF9AC
| URI | m2://inv/PDPJPKF9AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.03909#208M (statement). In WWFAVFGPQQ/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.4.0
PDPPCRJDTC PDPPCRJDTC
| URI | m2://inv/PDPPCRJDTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#D6Y0 (statement). In JW8HH6EPG2/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
*{Theorem 3}, *{Lemma 3.1.2 PDPQG54ZMC
| URI | m2://inv/PDPQG54ZMC |
|---|---|
| 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.06521#4ZKD, *{Theorem 3}, *{Lemma 3.1.2 (statement). In NVXWD513NM/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Shmuel Friedland PDPV2T9B4V
| URI | m2://inv/PDPV2T9B4V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shmuel Friedland, Shmuel Friedland (topic). Also Wikidata Q23062498
History
- 2026-11-02: add by m2/dev
PDQ41GM51H PDQ41GM51H
| URI | m2://inv/PDQ41GM51H |
|---|---|
| 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.36909#UR5V (statement). In S5SKFZB5WH/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Statement PDQFN77DNG
| URI | m2://inv/PDQFN77DNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratio of uniforms#QHF4, Statement (statement)
History
- 2026-11-02: add by m2/dev
zero-sum game PDQJAPE6S6
| URI | m2://inv/PDQJAPE6S6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q156612, zero-sum game (unknown). Also MathWorld Zero-SumGame
- wikipedia: Wikipedia Zero-sum game, Zero-sum game (definition). Also Wikidata Q156612
History
- 2026-10-26: add by m2/dev
PDQMFZRC5Z PDQMFZRC5Z
| URI | m2://inv/PDQMFZRC5Z |
|---|---|
| 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.14803#MS7J (statement). In VAEVDTBD3B/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Peano axioms PDQRCJD4GP
| URI | m2://inv/PDQRCJD4GP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Peano axioms 0QFT7Z76N5 |
Mentions
- wikidata: Wikidata Q842755, Peano axioms (unknown). Also MathWorld PeanosAxioms
- wikipedia: Wikipedia Peano axioms, Peano axioms (statement). Also Wikidata Q842755
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
PDR0PYC12D PDR0PYC12D
| URI | m2://inv/PDR0PYC12D |
|---|---|
| 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.09129#DT8O (statement). In Z1RZSF68XZ/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.10
Determinantal point process PDR1259576
| URI | m2://inv/PDR1259576 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5265688, Determinantal point process (unknown). Also nLab determinantal point process
- wikipedia: Wikipedia Determinantal point process, Determinantal point process (definition). Also Wikidata Q5265688
History
- 2026-10-26: add by m2/dev
Gross–Zagier theorem PDR6T24YM9
| URI | m2://inv/PDR6T24YM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heegner point#40KT, Gross–Zagier theorem (statement)
History
- 2026-11-02: add by m2/dev
PDRGNW12JN PDRGNW12JN
| URI | m2://inv/PDRGNW12JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#KRH6 (statement). In KBH265QSBT/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
PDRJDMPF3K PDRJDMPF3K
| URI | m2://inv/PDRJDMPF3K |
|---|---|
| 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.13850#QV6D (statement). In KJY735KSMF/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
Blum's speedup theorem PDRQ6TTE4D
| URI | m2://inv/PDRQ6TTE4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1751105, Blum's speedup theorem (statement). Also Wikidata Q1751105
- thousand_plus: thousand_plus Q1751105, Blum's speedup theorem (statement). Also Wikidata Q1751105, Wikipedia Blum's speedup theorem
- wikidata: Wikidata Q1751105, Blum's speedup theorem (statement). Also MathWorld BlumsSpeed-UpTheorem
- wikipedia: Wikipedia Blum's speedup theorem, Blum's speedup theorem (statement). Also Wikidata Q1751105
History
- 2026-10-26: add by m2/dev
Maria Gaetana Agnesi PDRW1HYDS9
| URI | m2://inv/PDRW1HYDS9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Gaetana Agnesi, Maria Gaetana Agnesi (topic). Also Wikidata Q200392
History
- 2026-11-02: add by m2/dev
Examples PDS5C7823Q
| URI | m2://inv/PDS5C7823Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded variation#DAIL, Examples (example)
History
- 2026-11-02: add by m2/dev
PDSE77SXD6 PDSE77SXD6
| URI | m2://inv/PDSE77SXD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#ACWD (statement). In GHKR740SG3/e1, proposition 3.5
History
- 2026-10-31: add by m2/v0.5.6
PDSG7E89FG PDSG7E89FG
| URI | m2://inv/PDSG7E89FG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 15.2
History
- 2026-11-01: add by m2/v0.6.13
PDSH2B2DG1 PDSH2B2DG1
| URI | m2://inv/PDSH2B2DG1 |
|---|---|
| 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.34013#X6J9 (statement). In 3TA3P3CWSJ/e1, corollary 5.5.1
History
- 2026-10-30: add by m2/v0.4.12
PDSVKY5KWX PDSVKY5KWX
| URI | m2://inv/PDSVKY5KWX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-98 (exercise). In E9HS8K3A52, exercise, section 4.7.1
History
- 2026-11-01: add by m2/v0.6.13
PDT74JJQHH PDT74JJQHH
| URI | m2://inv/PDT74JJQHH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#NDSY (definition). In X1AGBB90EH/e1, definition 5.17
History
- 2026-10-28: add by m2/v0.4.2
PDT7XBTPXY PDT7XBTPXY
| URI | m2://inv/PDT7XBTPXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#SCDA (statement). In GXHKRV5BPY/e1, corollary C.4
History
- 2026-10-29: add by m2/v0.4.10
Properties PDT89CWXZP
| URI | m2://inv/PDT89CWXZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinh structure#V38V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lemma 2 PDTDRV47XE
| URI | m2://inv/PDTDRV47XE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander walk sampling#GMQE, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
Anton von Braunmühl PDTTSH3YYJ
| URI | m2://inv/PDTTSH3YYJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anton von Braunmühl, Anton von Braunmühl (topic). Also Wikidata Q96094
History
- 2026-11-02: add by m2/dev
Continuous variational realization PDTY8DA78B
| URI | m2://inv/PDTY8DA78B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#E6AX, Continuous variational realization (statement). In 9YAE8FNQST/e1, theorem 17.23
History
- 2026-10-30: add by m2/v0.4.12
ARGUS distribution PDTZX4YTV5
| URI | m2://inv/PDTZX4YTV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8UTM, ARGUS distribution (definition)
History
- 2026-11-02: add by m2/dev
PDV6HWEJB6 PDV6HWEJB6
| URI | m2://inv/PDV6HWEJB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01467#INGT (statement). In 10GZB25WAC/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.12
common logarithm PDV6VD9DBG
| URI | m2://inv/PDV6VD9DBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q966582, common logarithm (unknown). Also MathWorld CommonLogarithm
- wikipedia: Wikipedia Common logarithm, Common logarithm (definition). Also Wikidata Q966582
History
- 2026-10-26: add by m2/dev
Jeremy Quastel PDVAS07T8T
| URI | m2://inv/PDVAS07T8T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeremy Quastel, Jeremy Quastel (topic). Also Wikidata Q11109473
History
- 2026-11-02: add by m2/dev
Hecke PDVBDVXVS6
| URI | m2://inv/PDVBDVXVS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#DY65, Hecke (definition)
History
- 2026-11-02: add by m2/dev
Applications PDVBF5KF19
| URI | m2://inv/PDVBF5KF19 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry's law#H7ES, Applications (example)
History
- 2026-11-02: add by m2/dev
Atoms bound later posteriors PDVH6DRCH5
| URI | m2://inv/PDVH6DRCH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 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.20683#ZVHT, Atoms bound later posteriors (statement)
History
- 2026-11-02: add by m2/v0.6.18
Siddhānta Shiromani PDVPKBHQGC
| URI | m2://inv/PDVPKBHQGC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3448458, Siddhānta Shiromani (unknown). Also ProofWiki Book:Bhaskara_II_Acharya/Siddhanta_Shiromani
History
- 2026-10-26: add by m2/dev
Singer-circulant CSS code from PG(d,q PDW06GTRNS
| URI | m2://inv/PDW06GTRNS |
|---|---|
| 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.02392#NJH7, Singer-circulant CSS code from PG(d,q (statement). In W066HQZQBF/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
PDW3ZJWM0C PDW3ZJWM0C
| URI | m2://inv/PDW3ZJWM0C |
|---|---|
| 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.05320#63LU (statement). In MVXZWHKEX8/e1, proposition 6.9
History
- 2026-10-29: add by m2/v0.4.10
PDWDQ0K1ZA PDWDQ0K1ZA
| URI | m2://inv/PDWDQ0K1ZA |
|---|---|
| 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.12353#5V2R (statement). In 7TSXNR7TC5/e1, lemma II.2
History
- 2026-10-28: add by m2/v0.4.2
PDWJ22HFQM PDWJ22HFQM
| URI | m2://inv/PDWJ22HFQM |
|---|---|
| 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.17547#VD6W (statement). In XJ59TDP4HA/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.2
Definition PDWRCXR49S
| URI | m2://inv/PDWRCXR49S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homeotopy#MLDV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Contrast effect PDWSE11G3Z
| URI | m2://inv/PDWSE11G3Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#KM3W, Contrast effect (unknown)
History
- 2026-11-02: add by m2/dev
PDWXZJ94WG PDWXZJ94WG
| URI | m2://inv/PDWXZJ94WG |
|---|---|
| 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#A420 (statement). In GAG532VMPF/e1, proposition 7.3.1
History
- 2026-10-27: add by m2/v0.3.5
Finite matching PDWYWKXFW0
| URI | m2://inv/PDWYWKXFW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#3KAT, Finite matching (statement)
History
- 2026-11-01: add by m2/v0.6.15
PDXCDY9YNC PDXCDY9YNC
| URI | m2://inv/PDXCDY9YNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#JVIV (statement). In 585QYGX4X6/e1, lemma 32
History
- 2026-10-28: add by m2/v0.4.2
666 PDXD0VSTT1
| URI | m2://inv/PDXD0VSTT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q213058, 666 (statement). Also MathWorld BeastNumber, ProofWiki 666
- wikidata: Wikidata Q666, number of the beast (unknown). Also MathWorld BeastNumber
- wikipedia: Wikipedia 666 (number), 666 (definition). Also Wikidata Q213058
History
- 2026-10-26: add by m2/dev
PDXHC4H883 PDXHC4H883
| URI | m2://inv/PDXHC4H883 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-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.35102#0DX6 (statement). In XK6H7F2F13/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
PDXHCF7PVR PDXHCF7PVR
| URI | m2://inv/PDXHCF7PVR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
PDXMX83HX2 PDXMX83HX2
| URI | m2://inv/PDXMX83HX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#5QV4 (statement). In Y7TVAQE9PF/e1, proposition 3.13
History
- 2026-10-27: add by m2/v0.3.5
PDXNVXM948 PDXNVXM948
| URI | m2://inv/PDXNVXM948 |
|---|---|
| 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.20758#2URK (statement). In PG0B4PH9YH/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Generalization PDXRGJ1DCS
| URI | m2://inv/PDXRGJ1DCS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenberger–Horne–Zeilinger state#YFKS, Generalization (statement)
History
- 2026-11-02: add by m2/dev
PDXWEFB3H8 PDXWEFB3H8
| URI | m2://inv/PDXWEFB3H8 |
|---|---|
| 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 2201.10697#9847 (statement). In WN2Z20ZV49/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.6
PDXY2WVXA5 PDXY2WVXA5
| URI | m2://inv/PDXY2WVXA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00134#FECF (statement). In S654779J5P/e1, corollary 7.1
History
- 2026-10-30: add by m2/v0.4.12
PDXZ1T9E48 PDXZ1T9E48
| URI | m2://inv/PDXZ1T9E48 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
PDY14PVR99 PDY14PVR99
| URI | m2://inv/PDY14PVR99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#74R6 (statement). In KEP21CZFV9/e1, theorem #1
History
- 2026-10-31: add by m2/v0.5.6
hypothesis PDY8P8BZYT
| URI | m2://inv/PDY8P8BZYT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/hypothesis, hypothesis (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
PDYAJ9MX0B PDYAJ9MX0B
| URI | m2://inv/PDYAJ9MX0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#OKXI (statement). In GW23NX78SB/e1, lemma 4.26
History
- 2026-10-28: add by m2/v0.4.2
\textbf{Unnormalized discrete graph Laplace operator PDYBM7F840
| URI | m2://inv/PDYBM7F840 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17032#0R2R, \textbf{Unnormalized discrete graph Laplace operator (definition). In MXPK9A2HK2/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Minimum overlap problem PDYG2X5R1M
| URI | m2://inv/PDYG2X5R1M |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#A50I, Minimum overlap problem (conjecture)
History
- 2026-11-02: add by m2/dev
Ward–Takahashi identity PDYH1Z0MTE
| URI | m2://inv/PDYH1Z0MTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ward–Takahashi identity#HNHY, Ward–Takahashi identity (statement)
History
- 2026-11-02: add by m2/dev
PDYJAWSRD2 PDYJAWSRD2
| URI | m2://inv/PDYJAWSRD2 |
|---|---|
| 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.38772#X312 (statement). In 1C3R5NAQAP/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
PDYKQEMF7K PDYKQEMF7K
| URI | m2://inv/PDYKQEMF7K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-12 (proof). In E59CDZA4DP, proof, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Berlekamp–Van Lint–Seidel graph PDYKVS3DR2
| URI | m2://inv/PDYKVS3DR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61743750, Berlekamp–Van Lint–Seidel graph (unknown). Also House of Graphs 51174, MathWorld Berlekamp-vanLint-SeidelGraph
- wikipedia: Wikipedia Berlekamp–Van Lint–Seidel graph, Berlekamp–Van Lint–Seidel graph (definition). Also Wikidata Q61743750
History
- 2026-10-26: add by m2/dev
Fatou PDYSX5GYEN
| URI | m2://inv/PDYSX5GYEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#F7RV, Fatou (definition)
History
- 2026-11-02: add by m2/dev
PDYTCKGZRK PDYTCKGZRK
| URI | m2://inv/PDYTCKGZRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#J1EE (statement)
History
- 2026-11-01: add by m2/v0.6.15
PDYVFNQ7NT PDYVFNQ7NT
| URI | m2://inv/PDYVFNQ7NT |
|---|---|
| Kind | definition |
| 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#T07W (definition). In PEXJPV3NP8/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Romberg's method PDZ5ZRTEPV
| URI | m2://inv/PDZ5ZRTEPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#6YD9, Romberg's method (definition)
History
- 2026-11-02: add by m2/dev
Cholesky algorithm PDZ79REK15
| URI | m2://inv/PDZ79REK15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cholesky decomposition#D5FJ, Cholesky algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Graphical game theory PDZ9D5KP5R
| URI | m2://inv/PDZ9D5KP5R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphical game theory, Graphical game theory (topic). Also Wikidata Q5597169
History
- 2026-11-02: add by m2/dev
Sz\'ekelyhidi PDZG08W838
| URI | m2://inv/PDZG08W838 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#VSVW, Sz\'ekelyhidi (statement). In YKD51BX3XB/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
Martin PDZK6Y73PC
| URI | m2://inv/PDZK6Y73PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VOES, Martin (definition)
History
- 2026-11-02: add by m2/dev
image of a segment PDZZYT27NV
| URI | m2://inv/PDZZYT27NV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > image of a segment, image of a segment (unknown). Also Mathlib ContinuousOn.image_Icc
History
- 2026-10-26: add by m2/dev