Inventory rows VD

Margaret Willerding VD0DRGKGGP

URI	`m2://inv/VD0DRGKGGP`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Margaret Willerding, Margaret Willerding (topic). Also Wikidata Q102162121

History

2026-11-02: add by m2/dev

real-valued function VD12BK933M

URI	`m2://inv/VD12BK933M`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q5189500, real-valued function (unknown). Also MathWorld RealFunction
wikipedia: Wikipedia Real-valued function, Real-valued function (definition). Also Wikidata Q5189500

History

2026-10-26: add by m2/dev

star number VD12M8W5WG

URI	`m2://inv/VD12M8W5WG`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2524197, star number (unknown). Also MathWorld StarNumber, OEIS A003154
wikipedia: Wikipedia Star number, Star number (definition). Also Wikidata Q2524197

History

2026-10-26: add by m2/dev

Chemical graph theory VD132J94QW

URI	`m2://inv/VD132J94QW`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Chemical graph theory, Chemical graph theory (topic). Also Wikidata Q381009

History

2026-11-02: add by m2/dev

VD16FKK1EZ VD16FKK1EZ

URI	`m2://inv/VD16FKK1EZ`
Kind	statement
Layer	research
MSC	11-XX, 30-XX, 32-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.14266#NTQZ (statement). In 7R33E8515R/e1, theorem

History

2026-10-28: add by m2/v0.4.2

Improved forward rate VD19CRTSMA

URI	`m2://inv/VD19CRTSMA`
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.07380#JLPF, Improved forward rate (statement). In XM2CDRKSGE/e1, corollary 6.4

History

2026-10-29: add by m2/v0.4.10

Arens square VD1A2W4NJE

URI	`m2://inv/VD1A2W4NJE`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of topologies#73F6, Arens square (unknown)

History

2026-11-02: add by m2/dev

VD1FMGW5YQ VD1FMGW5YQ

URI	`m2://inv/VD1FMGW5YQ`
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.26546#7A61 (statement)

History

2026-11-01: add by m2/v0.6.15

David P. Williamson VD1HCWS18H

URI	`m2://inv/VD1HCWS18H`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia David P. Williamson, David P. Williamson (topic). Also Wikidata Q15804808

History

2026-11-02: add by m2/dev

VD1HX43ZVE VD1HX43ZVE

URI	`m2://inv/VD1HX43ZVE`
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#V8EL (statement). In 338GKREFVP/e1, lemma 67

History

2026-10-27: add by m2/v0.4.0

VD1Q7013JB VD1Q7013JB

URI	`m2://inv/VD1Q7013JB`
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 2610.09390#68SM (statement). In 7SSKW778T8/e1, proposition 2.19

History

2026-10-29: add by m2/v0.4.10

Properties VD1R663RCT

URI	`m2://inv/VD1R663RCT`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Weak Hausdorff space#73J3, Properties (statement)

History

2026-11-02: add by m2/dev

Gaussian innovations and a weighted all-time bound VD1Z61GS5A

URI	`m2://inv/VD1Z61GS5A`
Kind	statement
Layer	research
MSC	37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23927#0MT1, Gaussian innovations and a weighted all-time bound (statement)

History

2026-11-02: add by m2/v0.6.17

Definition VD1ZME7H13

URI	`m2://inv/VD1ZME7H13`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pseudo-monotone operator#ZKMS, Definition (definition)

History

2026-11-02: add by m2/dev

Gravitoelectromagnetism VD21D8PY34

URI	`m2://inv/VD21D8PY34`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gravitoelectromagnetism, Gravitoelectromagnetism (definition). Also Wikidata Q1150290

History

2026-11-02: add by m2/dev

Applications VD2BZGTYJ6

URI	`m2://inv/VD2BZGTYJ6`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Conformal map#14N4, Applications (example)

History

2026-11-02: add by m2/dev

Continuum hypothesis VD2FTJQ1M9

URI	`m2://inv/VD2FTJQ1M9`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of continuity-related mathematical topics#L7KZ, Continuum hypothesis (statement)

History

2026-11-02: add by m2/dev

Definition VD2NB1R74C

URI	`m2://inv/VD2NB1R74C`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Circular uniform distribution#TMOA, Definition (definition)

History

2026-11-02: add by m2/dev

Morse–Mostow lemma VD2NSSDA75

URI	`m2://inv/VD2NSSDA75`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Busemann function#J6OQ, Morse–Mostow lemma (statement)

History

2026-11-02: add by m2/dev

Optimal utility of a fair perfectly private bit VD2RYNGQB0

URI	`m2://inv/VD2RYNGQB0`
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#LOF2, Optimal utility of a fair perfectly private bit (statement). In 9YAE8FNQST/e1, theorem 26.8

History

2026-10-30: add by m2/v0.4.12

Ralph Abraham VD2X6T0556

URI	`m2://inv/VD2X6T0556`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#DLWC, Ralph Abraham (topic)

History

2026-11-02: add by m2/dev

VD316W039R VD316W039R

URI	`m2://inv/VD316W039R`
Kind	statement
Layer	research
MSC	30-XX, 32-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.16779#R23P (statement). In 1R7H0ZAHWA/e1, theorem 7.3

History

2026-10-28: add by m2/v0.4.2

Theorem VD383QWZA5

URI	`m2://inv/VD383QWZA5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dimension theory (algebra)#D1PO, Theorem (statement)

History

2026-11-02: add by m2/dev

VD3CWNNDTF VD3CWNNDTF

URI	`m2://inv/VD3CWNNDTF`
Kind	conjecture
Layer	research
MSC	53-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.19333#N6VL (conjecture). In 5Y3HF693YB/e1, conjecture 1.6

History

2026-10-28: add by m2/v0.4.2

Lisa Randall VD3CXPBM71

URI	`m2://inv/VD3CXPBM71`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of string theory topics#5UEU, Lisa Randall (unknown)

History

2026-11-02: add by m2/dev

Irregular Z-buffer VD3DPN43PF

URI	`m2://inv/VD3DPN43PF`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#THWY, Irregular Z-buffer (unknown)

History

2026-11-02: add by m2/dev

VD3DWYJ83Z VD3DWYJ83Z

URI	`m2://inv/VD3DWYJ83Z`
Kind	statement
Layer	research
MSC	26-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 1008.4254#H9Y3 (statement). In SXTX59QBVT/e1, theorem 1.3

History

2026-10-27: add by m2/v0.3.5

Applications VD3EVVZR4Q

URI	`m2://inv/VD3EVVZR4Q`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kernel method#EUXO, Applications (example)

History

2026-11-02: add by m2/dev

VD3GADF76M VD3GADF76M

URI	`m2://inv/VD3GADF76M`
Kind	statement
Layer	research
MSC	13-XX, 14-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.38068#PFP2 (statement). In 67GE5M1GGD/e1, proposition 3.14

History

2026-10-30: add by m2/v0.4.12

General covariance coordinates VD3K5VD4D6

URI	`m2://inv/VD3K5VD4D6`
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.09356#MQNX, General covariance coordinates (statement). In 3VVGPXWH6R/e1, proposition C.23

