Inventory rows SD
The cards of the rows of the inventory whose ids start with SD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
impossibility SD02RJE67B
| URI | m2://inv/SD02RJE67B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#L41K, impossibility (definition)
History
- 2026-11-02: add by m2/dev
Powers of 2 SD04G9BGGB
| URI | m2://inv/SD04G9BGGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#FAEN, Powers of 2 (definition)
History
- 2026-11-02: add by m2/dev
Alan Turing law SD0A1Y41ZE
| URI | m2://inv/SD0A1Y41ZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#4BX4, Alan Turing law (unknown)
History
- 2026-11-02: add by m2/dev
Enigma Reflector SD0KT5QZF7
| URI | m2://inv/SD0KT5QZF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma machine#YL16, Enigma Reflector (unknown)
History
- 2026-11-02: add by m2/dev
Lindley, Dennis V. SD0M2X652P
| URI | m2://inv/SD0M2X652P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2APS, Lindley, Dennis V. (unknown)
History
- 2026-11-02: add by m2/dev
Definition SD0M73R56S
| URI | m2://inv/SD0M73R56S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schizophrenic number#ZUSA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem SD0MPCCC2B
| URI | m2://inv/SD0MPCCC2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hiptmair–Xu preconditioner#AIN9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
SD0Q5E9CKC SD0Q5E9CKC
| URI | m2://inv/SD0Q5E9CKC |
|---|---|
| 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.04993#CCWL (statement). In JQBWZPXKAV/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
Thomas M. Liggett SD0RSKQ4AV
| URI | m2://inv/SD0RSKQ4AV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y5E1, Thomas M. Liggett (topic)
History
- 2026-11-02: add by m2/dev
Factor monoid SD0T09NASN
| URI | m2://inv/SD0T09NASN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup#JBZG, Factor monoid (unknown)
History
- 2026-11-02: add by m2/dev
SD0WV93ETV SD0WV93ETV
| URI | m2://inv/SD0WV93ETV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#ps:divergeex (example). In E59CDZA4DP, example, section 10.6.5
History
- 2026-11-01: add by m2/v0.6.13
SD16PEBMZM SD16PEBMZM
| URI | m2://inv/SD16PEBMZM |
|---|---|
| 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-56 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
SD18C8ZJG4 SD18C8ZJG4
| URI | m2://inv/SD18C8ZJG4 |
|---|---|
| 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 2609.32174#HXM6 (definition). In GHKR740SG3/e1, definition 18.1
History
- 2026-10-31: add by m2/v0.5.6
Cosmological Equations SD19XA4FB3
| URI | m2://inv/SD19XA4FB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physical cosmology#IFRR, Cosmological Equations (unknown)
History
- 2026-11-02: add by m2/dev
SD1CKVGRCZ SD1CKVGRCZ
| URI | m2://inv/SD1CKVGRCZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#LZHR (definition)
History
- 2026-11-01: add by m2/v0.6.15
John Shand SD1F030WAW
| URI | m2://inv/SD1F030WAW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Shand, John Shand (topic). Also Wikidata Q6257403
History
- 2026-11-02: add by m2/dev
SD1GXZ84BA SD1GXZ84BA
| URI | m2://inv/SD1GXZ84BA |
|---|---|
| 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#ESNN (statement). In EY0QS456EC/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
SD1Y0JFZHE SD1Y0JFZHE
| URI | m2://inv/SD1Y0JFZHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#ZW08 (statement). In CSRZ9CWK69/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
SD1ZGF0H4P SD1ZGF0H4P
| URI | m2://inv/SD1ZGF0H4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#P6UG (statement). In F8RC6AENB0/e1, lemma 5.13
History
- 2026-10-27: add by m2/v0.3.5
Definition SD236JSZM0
| URI | m2://inv/SD236JSZM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karnaugh map#C3SX, Definition (definition)
History
- 2026-11-02: add by m2/dev
SD248QN66M SD248QN66M
| URI | m2://inv/SD248QN66M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 86.10
History
- 2026-11-01: add by m2/v0.6.13
Applications SD27AVD4Z9
| URI | m2://inv/SD27AVD4Z9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus#UGKF, Applications (example)
History
- 2026-11-02: add by m2/dev
The BKL conjecture SD27HJCQM8
| URI | m2://inv/SD27HJCQM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BKL singularity#I0AW, The BKL conjecture (statement)
History
- 2026-11-02: add by m2/dev
List of things named after Évariste Galois SD2FVVGDHA
| URI | m2://inv/SD2FVVGDHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#0MU1, List of things named after Évariste Galois (unknown)
History
- 2026-11-02: add by m2/dev
Minimizer of the WEF $I_{\epsilon}(u)$ SD2HR53RB1
| URI | m2://inv/SD2HR53RB1 |
|---|---|
| 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.15111#2B5Z, Minimizer of the WEF $I_{\epsilon}(u)$ (statement). In 6RE6JYE4GP/e1, theorem C.1
History
- 2026-10-28: add by m2/v0.4.2
Michel Talagrand SD2QCK75TJ
| URI | m2://inv/SD2QCK75TJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#EY8V, Michel Talagrand (topic)
History
- 2026-11-02: add by m2/dev
contour SD2RDYAA70
| URI | m2://inv/SD2RDYAA70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#0HWU, contour (definition)
History
- 2026-11-02: add by m2/dev
Cycle classes SD2VC631YZ
| URI | m2://inv/SD2VC631YZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#FOV9, Cycle classes (statement). In 3TJ2FWXQ0D/e1, fact 2.6
History
- 2026-10-29: add by m2/v0.4.12
SD2W7GXQK9 SD2W7GXQK9
| URI | m2://inv/SD2W7GXQK9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#XY3W (definition)
History
- 2026-11-01: add by m2/v0.6.15
The spectral fiber at a classical point SD36H1PN0E
| URI | m2://inv/SD36H1PN0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#PAVH, The spectral fiber at a classical point (statement). In 8BNPFYQDQX/e1, proposition 8.7
History
- 2026-10-29: add by m2/v0.4.10
SD3784621F SD3784621F
| URI | m2://inv/SD3784621F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#ex:monoid-eq-prop (exercise). In N54F33XE07, ex, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
SD3P8F2M9V SD3P8F2M9V
| URI | m2://inv/SD3P8F2M9V |
|---|---|
| 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.23595#3DXL (statement)
History
- 2026-11-02: add by m2/v0.6.17
SD3QD606T8 SD3QD606T8
| URI | m2://inv/SD3QD606T8 |
|---|---|
| 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.00113#SG0B (statement). In R9PP1Y2EP4/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
SD3RE47ZES SD3RE47ZES
| URI | m2://inv/SD3RE47ZES |
|---|---|
| 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#EBT5 (statement). In E7W2HDNEKJ/e1, lemma 6.31
History
- 2026-10-30: add by m2/v0.4.12
Paul Bernays SD3S0MVDXE
| URI | m2://inv/SD3S0MVDXE |
|---|---|
| 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 Q122318, Paul Bernays (unknown). Also nLab Paul Bernays
- wikipedia: Wikipedia Paul Bernays, Paul Bernays (topic). Also Wikidata Q122318
History
- 2026-10-26: add by m2/dev
Support of the content guard SD3WTWJ5CB
| URI | m2://inv/SD3WTWJ5CB |
|---|---|
| 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.27641#0CJH, Support of the content guard (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties SD3XJJXJPC
| URI | m2://inv/SD3XJJXJPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological vector lattice#JWNV, Properties (statement)
History
- 2026-11-02: add by m2/dev
SD3XK0FFTM SD3XK0FFTM
| URI | m2://inv/SD3XK0FFTM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proving-things.tex#ex-2 (example). In PKGMM3P5QY, ex, section 15.7
History
- 2026-11-01: add by m2/v0.6.13
John Tukey SD44C0X0C9
| URI | m2://inv/SD44C0X0C9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SROW, John Tukey (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O83G, John Tukey (topic)
History
- 2026-11-02: add by m2/dev
SD4B0P8M4B SD4B0P8M4B
| URI | m2://inv/SD4B0P8M4B |
|---|---|
| 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.03477#EZ0G (statement). In GXN3D4G4HE/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Hyperbolic tiling SD4BBRD2WA
| URI | m2://inv/SD4BBRD2WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ROI3, Hyperbolic tiling (definition)
History
- 2026-11-02: add by m2/dev
SD4CC278C4 SD4CC278C4
| URI | m2://inv/SD4CC278C4 |
|---|---|
| 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.12413#WOYY (statement). In 6EJ8J60SP8/e1, theorem 19
History
- 2026-10-28: add by m2/v0.4.2
Formal definition SD4PF8AQKA
| URI | m2://inv/SD4PF8AQKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional encryption#Y7BB, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
SD4PMGREVK SD4PMGREVK
| URI | m2://inv/SD4PMGREVK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#cor:soundness-logics (statement). In PKGMM3P5QY, cor, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
SD4VME1TQV SD4VME1TQV
| URI | m2://inv/SD4VME1TQV |
|---|---|
| Kind | example |
| 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 2504.13516#G934 (example). In Z9JWKWH7CJ/e1, example 4.4
History
- 2026-10-27: add by m2/v0.3.5
SD50FBE734 SD50FBE734
| URI | m2://inv/SD50FBE734 |
|---|---|
| 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#G2C3 (statement). In XK6H7F2F13/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
SD526MS4QE SD526MS4QE
| URI | m2://inv/SD526MS4QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06899#SYOL (statement). In 5Z2K9JGFSS/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
SD56V191XA SD56V191XA
| URI | m2://inv/SD56V191XA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singmaster's conjecture#2TO5 (problem)
History
- 2026-11-02: add by m2/dev
SD57DAC6M4 SD57DAC6M4
| URI | m2://inv/SD57DAC6M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-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.24901#LOO0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SD582AQ3XK SD582AQ3XK
| URI | m2://inv/SD582AQ3XK |
|---|---|
| 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#51IR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Some additional laws for unions and intersections SD5D6W9VWV
| URI | m2://inv/SD5D6W9VWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra of sets#9W1Q, Some additional laws for unions and intersections (statement)
History
- 2026-11-02: add by m2/dev
2011 United Kingdom census SD5E6P2GWS
| URI | m2://inv/SD5E6P2GWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2011 United Kingdom census, 2011 United Kingdom census (definition). Also Wikidata Q855531
History
- 2026-11-02: add by m2/dev
Definition SD5F7A970P
| URI | m2://inv/SD5F7A970P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mabuchi functional#DX0S, Definition (definition)
History
- 2026-11-02: add by m2/dev
SD5F8V6X3D SD5F8V6X3D
| URI | m2://inv/SD5F8V6X3D |
|---|---|
| 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.13423#2ZFE (statement). In 9JWYWC92M3/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
SD5GJ6QABC SD5GJ6QABC
| URI | m2://inv/SD5GJ6QABC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.14214#W20L (statement). In SY85Y9E45A/e1, theorem 31
History
- 2026-10-27: add by m2/v0.3.5
Boiling frog SD5K3P6PJ0
| URI | m2://inv/SD5K3P6PJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#M21F, Boiling frog (unknown)
History
- 2026-11-02: add by m2/dev
down set SD5MEV3W09
| URI | m2://inv/SD5MEV3W09 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.3/down-set, down set (concept). In QKM9DD2H56, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
SD5MPH5QRJ SD5MPH5QRJ
| URI | m2://inv/SD5MPH5QRJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#29JC (definition). In 6DJR9DKY5W/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Brouwer fixed-point theorem SD5VWAP4WE
| URI | m2://inv/SD5VWAP4WE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PPAD-complete problems#VKVL, Brouwer fixed-point theorem (statement)
- wikipedia: Wikipedia List of mathematical proofs#CXI6, Brouwer fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
SD5WZB0E4T SD5WZB0E4T
| URI | m2://inv/SD5WZB0E4T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#proof-2 (proof). In RZP28ERRZV, proof, section 61.2
History
- 2026-11-01: add by m2/v0.6.13
Christine Bernardi SD67Q8A0CA
| URI | m2://inv/SD67Q8A0CA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christine Bernardi, Christine Bernardi (topic). Also Wikidata Q1083437
History
- 2026-11-02: add by m2/dev
SD6GBQRCHQ SD6GBQRCHQ
| URI | m2://inv/SD6GBQRCHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/lindstrom/ls-property.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 48.1
History
- 2026-11-01: add by m2/v0.6.13
$n=4$, $r=2$: $z\ge2$ combined with nontrivial $\mu$ SD6GWCSJ6E
| URI | m2://inv/SD6GWCSJ6E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX, 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.29683#L0MS, $n=4$, $r=2$: $z\ge2$ combined with nontrivial $\mu$ (example)
History
- 2026-11-01: add by m2/v0.6.15
Path coefficient SD6MTX1WJB
| URI | m2://inv/SD6MTX1WJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NZK8, Path coefficient (definition)
History
- 2026-11-02: add by m2/dev
Sign-value notation SD6NSYBE6Y
| URI | m2://inv/SD6NSYBE6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign-value notation, Sign-value notation (definition). Also Wikidata Q353240
History
- 2026-11-02: add by m2/dev
Cut-Elimination SD6PKJHHM8
| URI | m2://inv/SD6PKJHHM8 |
|---|---|
| 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.26337#AI8D, Cut-Elimination (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dov Gabbay Prize SD6RZ06E5S
| URI | m2://inv/SD6RZ06E5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dov Gabbay#2GVH, Dov Gabbay Prize (unknown)
History
- 2026-11-02: add by m2/dev
SD6Y8ZPNXA SD6Y8ZPNXA
| URI | m2://inv/SD6Y8ZPNXA |
|---|---|
| Kind | example |
| 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#DX2R (example). In 6B2PCEGCYZ/e1, example 2.15
History
- 2026-10-31: add by m2/v0.5.6
Word Processing in Groups SD6ZZDAG9K
| URI | m2://inv/SD6ZZDAG9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word Processing in Groups, Word Processing in Groups (definition). Also Wikidata Q85816178
History
- 2026-11-02: add by m2/dev
Termwise differentiation SD7AZ5KJAQ
| URI | m2://inv/SD7AZ5KJAQ |
|---|---|
| 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.11077#2DC5, Termwise differentiation (statement). In 4333A6G5K5/e1, proposition A.2
History
- 2026-10-28: add by m2/v0.4.3
Markov Decision Process SD7EQNVSVS
| URI | m2://inv/SD7EQNVSVS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36421#0J59, Markov Decision Process (definition). In E0ZRSZ0YHT/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
SD7EZ6G7WY SD7EZ6G7WY
| URI | m2://inv/SD7EZ6G7WY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
SD7JE6VY5Z SD7JE6VY5Z
| URI | m2://inv/SD7JE6VY5Z |
|---|---|
| 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.22344#SRS4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem (Exercise 2.5.10) SD7SZGJ59E
| URI | m2://inv/SD7SZGJ59E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#ENVS, Theorem (Exercise 2.5.10) (statement)
History
- 2026-11-02: add by m2/dev
Statement of the theorem SD7VM2BV2Q
| URI | m2://inv/SD7VM2BV2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two ears theorem#BK4F, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
SD7ZFVFPJ1 SD7ZFVFPJ1
| URI | m2://inv/SD7ZFVFPJ1 |
|---|---|
| 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#EP25 (statement). In JW8HH6EPG2/e1, lemma 4.17
History
- 2026-10-29: add by m2/v0.4.10
SD80T327N2 SD80T327N2
| URI | m2://inv/SD80T327N2 |
|---|---|
| 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 2111.08123#IUQ6 (statement). In TAAB0QAKAG/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.3.5
weak excluded middle SD85CP0FCP
| URI | m2://inv/SD85CP0FCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FQW6, weak excluded middle (definition)
History
- 2026-11-02: add by m2/dev
SD8866C3YY SD8866C3YY
| URI | m2://inv/SD8866C3YY |
|---|---|
| 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.12705#CH8T (statement). In P9ZEYB9AMG/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Implementation SD89035ZGT
| URI | m2://inv/SD89035ZGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latent semantic analysis#P4DM, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Carmichael's totient function conjecture SD8CWJVD69
| URI | m2://inv/SD8CWJVD69 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5043655, Carmichael's totient function conjecture (conjecture). Also MathWorld CarmichaelsTotientFunctionConjecture
- wikipedia: Wikipedia Carmichael's totient function conjecture, Carmichael's totient function conjecture (conjecture). Also Wikidata Q5043655
History
- 2026-10-26: add by m2/dev
Eulerian integer SD947F5BV1
| URI | m2://inv/SD947F5BV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#BGUN, Eulerian integer (definition)
History
- 2026-11-02: add by m2/dev
SD9HHQ6VE0 SD9HHQ6VE0
| URI | m2://inv/SD9HHQ6VE0 |
|---|---|
| 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.03337#31LD (statement). In VH7EZDGTNA/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.12
Gödel operation SD9JS48K8J
| URI | m2://inv/SD9JS48K8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel operation, Gödel operation (definition). Also Wikidata Q18207443
History
- 2026-11-02: add by m2/dev
relaxation with kernel $\bf m$ SD9PHK2K6Z
| URI | m2://inv/SD9PHK2K6Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#R6X0, relaxation with kernel $\bf m$ (definition). In 94RBNQA07A/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Engel's theorem SD9ST6K0Q4
| URI | m2://inv/SD9ST6K0Q4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3527069, Engel's theorem (statement). Also MathWorld EngelsTheorem
- wikipedia: Wikipedia Engel's theorem, Engel's theorem (statement). Also Wikidata Q3527069
History
- 2026-10-26: add by m2/dev
Jacobi symbol SDA7PD70D3
| URI | m2://inv/SDA7PD70D3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Jacobi symbol 0ADTQBXRMC |
Mentions
- wikidata: Wikidata Q241015, Jacobi symbol (concept). Also LMFDB knowl character.dirichlet.jacobi_symbol, MathWorld JacobiSymbol
- wikipedia: Wikipedia Jacobi symbol, Jacobi symbol (definition). Also Wikidata Q241015
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
SDAD8RQAE2 SDAD8RQAE2
| URI | m2://inv/SDAD8RQAE2 |
|---|---|
| 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.31327#89WG (definition). In F605BQ3AYX/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
order, strict SDAEJ7SC1H
| URI | m2://inv/SDAEJ7SC1H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/order-strict, order, strict (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Local regression SDAJNJTR2C
| URI | m2://inv/SDAJNJTR2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZTN2, Local regression (definition)
History
- 2026-11-02: add by m2/dev
SDANZHBQMH SDANZHBQMH
| URI | m2://inv/SDANZHBQMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03449#4UAF (statement). In 3XM05SYQ8D/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
SDAYDBMDTY SDAYDBMDTY
| URI | m2://inv/SDAYDBMDTY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/using-addition.tex#ordinfinitycharacter (statement). In PKGMM3P5QY, lem, section 72.1
History
- 2026-11-01: add by m2/v0.6.13
SDAZ0TGM7G SDAZ0TGM7G
| URI | m2://inv/SDAZ0TGM7G |
|---|---|
| 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 2111.14143#IHYF (statement). In QSKV7N0T89/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Von Neumann–Bernays–Gödel set theory SDB1F2V6TQ
| URI | m2://inv/SDB1F2V6TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#BULK, Von Neumann–Bernays–Gödel set theory (definition)
History
- 2026-11-02: add by m2/dev
Mean sojourn time SDB1KVNR20
| URI | m2://inv/SDB1KVNR20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean sojourn time, Mean sojourn time (definition). Also Wikidata Q6803641
History
- 2026-11-02: add by m2/dev
Construction SDB3EBS00D
| URI | m2://inv/SDB3EBS00D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solids with icosahedral symmetry#1CPH, Construction (definition)
History
- 2026-11-02: add by m2/dev
Energy-error estimate SDB3PPPE6X
| URI | m2://inv/SDB3PPPE6X |
|---|---|
| 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.01504#IV4P, Energy-error estimate (statement). In JAVB10Q2YZ/e1, proposition 5.5
History
- 2026-10-29: add by m2/v0.4.12
SDBBJ0FF45 SDBBJ0FF45
| URI | m2://inv/SDBBJ0FF45 |
|---|---|
| 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.29326#7NGA (statement). In 3F83V6VKKA/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.6
SDBKPYFPGQ SDBKPYFPGQ
| URI | m2://inv/SDBKPYFPGQ |
|---|---|
| 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.16886#4BBW (statement). In Y8QQAH7VCF/e1, theorem E.16
History
- 2026-10-28: add by m2/v0.4.2
SDBKY7MJ96 SDBKY7MJ96
| URI | m2://inv/SDBKY7MJ96 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:choice-cumulative-hierarchy-choice (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
SDBQEZDBXR SDBQEZDBXR
| URI | m2://inv/SDBQEZDBXR |
|---|---|
| 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.10107#77R4 (statement). In ZHNJ8MSXHW/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
SDBTRFDTJQ SDBTRFDTJQ
| URI | m2://inv/SDBTRFDTJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14446#B2EZ (statement). In AWRXXZR673/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
Properties SDBV2AG30X
| URI | m2://inv/SDBV2AG30X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle graph#23RB, Properties (statement)
History
- 2026-11-02: add by m2/dev
SDC2BYTTNR SDC2BYTTNR
| URI | m2://inv/SDC2BYTTNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 24.2.2
History
- 2026-11-01: add by m2/v0.6.13
SDCEKF8XWY SDCEKF8XWY
| URI | m2://inv/SDCEKF8XWY |
|---|---|
| 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.20675#45N3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
cartesian functor SDCYPRKEN5
| URI | m2://inv/SDCYPRKEN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#LJKL, cartesian functor (definition)
History
- 2026-11-02: add by m2/dev
Applications SDD69PDS6S
| URI | m2://inv/SDD69PDS6S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betweenness centrality#RKD1, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition SDD722WSEB
| URI | m2://inv/SDD722WSEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log semiring#L1E0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Michael Loss SDD877NVVC
| URI | m2://inv/SDD877NVVC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#45F0, Michael Loss (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1R2B, Michael Loss (topic)
History
- 2026-11-02: add by m2/dev
Giuseppe Peano SDDCTFX0C3
| URI | m2://inv/SDDCTFX0C3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#4TQ6, Giuseppe Peano (topic)
History
- 2026-11-02: add by m2/dev
SDDG5N2ZQ5 SDDG5N2ZQ5
| URI | m2://inv/SDDG5N2ZQ5 |
|---|---|
| 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.15352#H86Q (statement). In R39P7AFXM8/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Generalizations SDDN8EAZAC
| URI | m2://inv/SDDN8EAZAC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curry–Howard correspondence#ESZX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
SDDNFGJPMZ SDDNFGJPMZ
| URI | m2://inv/SDDNFGJPMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#JXOU (definition)
History
- 2026-11-02: add by m2/v0.6.17
Forrester's paradox SDDRB9673P
| URI | m2://inv/SDDRB9673P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forrester's paradox, Forrester's paradox (statement). Also Wikidata Q109747369
History
- 2026-11-02: add by m2/dev
CS-Cipher SDDW9S8RA3
| URI | m2://inv/SDDW9S8RA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CS-Cipher, CS-Cipher (definition). Also Wikidata Q1609474
History
- 2026-11-02: add by m2/dev
SDDXS6BJSN SDDXS6BJSN
| URI | m2://inv/SDDXS6BJSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#URZ4 (statement). In Q74G3BVZAQ/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Implementations SDE4Q66T8N
| URI | m2://inv/SDE4Q66T8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GGH encryption scheme#789H, Implementations (definition)
History
- 2026-11-02: add by m2/dev
SDE586AMZ2 SDE586AMZ2
| URI | m2://inv/SDE586AMZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39726#K86P (statement). In 4CTC8A57SD/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Lebesgue measurable SDEHMMP6BD
| URI | m2://inv/SDEHMMP6BD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#MDYB, Lebesgue measurable (definition)
History
- 2026-11-02: add by m2/dev
local uniformization SDEKY5DM4S
| URI | m2://inv/SDEKY5DM4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#FK39, local uniformization (definition)
History
- 2026-11-02: add by m2/dev
SDENZWDK23 SDENZWDK23
| URI | m2://inv/SDENZWDK23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-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.31919#P564 (statement). In RHN12PW9P9/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
Archie's law SDEQM7RSS0
| URI | m2://inv/SDEQM7RSS0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archie's law, Archie's law (statement). Also Wikidata Q262042
History
- 2026-11-02: add by m2/dev
Definition SDEWKWDHS7
| URI | m2://inv/SDEWKWDHS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Del#R6LN, Definition (definition)
History
- 2026-11-02: add by m2/dev
SDF24YPM2N SDF24YPM2N
| URI | m2://inv/SDF24YPM2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37584#HV8J (statement). In 66F6N3BJWV/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
Brett SDF346WJNV
| URI | m2://inv/SDF346WJNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#OYY7, Brett (unknown)
History
- 2026-11-02: add by m2/dev
434 (number) SDF56NV7C6
| URI | m2://inv/SDF56NV7C6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#VPHO, 434 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Applications SDFD83ER2A
| URI | m2://inv/SDFD83ER2A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outcome (game theory)#385A, Applications (example)
History
- 2026-11-02: add by m2/dev
Local theory for $w_{M}$ SDFHVEX1XN
| URI | m2://inv/SDFHVEX1XN |
|---|---|
| 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 2609.36403#QOOY, Local theory for $w_{M}$ (statement). In A4XGTS3QXQ/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
SDFRE3R3CZ SDFRE3R3CZ
| URI | m2://inv/SDFRE3R3CZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-5 (example). In E59CDZA4DP, example, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
Formula SDFXM3K446
| URI | m2://inv/SDFXM3K446 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal's triangle#MLWO, Formula (statement)
History
- 2026-11-02: add by m2/dev
SDG1ZEN1NT SDG1ZEN1NT
| URI | m2://inv/SDG1ZEN1NT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.20718#AIGK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sine SDGCFCDQ6C
| URI | m2://inv/SDGCFCDQ6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#8PK0, Sine (definition)
History
- 2026-11-02: add by m2/dev
Practice effect SDGF80GXE6
| URI | m2://inv/SDGF80GXE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Between-group design experiment#NMJK, Practice effect (unknown)
History
- 2026-11-02: add by m2/dev
Cylinder set SDGPDJTDT6
| URI | m2://inv/SDGPDJTDT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder set, Cylinder set (definition). Also Wikidata Q5199271
History
- 2026-11-02: add by m2/dev
Hilbert basis theorem SDGZK31K5Q
| URI | m2://inv/SDGZK31K5Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/D/hilbert-basis-theorem, Hilbert basis theorem (concept). In VNMV985MXX, index, section D
History
- 2026-11-01: add by m2/v0.6.13
SDH0F7STTP SDH0F7STTP
| URI | m2://inv/SDH0F7STTP |
|---|---|
| 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 2610.16235#RUUV (definition). In RNGNWGMX85/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
sₘₙ theorem SDH45D99SM
| URI | m2://inv/SDH45D99SM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 4 |
| Outcome | open |
| Node | Smn theorem YWX4FCFPAP |
Mentions
- mathlib_1000: mathlib_1000 Q1766814, Smn theorem (statement). Also Mathlib Nat.Partrec.Code.smn, Wikidata Q1766814
- thousand_plus: thousand_plus Q1766814, Smn theorem (statement). Also Mathlib Nat.Partrec.Code.smn, Wikidata Q1766814, Wikipedia Smn theorem
- wikidata: Wikidata Q1766814, sₘₙ theorem (statement). Also MathWorld Kleeness-m-nTheorem
- wikipedia: Wikipedia Smn theorem, Smn theorem (statement). Also Wikidata Q1766814
History
- 2026-10-26: add by m2/dev
SDHB3XBBGD SDHB3XBBGD
| URI | m2://inv/SDHB3XBBGD |
|---|---|
| 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.33682#KGK4 (statement). In GN608RC9ES/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
SDHC2Q35XG SDHC2Q35XG
| URI | m2://inv/SDHC2Q35XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13908#DJZP (statement). In 9C684206F0/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Examples SDHMFJ1FWF
| URI | m2://inv/SDHMFJ1FWF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farey sequence#G0IL, Examples (example)
History
- 2026-11-02: add by m2/dev
Fixed-reference validity SDHQQWDZAE
| URI | m2://inv/SDHQQWDZAE |
|---|---|
| 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.16248#WOUF, Fixed-reference validity (statement). In TP61DYMBMK/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
SDHWD95B7V SDHWD95B7V
| URI | m2://inv/SDHWD95B7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#BRS1 (statement). In WD2NCBV9F0/e1, proposition 5.17
History
- 2026-10-27: add by m2/v0.3.5
SDHWSH4QGX SDHWSH4QGX
| URI | m2://inv/SDHWSH4QGX |
|---|---|
| Kind | statement |
| 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 2610.00856#E5OK (statement). In W6VHD4QBY4/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
Theorem SDJ1SMH4H9
| URI | m2://inv/SDJ1SMH4H9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#NBGO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Reflection Schema SDJ5QVNRNY
| URI | m2://inv/SDJ5QVNRNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/ref.tex#reflectionschema, Reflection Schema (statement). In PKGMM3P5QY, thm, section 73.10
History
- 2026-11-01: add by m2/v0.6.13
SDJ7EM1200 SDJ7EM1200
| URI | m2://inv/SDJ7EM1200 |
|---|---|
| Kind | problem |
| 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.20716#V4EM (problem)
History
- 2026-11-02: add by m2/v0.6.18
SDJE57162G SDJE57162G
| URI | m2://inv/SDJE57162G |
|---|---|
| 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 math/9807180#8ZQH (statement). In VR3766BVE5/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Normality test SDJJC8SS3Q
| URI | m2://inv/SDJJC8SS3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normality test, Normality test (definition). Also Wikidata Q3026029
History
- 2026-11-02: add by m2/dev
SDJKG1V08Z SDJKG1V08Z
| URI | m2://inv/SDJKG1V08Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-43 (exercise). In VNMV985MXX, exercise, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
SDJQ74A3JP SDJQ74A3JP
| URI | m2://inv/SDJQ74A3JP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0811.0544#XKM1 (statement). In RKPZ3SC956/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.3.5
projection SDJQHHAT3W
| URI | m2://inv/SDJQHHAT3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13415428, projection (unknown). Also MathWorld Projection
- wikipedia: Wikipedia Projection (mathematics), Projection (definition). Also Wikidata Q13415428
History
- 2026-10-26: add by m2/dev
SDJTK44GF0 SDJTK44GF0
| URI | m2://inv/SDJTK44GF0 |
|---|---|
| Kind | definition |
| 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.30444#180Q (definition). In RZWJ0AT8W5/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
799 (number) SDJY39A34F
| URI | m2://inv/SDJY39A34F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#GV9J, 799 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Lee SDK1PDP2XM
| URI | m2://inv/SDK1PDP2XM |
|---|---|
| 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 2501.17850#UDYH, Lee (statement). In WS5KWBEG5Q/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
List of things named after Augustin-Louis Cauchy SDK5VAB6S4
| URI | m2://inv/SDK5VAB6S4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#K0NZ, List of things named after Augustin-Louis Cauchy (topic)
History
- 2026-11-02: add by m2/dev
SDKCBDVFMV SDKCBDVFMV
| URI | m2://inv/SDKCBDVFMV |
|---|---|
| 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#HKYA (statement). In JWNYJVH8XG/e1, corollary 4.18
History
- 2026-10-29: add by m2/v0.4.10
Tullio Levi-Civita SDKCP3MR4M
| URI | m2://inv/SDKCP3MR4M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#BIKL, Tullio Levi-Civita (topic)
History
- 2026-11-02: add by m2/dev
SDKEB3D4GK SDKEB3D4GK
| URI | m2://inv/SDKEB3D4GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#XROO (statement). In E4EK1XXPY4/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
SDKG9ZVNGB SDKG9ZVNGB
| URI | m2://inv/SDKG9ZVNGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#ZYWB (statement). In 43TBS9P2PX/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
SDKS6EVEJW SDKS6EVEJW
| URI | m2://inv/SDKS6EVEJW |
|---|---|
| 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#WAR2 (statement). In MRR92GQNZE/e1, corollary 4.6
History
- 2026-10-30: add by m2/v0.4.12
SDM0PMDGK5 SDM0PMDGK5
| URI | m2://inv/SDM0PMDGK5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/verification.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
SDM5EPYQ52 SDM5EPYQ52
| URI | m2://inv/SDM5EPYQ52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#Q8HW (statement). In QHFP0837Q8/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
SDM7N8M1P6 SDM7N8M1P6
| URI | m2://inv/SDM7N8M1P6 |
|---|---|
| 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 2308.05066#V8OI (statement). In 1QSCT53ZED/e1, lemma 10.4
History
- 2026-10-27: add by m2/v0.4.0
SDMF1KR52S SDMF1KR52S
| URI | m2://inv/SDMF1KR52S |
|---|---|
| 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#HHA3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Main theorem SDMGS3ZPZX
| URI | m2://inv/SDMGS3ZPZX |
|---|---|
| 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.33365#82P5, Main theorem (statement). In MCXCMR7V0T/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
SDMJGEB4GV SDMJGEB4GV
| URI | m2://inv/SDMJGEB4GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#A2YZ (statement). In GB0V23Q6C5/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
SDMM86HAKS SDMM86HAKS
| URI | m2://inv/SDMM86HAKS |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28594#N0WZ (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Bess Marie Eversull SDMN1HAHNZ
| URI | m2://inv/SDMN1HAHNZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bess Marie Eversull, Bess Marie Eversull (topic). Also Wikidata Q90900607
History
- 2026-11-02: add by m2/dev
SDMPM77HCT SDMPM77HCT
| URI | m2://inv/SDMPM77HCT |
|---|---|
| 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 2609.29399#WIXS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polyhedral fan SDMPP9WGCA
| URI | m2://inv/SDMPP9WGCA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2609.21670#T6GF, Polyhedral fan (definition)
History
- 2026-11-02: add by m2/v0.6.18
Ambient Isotopy SDMWYCJBKV
| URI | m2://inv/SDMWYCJBKV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 1209.3562#XDVF, Ambient Isotopy (definition). In KZH1DCS18C/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Example SDMY0WPB4X
| URI | m2://inv/SDMY0WPB4X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edgeworth paradox#8GU1, Example (example)
History
- 2026-11-02: add by m2/dev
SDN21EKYE2 SDN21EKYE2
| URI | m2://inv/SDN21EKYE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#FL39 (statement). In 8KKYZ4NKT2/e1, corollary 15
History
- 2026-10-27: add by m2/v0.4.2
SDN9CJW54W SDN9CJW54W
| URI | m2://inv/SDN9CJW54W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30933#FQG9 (statement). In KXWYE4SJY3/e1, corollary 1
History
- 2026-10-31: add by m2/v0.5.6
Applications SDND6DAKAM
| URI | m2://inv/SDND6DAKAM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evanescent field#LV2G, Applications (example)
History
- 2026-11-02: add by m2/dev
\textbf{Extrinsic operator identifies the sampling measure $m=p\,\mu_g$ SDNDCNM9VJ
| URI | m2://inv/SDNDCNM9VJ |
|---|---|
| Kind | statement |
| 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#1R1T, \textbf{Extrinsic operator identifies the sampling measure $m=p\,\mu_g$ (statement). In MXPK9A2HK2/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Special cases SDNJDSNJN8
| URI | m2://inv/SDNJDSNJN8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confluent hypergeometric function#1HGM, Special cases (statement)
History
- 2026-11-02: add by m2/dev
SDNJK3DJST SDNJK3DJST
| URI | m2://inv/SDNJK3DJST |
|---|---|
| Kind | definition |
| 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.03288#XGHV (definition). In ZHP1MFSACN/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Generalizations SDNMH17JA9
| URI | m2://inv/SDNMH17JA9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute continuity#BDXX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Properties SDNQQBJY6N
| URI | m2://inv/SDNQQBJY6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial distribution#TBOT, Properties (statement)
History
- 2026-11-02: add by m2/dev
SDNTFRNQ8K SDNTFRNQ8K
| URI | m2://inv/SDNTFRNQ8K |
|---|---|
| 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.09882#QOHX (statement). In 7XV6T4N79V/e1, lemma B.9
History
- 2026-10-29: add by m2/v0.4.10
SDNWSQRBR2 SDNWSQRBR2
| URI | m2://inv/SDNWSQRBR2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#problem-2 (exercise). In P1C114YBXG, problem, section J
History
- 2026-11-01: add by m2/v0.6.13
James N. Hill SDNY14RE0J
| URI | m2://inv/SDNY14RE0J |
|---|---|
| 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#XIZH, James N. Hill (unknown)
History
- 2026-11-02: add by m2/dev
aleph one SDPBTSNJ7F
| URI | m2://inv/SDPBTSNJ7F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2832673, aleph one (unknown). Also MathWorld Aleph-1
History
- 2026-10-26: add by m2/dev
Zipf's law SDPJ8572PF
| URI | m2://inv/SDPJ8572PF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N2BG, Zipf's law (statement)
History
- 2026-11-02: add by m2/dev
SDPN6PY3PF SDPN6PY3PF
| URI | m2://inv/SDPN6PY3PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.20131#CVI1 (statement). In 29D4TTE3J2/e1, theorem 8.8
History
- 2026-10-27: add by m2/v0.4.2
Attilio Palatini SDPV8WJR2B
| URI | m2://inv/SDPV8WJR2B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attilio Palatini, Attilio Palatini (topic). Also Wikidata Q14228108
History
- 2026-11-02: add by m2/dev
SDPVHJGE4C SDPVHJGE4C
| URI | m2://inv/SDPVHJGE4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.11545#B9BW (statement). In VN084GGZGK/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.3
Glide reflection SDPWN4BMQF
| URI | m2://inv/SDPWN4BMQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glide reflection, Glide reflection (definition). Also Wikidata Q876450
History
- 2026-11-02: add by m2/dev
SDPY1F1WJ1 SDPY1F1WJ1
| URI | m2://inv/SDPY1F1WJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15242#YS1S (statement). In 5NPFKE984E/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.2
Eleanor Mollie Horadam SDQ1H5KBR5
| URI | m2://inv/SDQ1H5KBR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleanor Mollie Horadam, Eleanor Mollie Horadam (topic). Also Wikidata Q87093554
History
- 2026-11-02: add by m2/dev
Cahen's constant SDQ260PZ2K
| URI | m2://inv/SDQ260PZ2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1025756, Cahen's constant (object). Also MathWorld CahensConstant
- wikipedia: Wikipedia Cahen's constant, Cahen's constant (definition). Also Wikidata Q1025756
History
- 2026-10-26: add by m2/dev
The finite-difference regime SDQ3QKTC6Z
| URI | m2://inv/SDQ3QKTC6Z |
|---|---|
| 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.02637#QRXI, The finite-difference regime (statement). In 5Z2H5XJ6EM/e1, lemma S3.8
History
- 2026-10-29: add by m2/v0.4.12
SDQJH483MW SDQJH483MW
| URI | m2://inv/SDQJH483MW |
|---|---|
| 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 2409.03423#QPQ7 (statement). In 8C5YCMN81V/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
SDQPZWNB50 SDQPZWNB50
| URI | m2://inv/SDQPZWNB50 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#W8PZ (definition). In BBE69ZPVTF/e1, definition 5.10
History
- 2026-10-30: add by m2/v0.4.12
Mary Beth Ruskai SDQS0GZZWH
| URI | m2://inv/SDQS0GZZWH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Beth Ruskai, Mary Beth Ruskai (topic). Also Wikidata Q16106786
History
- 2026-11-02: add by m2/dev
Wilson SDQSM1CBAQ
| URI | m2://inv/SDQSM1CBAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#CIDP, Wilson (statement). In Y1DR0DPWD0/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.12
Player i's strategy space SDQX5BA4SM
| URI | m2://inv/SDQX5BA4SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#RRYV, Player i's strategy space (definition)
History
- 2026-11-02: add by m2/dev
2021 Czech census SDR1EBPNVE
| URI | m2://inv/SDR1EBPNVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2021 Czech census, 2021 Czech census (definition). Also Wikidata Q63138049
History
- 2026-11-02: add by m2/dev
three-body problem SDR1G7K7PB
| URI | m2://inv/SDR1G7K7PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Three-body problem JE1Z920QKT |
Mentions
- wikidata: Wikidata Q607699, three-body problem (definition). Also ProofWiki Definition:Three-Body_Problem
- wikipedia: Wikipedia Three-body problem, Three-body problem (problem). Also Wikidata Q607699
History
- 2026-10-26: add by m2/dev
class SDR2KYNBKB
| URI | m2://inv/SDR2KYNBKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#8OB9, class (definition)
History
- 2026-11-02: add by m2/dev
Sajal K. Das SDR3SBGXYK
| URI | m2://inv/SDR3SBGXYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TOP8, Sajal K. Das (unknown)
History
- 2026-11-02: add by m2/dev
substitution-instance SDR5Q945TG
| URI | m2://inv/SDR5Q945TG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#44FR, substitution-instance (definition)
History
- 2026-11-02: add by m2/dev
Statement SDRC2QFXP0
| URI | m2://inv/SDRC2QFXP0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's plank problem#SPKJ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Snake (code) SDRG273J4M
| URI | m2://inv/SDRG273J4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gray code#Y3Z6, Snake (code) (unknown)
History
- 2026-11-02: add by m2/dev
SDRJ2N2JVQ SDRJ2N2JVQ
| URI | m2://inv/SDRJ2N2JVQ |
|---|---|
| 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.23343#BGON (statement)
History
- 2026-11-02: add by m2/v0.6.17
SDRNRHETBC SDRNRHETBC
| URI | m2://inv/SDRNRHETBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#G2HE (statement). In 7615KVXDB5/e1, corollary 3.9
History
- 2026-10-30: add by m2/v0.4.12
Livingstone graph SDRQ6FNNHT
| URI | m2://inv/SDRQ6FNNHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19605606, Livingstone graph (unknown). Also MathWorld LivingstoneGraph
- wikipedia: Wikipedia Livingstone graph, Livingstone graph (definition). Also Wikidata Q19605606
History
- 2026-10-26: add by m2/dev
SDRQPR94A9 SDRQPR94A9
| URI | m2://inv/SDRQPR94A9 |
|---|---|
| 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 2308.05066#OSG0 (statement). In 1QSCT53ZED/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.0
Generalized argument principle SDRY3V6XH4
| URI | m2://inv/SDRY3V6XH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument principle#9AWV, Generalized argument principle (statement)
History
- 2026-11-02: add by m2/dev
RSA-704 SDRZKC6JW6
| URI | m2://inv/SDRZKC6JW6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#874F, RSA-704 (unknown)
History
- 2026-11-02: add by m2/dev
Rare-query obstruction to sample-only uniform envelopes SDS2MG7KKA
| URI | m2://inv/SDS2MG7KKA |
|---|---|
| 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.19207#Q5JK, Rare-query obstruction to sample-only uniform envelopes (statement). In BH3R0BA3PC/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
SDS918SYQT SDS918SYQT
| URI | m2://inv/SDS918SYQT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#activity-3 (exercise). In 649HGZKE96, activity, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
SDSBZXSHZ3 SDSBZXSHZ3
| URI | m2://inv/SDSBZXSHZ3 |
|---|---|
| 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.09704#HR4X (statement). In FNG4B47MRV/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
SDSQ45F95R SDSQ45F95R
| URI | m2://inv/SDSQ45F95R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/operations.tex#ex-2 (example). In PKGMM3P5QY, ex, section 80.3
History
- 2026-11-01: add by m2/v0.6.13
Fourier's law in one dimension SDSR0X4PEY
| URI | m2://inv/SDSR0X4PEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat flux#RPZV, Fourier's law in one dimension (statement)
History
- 2026-11-02: add by m2/dev
SDSZ3QNVPY SDSZ3QNVPY
| URI | m2://inv/SDSZ3QNVPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#9XN9 (statement). In DAMYG8BFAK/e1, corollary 4.25
History
- 2026-10-30: add by m2/v0.4.12
SDT1N9C5T4 SDT1N9C5T4
| URI | m2://inv/SDT1N9C5T4 |
|---|---|
| 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.15525#LOYR (statement). In EFDRME13PT/e1, proposition 9.9
History
- 2026-10-28: add by m2/v0.4.2
SDT2JA2D7V SDT2JA2D7V
| URI | m2://inv/SDT2JA2D7V |
|---|---|
| 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#KJFI (statement). In YKD51BX3XB/e1, corollary 4.9
History
- 2026-10-27: add by m2/v0.4.2
pebibyte SDT54D4PXR
| URI | m2://inv/SDT54D4PXR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q79774, pebibyte (unknown). Also MathWorld Pebibyte
History
- 2026-10-26: add by m2/dev
$L_1$ duality produces a moment-canceling family SDT814SJKH
| URI | m2://inv/SDT814SJKH |
|---|---|
| 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.21363#1KPM, $L_1$ duality produces a moment-canceling family (statement). In YPH7NS5AAQ/e1, lemma E.4
History
- 2026-10-27: add by m2/v0.4.2
SDTH41NYXD SDTH41NYXD
| URI | m2://inv/SDTH41NYXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 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 2609.30262#KG4T (statement). In FWA5QW6FCF/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
SDTPGKKBYJ SDTPGKKBYJ
| URI | m2://inv/SDTPGKKBYJ |
|---|---|
| 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 2604.05177#SBGZ (statement). In G04BKQV6YM/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
variable SDV2Z8PJ4S
| URI | m2://inv/SDV2Z8PJ4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50701, variable (unknown). Also MathWorld Variable
- wikipedia: Wikipedia Variable (mathematics), Variable (definition). Also Wikidata Q50701
History
- 2026-10-26: add by m2/dev
Local–global principle SDVFZHY8H2
| URI | m2://inv/SDVFZHY8H2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic analysis#29HQ, Local–global principle (statement)
History
- 2026-11-02: add by m2/dev
SDVHY87PQ0 SDVHY87PQ0
| URI | m2://inv/SDVHY87PQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.34289#Z4H0 (statement). In 9RBATD2Z1F/e1, theorem 3.20
History
- 2026-10-30: add by m2/v0.4.12
Nichols plot SDVNYDV8PY
| URI | m2://inv/SDVNYDV8PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nichols plot, Nichols plot (definition). Also Wikidata Q280308
History
- 2026-11-02: add by m2/dev
SDVR5TCFH3 SDVR5TCFH3
| URI | m2://inv/SDVR5TCFH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#RDGS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Transfer with zero values allowed SDVYZ0BBM2
| URI | m2://inv/SDVYZ0BBM2 |
|---|---|
| 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.27641#DZHH, Transfer with zero values allowed (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moments and polynomial concentration SDW5MVXS7W
| URI | m2://inv/SDW5MVXS7W |
|---|---|
| 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.19421#SNN9, Moments and polynomial concentration (statement). In 3S1VFGYWQE/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Camellia SDW8CZRF16
| URI | m2://inv/SDW8CZRF16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Camellia (cipher), Camellia (definition). Also Wikidata Q1028476
History
- 2026-11-02: add by m2/dev
SDWPKGAM58 SDWPKGAM58
| URI | m2://inv/SDWPKGAM58 |
|---|---|
| Kind | definition |
| 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 2605.16669#7S8F (definition). In 1463YCCRP5/e1, definition Notation
History
- 2026-10-27: add by m2/v0.4.0
An example SDWVPDXY0S
| URI | m2://inv/SDWVPDXY0S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactification (mathematics)#O003, An example (example)
History
- 2026-11-02: add by m2/dev
Wolfram axiom SDX42QDR92
| URI | m2://inv/SDX42QDR92 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4059939, Wolfram axiom (concept). Also MathWorld WolframAxiom
History
- 2026-10-26: add by m2/dev
likelihood-ratio test SDX9Y1WN2C
| URI | m2://inv/SDX9Y1WN2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#XR9Q, likelihood-ratio test (definition)
History
- 2026-11-02: add by m2/dev
SDXG9MA5WX SDXG9MA5WX
| URI | m2://inv/SDXG9MA5WX |
|---|---|
| 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.30732#D1O6 (statement). In Q9ZPYJEHT2/e1, lemma 3.5
History
- 2026-10-31: add by m2/v0.5.6
Marc Yor SDXJWWQWZM
| URI | m2://inv/SDXJWWQWZM |
|---|---|
| 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#NI3P, Marc Yor (unknown)
History
- 2026-11-02: add by m2/dev
Marie-Therese Wolfram SDXMXH4S6R
| URI | m2://inv/SDXMXH4S6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie-Therese Wolfram, Marie-Therese Wolfram (topic). Also Wikidata Q102342831
History
- 2026-11-02: add by m2/dev
SDXSAQG5NG SDXSAQG5NG
| URI | m2://inv/SDXSAQG5NG |
|---|---|
| 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.10233#A31R (statement). In QR9WE79ERQ/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
SDXSE8ZG3K SDXSE8ZG3K
| URI | m2://inv/SDXSE8ZG3K |
|---|---|
| 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.10230#SO3E (example). In YS75517SF7/e1, example 5.5
History
- 2026-10-29: add by m2/v0.4.10
Strategyproof SDXT53DVPW
| URI | m2://inv/SDXT53DVPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#S0IP, Strategyproof (definition)
History
- 2026-11-02: add by m2/dev
Generalizations SDXWVZK630
| URI | m2://inv/SDXWVZK630 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable theory#Y0F0, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Existence III SDY16TGZ1T
| URI | m2://inv/SDY16TGZ1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32561#I9YR, Existence III (statement). In NBT0ZCHBB6/e1, theorem 9
History
- 2026-10-31: add by m2/v0.5.6
SDY7NJQHY2 SDY7NJQHY2
| URI | m2://inv/SDY7NJQHY2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/powerset.tex#thm:Products (statement). In PKGMM3P5QY, prop, section 76.7
History
- 2026-11-01: add by m2/v0.6.13
Michael Fekete SDY7Q7WMKJ
| URI | m2://inv/SDY7Q7WMKJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#U58L, Michael Fekete (unknown)
History
- 2026-11-02: add by m2/dev
Peter W. Bates SDYG2M9RHE
| URI | m2://inv/SDYG2M9RHE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#92N4, Peter W. Bates (topic)
History
- 2026-11-02: add by m2/dev
SDYHRWZ3NR SDYHRWZ3NR
| URI | m2://inv/SDYHRWZ3NR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_basics_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 4
History
- 2026-11-01: add by m2/v0.6.13
SDYRC8K2MS SDYRC8K2MS
| URI | m2://inv/SDYRC8K2MS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17070#5GJ8 (statement). In W3G9Z9B32N/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Haah rate function SDYVJQQ4W0
| URI | m2://inv/SDYVJQQ4W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#X85W, Haah rate function (statement). In 9MXMRKFKDW/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
SDYVSYS81T SDYVSYS81T
| URI | m2://inv/SDYVSYS81T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-10 (definition). In E59CDZA4DP, defn, section 11.9.4
History
- 2026-11-01: add by m2/v0.6.13
SDYX4Y1894 SDYX4Y1894
| URI | m2://inv/SDYX4Y1894 |
|---|---|
| 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.08052#K36K (statement). In 672XAVEQ34/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
SDZ0AQ7J5C SDZ0AQ7J5C
| URI | m2://inv/SDZ0AQ7J5C |
|---|---|
| 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 2510.02019#P39N (statement). In PD607VXPY3/e1, lemma 28
History
- 2026-10-27: add by m2/v0.3.5
Harry Bateman SDZF0VW7S4
| URI | m2://inv/SDZF0VW7S4 |
|---|---|
| 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#7DXQ, Harry Bateman (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O1TP, Harry Bateman (unknown)
History
- 2026-11-02: add by m2/dev
Properties SDZFFKG6XZ
| URI | m2://inv/SDZFFKG6XZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recession cone#69WP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Political views of Baby Boomers SDZG1T38BH
| URI | m2://inv/SDZG1T38BH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baby boomers#0E86, Political views of Baby Boomers (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations SDZJJDDHWS
| URI | m2://inv/SDZJJDDHWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QR decomposition#DNQU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
The Swallow's Tail SDZKC1J717
| URI | m2://inv/SDZKC1J717 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Swallow's Tail, The Swallow's Tail (definition). Also Wikidata Q611945
History
- 2026-11-02: add by m2/dev
SDZMX4PEAZ SDZMX4PEAZ
| URI | m2://inv/SDZMX4PEAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04608#VLN0 (statement). In ZYYMXYK7WJ/e1, corollary 8
History
- 2026-10-29: add by m2/v0.4.12
Glossary of game theory SDZT8WMCQQ
| URI | m2://inv/SDZT8WMCQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory, Glossary of game theory (topic). Also Wikidata Q5571819
History
- 2026-11-02: add by m2/dev