Inventory rows Y5
The cards of the rows of the inventory whose ids start with Y5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
A unimodular triangulation Y5017MJGEA
| URI | m2://inv/Y5017MJGEA |
|---|---|
| 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.03081#05R5, A unimodular triangulation (statement). In TX0H26X4VX/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
reparameterization Y50CMVCJDA
| URI | m2://inv/Y50CMVCJDA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332763, reparameterization (concept). Also MathWorld Reparameterization
History
- 2026-10-26: add by m2/dev
Wilhelm Grunwald Y50FJN922X
| URI | m2://inv/Y50FJN922X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Grunwald, Wilhelm Grunwald (topic). Also Wikidata Q102175
History
- 2026-11-02: add by m2/dev
Mean time to repair Y50SNMEVGE
| URI | m2://inv/Y50SNMEVGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean time to repair, Mean time to repair (definition). Also Wikidata Q3983339
History
- 2026-11-02: add by m2/dev
Y50SRA3V9Q Y50SRA3V9Q
| URI | m2://inv/Y50SRA3V9Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#4CJW (example)
History
- 2026-11-01: add by m2/v0.6.15
Shear and moment diagram Y50WSJS5WC
| URI | m2://inv/Y50WSJS5WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shear and moment diagram, Shear and moment diagram (definition). Also Wikidata Q2037410
History
- 2026-11-02: add by m2/dev
Pietro Fré Y50WTKCGYN
| URI | m2://inv/Y50WTKCGYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q57077418, Pietro Fré (unknown). Also nLab Pietro Fré
History
- 2026-10-26: add by m2/dev
geodetic number Y50X6DSHPQ
| URI | m2://inv/Y50X6DSHPQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130426302, geodetic number (unknown). Also MathWorld GeodeticNumber
History
- 2026-10-26: add by m2/dev
Y510FKRMWD Y510FKRMWD
| URI | m2://inv/Y510FKRMWD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#0MIL (example). In ZRJ2DZT6P1/e1, example 7.3
History
- 2026-10-28: add by m2/v0.4.2
Definition Y511JSV62W
| URI | m2://inv/Y511JSV62W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic permutation#UB4L, Definition (definition)
History
- 2026-11-02: add by m2/dev
Obstruction to a weakly continuous $q$-Hessian measure Y515NDNP2T
| URI | m2://inv/Y515NDNP2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19410#X70T, Obstruction to a weakly continuous $q$-Hessian measure (statement). In GRESY1RPK6/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
Large characteristic Y51DD482GY
| URI | m2://inv/Y51DD482GY |
|---|---|
| Kind | example |
| 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.07445#PD7T, Large characteristic (example). In F1BM3Q8125/e1, example 4.7
History
- 2026-10-29: add by m2/v0.4.10
Tosio Kato Y51ET95DHP
| URI | m2://inv/Y51ET95DHP |
|---|---|
| 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#2FCF, Tosio Kato (unknown)
History
- 2026-11-02: add by m2/dev
Pauli exclusion principle Y51GD59THY
| URI | m2://inv/Y51GD59THY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical formulation of quantum mechanics#7SLY, Pauli exclusion principle (statement)
History
- 2026-11-02: add by m2/dev
Singular perturbation Y51GW0H7FB
| URI | m2://inv/Y51GW0H7FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular perturbation, Singular perturbation (definition). Also Wikidata Q7524249
History
- 2026-11-02: add by m2/dev
Nusselt analog Y522RYGVK6
| URI | m2://inv/Y522RYGVK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia View factor#H2ER, Nusselt analog (unknown)
History
- 2026-11-02: add by m2/dev
Y526JP1WMJ Y526JP1WMJ
| URI | m2://inv/Y526JP1WMJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#71U1 (definition). In Q5Z178SAHP/e1, definition 6.5
History
- 2026-10-30: add by m2/v0.4.12
Y526KPHZQ6 Y526KPHZQ6
| URI | m2://inv/Y526KPHZQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/lebesgue-int.tex#definition-2 (definition). In RZP28ERRZV, definition, section 65.1
History
- 2026-11-01: add by m2/v0.6.13
Y526SZ6SRC Y526SZ6SRC
| URI | m2://inv/Y526SZ6SRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30565#PNCH (statement). In TP0R6GK9AX/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
Y52WSR5P91 Y52WSR5P91
| URI | m2://inv/Y52WSR5P91 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#YSM2 (definition). In 1P8D88DKG5/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Koopman–von Neumann classical mechanics Y535J07H47
| URI | m2://inv/Y535J07H47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koopman–von Neumann classical mechanics, Koopman–von Neumann classical mechanics (definition). Also Wikidata Q4455091
History
- 2026-11-02: add by m2/dev
Rootare–Prenzlow equation Y535NANDCE
| URI | m2://inv/Y535NANDCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rootare–Prenzlow equation, Rootare–Prenzlow equation (definition). Also Wikidata Q7366591
History
- 2026-11-02: add by m2/dev
Y53C0X6JCS Y53C0X6JCS
| URI | m2://inv/Y53C0X6JCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.12015#366J (statement). In ZZ2P08DVQW/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.3.5
Poincaré–Hopf theorem Y53DFZZ0VR
| URI | m2://inv/Y53DFZZ0VR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 4 |
| Outcome | open |
| Node | Poincaré–Hopf theorem 4XTPY82PP4 |
Mentions
- mathlib_1000: mathlib_1000 Q1305766, Poincaré–Hopf theorem (statement). Also Wikidata Q1305766
- thousand_plus: thousand_plus Q1305766, Poincaré–Hopf theorem (statement). Also Wikidata Q1305766, Wikipedia Poincaré–Hopf theorem
- wikidata: Wikidata Q1305766, Poincaré–Hopf theorem (statement). Also EoM Poincaré-Hopf_theorem, nLab Poincaré–Hopf theorem
- wikipedia: Wikipedia Poincaré–Hopf theorem, Poincaré–Hopf theorem (statement). Also Wikidata Q1305766
History
- 2026-10-26: add by m2/dev
Nasir al-Din al-Tusi Y53DNTW730
| URI | m2://inv/Y53DNTW730 |
|---|---|
| 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 Q302835, Nasir al-Din al-Tusi (unknown). Also ProofWiki Mathematician:Nasir_al-Din_al-Tusi
- wikipedia: Wikipedia Nasir al-Din al-Tusi, Nasir al-Din al-Tusi (topic). Also Wikidata Q302835
History
- 2026-10-26: add by m2/dev
Y53G2ESAV2 Y53G2ESAV2
| URI | m2://inv/Y53G2ESAV2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#BQZJ (definition). In AVDB4KJ6XB/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Antonio Monteiro Y53HQJ4JXH
| URI | m2://inv/Y53HQJ4JXH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonio Monteiro (mathematician), Antonio Monteiro (topic). Also Wikidata Q16491116
History
- 2026-11-02: add by m2/dev
Examples Y53RS0NHXP
| URI | m2://inv/Y53RS0NHXP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple instance learning#PLRQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Stability of the two-level hybrid Y53WZS9Z67
| URI | m2://inv/Y53WZS9Z67 |
|---|---|
| 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.05388#M4ZZ, Stability of the two-level hybrid (statement). In 4HJK1986EJ/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Geoffrey Timms Y53XBQV2T0
| URI | m2://inv/Y53XBQV2T0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoffrey Timms, Geoffrey Timms (topic). Also Wikidata Q37633919
History
- 2026-11-02: add by m2/dev
Geoffrey K. Pullum Y540QN48D8
| URI | m2://inv/Y540QN48D8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8LBG, Geoffrey K. Pullum (unknown)
History
- 2026-11-02: add by m2/dev
Y540Y17K79 Y540Y17K79
| URI | m2://inv/Y540Y17K79 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#example-1 (example). In Y91XFCEVHQ, example, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Aleksandr Khinchin Y541XKTT6C
| URI | m2://inv/Y541XKTT6C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#TROX, Aleksandr Khinchin (topic)
History
- 2026-11-02: add by m2/dev
L. Tchakaloff Y5429WZVJ7
| URI | m2://inv/Y5429WZVJ7 |
|---|---|
| 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#B1PK, L. Tchakaloff (unknown)
History
- 2026-11-02: add by m2/dev
Type theory Y54544KRCE
| URI | m2://inv/Y54544KRCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#9DT2, Type theory (definition)
History
- 2026-11-02: add by m2/dev
coaxial Y54ACN7429
| URI | m2://inv/Y54ACN7429 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#MTFC, coaxial (definition)
History
- 2026-11-02: add by m2/dev
Y54BV0B34K Y54BV0B34K
| URI | m2://inv/Y54BV0B34K |
|---|---|
| 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 2310.11101#5HXB (statement). In YBBKTP4E70/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.5
Terminology Y54Q2RPVW2
| URI | m2://inv/Y54Q2RPVW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. J. G. Pitman#R2JA, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Parareal Y54Y9DV8PD
| URI | m2://inv/Y54Y9DV8PD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#W2OT, Parareal (definition)
History
- 2026-11-02: add by m2/dev
Y5529TAZZM Y5529TAZZM
| URI | m2://inv/Y5529TAZZM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_ramsey_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 11
History
- 2026-11-01: add by m2/v0.6.13
Arago spot Y55B8PXAD4
| URI | m2://inv/Y55B8PXAD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arago spot, Arago spot (definition). Also Wikidata Q1807778
History
- 2026-11-02: add by m2/dev
Alfred George Greenhill Y55C39X6C0
| URI | m2://inv/Y55C39X6C0 |
|---|---|
| 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#13TH, Alfred George Greenhill (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MSOK, Alfred George Greenhill (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UWR6, Alfred George Greenhill (unknown)
History
- 2026-11-02: add by m2/dev
Principle of relativity Y55CJXYMFQ
| URI | m2://inv/Y55CJXYMFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#IWJX, Principle of relativity (statement)
History
- 2026-11-02: add by m2/dev
Non-asymptotic achievability for symmetrized SSCC Y55DTSV8HQ
| URI | m2://inv/Y55DTSV8HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38725#0LLL, Non-asymptotic achievability for symmetrized SSCC (statement). In 2Q5WSEAKGP/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
Y55EWGDEFQ Y55EWGDEFQ
| URI | m2://inv/Y55EWGDEFQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-18 (proof). In E59CDZA4DP, proof, section 11.3.1
History
- 2026-11-01: add by m2/v0.6.13
Definition Y55RP0ZZ49
| URI | m2://inv/Y55RP0ZZ49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual intersection#BTLX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y55ZVV5THW Y55ZVV5THW
| URI | m2://inv/Y55ZVV5THW |
|---|---|
| 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.05354#4D6H (statement). In TZ5BMDXRQZ/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
Formal definition Y56444V0BN
| URI | m2://inv/Y56444V0BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval exchange transformation#4I0L, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Y56AQ72YEM Y56AQ72YEM
| URI | m2://inv/Y56AQ72YEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01858#313R (statement). In NXSV14WJKJ/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Innovations vector Y56EQRE6B5
| URI | m2://inv/Y56EQRE6B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y094, Innovations vector (definition)
History
- 2026-11-02: add by m2/dev
Y573WTH7WQ Y573WTH7WQ
| URI | m2://inv/Y573WTH7WQ |
|---|---|
| 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.06707#RM4E (statement). In 9TR5E527P5/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
Walter theorem Y573XHRGZ1
| URI | m2://inv/Y573XHRGZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7966545, Walter theorem (statement). Also Wikidata Q7966545
- thousand_plus: thousand_plus Q7966545, Walter theorem (statement). Also Wikidata Q7966545, Wikipedia Walter theorem
- wikipedia: Wikipedia Walter theorem, Walter theorem (statement). Also Wikidata Q7966545
History
- 2026-10-26: add by m2/dev
Y574NPXQFV Y574NPXQFV
| URI | m2://inv/Y574NPXQFV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-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.20128#SHJO (example)
History
- 2026-11-02: add by m2/v0.6.18
Y57CX25NWF Y57CX25NWF
| URI | m2://inv/Y57CX25NWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10019#7TCS (statement). In 25V7DQEXSW/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Boundary Correction Y57G7BZHFS
| URI | m2://inv/Y57G7BZHFS |
|---|---|
| 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.13222#B2HL, Boundary Correction (statement). In Z6WA2R0J50/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Theorem 1 Y57Q02YYQD
| URI | m2://inv/Y57Q02YYQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator on Hilbert space#M35N, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Variants Y57SKMZ7DW
| URI | m2://inv/Y57SKMZ7DW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MacMahon Squares#MH30, Variants (statement)
History
- 2026-11-02: add by m2/dev
Examples Y57ZC1P6NT
| URI | m2://inv/Y57ZC1P6NT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor map#P5QM, Examples (example)
History
- 2026-11-02: add by m2/dev
Y58CD8A820 Y58CD8A820
| URI | m2://inv/Y58CD8A820 |
|---|---|
| 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 2509.16898#MKJM (statement). In FXBFTRHBAH/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Properties Y58GDTKM39
| URI | m2://inv/Y58GDTKM39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atkinson index#3P1I, Properties (statement)
History
- 2026-11-02: add by m2/dev
Work related to the Riemann hypothesis Y58H0JRP04
| URI | m2://inv/Y58H0JRP04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis de Branges de Bourcia#QU1Y, Work related to the Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Y58V8FN27S Y58V8FN27S
| URI | m2://inv/Y58V8FN27S |
|---|---|
| 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 2404.06445#ILJB (statement). In 12JKZ8EN52/e1, corollary 7.8
History
- 2026-10-27: add by m2/v0.3.5
De dicto and de re Y58Y838R0N
| URI | m2://inv/Y58Y838R0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De dicto and de re, De dicto and de re (definition). Also Wikidata Q287183
History
- 2026-11-02: add by m2/dev
Construction Y592C3Z3BQ
| URI | m2://inv/Y592C3Z3BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal hexecontahedron#X1DD, Construction (definition)
History
- 2026-11-02: add by m2/dev
Y59BMP10D6 Y59BMP10D6
| URI | m2://inv/Y59BMP10D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#M3N1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
ERGE Y59D5D5HAS
| URI | m2://inv/Y59D5D5HAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renormalization group#1S74, ERGE (unknown)
History
- 2026-11-02: add by m2/dev
Y59EBMCSF5 Y59EBMCSF5
| URI | m2://inv/Y59EBMCSF5 |
|---|---|
| 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.24845#3HEJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y59G6XR7S8 Y59G6XR7S8
| URI | m2://inv/Y59G6XR7S8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00115#G9K0 (statement). In JK8PYKCZRA/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Y59Q6XSGM0 Y59Q6XSGM0
| URI | m2://inv/Y59Q6XSGM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.00813#WH8Y (statement). In ADKTJTBR9Z/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Y59T83H01T Y59T83H01T
| URI | m2://inv/Y59T83H01T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#U0XQ (definition). In G70Q2FB591/e1, definition 4.18
History
- 2026-10-28: add by m2/v0.4.2
Y59ZFE14X0 Y59ZFE14X0
| URI | m2://inv/Y59ZFE14X0 |
|---|---|
| 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 2407.08004#EFWS (statement). In TYS65EG479/e1, theorem 13
History
- 2026-10-27: add by m2/v0.3.5
lowest common denominator Y59ZNC8PK9
| URI | m2://inv/Y59ZNC8PK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2144533, lowest common denominator (unknown). Also MathWorld LeastCommonDenominator
- wikipedia: Wikipedia Lowest common denominator, Lowest common denominator (definition). Also Wikidata Q2144533
History
- 2026-10-26: add by m2/dev
Y5A8CH4Y75 Y5A8CH4Y75
| URI | m2://inv/Y5A8CH4Y75 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20690#8TZF (problem)
History
- 2026-11-02: add by m2/v0.6.18
Weak version of theorem Y5AG2D018R
| URI | m2://inv/Y5AG2D018R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz fixed-point theorem#F9I2, Weak version of theorem (statement)
History
- 2026-11-02: add by m2/dev
Local Uniform Convergence of $u_\eps$ Y5AJK0QPQX
| URI | m2://inv/Y5AJK0QPQX |
|---|---|
| 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.21545#T52T, Local Uniform Convergence of $u_\eps$ (statement). In 1Q3H75330M/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Harvey Friedman Y5B1R0NW2B
| URI | m2://inv/Y5B1R0NW2B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#15YB, Harvey Friedman (topic)
History
- 2026-11-02: add by m2/dev
Y5BAW43F52 Y5BAW43F52
| URI | m2://inv/Y5BAW43F52 |
|---|---|
| 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.27628#UFU6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y5BFC3Q6M0 Y5BFC3Q6M0
| URI | m2://inv/Y5BFC3Q6M0 |
|---|---|
| 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.17258#4JHK (statement). In F4M67ZVBF2/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Y5BJD9XSHW Y5BJD9XSHW
| URI | m2://inv/Y5BJD9XSHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#TSK3 (statement). In BVAWVRS3R9/e1, corollary E
History
- 2026-10-28: add by m2/v0.4.2
present Y5BPC79YTE
| URI | m2://inv/Y5BPC79YTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193168, present (definition). Also ProofWiki Definition:Present
History
- 2026-10-26: add by m2/dev
Y5BVDWE3EW Y5BVDWE3EW
| URI | m2://inv/Y5BVDWE3EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26873#7D3K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Full finite-output entropy under conditional atomlessness Y5BWHB00RD
| URI | m2://inv/Y5BWHB00RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#YS68, Full finite-output entropy under conditional atomlessness (statement). In 9YAE8FNQST/e1, theorem 28.8
History
- 2026-10-30: add by m2/v0.4.12
Level of measurement Y5C0AC0JDT
| URI | m2://inv/Y5C0AC0JDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level of measurement, Level of measurement (definition). Also Wikidata Q951437
History
- 2026-11-02: add by m2/dev
Alexander Tuzhilin Y5C441D8XW
| URI | m2://inv/Y5C441D8XW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Tuzhilin, Alexander Tuzhilin (topic). Also Wikidata Q18619548
History
- 2026-11-02: add by m2/dev
Y5C7ZYA2M3 Y5C7ZYA2M3
| URI | m2://inv/Y5C7ZYA2M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#3KEC (statement). In G70Q2FB591/e1, lemma 4.33
History
- 2026-10-28: add by m2/v0.4.2
Ernst Schröder Y5C94DW6FB
| URI | m2://inv/Y5C94DW6FB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#6RNW, Ernst Schröder (topic)
History
- 2026-11-02: add by m2/dev
Y5CDA4V4SK Y5CDA4V4SK
| URI | m2://inv/Y5CDA4V4SK |
|---|---|
| Kind | statement |
| 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#FFL9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y5CH7KFHRM Y5CH7KFHRM
| URI | m2://inv/Y5CH7KFHRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.02261#J4IU (statement). In TT74R659T0/e1, theorem 0.5
History
- 2026-10-27: add by m2/v0.3.5
Unsupervised learning Y5CHYQ3Q12
| URI | m2://inv/Y5CHYQ3Q12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unsupervised learning, Unsupervised learning (definition). Also Wikidata Q1152135
History
- 2026-11-02: add by m2/dev
Moon Y5D12128XQ
| URI | m2://inv/Y5D12128XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q405, Moon (definition). Also ProofWiki Definition:Moon
History
- 2026-10-26: add by m2/dev
model complete theory Y5D27NWBGT
| URI | m2://inv/Y5D27NWBGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Model complete theory YR6HCMABTE |
Mentions
- wikidata: Wikidata Q6888319, model complete theory (unknown). Also nLab model complete theory
- wikipedia: Wikipedia Model complete theory, Model complete theory (definition). Also Wikidata Q6888319
History
- 2026-10-26: add by m2/dev
Implicit differentiation Y5D5TFR5E9
| URI | m2://inv/Y5D5TFR5E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#01SI, Implicit differentiation (definition)
History
- 2026-11-02: add by m2/dev
Distance Scale from Doubling Y5D84XP3Z8
| URI | m2://inv/Y5D84XP3Z8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#BN4N, Distance Scale from Doubling (statement). In CW9MNA6K58/e1, lemma 9.8
History
- 2026-10-28: add by m2/v0.4.2
Nonblocking minimal spanning switch Y5DA1SQZWR
| URI | m2://inv/Y5DA1SQZWR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#JGTP, Nonblocking minimal spanning switch (unknown)
History
- 2026-11-02: add by m2/dev
Y5DA41FNB8 Y5DA41FNB8
| URI | m2://inv/Y5DA41FNB8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#PF2M (example). In 78X5SKJX8J/e1, example 6.3
History
- 2026-10-27: add by m2/v0.3.5
Y5DAP242KT Y5DAP242KT
| URI | m2://inv/Y5DAP242KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#QWWK (statement). In JQ4JYAXCMK/e1, corollary 28
History
- 2026-10-27: add by m2/v0.3.5
Y5DAPJTANH Y5DAPJTANH
| URI | m2://inv/Y5DAPJTANH |
|---|---|
| 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.17737#LVD2 (statement). In 8SXY7Y68HV/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Y5DM98V12T Y5DM98V12T
| URI | m2://inv/Y5DM98V12T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#5IRY (statement). In 4H727T2YAS/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.12
Y5DP0CWC4N Y5DP0CWC4N
| URI | m2://inv/Y5DP0CWC4N |
|---|---|
| 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.11481#QNJX (statement). In 8XHK5ZCX7H/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.3
Outline of logic Y5DSH45YB6
| URI | m2://inv/Y5DSH45YB6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of logic, Outline of logic (topic). Also Wikidata Q7112678
History
- 2026-11-02: add by m2/dev
Y5DZTA6AJB Y5DZTA6AJB
| URI | m2://inv/Y5DZTA6AJB |
|---|---|
| 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 1909.03896#SXQK (statement). In CX9RVPQVBM/e1, lemma 23
History
- 2026-10-27: add by m2/v0.3.5
Definition Y5E0HABSCE
| URI | m2://inv/Y5E0HABSCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagnostic odds ratio#W45O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem Y5E35CGR56
| URI | m2://inv/Y5E35CGR56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local criterion for flatness#5WKU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition Y5E9F199Y2
| URI | m2://inv/Y5E9F199Y2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfinite number#DNJV, Definition (definition)
History
- 2026-11-02: add by m2/dev
State evolution and alignment with $ v_1(Y) $ Y5E9XD3JQA
| URI | m2://inv/Y5E9XD3JQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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.28781#492K, State evolution and alignment with $ v_1(Y) $ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Contact comparison and logarithmic gain Y5EDHXA74J
| URI | m2://inv/Y5EDHXA74J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#JQKC, Contact comparison and logarithmic gain (statement)
History
- 2026-11-01: add by m2/v0.6.15
Igor Klebanov Y5EGXVTR47
| URI | m2://inv/Y5EGXVTR47 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#YGJQ, Igor Klebanov (unknown)
History
- 2026-11-02: add by m2/dev
Matthew Lipman Y5EM2DT0TK
| URI | m2://inv/Y5EM2DT0TK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matthew Lipman, Matthew Lipman (topic). Also Wikidata Q1396713
History
- 2026-11-02: add by m2/dev
Example Y5ENAAF77W
| URI | m2://inv/Y5ENAAF77W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Singer index theorem#XVGD, Example (example)
History
- 2026-11-02: add by m2/dev
Cardinal assignment Y5EXRZDT5Q
| URI | m2://inv/Y5EXRZDT5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal number#EBHG, Cardinal assignment (unknown)
History
- 2026-11-02: add by m2/dev
Y5F6RVYS96 Y5F6RVYS96
| URI | m2://inv/Y5F6RVYS96 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#3SY2 (definition)
History
- 2026-11-02: add by m2/v0.6.18
elementary equivalence Y5F6SM4ZXH
| URI | m2://inv/Y5F6SM4ZXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#8XNR, elementary equivalence (definition)
History
- 2026-11-02: add by m2/dev
David Kaplan Y5F9T147SZ
| URI | m2://inv/Y5F9T147SZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#50SE, David Kaplan (topic)
History
- 2026-11-02: add by m2/dev
Examples Y5FDGV0DRS
| URI | m2://inv/Y5FDGV0DRS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midpoint polygon#LNQU, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties Y5FHBY0M07
| URI | m2://inv/Y5FHBY0M07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarzian derivative#C8ED, Properties (statement)
History
- 2026-11-02: add by m2/dev
Application Y5FY4M8F4Z
| URI | m2://inv/Y5FY4M8F4Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical economics#6Z06, Application (example)
History
- 2026-11-02: add by m2/dev
Y5G9887K6F Y5G9887K6F
| URI | m2://inv/Y5G9887K6F |
|---|---|
| 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 2509.09379#4U2V (statement). In DJXA86KDY8/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Andrews plot Y5GCXF4ZGZ
| URI | m2://inv/Y5GCXF4ZGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrews plot, Andrews plot (definition). Also Wikidata Q4759115
History
- 2026-11-02: add by m2/dev
Y5GE1YJDW4 Y5GE1YJDW4
| URI | m2://inv/Y5GE1YJDW4 |
|---|---|
| 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#Y10J (statement). In 672XAVEQ34/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.10
Direct scattering Y5GP02DKYV
| URI | m2://inv/Y5GP02DKYV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scattering#RKD7, Direct scattering (unknown)
History
- 2026-11-02: add by m2/dev
Y5GQ9FV1EH Y5GQ9FV1EH
| URI | m2://inv/Y5GQ9FV1EH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#USDA (definition). In 5KR3MHYVV6/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Y5H2HG6RPN Y5H2HG6RPN
| URI | m2://inv/Y5H2HG6RPN |
|---|---|
| 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#RX3D (statement). In F8RC6AENB0/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.3.5
Wave equation Y5HAZFNE8T
| URI | m2://inv/Y5HAZFNE8T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29847#43UH, Wave equation (example)
History
- 2026-11-01: add by m2/v0.6.15
Ross's conjecture Y5HEP6GQY5
| URI | m2://inv/Y5HEP6GQY5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ross's conjecture, Ross's conjecture (statement). Also Wikidata Q7369136
History
- 2026-11-02: add by m2/dev
Definition Y5HHFY1AQK
| URI | m2://inv/Y5HHFY1AQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia True arithmetic#2Y28, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y5HN1JPKHF Y5HN1JPKHF
| URI | m2://inv/Y5HN1JPKHF |
|---|---|
| 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 1002.0879#W6U4 (definition). In M0SQY5EZN5/e1, definition 2.2.4
History
- 2026-10-27: add by m2/v0.3.5
Y5HPYS1714 Y5HPYS1714
| URI | m2://inv/Y5HPYS1714 |
|---|---|
| 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.04876#B34A (statement). In 2TNAKVC0YP/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Y5HSBNDXW7 Y5HSBNDXW7
| URI | m2://inv/Y5HSBNDXW7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Y5HVMFBK6K Y5HVMFBK6K
| URI | m2://inv/Y5HVMFBK6K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/normal-logics.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 50.7
History
- 2026-11-01: add by m2/v0.6.13
complete Boolean algebra Y5HY00WM48
| URI | m2://inv/Y5HY00WM48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Complete Boolean algebra 75BPV95AAS |
Mentions
- wikidata: Wikidata Q5156447, complete Boolean algebra (unknown). Also nLab complete Boolean algebra
- wikipedia: Wikipedia Complete Boolean algebra, Complete Boolean algebra (definition). Also Wikidata Q5156447
History
- 2026-10-26: add by m2/dev
Y5HZKSETH3 Y5HZKSETH3
| URI | m2://inv/Y5HZKSETH3 |
|---|---|
| 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.21730#XCUJ (statement). In BM64QM6Q7J/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
singular point of a curve Y5J2DJBZ1M
| URI | m2://inv/Y5J2DJBZ1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3847057, singular point of a curve (unknown). Also MathWorld SingularPoint, nLab singular point of a curve
- wikipedia: Wikipedia Singular point of a curve, Singular point of a curve (definition). Also Wikidata Q3847057
History
- 2026-10-26: add by m2/dev
Y5J2Y7F6GE Y5J2Y7F6GE
| URI | m2://inv/Y5J2Y7F6GE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.07697#JY4W (statement). In 57P5P33HS3/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.5
Y5JCQV1X3Y Y5JCQV1X3Y
| URI | m2://inv/Y5JCQV1X3Y |
|---|---|
| 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.21544#RLQQ (statement). In 5FMMWKNYWW/e1, theorem 3.22
History
- 2026-10-27: add by m2/v0.4.2
Y5JHJ2YS27 Y5JHJ2YS27
| URI | m2://inv/Y5JHJ2YS27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#8ISZ (statement). In GAG532VMPF/e1, proposition 6.1.6
History
- 2026-10-27: add by m2/v0.3.5
Notation Y5JVN10TXX
| URI | m2://inv/Y5JVN10TXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia *-algebra#DJS2, Notation (definition)
History
- 2026-11-02: add by m2/dev
Giuseppe Colombo Y5K18T1YAR
| URI | m2://inv/Y5K18T1YAR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#92WU, Giuseppe Colombo (unknown)
History
- 2026-11-02: add by m2/dev
curve sketching Y5K24FAF3N
| URI | m2://inv/Y5K24FAF3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#TS4Y, curve sketching (definition)
History
- 2026-11-02: add by m2/dev
Bell series Y5K2JR4SFS
| URI | m2://inv/Y5K2JR4SFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell series, Bell series (definition). Also Wikidata Q2633830
History
- 2026-11-02: add by m2/dev
SSE 4.1 Y5KC44RDAD
| URI | m2://inv/Y5KC44RDAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SSE4#TM2E, SSE 4.1 (unknown)
History
- 2026-11-02: add by m2/dev
Grafana Y5KEF2F3TK
| URI | m2://inv/Y5KEF2F3TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grafana, Grafana (definition). Also Wikidata Q43399271
History
- 2026-11-02: add by m2/dev
Y5KGN5QH95 Y5KGN5QH95
| URI | m2://inv/Y5KGN5QH95 |
|---|---|
| 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.36613#KZ7R (statement). In GX0K0ZM700/e1, lemma 3.14
History
- 2026-10-30: add by m2/v0.4.12
Mary Rickett Y5M053Z97J
| URI | m2://inv/Y5M053Z97J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Rickett, Mary Rickett (topic). Also Wikidata Q106410213
History
- 2026-11-02: add by m2/dev
Y5M42Y22M0 Y5M42Y22M0
| URI | m2://inv/Y5M42Y22M0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#GR9K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ronald Graham Y5M7Y8YGNH
| URI | m2://inv/Y5M7Y8YGNH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SDWC, Ronald Graham (topic)
History
- 2026-11-02: add by m2/dev
Axiom Y5M89J60FZ
| URI | m2://inv/Y5M89J60FZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of real determinacy#4IUY, Axiom (statement)
History
- 2026-11-02: add by m2/dev
The arithmetical hierarchy for formulas Y5MCJHVXMP
| URI | m2://inv/Y5MCJHVXMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-order arithmetic#A20P, The arithmetical hierarchy for formulas (statement)
History
- 2026-11-02: add by m2/dev
Y5MEVVGQRC Y5MEVVGQRC
| URI | m2://inv/Y5MEVVGQRC |
|---|---|
| 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.05459#3H3S (statement). In VYW16D089Y/e1, theorem 5.11
History
- 2026-10-29: add by m2/v0.4.10
Progress function Y5MMY7NWFR
| URI | m2://inv/Y5MMY7NWFR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02355#RBFV, Progress function (definition). In 1AXXV9ZT11/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
List of computer graphics and descriptive geometry topics Y5MNJ5YZ2P
| URI | m2://inv/Y5MNJ5YZ2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics, List of computer graphics and descriptive geometry topics (topic). Also Wikidata Q6613113
History
- 2026-11-02: add by m2/dev
Definition Y5MNNG4VJX
| URI | m2://inv/Y5MNNG4VJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval edge coloring#ZSLQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y5MQ9B0TPT Y5MQ9B0TPT
| URI | m2://inv/Y5MQ9B0TPT |
|---|---|
| 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.30544#E6KP (statement). In CB35ZBBBPT/e1, theorem 2.6
History
- 2026-10-31: add by m2/v0.5.6
Y5MSFCPPFH Y5MSFCPPFH
| URI | m2://inv/Y5MSFCPPFH |
|---|---|
| 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 2303.00676#QVHP (statement). In 5351H04TJY/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.0
Korteweg–De Vries hierarchy Y5MVR69M1V
| URI | m2://inv/Y5MVR69M1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korteweg–De Vries hierarchy, Korteweg–De Vries hierarchy (definition). Also Wikidata Q6382014
History
- 2026-11-02: add by m2/dev
Y5N19QD5VK Y5N19QD5VK
| URI | m2://inv/Y5N19QD5VK |
|---|---|
| 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#KU0B (statement). In TAAB0QAKAG/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
quadric surface Y5N2W339WD
| URI | m2://inv/Y5N2W339WD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21651861, quadric surface (unknown). Also MathWorld QuadraticSurface
History
- 2026-10-26: add by m2/dev
Y5N4CP81WQ Y5N4CP81WQ
| URI | m2://inv/Y5N4CP81WQ |
|---|---|
| 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.22218#3TI1 (statement). In 338GKREFVP/e1, theorem 62
History
- 2026-10-27: add by m2/v0.4.0
Formal definitions Y5N4MYGDT5
| URI | m2://inv/Y5N4MYGDT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rewrite order#65NT, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Agata Ciabattoni Y5N927C5AE
| URI | m2://inv/Y5N927C5AE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#7DN3, Agata Ciabattoni (unknown)
History
- 2026-11-02: add by m2/dev
Statement Y5NCPYQWKA
| URI | m2://inv/Y5NCPYQWKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blum's speedup theorem#HJOD, Statement (statement)
History
- 2026-11-02: add by m2/dev
Y5NFGBYEEH Y5NFGBYEEH
| URI | m2://inv/Y5NFGBYEEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#TPSE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition Y5NM81DJ9G
| URI | m2://inv/Y5NM81DJ9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Moore homology#M7R8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Anne Condon Y5NPM0DX4N
| URI | m2://inv/Y5NPM0DX4N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C4HG, Anne Condon (unknown)
History
- 2026-11-02: add by m2/dev
Y5NSKYBM19 Y5NSKYBM19
| URI | m2://inv/Y5NSKYBM19 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#3JU2 (definition). In 3A4K47Y9F2/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Peter Dalgaard Y5NV2A6V3X
| URI | m2://inv/Y5NV2A6V3X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Dalgaard, Peter Dalgaard (topic). Also Wikidata Q86694930
History
- 2026-11-02: add by m2/dev
Properties Y5NXWF0C10
| URI | m2://inv/Y5NXWF0C10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix of ones#NY5B, Properties (statement)
History
- 2026-11-02: add by m2/dev
Y5P15VPF47 Y5P15VPF47
| URI | m2://inv/Y5P15VPF47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#YQSP (statement). In M8TSJ24RC2/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
mathematics, classical Y5P3J43RWE
| URI | m2://inv/Y5P3J43RWE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section B
History
- 2026-11-01: add by m2/v0.6.13
1 987 Y5P413XHT7
| URI | m2://inv/Y5P413XHT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#1FAK, 1 987 (unknown)
History
- 2026-11-02: add by m2/dev
Y5PC3NCSYW Y5PC3NCSYW
| URI | m2://inv/Y5PC3NCSYW |
|---|---|
| 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 2312.06473#UXEP (definition). In P1MYSYHSGX/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Weighted Davydov reduction Y5PHG9B6W1
| URI | m2://inv/Y5PHG9B6W1 |
|---|---|
| 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.06372#YB7E, Weighted Davydov reduction (statement). In G3E1P350Z6/e1, proposition 7.9
History
- 2026-10-29: add by m2/v0.4.10
Formal definition Y5PZFG4NTJ
| URI | m2://inv/Y5PZFG4NTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graver basis#DO4E, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
basis Y5Q1TGEXZH
| URI | m2://inv/Y5Q1TGEXZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > basis, basis (unknown). Also Mathlib Module.Basis
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > bases, bases (unknown). Also Mathlib Module.Basis
History
- 2026-10-26: add by m2/dev
Y5Q5J7ZXD8 Y5Q5J7ZXD8
| URI | m2://inv/Y5Q5J7ZXD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37778#MZA5 (statement). In V399QB419P/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Y5Q8TZCVW7 Y5Q8TZCVW7
| URI | m2://inv/Y5Q8TZCVW7 |
|---|---|
| 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 2610.01915#LP9J (definition). In 6HJQXZS0A6/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Wightman axioms Y5Q9S8HMZN
| URI | m2://inv/Y5Q9S8HMZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills existence and mass gap#IXGV, Wightman axioms (statement)
History
- 2026-11-02: add by m2/dev
Y5QDASWRSH Y5QDASWRSH
| URI | m2://inv/Y5QDASWRSH |
|---|---|
| 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.13214#U070 (statement). In 4GRNWWH88J/e1, lemma
History
- 2026-10-28: add by m2/v0.4.2
Y5QG60G8FC Y5QG60G8FC
| URI | m2://inv/Y5QG60G8FC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#definition-2 (definition). In RZP28ERRZV, definition, section 46.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem Y5QNAJ5604
| URI | m2://inv/Y5QNAJ5604 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral linear operator#0CZO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
AES instruction set Y5QPPDF699
| URI | m2://inv/Y5QPPDF699 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AES instruction set, AES instruction set (definition). Also Wikidata Q291503
History
- 2026-11-02: add by m2/dev
section Y5QPR4ZAPE
| URI | m2://inv/Y5QPR4ZAPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#QH1L, section (definition)
History
- 2026-11-02: add by m2/dev
Y5QQVY7SNH Y5QQVY7SNH
| URI | m2://inv/Y5QQVY7SNH |
|---|---|
| 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 2102.09374#5QN7 (statement). In TGAHH1F8K5/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
loop, $n$- Y5QYY581NK
| URI | m2://inv/Y5QYY581NK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.8/loop-n, loop, $n$- (concept). In N54F33XE07, index, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
Examples Y5R4JD3544
| URI | m2://inv/Y5R4JD3544 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seifert–Van Kampen theorem#EQIX, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties Y5RHXGVYPF
| URI | m2://inv/Y5RHXGVYPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kan extension#PHE8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Y5RJ2TC7W5 Y5RJ2TC7W5
| URI | m2://inv/Y5RJ2TC7W5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/composition.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 78.8
History
- 2026-11-01: add by m2/v0.6.13
Blakers-Massey theorem for graphs Y5RVQ6XNDK
| URI | m2://inv/Y5RVQ6XNDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#GQVV, Blakers-Massey theorem for graphs (statement). In RRNHC0CAC9/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Deltoid curve Y5RX2DR7WE
| URI | m2://inv/Y5RX2DR7WE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#OL4Y, Deltoid curve (definition)
- wikipedia: Wikipedia List of curves#SB7B, Deltoid curve (definition)
History
- 2026-11-02: add by m2/dev
Elliptic gamma function Y5RYCQN0R4
| URI | m2://inv/Y5RYCQN0R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic gamma function, Elliptic gamma function (definition). Also Wikidata Q615862
History
- 2026-11-02: add by m2/dev
Y5S3RPNQX4 Y5S3RPNQX4
| URI | m2://inv/Y5S3RPNQX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39361#7870 (statement). In K59AJBP41N/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Differentiable function Y5SANV9A1X
| URI | m2://inv/Y5SANV9A1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#K8HS, Differentiable function (definition)
History
- 2026-11-02: add by m2/dev
Linear consistency for mass-lumped Poisson problems Y5SEE31N31
| URI | m2://inv/Y5SEE31N31 |
|---|---|
| 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.05313#40QP, Linear consistency for mass-lumped Poisson problems (statement). In 8XPN1A2GR0/e1, lemma 5.14
History
- 2026-10-29: add by m2/v0.4.10
Oriented coloring Y5SN53XB9H
| URI | m2://inv/Y5SN53XB9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented coloring, Oriented coloring (definition). Also Wikidata Q7102417
History
- 2026-11-02: add by m2/dev
Conjugate index Y5SP0XZ73C
| URI | m2://inv/Y5SP0XZ73C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate index, Conjugate index (definition). Also Wikidata Q175648
History
- 2026-11-02: add by m2/dev
Y5SRVZG4T3 Y5SRVZG4T3
| URI | m2://inv/Y5SRVZG4T3 |
|---|---|
| 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.08664#5CQZ (statement). In 1YY0P4ZS0T/e1, lemma 24
History
- 2026-10-29: add by m2/v0.4.10
Medcouple Y5SRYY3BWE
| URI | m2://inv/Y5SRYY3BWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medcouple, Medcouple (definition). Also Wikidata Q22682100
History
- 2026-11-02: add by m2/dev
Y5SZ0SQPVQ Y5SZ0SQPVQ
| URI | m2://inv/Y5SZ0SQPVQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#3XYM (definition). In FCMMB2EVAP/e1, definition 5.6
History
- 2026-10-27: add by m2/v0.4.2
Generalizations Y5T26RFTJ6
| URI | m2://inv/Y5T26RFTJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic mean#FA4V, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Almost-sure coexistence Y5T2G3B4G8
| URI | m2://inv/Y5T2G3B4G8 |
|---|---|
| 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.22301#R96Q, Almost-sure coexistence (statement)
History
- 2026-11-02: add by m2/v0.6.17
Aleksandr Khinchin Y5T5K8CWKT
| URI | m2://inv/Y5T5K8CWKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UPPC, Aleksandr Khinchin (topic)
History
- 2026-11-02: add by m2/dev
Y5T6R66A4E Y5T6R66A4E
| URI | m2://inv/Y5T6R66A4E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-48 (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Y5T6RDS2K9 Y5T6RDS2K9
| URI | m2://inv/Y5T6RDS2K9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.22882#OLDS (statement). In YNE0Q2X61Y/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
Y5T7PT8R91 Y5T7PT8R91
| URI | m2://inv/Y5T7PT8R91 |
|---|---|
| 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.13464#K072 (statement). In P40KK40XFP/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Y5TATYPCVW Y5TATYPCVW
| URI | m2://inv/Y5TATYPCVW |
|---|---|
| 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.36033#T03E (statement). In N2W0AH1KRF/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Completeness Y5TBXN1NT2
| URI | m2://inv/Y5TBXN1NT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#4486, Completeness (definition)
History
- 2026-11-02: add by m2/dev
Method Y5TD7SC1MK
| URI | m2://inv/Y5TD7SC1MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heaviside cover-up method#VZCC, Method (definition)
History
- 2026-11-02: add by m2/dev
Generalizations Y5TEE7ZF18
| URI | m2://inv/Y5TEE7ZF18 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert W function#Z2D5, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Y5TFJ92RZH Y5TFJ92RZH
| URI | m2://inv/Y5TFJ92RZH |
|---|---|
| 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 2508.18436#25JV (statement). In 6W19Z58188/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.6
Exact form of the one-step bound Y5TGQ6X5CC
| URI | m2://inv/Y5TGQ6X5CC |
|---|---|
| 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.23098#I2TR, Exact form of the one-step bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
Canonical Frobenius lifting, Proposition 3.6.11 Y5THSK3GJQ
| URI | m2://inv/Y5THSK3GJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#OU6R, Canonical Frobenius lifting, Proposition 3.6.11 (statement). In 328KGRNN0W/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Y5TKCN5NCJ Y5TKCN5NCJ
| URI | m2://inv/Y5TKCN5NCJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.20678#QLTW (definition)
History
- 2026-11-02: add by m2/v0.6.18
Y5V0K8GWKM Y5V0K8GWKM
| URI | m2://inv/Y5V0K8GWKM |
|---|---|
| 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.22218#7GV1 (statement). In 338GKREFVP/e1, lemma 28
History
- 2026-10-27: add by m2/v0.4.0
Y5V14T6GSN Y5V14T6GSN
| URI | m2://inv/Y5V14T6GSN |
|---|---|
| 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.03728#3XBO (statement). In NXR84SNM8F/e1, proposition 11.1
History
- 2026-10-29: add by m2/v0.4.12
Y5V14V653C Y5V14V653C
| URI | m2://inv/Y5V14V653C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39776#LA2P (statement). In Y6GZV15AJC/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Hans Zassenhaus Y5V22HDXS6
| URI | m2://inv/Y5V22HDXS6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Zassenhaus, Hans Zassenhaus (topic). Also Wikidata Q185920
History
- 2026-11-02: add by m2/dev
Average earnings index Y5V7A6WBZ3
| URI | m2://inv/Y5V7A6WBZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average earnings index (horse racing), Average earnings index (definition). Also Wikidata Q18355603
History
- 2026-11-02: add by m2/dev
Y5VABMVKNY Y5VABMVKNY
| URI | m2://inv/Y5VABMVKNY |
|---|---|
| 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.15472#DC23 (statement). In 5Z3FH46YSY/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
Nevanlinna–Pick interpolation Y5VHDA4224
| URI | m2://inv/Y5VHDA4224 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#XHMG, Nevanlinna–Pick interpolation (definition)
History
- 2026-11-02: add by m2/dev
Definitions Y5VNRVQHDC
| URI | m2://inv/Y5VNRVQHDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forbidden subgraph problem#7EZI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Isaac Albalia Y5VS6P3P2C
| URI | m2://inv/Y5VS6P3P2C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GIZF, Isaac Albalia (unknown)
History
- 2026-11-02: add by m2/dev
Y5VS8HP27G Y5VS8HP27G
| URI | m2://inv/Y5VS8HP27G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 11.1.5
History
- 2026-11-01: add by m2/v0.6.13
Y5VYFCJBM6 Y5VYFCJBM6
| URI | m2://inv/Y5VYFCJBM6 |
|---|---|
| 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#SP4M (statement). In GB0V23Q6C5/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
Y5VZYF5AMZ Y5VZYF5AMZ
| URI | m2://inv/Y5VZYF5AMZ |
|---|---|
| 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.28808#7L8G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y5W4FQ9DWM Y5W4FQ9DWM
| URI | m2://inv/Y5W4FQ9DWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#thm:WeakGen (statement). In PKGMM3P5QY, thm, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
epsilon Y5WATQRK8V
| URI | m2://inv/Y5WATQRK8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5C5E, epsilon (definition)
History
- 2026-11-02: add by m2/dev
Y5WB7029F1 Y5WB7029F1
| URI | m2://inv/Y5WB7029F1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#XC0L (definition). In H21X3FHNYJ/e1, definition 1.13
History
- 2026-10-27: add by m2/v0.4.2
Cartan–Helgason theorem Y5WFW3CHVT
| URI | m2://inv/Y5WFW3CHVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zonal spherical function#QOET, Cartan–Helgason theorem (statement)
History
- 2026-11-02: add by m2/dev
Y5WPY3MV27 Y5WPY3MV27
| URI | m2://inv/Y5WPY3MV27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34471#B3T9 (statement). In BQ6MCMHCJK/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Tame topology Y5WT722G15
| URI | m2://inv/Y5WT722G15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tame topology, Tame topology (definition). Also Wikidata Q113499379
History
- 2026-11-02: add by m2/dev
Y5WTBPDQ46 Y5WTBPDQ46
| URI | m2://inv/Y5WTBPDQ46 |
|---|---|
| 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.12543#67RR (statement). In 5Y2KARN1YC/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Y5WWNDKWWN Y5WWNDKWWN
| URI | m2://inv/Y5WWNDKWWN |
|---|---|
| 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 2105.03715#L3P4 (statement). In H3FWT3Z0J4/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Reciprocity theorem Y5X1CQQZ7Q
| URI | m2://inv/Y5X1CQQZ7Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9085978, Reciprocity theorem (concept). Also MathWorld ReciprocityTheorem
History
- 2026-10-26: add by m2/dev
Y5XPP4CZH2 Y5XPP4CZH2
| URI | m2://inv/Y5XPP4CZH2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22657#3EY2 (example)
History
- 2026-11-02: add by m2/v0.6.17
Structure theorem Y5XQR3H1YQ
| URI | m2://inv/Y5XQR3H1YQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological data analysis#SFFQ, Structure theorem (statement)
History
- 2026-11-02: add by m2/dev
Y5Y6EES2E0 Y5Y6EES2E0
| URI | m2://inv/Y5Y6EES2E0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#LG7F (statement)
History
- 2026-11-01: add by m2/v0.6.15
303 (number) Y5Y9NPPXCN
| URI | m2://inv/Y5Y9NPPXCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#WFW0, 303 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Topological complexity Y5Y9T5KCK4
| URI | m2://inv/Y5Y9T5KCK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological complexity, Topological complexity (definition). Also Wikidata Q7825025
History
- 2026-11-02: add by m2/dev
Y5YJ92S26T Y5YJ92S26T
| URI | m2://inv/Y5YJ92S26T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.12015#XPWD (statement). In ZZ2P08DVQW/e1, lemma 8.5
History
- 2026-10-27: add by m2/v0.3.5
Hyperimmune set Y5YJKJXK16
| URI | m2://inv/Y5YJKJXK16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple set#UW9C, Hyperimmune set (unknown)
History
- 2026-11-02: add by m2/dev
Y5YMV9XB5X Y5YMV9XB5X
| URI | m2://inv/Y5YMV9XB5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25106#FKXX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statistical signal processing Y5YQTQX0MT
| URI | m2://inv/Y5YQTQX0MT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZMIM, Statistical signal processing (topic)
History
- 2026-11-02: add by m2/dev
locally compact space Y5YV9YEXA9
| URI | m2://inv/Y5YV9YEXA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Locally compact space 0EQMWQ4WMJ |
Mentions
- wikidata: Wikidata Q583034, locally compact space (unknown). Also MathWorld LocallyCompact
- wikipedia: Wikipedia Locally compact space, Locally compact space (definition). Also Wikidata Q583034
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Y5YVQNWWM4 Y5YVQNWWM4
| URI | m2://inv/Y5YVQNWWM4 |
|---|---|
| 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#X40B (statement). In 43TBS9P2PX/e1, theorem 9.2
History
- 2026-10-28: add by m2/v0.4.2
Reverse comparison Y5YVS9KGHG
| URI | m2://inv/Y5YVS9KGHG |
|---|---|
| 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.19908#DZCA, Reverse comparison (statement)
History
- 2026-11-02: add by m2/v0.6.18
Y5Z1BRA3MG Y5Z1BRA3MG
| URI | m2://inv/Y5Z1BRA3MG |
|---|---|
| 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.33027#52E4 (statement). In E2AF84709B/e1, theorem 20
History
- 2026-10-31: add by m2/v0.5.6
Properties Y5Z1P1AC0G
| URI | m2://inv/Y5Z1P1AC0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moy–Prasad filtration#PWLD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Y5Z60968GV Y5Z60968GV
| URI | m2://inv/Y5Z60968GV |
|---|---|
| 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.05193#0U8O (statement). In XDMM0KNNZ9/e1, proposition 20
History
- 2026-10-29: add by m2/v0.4.10
Y5ZHTBNMZG Y5ZHTBNMZG
| URI | m2://inv/Y5ZHTBNMZG |
|---|---|
| Kind | definition |
| 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.05299#2UE1 (definition). In 68AE571S4P/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Thomas Little Heath Y5ZJ7WPYFT
| URI | m2://inv/Y5ZJ7WPYFT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#40L5, Thomas Little Heath (unknown)
History
- 2026-11-02: add by m2/dev
Y5ZKDJM6VT Y5ZKDJM6VT
| URI | m2://inv/Y5ZKDJM6VT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:adjoints (definition). In N54F33XE07, defn, section 2.3
History
- 2026-11-01: add by m2/v0.6.13