History

2026-10-29: add by m2/v0.4.10

VD42W0SVEF VD42W0SVEF

URI	`m2://inv/VD42W0SVEF`
Kind	statement
Layer	research
MSC	35-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01653#UYIF (statement). In WZMHJCQPB2/e1, lemma 5.7

History

2026-10-29: add by m2/v0.4.12

Co-NP VD43C1PDD4

URI	`m2://inv/VD43C1PDD4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical proofs#IFZF, Co-NP (definition)

History

2026-11-02: add by m2/dev

force field VD43D5VZC4

URI	`m2://inv/VD43D5VZC4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q991239, force field (definition). Also ProofWiki Definition:Force_Field

History

2026-10-26: add by m2/dev

VD478F5S27 VD478F5S27

URI	`m2://inv/VD478F5S27`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 3.5

History

2026-11-01: add by m2/v0.6.13

VD4AK0T7QR VD4AK0T7QR

URI	`m2://inv/VD4AK0T7QR`
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 2303.14022#HEUD (definition). In NSYR6W27FP/e1, definition 4.1

History

2026-10-27: add by m2/v0.3.5

VD4B6Q375F VD4B6Q375F

URI	`m2://inv/VD4B6Q375F`
Kind	statement
Layer	research
MSC	16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00789#ZQUJ (statement). In 4WPYBTARS2/e1, theorem 5.9

History

2026-10-29: add by m2/v0.4.12

Optimality of the dyadic agreement envelope VD4MT9PJ5S

URI	`m2://inv/VD4MT9PJ5S`
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.15815#MBSX, Optimality of the dyadic agreement envelope (statement). In 9C75CTY5C3/e1, proposition 5.16

History

2026-10-28: add by m2/v0.4.2

Neyer d-optimal test VD4WDK0RXR

URI	`m2://inv/VD4WDK0RXR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#NWAJ, Neyer d-optimal test (definition)

History

2026-11-02: add by m2/dev

Projective and ordinary Reed-Solomon codes VD51MH59JZ

URI	`m2://inv/VD51MH59JZ`
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.28028#V6KY, Projective and ordinary Reed-Solomon codes (statement)

History

2026-11-01: add by m2/v0.6.15

VD5CEG2Q5N VD5CEG2Q5N

URI	`m2://inv/VD5CEG2Q5N`
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.13618#JKPR (statement). In XDQAEGH345/e1, lemma 3.5

History

2026-10-28: add by m2/v0.4.2

Frobenius algebra VD5EK3D7DZ

URI	`m2://inv/VD5EK3D7DZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#H49M, Frobenius algebra (definition)

History

2026-11-02: add by m2/dev

VD5MNJKVC7 VD5MNJKVC7

URI	`m2://inv/VD5MNJKVC7`
Kind	statement
Layer	research
MSC	14-XX, 37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29877#EGN7 (statement)

History

2026-11-01: add by m2/v0.6.15

VD5NNQ47VN VD5NNQ47VN

URI	`m2://inv/VD5NNQ47VN`
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.33019#3NBD (statement). In R4V2A3Z5GP/e1, corollary 2.6

History

2026-10-31: add by m2/v0.5.6

Statistical efficiency VD65W4126Y

URI	`m2://inv/VD65W4126Y`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#Q89V, Statistical efficiency (definition)

History

2026-11-02: add by m2/dev

Equal masses and a common profile type VD695SQ8WM

URI	`m2://inv/VD695SQ8WM`
Kind	statement
Layer	research
MSC	35-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20042#I7OU, Equal masses and a common profile type (statement)

History

2026-11-02: add by m2/v0.6.18

VD69BWKXP4 VD69BWKXP4

URI	`m2://inv/VD69BWKXP4`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#theorem-8 (statement). In P1C114YBXG, theorem, section K

History

2026-11-01: add by m2/v0.6.13

VD6BMDW79X VD6BMDW79X

URI	`m2://inv/VD6BMDW79X`
Kind	example
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18242#GUWK (example). In VVC2FHQZZR/e1, example 6.7

History

2026-10-28: add by m2/v0.4.2

VD6BV3HKVY VD6BV3HKVY

URI	`m2://inv/VD6BV3HKVY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#def:unifnorm (definition). In E59CDZA4DP, defn, section 9.1.3

History

2026-11-01: add by m2/v0.6.13

VD6QQ4R0VY VD6QQ4R0VY

URI	`m2://inv/VD6QQ4R0VY`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-113 (exercise). In E9HS8K3A52, exercise, section 4.8.3

History

2026-11-01: add by m2/v0.6.13

Bart Preneel VD6T24AV2V

URI	`m2://inv/VD6T24AV2V`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of cryptographers#RIVZ, Bart Preneel (topic)

History

2026-11-02: add by m2/dev

Applications of group theory VD6Y3AY5E4

URI	`m2://inv/VD6Y3AY5E4`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Group theory#BW8G, Applications of group theory (example)

History

2026-11-02: add by m2/dev

VD706BSHTY VD706BSHTY

URI	`m2://inv/VD706BSHTY`
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 1912.13357#AYXF (statement). In K8CQDCYBR3/e1, lemma 1

History

2026-10-27: add by m2/v0.3.5

VD72SKT86X VD72SKT86X

URI	`m2://inv/VD72SKT86X`
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.22002#99TB (statement). In JTND2BM263/e1, lemma 2.4

History

2026-10-27: add by m2/v0.4.2

Variants VD7KDGXMRH

URI	`m2://inv/VD7KDGXMRH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Parareal#S2N0, Variants (statement)

History

2026-11-02: add by m2/dev

Abhari VD7QG3M711

URI	`m2://inv/VD7QG3M711`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#O91T, Abhari (topic)

History

2026-11-02: add by m2/dev

Examples VD7QKVS9EX

URI	`m2://inv/VD7QKVS9EX`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Almost simple group#JTFY, Examples (example)

History

2026-11-02: add by m2/dev

Formulation VD7SASC8EC

URI	`m2://inv/VD7SASC8EC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Multitaper#YWCY, Formulation (definition)

History

2026-11-02: add by m2/dev

Quantitative averaging VD7T6TJ0TM

URI	`m2://inv/VD7T6TJ0TM`
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.07380#UHEA, Quantitative averaging (statement). In XM2CDRKSGE/e1, theorem 2.3

History

2026-10-29: add by m2/v0.4.10

List of superseded scientific theories VD7TK4PMH5

URI	`m2://inv/VD7TK4PMH5`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of superseded scientific theories, List of superseded scientific theories (topic). Also Wikidata Q4115113

History

2026-11-02: add by m2/dev

Examples VD7TNSZCMW

URI	`m2://inv/VD7TNSZCMW`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Semilinear map#WIN3, Examples (example)

History

2026-11-02: add by m2/dev

Construction VD7Z6KAFZE

URI	`m2://inv/VD7Z6KAFZE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cyclohedron#EMAQ, Construction (definition)

History

2026-11-02: add by m2/dev

Trivial solution VD8AY633A2

URI	`m2://inv/VD8AY633A2`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Triviality (mathematics)#JAS5, Trivial solution (unknown)

