Inventory: M

The rows of the inventory whose names start with M. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Other 25924
A 5528
B 4390
C 7242
D 4710
E 5003
F 4868
G 4385
H 4070
I 1391
J 3085
K 3381
L 1911
M 4894
N 3888
O 897
P 5460
Q 3198
R 4892
S 6923
T 5819
U 1014
V 3154
W 3560
X 2715
Y 2835
Z 2989

Rows 1001–1100 of 4894.

Name	Id	Kind	Outcome	Sources
magnetic constant	NRJN48KQ5B	definition	open	Wikidata Q1515261, ProofWiki Definition:Vacuum_Permeability
magnetic dipole moment	1X9K7DC8F3	unknown	open	Wikidata Q97143703, nLab magnetic dipole moment
Magnetic effective-velocity entropy	ZBZNEDCPK4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13248#9BL2
magnetic field	S62CBJ8WNR	unknown	open	Wikidata Q11408, EoM Magnetic_field
magnetic flux	5304P74CSM	definition	open	Wikidata Q177831, ProofWiki Definition:Magnetic_Flux
magnetic moment	ANKJ8HAAGY	definition	open	Wikidata Q242657, ProofWiki Definition:Magnetic_Moment
Magnetic plateau	1KAFT6PN43	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.24481#6J7C
magnetism	6X61X7K5B6	definition	open	Wikidata Q3294789, ProofWiki Definition:Magnetism
magnetohydrodynamics	RXQENCWPVR	unknown	open	Wikidata Q2549249, EoM Magneto-hydrodynamics,_mathematical_problems_in, nLab magnetohydrodynamics
magnitude of a complex number	C40WGQNA99	concept	open	Wikidata Q3317982, MathWorld ComplexModulus
Magnitude of a nondegenerate finite quadratic sum	FQKN07PMWE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.10583#ELG7
Magnitudes are necessary	S5PHMHDSQE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.11007#73DP
Magnus Georg Paucker	3CGYW8FEZ3	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q3741085, ProofWiki Mathematician:Magnus_Georg_Paucker
Mahabaduge and Simkin	F1ACSN331E	conjecture	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29943#5XD4
Maharam's theorem	PG1PXQ7W9X	statement	open	mathlib_1000 Q6733278, Wikidata Q6733278, thousand_plus Q6733278, Wikipedia Maharam's theorem
MAHJJ0ASNV	MAHJJ0ASNV	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.35543#CJ3K
MAHKXSHMEG	MAHKXSHMEG	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.10881#0V8Y
Mahler	56WX78R0BX	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28141#8LUK
Mahler measure	A27FS4XTKT	concept	open	Wikidata Q6734205, MathWorld MahlerMeasure
Mahler polynomial	MXRW4TV78X	concept	open	Wikidata Q6734200, MathWorld MahlerPolynomial
Mahler's compactness theorem	N5WZ55EBRH	statement	open	mathlib_1000 Q6734194, Wikidata Q6734194, thousand_plus Q6734194, Wikipedia Mahler's compactness theorem
Mahler's theorem	KCVS1583KW	statement	open	mathlib_1000 Q3527118, Mathlib PadicInt.hasSum_mahler, Wikidata Q3527118, thousand_plus Q3527118, Wikipedia Mahler's theorem
Mahābhāskarīya	MYJ4CS522F	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q120681344, ProofWiki Book:Bhaskara_I/Mahabhaskariya
Mai--Speicher formula	D0232PV4EE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15180#5D49
Maier's theorem	C5VHSRJQVX	statement	open	mathlib_1000 Q6735549, Wikidata Q6735549, thousand_plus Q6735549, Wikipedia Maier's theorem
main	M8DPY2KQAE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.02743#UF7L
Main algorithmic result	P4Q82GZTJ6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.16514#KXCH
main bound	ZQG7155ZYN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27495#LY5I
Main classification	6VGRWVQDK9	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15340#BNC5
Main construction	D27726HGDR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.18797#OB0O
Main convergence bound	NW0JMWAQ1N	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15419#LJCF
Main corollary	BNK8VPG3VY	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2102.11076#1JF5
Main density theorem	J02Z25BCCN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.07214#F144
main diagonal	ED7MMC4WYZ	unknown	open	Wikidata Q651480, MathWorld MainDiagonal
Main dynamical theorem	AKA66CW6CG	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.30410#RJAT
Main Energy Inequality	V2C9CGDGN9	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2601.15010#I0GG
Main Lemma	BC3M3SJ2NK	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14502#LDAM
Main lemma	PF13KR7WQ7	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2102.11076#GDPT
Main Lemma, Part 1	5181FPGR6B	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36423#BPXN
Main Lemma, Part 2	YSM56T3VBZ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36423#HDSG
Main lower bound, informal	FF0FT1BF17	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.03633#DCVK
Main Optimality Theorem	P9NNDFDVK5	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20364#SFOW
Main Poincar\'{e} Inequality	SJB4CAMRNK	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.06724#4HOS
Main result	7ABC6Y5082	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31187#TMJT
Main result	9G13MXN6E6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14859#T3RJ
Main result	KKV0S4C3B7	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28024#JTT6
main result	VK84YP20H8	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2211.01586#WVX2, arXiv 2610.12326#BK5N
Main result	YNQT7WSM4C	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32282#ZW5H
Main result for \algoname	1BZSAW6ZC8	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2108.05533#59R5
Main result for \textsc{Confident MC-Politex	7QVB9RAG43	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2108.05533#66B0
Main result of and Theorem 2.1	5W6CEY2VBK	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2405.05684#GESJ
Main result, informal	T7N57DMTXV	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28028#28S7
Main result, informal	ZPSK3QGXYD	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27181#9DKE
Main result, informal version	1SYM3ZFFMS	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14266#KRH7
Main result: eigenvalue-free interval for $D^L$	QK631HV6GY	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08599#2LKC
Main Results	2CTWJNM6A2	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29425#PUPH
Main results	5B3QYG3M7S	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.03719#GEDJ
Main results	7VKVXGFXQ0	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.22205#Q6KL
Main results	C3K9TZW1MY	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.00396#V9VI
Main statement	DSQFJ0KEWW	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31782#Y1SG
Main theorem	18GFX9ACF4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.06876#8HL7
Main Theorem	1E590B8AEW	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17276#JQN0
Main Theorem	1REMXW72AV	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.02663#T7YP
Main theorem	6FWSA4R9C9	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13964#SH9Z
Main theorem	6SHPPXNAAF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20489#R5ID
Main theorem	6ZN17Z63K6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.07905#TN9W
Main theorem	7MN45XT2TW	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17608#9GLU
Main theorem	AYTS0JBADM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29605#LAG0
Main Theorem	BDKH5F92XX	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.04901#DDYN
Main Theorem	DP9ZM7AN4Y	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21097#25XY
Main Theorem	DZ3QVBCGW7	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.33162#C0VE
Main theorem	F0V006DESA	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2207.05628#CNUU
Main theorem	GCZ17PG145	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.37706#Q943
Main theorem	H7YFZ7N1JK	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15792#XUZT
Main theorem	H97T05PNJ0	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01731#FRFS
Main theorem	HX4DRNMHEF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.18884#8XI7
Main theorem	NKRNQ86NQN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.25101#IN3Q
Main Theorem	S7MV60Z62D	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05056#XV0Y
Main theorem	SDMGS3ZPZX	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.33365#82P5
Main theorem	SRRPAMK4V4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2510.05499#8G2G
Main Theorem	T2MC1HRRHN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 0904.3493#NJEE
Main theorem	TNAHZ65HP4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29022#QBV1
Main theorem	W4DX3TNK1C	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.24323#DVXY
Main theorem	XRXCBHKSC7	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.00490#PXFF
Main Theorem	Z3RXW7KX36	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2509.22289#XVJZ
Main theorem	ZK4B06E8R0	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.24320#V1VN
Main theorem I	DMZ8RJNB82	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.19787#RXFG
Main theorem II	ZK8PB49EXK	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.19787#IHZF
Main theorem, $p$-adic inhomogeneous Gallagher	MP82K8NVEY	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15809#E88Y
Main theorem, cb-norm version	NRVGC4JWKJ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.40214#F4ZJ
Main theorem, metastable-seminorm version	3S86WWTE59	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.40214#WI9Z
Main theorem: dissipation criterion	247KQWTJVE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13613#WGQA
Main theorem: many-one completeness of GAS	W1TWM5BED9	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.12434#M33X
Main Theorem: The Precise Version	ANHTNVQNQ1	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2601.15010#B44D
Main theoretical result	J0PWKPVVPP	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2102.11076#ZF1K
Main-row size and height	BEN7S6JVCS	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28791#2OZW
Maintaining coincidence	8254DP439K	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17677#29W0
MAJCWH8R9R	MAJCWH8R9R	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17516#3S8X
major arc	8HAYA727XC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.19249#Y383
major arc	C17JVBWNS4	unknown	open	Wikidata Q117009116, MathWorld MajorArc