History

2026-11-02: add by m2/dev

VD8KRNPT9T VD8KRNPT9T

URI	`m2://inv/VD8KRNPT9T`
Kind	statement
Layer	research
MSC	05-XX, 13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.13888#XL2E (statement). In 2G5K2GZTX7/e1, proposition 2.12

History

2026-10-27: add by m2/v0.4.0

BLS12-381 VD8M56XERE

URI	`m2://inv/VD8M56XERE`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia BLS digital signature#N976, BLS12-381 (unknown)

History

2026-11-02: add by m2/dev

Applications VD8YE4XPQE

URI	`m2://inv/VD8YE4XPQE`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dominator (graph theory)#N9YT, Applications (example)

History

2026-11-02: add by m2/dev

VD930F7W62 VD930F7W62

URI	`m2://inv/VD930F7W62`
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#O79G (statement). In 328KGRNN0W/e1, theorem 1.1

History

2026-10-30: add by m2/v0.4.12

VD9370TRDJ VD9370TRDJ

URI	`m2://inv/VD9370TRDJ`
Kind	statement
Layer	research
MSC	35-XX, 51-XX, 52-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11478#N40R (statement). In R81S9R1XNR/e1, proposition 4.5

History

2026-10-28: add by m2/v0.4.3

VD9DV3T1J8 VD9DV3T1J8

URI	`m2://inv/VD9DV3T1J8`
Kind	definition
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02689#8NAN (definition). In 7BWXR38MNE/e1, definition 2.5

History

2026-10-29: add by m2/v0.4.12

Monodromy theorem VD9DZ5F9N7

URI	`m2://inv/VD9DZ5F9N7`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#W5MD, Monodromy theorem (statement)

History

2026-11-02: add by m2/dev

Definition VD9NFVHHEC

URI	`m2://inv/VD9NFVHHEC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia AW*-algebra#EH0R, Definition (definition)

History

2026-11-02: add by m2/dev

Example VDA4MY2T2V

URI	`m2://inv/VDA4MY2T2V`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ergodicity#NM2S, Example (example)

History

2026-11-02: add by m2/dev

Zonal spherical harmonics VDA4X4QQ0Z

URI	`m2://inv/VDA4X4QQ0Z`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Zonal spherical harmonics, Zonal spherical harmonics (definition). Also Wikidata Q8073864

History

2026-11-02: add by m2/dev

shortest vector VDA80N2HCY

URI	`m2://inv/VDA80N2HCY`
Kind	problem
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#MN5M, shortest vector (problem)

History

2026-11-02: add by m2/dev

Convex ordering dominance for exchangeable data stream VDACXAR5SE

URI	`m2://inv/VDACXAR5SE`
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.26951#P8D5, Convex ordering dominance for exchangeable data stream (statement)

History

2026-11-01: add by m2/v0.6.15

Repulsion and isolation of deep crossings VDAGWKVNNN

URI	`m2://inv/VDAGWKVNNN`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00295#HUEY, Repulsion and isolation of deep crossings (statement). In 7HXP270BD0/e1, lemma 3.18

History

2026-10-30: add by m2/v0.4.12

VDAH2YH181 VDAH2YH181

URI	`m2://inv/VDAH2YH181`
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.04675#5Q16 (statement). In RDXNFF2CZP/e1, corollary 11

History

2026-10-29: add by m2/v0.4.12

VDAQ3TXWYX VDAQ3TXWYX

URI	`m2://inv/VDAQ3TXWYX`
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.14681#LARQ (statement). In 459W0NBS5Q/e1, lemma 5

History

2026-10-28: add by m2/v0.4.2

framing effect VDAQBBQDTZ

URI	`m2://inv/VDAQBBQDTZ`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of cognitive biases#JNE5, framing effect (unknown)

History

2026-11-02: add by m2/dev

entire function VDAYRRB89H

URI	`m2://inv/VDAYRRB89H`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Entire function 0419794R0T

Mentions

wikidata: Wikidata Q847600, entire function (unknown). Also MathWorld EntireFunction
wikipedia: Wikipedia Entire function, Entire function (definition). Also Wikidata Q847600

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Formal definition VDB7ZSG08P

URI	`m2://inv/VDB7ZSG08P`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Order dimension#YHW3, Formal definition (definition)

History

2026-11-02: add by m2/dev

VDB8DDZCPZ VDB8DDZCPZ

URI	`m2://inv/VDB8DDZCPZ`
Kind	statement
Layer	research
MSC	49-XX, 60-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07285#IQ02 (statement). In S284XRA4WK/e1, proposition 4.4

History

2026-10-29: add by m2/v0.4.10

Hurwitz monodromy criterion VDB8MM6RV6

URI	`m2://inv/VDB8MM6RV6`
Kind	statement
Layer	research
MSC	14-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20572#EMDA, Hurwitz monodromy criterion (statement)

History

2026-11-02: add by m2/v0.6.18

Flynn effect VDB91HQGFD

URI	`m2://inv/VDB91HQGFD`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of paradoxes#S6SZ, Flynn effect (unknown)

History

2026-11-02: add by m2/dev

Sandpile Gambler's Ruin Probabilities VDBDX6NY8Z

URI	`m2://inv/VDBDX6NY8Z`
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 2603.16304#RJ6S, Sandpile Gambler's Ruin Probabilities (definition). In NEGP0YBA3C/e1, definition 3.1

History

2026-10-27: add by m2/v0.3.6

Quaternionic eigenvalue problem VDBGEYVCXY

URI	`m2://inv/VDBGEYVCXY`
Kind	problem
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quaternionic eigenvalue problem, Quaternionic eigenvalue problem (problem). Also Wikidata Q140419708

History

2026-11-02: add by m2/dev

functional determinant VDBJR58PWZ

URI	`m2://inv/VDBJR58PWZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of invariant theory#OW0A, functional determinant (definition)

History

2026-11-02: add by m2/dev

Malcev algebra VDBMY39WTF

URI	`m2://inv/VDBMY39WTF`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Malcev algebra, Malcev algebra (definition). Also Wikidata Q2902888

History

2026-11-02: add by m2/dev

Split-step method VDC8K354F6

URI	`m2://inv/VDC8K354F6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of numerical analysis topics#63DD, Split-step method (unknown)

History

2026-11-02: add by m2/dev

Theorem VDC9MTK4CN

URI	`m2://inv/VDC9MTK4CN`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Descartes's rule of signs#BVIW, Theorem (statement)

History

2026-11-02: add by m2/dev

Strict comparison with respect to tracial states VDCADG2TBW

URI	`m2://inv/VDCADG2TBW`
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.09390#SK6A, Strict comparison with respect to tracial states (definition). In 7SSKW778T8/e1, definition 2.2

History

2026-10-29: add by m2/v0.4.10

VDCAE2KZ2J VDCAE2KZ2J

URI	`m2://inv/VDCAE2KZ2J`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.19260#WUYB (statement). In PWXT7J9JX3/e1, proposition 5.1

History

2026-10-28: add by m2/v0.4.2

Comparison principle VDCBMS6A1Z

URI	`m2://inv/VDCBMS6A1Z`
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.17519#NZI3, Comparison principle (statement). In H2DNTQ5MKV/e1, proposition 3.13

History

2026-10-28: add by m2/v0.4.2

Theorem VDCG3F3ERT

URI	`m2://inv/VDCG3F3ERT`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Surjection of Fréchet spaces#VOO7, Theorem (statement)

History

2026-11-02: add by m2/dev

Jia Li VDCRNGZ8SQ

URI	`m2://inv/VDCRNGZ8SQ`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#ULRH, Jia Li (topic)

History

2026-11-02: add by m2/dev

Möbius configuration VDCWD858R3

URI	`m2://inv/VDCWD858R3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Möbius configuration, Möbius configuration (definition). Also Wikidata Q6950320

History

2026-11-02: add by m2/dev

VDD3QB0XNX VDD3QB0XNX

URI	`m2://inv/VDD3QB0XNX`
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.31220#QPH8 (statement). In JMWCGMNE84/e1, theorem 2.3

History

2026-10-31: add by m2/v0.5.6

VDDCK57K25 VDDCK57K25

URI	`m2://inv/VDDCK57K25`
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.13931#X3J0 (statement). In EXA79VR78Q/e1, theorem 2.13

History

2026-10-28: add by m2/v0.4.2

VDDHV89N51 VDDHV89N51

URI	`m2://inv/VDDHV89N51`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38250#7QP2 (statement). In 5KDV984W48/e1, theorem 2

History

2026-10-30: add by m2/v0.4.12

Vector algebra VDDNGR3913

URI	`m2://inv/VDDNGR3913`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#T4KD, Vector algebra (definition)

History

2026-11-02: add by m2/dev

VDDR7CYWQ8 VDDR7CYWQ8

URI	`m2://inv/VDDR7CYWQ8`
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 2212.11038#ISDI (statement). In M3E3ARMJXK/e1, lemma 4.4

History

2026-10-27: add by m2/v0.3.5

Applications VDDRDJ490D

URI	`m2://inv/VDDRDJ490D`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Abstract algebra#D7AB, Applications (example)

History

2026-11-02: add by m2/dev

Quadratic set VDE3G8330B

URI	`m2://inv/VDE3G8330B`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quadratic set, Quadratic set (definition). Also Wikidata Q2121853

History

2026-11-02: add by m2/dev

VDE53WZQX8 VDE53WZQX8

URI	`m2://inv/VDE53WZQX8`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

austin_ula: austin_ula src/section2-4.xml#example-span-plane (example). In 649HGZKE96, example, section 2.4.2

History

2026-11-01: add by m2/v0.6.13

VDE70JE44Z VDE70JE44Z

URI	`m2://inv/VDE70JE44Z`
Kind	definition
Layer	research
MSC	17-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 2609.39254#QY3D (definition). In A59MZ9H284/e1, definition 2.8

History

2026-10-30: add by m2/v0.4.12

Prolog-MPI VDECQ9W6RC

URI	`m2://inv/VDECQ9W6RC`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Prolog#1CMN, Prolog-MPI (unknown)

History

2026-11-02: add by m2/dev

VDEGTJB60D VDEGTJB60D

URI	`m2://inv/VDEGTJB60D`
Kind	statement
Layer	research
MSC	11-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14380#9KXC (statement). In 2ZRQP063HP/e1, lemma 2.2

History

2026-10-28: add by m2/v0.4.2

VDEJCQMBDH VDEJCQMBDH

URI	`m2://inv/VDEJCQMBDH`
Kind	statement
Layer	research
MSC	13-XX, 14-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.38068#Z6ZQ (statement). In 67GE5M1GGD/e1, theorem 3.8

History

2026-10-30: add by m2/v0.4.12

Applications VDEYWZG4Z6

URI	`m2://inv/VDEYWZG4Z6`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Multivariate cryptography#SEJR, Applications (example)

History

2026-11-02: add by m2/dev

VDF1DHT7A2 VDF1DHT7A2

URI	`m2://inv/VDF1DHT7A2`
Kind	statement
Layer	research
MSC	11-XX, 16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02111#JBMM (statement). In NC5ZRF6F8N/e1, lemma 3.13

History

2026-10-29: add by m2/v0.4.12

combinatorial inverse of the catalogue matrix VDFJGJGQ6N

URI	`m2://inv/VDFJGJGQ6N`
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.39511#2G22, combinatorial inverse of the catalogue matrix (statement). In 6W9H24A378/e1, corollary 3

History

2026-10-30: add by m2/v0.4.12

scalar symbols VDFKBGG4Z1

URI	`m2://inv/VDFKBGG4Z1`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-XX, 47-XX, 58-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27458#2MG6, scalar symbols (statement)

History

2026-11-01: add by m2/v0.6.15

Appeal to fear VDFPGQNS1A

URI	`m2://inv/VDFPGQNS1A`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Appeal to fear, Appeal to fear (definition). Also Wikidata Q1419804

History

2026-11-02: add by m2/dev

Jost Reinecke VDFVB4QK7S

URI	`m2://inv/VDFVB4QK7S`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jost Reinecke, Jost Reinecke (topic). Also Wikidata Q1708811

History

2026-11-02: add by m2/dev

row operations VDFYRE424F

URI	`m2://inv/VDFYRE424F`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs index/10.2.4/row-operations, row operations (concept). In E9HS8K3A52, index, section 10.2.4

History

2026-11-01: add by m2/v0.6.13

Felix Blumenfeld VDFYZP7VE6

URI	`m2://inv/VDFYZP7VE6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#AHP2, Felix Blumenfeld (unknown)

History

2026-11-02: add by m2/dev

VDFZMTDZ03 VDFZMTDZ03

URI	`m2://inv/VDFZMTDZ03`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 53.3

History

2026-11-01: add by m2/v0.6.13

Signed divisibility VDG8ZH19Q9

URI	`m2://inv/VDG8ZH19Q9`
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.37754#8VWE, Signed divisibility (statement). In 3HPFAQKBEM/e1, lemma 3.3

History

2026-10-30: add by m2/v0.4.12

Exact affine dual VDGBJVZ29X

URI	`m2://inv/VDGBJVZ29X`
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.04027#VU20, Exact affine dual (statement). In DQB4YR2DFH/e1, proposition 12.7

History

2026-10-29: add by m2/v0.4.12

Otto Hölder VDGT7SSV28

URI	`m2://inv/VDGT7SSV28`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of real analysis topics#QUBN, Otto Hölder (topic)

History

2026-11-02: add by m2/dev

Dharmottara VDGYF0YQ19

URI	`m2://inv/VDGYF0YQ19`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dharmottara, Dharmottara (definition). Also Wikidata Q24944363

History

2026-11-02: add by m2/dev

Mycielski's theorem VDH7RN6CBY

URI	`m2://inv/VDH7RN6CBY`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Graph coloring#FBDI, Mycielski's theorem (unknown)

History

2026-11-02: add by m2/dev

VDHDAQZBHM VDHDAQZBHM

URI	`m2://inv/VDHDAQZBHM`
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#BGSK (statement). In JK8PYKCZRA/e1, proposition 2.2

History

2026-10-30: add by m2/v0.4.12

Jody Azzouni VDHGGQDMZ4

URI	`m2://inv/VDHGGQDMZ4`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jody Azzouni, Jody Azzouni (topic). Also Wikidata Q1357241

History

2026-11-02: add by m2/dev

Proof of \olref{prop:rep-add} VDHMJ0QRKJ

URI	`m2://inv/VDHMJ0QRKJ`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-4, Proof of \olref{prop:rep-add} (proof). In PKGMM3P5QY, proof, section 29.3

History

2026-11-01: add by m2/v0.6.13

Tangent-cone orbit classification VDHQWWKYAM

URI	`m2://inv/VDHQWWKYAM`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25987#39MA, Tangent-cone orbit classification (statement)

History

2026-11-01: add by m2/v0.6.15

Aurel Voss VDHVGKSJ4X

URI	`m2://inv/VDHVGKSJ4X`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Aurel Voss, Aurel Voss (topic). Also Wikidata Q775113

History

2026-11-02: add by m2/dev

Budget validity VDJ059S87V

URI	`m2://inv/VDJ059S87V`
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.14012#KPDA, Budget validity (statement). In B8M5XAJASD/e1, lemma 2

History

2026-10-28: add by m2/v0.4.2

Extensions VDJ5JNW17G

URI	`m2://inv/VDJ5JNW17G`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mirsky's theorem#4HIQ, Extensions (statement)

History

2026-11-02: add by m2/dev

John Bailer VDJ5Q5ESQT

URI	`m2://inv/VDJ5Q5ESQT`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#4JFM, John Bailer (unknown)

History

2026-11-02: add by m2/dev

Jean Buridan VDJ8F9YZGB

URI	`m2://inv/VDJ8F9YZGB`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jean Buridan, Jean Buridan (topic). Also Wikidata Q275500

History

2026-11-02: add by m2/dev

VDJC3FFWA8 VDJC3FFWA8

URI	`m2://inv/VDJC3FFWA8`
Kind	statement
Layer	research
MSC	18-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1512.06981#TWGD (statement). In X923ZEY423/e1, lemma 2.0.7

History

2026-10-27: add by m2/v0.3.5

VDJFH5S3YD VDJFH5S3YD

URI	`m2://inv/VDJFH5S3YD`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26896#27FO (statement)

History

2026-11-01: add by m2/v0.6.15

Canonical Lift of fBm VDJGFA48JA

URI	`m2://inv/VDJGFA48JA`
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 2312.06473#J15Z, Canonical Lift of fBm (statement). In P1MYSYHSGX/e1, lemma 2.10

History

2026-10-27: add by m2/v0.3.5

VDJMNNW4CE VDJMNNW4CE

URI	`m2://inv/VDJMNNW4CE`
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.06556#DZ9U (statement). In KW8C7VE9XR/e1, theorem 37

History

2026-10-29: add by m2/v0.4.10

Differential topology VDJQ9WFKY4

URI	`m2://inv/VDJQ9WFKY4`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of topology topics#9SF6, Differential topology (topic)

History

2026-11-02: add by m2/dev

Monotone independence VDJZ7XNWY9

URI	`m2://inv/VDJZ7XNWY9`
Kind	example
Layer	research
MSC	05-XX, 46-XX, 47-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1711.00219#5HFW, Monotone independence (example). In 7V3HG30ZGW/e1, example 4.7

History

2026-10-27: add by m2/v0.4.0

Linear winding bound VDJZVJ6VTK

URI	`m2://inv/VDJZVJ6VTK`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14065#9WZY, Linear winding bound (statement). In PV7V3X78JH/e1, lemma 4.8

History

2026-10-28: add by m2/v0.4.2

VDK5B1B90T VDK5B1B90T

URI	`m2://inv/VDK5B1B90T`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-6 (statement). In PKGMM3P5QY, prop, section 66.6

History

2026-11-01: add by m2/v0.6.13

Survivorship bias VDKC4FMC9B

URI	`m2://inv/VDKC4FMC9B`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Survivorship bias, Survivorship bias (definition). Also Wikidata Q2919077

History

2026-11-02: add by m2/dev

VDKCK05PTD VDKCK05PTD

URI	`m2://inv/VDKCK05PTD`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2304.02722#F11O (statement). In AH7D55D3WV/e1, proposition 19.1

History

2026-10-27: add by m2/v0.3.5

VDKF1G49VC VDKF1G49VC

URI	`m2://inv/VDKF1G49VC`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39260#UZ07 (statement). In ZNDB1AZZSA/e1, theorem 2.2

History

2026-10-30: add by m2/v0.4.12

VDKM5F03BF VDKM5F03BF

URI	`m2://inv/VDKM5F03BF`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35669#1TJA (statement). In 8380G43M8E/e1, lemma A.1

History

2026-10-30: add by m2/v0.4.12

VDKW2C822K VDKW2C822K

URI	`m2://inv/VDKW2C822K`
Kind	statement
Layer	research
MSC	54-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35180#4FUV (statement). In ZA34B1CR9M/e1, lemma 3.14

History

2026-10-30: add by m2/v0.4.12

List of blockchain games VDKY58PBJ8

URI	`m2://inv/VDKY58PBJ8`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Blockchain game#38RM, List of blockchain games (unknown)

History

2026-11-02: add by m2/dev

VDM7E6BXXW VDM7E6BXXW

URI	`m2://inv/VDM7E6BXXW`
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 2201.04174#IN09 (statement). In NVTHDNQQ4Q/e1, proposition 4.7

History

2026-10-27: add by m2/v0.3.5

Homotopic maps VDMG22G8ZN

URI	`m2://inv/VDMG22G8ZN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of general topology#VV9G, Homotopic maps (definition)

History

2026-11-02: add by m2/dev

Representations VDMM2JPAR1

URI	`m2://inv/VDMM2JPAR1`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lyons group#XIQK, Representations (definition)

History

2026-11-02: add by m2/dev

VDN2N1RHBB VDN2N1RHBB

URI	`m2://inv/VDN2N1RHBB`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-basics.ptx#example-5 (example). In Y91XFCEVHQ, example, section 3.1

History

2026-11-01: add by m2/v0.6.13

Girolamo Saladini VDN7FGPW67

URI	`m2://inv/VDN7FGPW67`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Girolamo Saladini, Girolamo Saladini (topic). Also Wikidata Q12951833

History

2026-11-02: add by m2/dev

All-density first-order optimum VDNF3H97TX

URI	`m2://inv/VDNF3H97TX`
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#YT23, All-density first-order optimum (statement). In 9YAE8FNQST/e1, theorem 20.12

History

2026-10-30: add by m2/v0.4.12

Definition VDNF89ERA1

URI	`m2://inv/VDNF89ERA1`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Subspace topology#64SD, Definition (definition)

History

2026-11-02: add by m2/dev

VDNG7Q22MD VDNG7Q22MD

URI	`m2://inv/VDNG7Q22MD`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10365#NUOM (statement). In PRVQPSBVHK/e1, corollary 10

History

2026-10-29: add by m2/v0.4.10

surface commutation VDNJ0JF9CE

URI	`m2://inv/VDNJ0JF9CE`
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.22355#DRMM, surface commutation (statement)

History

2026-11-02: add by m2/v0.6.17

Statement VDNJ4G7B54

URI	`m2://inv/VDNJ4G7B54`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fujita conjecture#Y4PK, Statement (statement)

History

2026-11-02: add by m2/dev

István Vincze VDNRHX8603

URI	`m2://inv/VDNRHX8603`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#YRFH, István Vincze (topic)

History

2026-11-02: add by m2/dev

Neutral plane VDNY3ZWRFZ

URI	`m2://inv/VDNY3ZWRFZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Neutral plane, Neutral plane (definition). Also Wikidata Q17146545

History

2026-11-02: add by m2/dev

Susan Stebbing VDNZ9N2ZAM

URI	`m2://inv/VDNZ9N2ZAM`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Susan Stebbing, Susan Stebbing (topic). Also Wikidata Q2106841

History

2026-11-02: add by m2/dev

VDPERPT6C7 VDPERPT6C7

URI	`m2://inv/VDPERPT6C7`
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.31489#TW3F (statement). In ZKBG58PN1J/e1, corollary 5.9

History

2026-10-31: add by m2/v0.5.6

Global regular solutions for $0<\delta<1$ VDPNSP1QT3

URI	`m2://inv/VDPNSP1QT3`
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.13248#E656, Global regular solutions for $0<\delta<1$ (statement). In MGMC5SREP3/e1, theorem 2.2

History

2026-10-28: add by m2/v0.4.2

Generalized assignment problem VDPPWM98CT

URI	`m2://inv/VDPPWM98CT`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of NP-complete problems#SMG2, Generalized assignment problem (unknown)

History

2026-11-02: add by m2/dev

Examples VDPT6M99FW

URI	`m2://inv/VDPT6M99FW`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Harmonic measure#QINL, Examples (example)

History

2026-11-02: add by m2/dev

VDPVXHC725 VDPVXHC725

URI	`m2://inv/VDPVXHC725`
Kind	definition
Layer	research
MSC	05-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2309.15228#8SYM (definition). In 4778KMFZAF/e1, definition 2.2

History

2026-10-27: add by m2/v0.3.5

VDPZ956ZM5 VDPZ956ZM5

URI	`m2://inv/VDPZ956ZM5`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39700#UD1X (statement). In E7W2HDNEKJ/e1, theorem 9.10

History

2026-10-30: add by m2/v0.4.12

VDQ4P5ZEZB VDQ4P5ZEZB

URI	`m2://inv/VDQ4P5ZEZB`
Kind	statement
Layer	research
MSC	05-XX, 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 2608.17785#LP9I (statement). In H3FDP8S1Z7/e1, lemma 2.4

History

2026-10-27: add by m2/v0.3.5

VDQ4QYBMEP VDQ4QYBMEP

URI	`m2://inv/VDQ4QYBMEP`
Kind	statement
Layer	research
MSC	14-XX, 18-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37520#KOLE (statement). In BDN507RN7J/e1, corollary 4.1.25

History

2026-10-30: add by m2/v0.4.12

Female education in STEM VDQ7FC4EVF

URI	`m2://inv/VDQ7FC4EVF`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Female education in STEM, Female education in STEM (definition). Also Wikidata Q42417415

History

2026-11-02: add by m2/dev

Definition VDQAJVT1N2

URI	`m2://inv/VDQAJVT1N2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia T-structure#3XRE, Definition (definition)

History

2026-11-02: add by m2/dev

Kaplan–Yorke conjecture VDQHDBFCAS

URI	`m2://inv/VDQHDBFCAS`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q25303693, Kaplan–Yorke conjecture (concept). Also MathWorld Kaplan-YorkeConjecture
wikipedia: Wikipedia Kaplan–Yorke conjecture, Kaplan–Yorke conjecture (statement). Also Wikidata Q25303693

History

2026-10-26: add by m2/dev

VDQHDTBE04 VDQHDTBE04

URI	`m2://inv/VDQHDTBE04`
Kind	statement
Layer	research
MSC	53-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40017#NL1T (statement). In MBHJA0HT06/e1, proposition 6.1

History

2026-10-30: add by m2/v0.4.12

VDQK8RT80N VDQK8RT80N

URI	`m2://inv/VDQK8RT80N`
Kind	statement
Layer	research
MSC	20-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06699#I00L (statement). In GXHKRV5BPY/e1, proposition 4.9

History

2026-10-29: add by m2/v0.4.10

Algorithms VDQM85PP1Z

URI	`m2://inv/VDQM85PP1Z`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Spectral clustering#JOQM, Algorithms (definition)

History

2026-11-02: add by m2/dev

VDQNQ52HN4 VDQNQ52HN4

URI	`m2://inv/VDQNQ52HN4`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/representable-comp.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 30.1

History

2026-11-01: add by m2/v0.6.13

Split-open refinement and enriched localization VDQW4J1KW9

URI	`m2://inv/VDQW4J1KW9`
Kind	statement
Layer	research
MSC	14-XX, 53-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28220#BH3R, Split-open refinement and enriched localization (statement)

History

2026-11-01: add by m2/v0.6.15

requires \sectionref{sec:taylor} VDRCT6RVR7

URI	`m2://inv/VDRCT6RVR7`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise-35, requires \sectionref{sec:taylor} (exercise). In E59CDZA4DP, exercise, section 3.4.2

History

2026-11-01: add by m2/v0.6.13

Kleene fixed-point theorem VDRG7H0GFE

URI	`m2://inv/VDRG7H0GFE`
Kind	statement
Layer	textbook
MSC	06-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q3527263, Kleene fixed-point theorem (statement). Also Mathlib fixedPoints.lfp_eq_sSup_iterate, Wikidata Q3527263
thousand_plus: thousand_plus Q3527263, Kleene fixed-point theorem (statement). Also Mathlib fixedPoints.lfp_eq_sSup_iterate, Wikidata Q3527263, Wikipedia Kleene fixed-point theorem
wikipedia: Wikipedia Kleene fixed-point theorem, Kleene fixed-point theorem (statement). Also Wikidata Q3527263

History

2026-10-26: add by m2/dev

VDRQ5PH4ZE VDRQ5PH4ZE

URI	`m2://inv/VDRQ5PH4ZE`
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.11031#CYBZ (statement). In 9DMJXFRQN9/e1, corollary 5.2

History

2026-10-28: add by m2/v0.4.3

Random Potentials VDRYMM7HP4

URI	`m2://inv/VDRYMM7HP4`
Kind	definition
Layer	research
MSC	37-XX, 60-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1603.00857#I42M, Random Potentials (definition). In XT50B5RJF5/e1, definition 1

History

2026-10-27: add by m2/v0.3.5

\textbf{Properties of $\mathcal Z^\tau$ VDS30B0RTE

URI	`m2://inv/VDS30B0RTE`
Kind	statement
Layer	research
MSC	11-XX, 30-XX, 32-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.14266#A983, \textbf{Properties of $\mathcal Z^\tau$ (statement). In 7R33E8515R/e1, lemma 2.9

History

2026-10-28: add by m2/v0.4.2

Definition VDS5VRNZK4

URI	`m2://inv/VDS5VRNZK4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Manifold#QJ3E, Definition (definition)

History

2026-11-02: add by m2/dev

VDSKKX64Z3 VDSKKX64Z3

URI	`m2://inv/VDSKKX64Z3`
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.14458#WHAO (statement). In WJ76MVYAZQ/e1, lemma 3.11

History

2026-10-28: add by m2/v0.4.2

regular graph VDSRZGQ5ZF

URI	`m2://inv/VDSRZGQ5ZF`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Regular graph 0KA4S8R39M

Mentions

wikidata: Wikidata Q826467, regular graph (definition). Also MathWorld RegularGraph, ProofWiki Definition:Regular_Graph
wikipedia: Wikipedia Regular graph, Regular graph (definition). Also Wikidata Q826467

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

VDSSKZ5Z5Q VDSSKZ5Z5Q

URI	`m2://inv/VDSSKZ5Z5Q`
Kind	example
Layer	research
MSC	05-XX, 11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28265#89LA (example)

History

2026-11-01: add by m2/v0.6.15

Natural logarithm VDSZF6MCWR

URI	`m2://inv/VDSZF6MCWR`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#ZM2I, Natural logarithm (object)

History

2026-11-02: add by m2/dev

International Encyclopedia of Statistical Science VDT0C37SXA

URI	`m2://inv/VDT0C37SXA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia International Encyclopedia of Statistical Science, International Encyclopedia of Statistical Science (definition). Also Wikidata Q16990079

History

2026-11-02: add by m2/dev

Stone–Weierstrass theorem (complex numbers) VDT34VBHXZ

URI	`m2://inv/VDT34VBHXZ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stone–Weierstrass theorem#S1GW, Stone–Weierstrass theorem (complex numbers) (statement)

History

2026-11-02: add by m2/dev

VDT7SG4FJ1 VDT7SG4FJ1

URI	`m2://inv/VDT7SG4FJ1`
Kind	example
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.11395#RXQ7 (example). In T3W7SMWQ73/e1, example 14

History

2026-10-28: add by m2/v0.4.3

VDTMAB4J98 VDTMAB4J98

URI	`m2://inv/VDTMAB4J98`
Kind	statement
Layer	research
MSC	49-XX, 62-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.30220#VHON (statement)

History

2026-11-01: add by m2/v0.6.15

Júlio César de Mello e Souza VDTSZ7MPJ4

URI	`m2://inv/VDTSZ7MPJ4`
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 Q2520014, Júlio César de Mello e Souza (unknown). Also ProofWiki Mathematician:Júlio_César_de_Mello_e_Souza
wikipedia: Wikipedia Júlio César de Mello e Souza, Júlio César de Mello e Souza (topic). Also Wikidata Q2520014

History

2026-10-26: add by m2/dev

VDTV3EH89V VDTV3EH89V

URI	`m2://inv/VDTV3EH89V`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/model-theory/basics/nonstandard-arithmetic.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 46.3

History

2026-11-01: add by m2/v0.6.13

VDTVGARBNT VDTVGARBNT

URI	`m2://inv/VDTVGARBNT`
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 2606.00589#VBL0 (statement). In C8JAGP8VCQ/e1, lemma 8.12

History

2026-10-27: add by m2/v0.3.5

Hidden variable theory VDV1CW1913

URI	`m2://inv/VDV1CW1913`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#1Y38, Hidden variable theory (definition)

History

2026-11-02: add by m2/dev

VDV5V66H30 VDV5V66H30

URI	`m2://inv/VDV5V66H30`
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 1911.06467#OPAL (statement). In G35G1NJKBX/e1, theorem 7.1

History

2026-10-27: add by m2/v0.3.5

VDVDGP59CP VDVDGP59CP

URI	`m2://inv/VDVDGP59CP`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_scv: lebl_scv scv.tex#exercise-88 (exercise). In VNMV985MXX, exercise, section 2.3

History

2026-11-01: add by m2/v0.6.13

Ronald Loui VDVNQPHB6H

URI	`m2://inv/VDVNQPHB6H`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ronald Loui, Ronald Loui (topic). Also Wikidata Q7365069

History

2026-11-02: add by m2/dev

exact VDVW7K5MVK

URI	`m2://inv/VDVW7K5MVK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of category theory#E54A, exact (definition)

History

2026-11-02: add by m2/dev

VDVWA5SXTB VDVWA5SXTB

URI	`m2://inv/VDVWA5SXTB`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12295#E4VG (statement). In 6DZPR52HRP/e1, lemma 2.3

History

2026-10-28: add by m2/v0.4.2

VDVZGTZHX0 VDVZGTZHX0

URI	`m2://inv/VDVZGTZHX0`
Kind	example
Layer	research
MSC	11-XX, 20-XX, 22-XX, 46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35543#WDGZ (example). In WSG1ZW956E/e1, example 3.5

History

2026-10-30: add by m2/v0.4.12

René Descartes VDW9SRZNFX

URI	`m2://inv/VDW9SRZNFX`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of geometers#6RRY, René Descartes (topic)

History

2026-11-02: add by m2/dev

VDWDTY1VZ7 VDWDTY1VZ7

URI	`m2://inv/VDWDTY1VZ7`
Kind	statement
Layer	research
MSC	19-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.36823#5UF1 (statement). In 55WT8DME6Y/e1, corollary 4.4

History

2026-10-30: add by m2/v0.4.12

VDWHYB0TEM VDWHYB0TEM

URI	`m2://inv/VDWHYB0TEM`
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.19088#U9DM (statement). In 90QTB4CC31/e1, theorem 4.4

History

2026-10-28: add by m2/v0.4.2

Evelyn M. Kitagawa VDWNYC5VD6

URI	`m2://inv/VDWNYC5VD6`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Evelyn M. Kitagawa, Evelyn M. Kitagawa (topic). Also Wikidata Q26689953

History

2026-11-02: add by m2/dev

Busy beaver function VDWRNRY9SF

URI	`m2://inv/VDWRNRY9SF`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Busy beaver#G8TN, Busy beaver function (unknown)

History

2026-11-02: add by m2/dev

VDX20WP6HD VDX20WP6HD

URI	`m2://inv/VDX20WP6HD`
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.21017#144R (statement)

History

2026-11-02: add by m2/v0.6.18

periodic group VDX36GA0QZ

URI	`m2://inv/VDX36GA0QZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 3568695)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#AWMD, periodic group (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

VDX8VDANPZ VDX8VDANPZ

URI	`m2://inv/VDX8VDANPZ`
Kind	statement
Layer	research
MSC	16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28011#X3SX (statement)

History

2026-11-01: add by m2/v0.6.15

abelian topological group VDX98QPZY8

URI	`m2://inv/VDX98QPZY8`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q7825020, abelian topological group (unknown). Also nLab topological abelian group
wikipedia: Wikipedia Topological abelian group, Topological abelian group (definition). Also Wikidata Q7825020

History

2026-10-26: add by m2/dev

Examples VDX9YTJX8F

URI	`m2://inv/VDX9YTJX8F`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Sheaf of modules#JOQF, Examples (example)

History

2026-11-02: add by m2/dev

Identity channel VDXB7SZGW7

URI	`m2://inv/VDXB7SZGW7`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Identity channel, Identity channel (statement). Also Wikidata Q5988349

History

2026-11-02: add by m2/dev

relation VDXD7RG09V

URI	`m2://inv/VDXD7RG09V`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#WZJ2, relation (definition)

History

2026-11-02: add by m2/dev

VDXK7M25VC VDXK7M25VC

URI	`m2://inv/VDXK7M25VC`
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.23671#RC9P (statement)

History

2026-11-02: add by m2/v0.6.17

A restricted translation symmetry VDXRS9AE35

URI	`m2://inv/VDXRS9AE35`
Kind	example
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25987#LRY7, A restricted translation symmetry (example)

History

2026-11-01: add by m2/v0.6.15

VDXSMPV1XP VDXSMPV1XP

URI	`m2://inv/VDXSMPV1XP`
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.02751#U8LI (statement). In MWGXPXF3BW/e1, corollary 21

History

2026-10-29: add by m2/v0.4.12

Euclid's formula VDY16TP217

URI	`m2://inv/VDY16TP217`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Euclid#Y4EP, Euclid's formula (definition)

History

2026-11-02: add by m2/dev

existence theorem VDY2S7Q844

URI	`m2://inv/VDY2S7Q844`
Kind	statement
Layer	textbook
MSC	35-XX, 46-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08253#1231, Existence Theorem (statement). In 6AD2CTF0QF/e1, theorem 3.6
wikidata: Wikidata Q2694495, existence theorem (statement). Also MathWorld ExistenceTheorem
wikipedia: Wikipedia Existence theorem, Existence theorem (statement). Also Wikidata Q2694495

History

2026-10-26: add by m2/dev
2026-10-31: merge by m2/v0.5.6

Numerical continuation VDY3PRAM55

URI	`m2://inv/VDY3PRAM55`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Numerical continuation, Numerical continuation (definition). Also Wikidata Q7069654

History

2026-11-02: add by m2/dev

$P$-hop bridge VDY8Y8KCE3

URI	`m2://inv/VDY8Y8KCE3`
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.08152#7OQC, $P$-hop bridge (statement). In T1GYQ6SCCZ/e1, theorem 6.1

History

2026-10-29: add by m2/v0.4.10

Range (statistics) VDY9WPJ0D8

URI	`m2://inv/VDY9WPJ0D8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#GY7P, Range (statistics) (definition)

History

2026-11-02: add by m2/dev

VDYBN6RD5V VDYBN6RD5V

URI	`m2://inv/VDYBN6RD5V`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise-22 (exercise). In E59CDZA4DP, exercise, section 3.3.3

History

2026-11-01: add by m2/v0.6.13

Corollary VDYCBRW2K3

URI	`m2://inv/VDYCBRW2K3`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bott periodicity theorem#3Y8H, Corollary (statement)

History

2026-11-02: add by m2/dev

VDYCZK3PXA VDYCZK3PXA

URI	`m2://inv/VDYCZK3PXA`
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 2412.20238#HU75 (statement). In V8CA0STSPB/e1, theorem 7

History

2026-10-27: add by m2/v0.3.5

Equal score moments and different sharp supports VDYEVXDEJG

URI	`m2://inv/VDYEVXDEJG`
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#XOEB, Equal score moments and different sharp supports (statement). In 9YAE8FNQST/e1, theorem 19.21

History

2026-10-30: add by m2/v0.4.12

Proof by exhaustion VDYM42SP1P

URI	`m2://inv/VDYM42SP1P`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Proof by exhaustion, Proof by exhaustion (definition). Also Wikidata Q9299950

History

2026-11-02: add by m2/dev

Generalizations VDZ0D9ZQ4W

URI	`m2://inv/VDZ0D9ZQ4W`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Line graph#14L5, Generalizations (statement)

History

2026-11-02: add by m2/dev

VDZ9GBECTB VDZ9GBECTB

URI	`m2://inv/VDZ9GBECTB`
Kind	unknown
Layer	research
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1509.00950#2NIK (proof). In MDZFW5GACV/e1, proof

History

2026-10-27: add by m2/v0.3.5

Chinese remainder theorem VDZBNNXR2V

URI	`m2://inv/VDZBNNXR2V`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Chinese remainder theorem 0FNN9B4W64

Mentions

mathlib_1000: mathlib_1000 Q193878, Chinese remainder theorem (statement). Also Mathlib Ideal.quotientInfRingEquivPiQuotient, Mathlib ZMod.chineseRemainder, Wikidata Q193878
mathlib_overview: mathlib_overview General algebra > Ideals and quotients > Chinese remainder theorem, Chinese remainder theorem (unknown). Also Mathlib Ideal.quotientInfRingEquivPiQuotient
mathlib_undergrad: mathlib_undergrad Ring Theory > Ideals and Quotients > Chinese remainder theorem, Chinese remainder theorem (unknown). Also Mathlib Ideal.quotientInfRingEquivPiQuotient
thousand_plus: thousand_plus Q193878, Chinese remainder theorem (statement). Also Mathlib Ideal.quotientInfRingEquivPiQuotient, Mathlib ZMod.chineseRemainder, Wikidata Q193878, Wikipedia Chinese remainder theorem, Wikipedia Linear congruence theorem
wikidata: Wikidata Q193878, Chinese remainder theorem (statement). Also EoM Chinese_remainder_theorem, Mathlib Ideal.quotientInfRingEquivPiQuotient, MathWorld ChineseRemainderTheorem, ProofWiki Chinese_Remainder_Theorem
wikipedia: Wikipedia Chinese remainder theorem, Chinese remainder theorem (statement). Also Wikidata Q193878

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

VDZE03PG8Z VDZE03PG8Z

URI	`m2://inv/VDZE03PG8Z`
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 2511.05069#4JQN (statement). In SFQBJBTW8K/e1, theorem 1.3

History

2026-10-27: add by m2/v0.3.5

$\RR \to S^1$ is regular VDZG9V1TAG

URI	`m2://inv/VDZG9V1TAG`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/topology/cover-project.tex#example-7, $\RR \to S^1$ is regular (example). In RZP28ERRZV, example, section 97.4

History

2026-11-01: add by m2/v0.6.13

VDZYPPZ4KJ VDZYPPZ4KJ

URI	`m2://inv/VDZYPPZ4KJ`
Kind	example
Layer	research
MSC	20-XX, 22-XX, 53-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14045#ZUYY (example). In KZ71GXT2B0/e1, example 2.21

History

2026-10-28: add by m2/v0.4.2