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 4701–4800 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MY3BS240GA | MY3BS240GA | 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.33679#PX2P |
| MY3E353P0Y | MY3E353P0Y | 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.19513#G71C |
| MY3MX7FQK1 | MY3MX7FQK1 | 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 2110.11783#TAB4 |
| MY3NTXC6BR | MY3NTXC6BR | 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.38228#SU60 |
| MY3TWK8KFC | MY3TWK8KFC | definition | record (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.37450#5GHW |
| MY4FPC7SMS | MY4FPC7SMS | 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.38664#SHEJ |
| MY4VVJ3ZVH | MY4VVJ3ZVH | 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.21494#ATRJ |
| MY50B3FMG3 | MY50B3FMG3 | 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 2406.19866#15RF |
| MY5T0BKGTY | MY5T0BKGTY | proof | open | lebl_scv scv.tex#proof-50 |
| MY66R9RZNJ | MY66R9RZNJ | 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.03497#31C1 |
| MY6J7DMGZ8 | MY6J7DMGZ8 | problem | record (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.06340#4NIS |
| MY6XTTBZ7Y | MY6XTTBZ7Y | example | record (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 2011.06637#H2UJ |
| MY74ESQHXQ | MY74ESQHXQ | definition | record (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 2303.09207#XP9J |
| MY7G8R99S5 | MY7G8R99S5 | 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.16668#47UC |
| MY82PY4K01 | MY82PY4K01 | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-11 |
| MY8N59CX8W | MY8N59CX8W | definition | record (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.28552#4EVZ |
| MY9G68PPF2 | MY9G68PPF2 | 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.06338#XYOK |
| MY9XM3ZH70 | MY9XM3ZH70 | 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.11047#UT9S |
| MYA53R4BM6 | MYA53R4BM6 | 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.00271#Q0T2 |
| MYAE2ZP43X | MYAE2ZP43X | 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.03601#3UQC |
| MYAQ9W4HVG | MYAQ9W4HVG | unknown | open | |
| MYASAYFWGZ | MYASAYFWGZ | 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.29631#IMA3 |
| MYB452Y25A | MYB452Y25A | 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.36181#QVHN |
| MYBJ0EAKHS | MYBJ0EAKHS | 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.06246#N9JQ |
| MYBX8M5GMZ | MYBX8M5GMZ | problem | record (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 2403.15255#MHBJ |
| MYC0RPPSTZ | MYC0RPPSTZ | 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.14214#6YRC |
| MYC2PMTW37 | MYC2PMTW37 | 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 2204.04265#97I8 |
| MYC6MZ3EX4 | MYC6MZ3EX4 | 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.35642#SOCG |
| MYC8GBH15Z | MYC8GBH15Z | 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 1903.07030#GA63 |
| Mycielski graph | F5XN3WCT1Q | unknown | open | Wikidata Q137737661, MathWorld MycielskiGraph |
| MYD8Y0METE | MYD8Y0METE | 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.05327#PCCO |
| MYDJF3DXS2 | MYDJF3DXS2 | 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.21092#XMMB |
| MYDVTK62QZ | MYDVTK62QZ | 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 2406.01499#IHHD |
| MYEBFP0SDB | MYEBFP0SDB | 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.28803#7W34 |
| MYEFJVB35B | MYEFJVB35B | 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.32104#TXRT |
| MYEK1170KJ | MYEK1170KJ | 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 2309.08900#1NN0 |
| MYENJRD3DM | MYENJRD3DM | 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.26307#4F6G |
| Myers theorem | PFVWCC525Q | statement | open | mathlib_1000 Q929547, Wikidata Q929547, thousand_plus Q929547, Wikipedia Myers theorem |
| Myers\,, Cheng\ | EPADV2ETX3 | 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.26455#1BEL |
| MYESVMF4B1 | MYESVMF4B1 | 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.30544#IV2X |
| MYFGVJBR4C | MYFGVJBR4C | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prop:provability-exhaustive |
| MYGQ90MHWW | MYGQ90MHWW | 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.31907#QCLM |
| MYH6VFFMR7 | MYH6VFFMR7 | 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.35467#372Q |
| MYH7M7NN9D | MYH7M7NN9D | 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.27830#3N04 |
| MYH9H6FA4M | MYH9H6FA4M | exercise | open | applied_combinatorics source/s_polya_exercises.ptx#exercise-5 |
| Myhill--Nerode theorem | 9JQQ6RH0VR | 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#U4RX |
| Myhill–Nerode theorem | YEHGD0KVTH | statement | open | mathlib_1000 Q422187, Mathlib Language.isRegular_iff_finite_range_leftQuotient, Wikidata Q422187, thousand_plus Q422187, Wikipedia Myhill–Nerode theorem |
| MYHWCC5Q2H | MYHWCC5Q2H | 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.06699#YZLP |
| MYHYGGSAFC | MYHYGGSAFC | 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.15504#Z2QT |
| MYJVXQ55ZS | MYJVXQ55ZS | 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.08052#1I7F |
| MYKM2ARADV | MYKM2ARADV | definition | record (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 0804.3628#JL3L |
| MYM4KVSTA9 | MYM4KVSTA9 | exercise | open | napkin tex/rep-theory/semisimple.tex#exercise-2 |
| MYM91730YV | MYM91730YV | 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 2508.16102#YVEY |
| MYMR2Q3EXE | MYMR2Q3EXE | 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.10643#JOGC |
| MYMT5XTG0A | MYMT5XTG0A | example | record (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.16768#G7E4 |
| MYMWDAVV7G | MYMWDAVV7G | proof | open | applied_combinatorics source/s_inclusion-exclusion_surjections.ptx#proof-1 |
| MYNNESQ5EM | MYNNESQ5EM | example | record (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.31919#E17W |
| MYNPJBQDDJ | MYNPJBQDDJ | statement | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#lem:fsat-henkin |
| Myopic upper bound | WXHHTWK0RD | 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.37380#08O8 |
| MYP17NHRWM | MYP17NHRWM | 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.26713#3JGT |
| MYP1MZHG48 | MYP1MZHG48 | 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.17737#0K47 |
| MYPHGVYBWY | MYPHGVYBWY | 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.35467#H5QZ |
| MYPP76VTM8 | MYPP76VTM8 | 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.32090#QIXY |
| MYQ3QAZ6SP | MYQ3QAZ6SP | 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.11468#C033 |
| MYQ5C691A0 | MYQ5C691A0 | definition | record (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 2508.21045#JGI3 |
| MYQANVKBZ9 | MYQANVKBZ9 | 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.09019#C208 |
| MYQE919FJ3 | MYQE919FJ3 | 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.33206#INJ8 |
| MYQH8K86MQ | MYQH8K86MQ | 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.33027#W9PH |
| MYQQ0DHM55 | MYQQ0DHM55 | example | record (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 1002.0879#ND0R |
| MYR5RYMDV7 | MYR5RYMDV7 | 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.13213#R5V2 |
| MYRDB0WG8C | MYRDB0WG8C | definition | open | napkin tex/rep-theory/characters.tex#definition-4 |
| MYRGXNPVBA | MYRGXNPVBA | 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.25269#EXWI |
| myriad | V63M55Q5AJ | unknown | open | Wikidata Q8689, MathWorld Myriad |
| myriagon | V4Y92P82N8 | unknown | open | Wikidata Q1897973, MathWorld Myriagon |
| myriagonal number | N4S4KPD95G | object | open | Wikidata Q18452177, OEIS A167149 |
| MYRKJE35T2 | MYRKJE35T2 | exercise | open | lebl_ra ch-der.tex#exercise:boundeddermeanslip |
| MYSJTWWXP0 | MYSJTWWXP0 | 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.00909#16HA |
| MYSS3W7DQ1 | MYSS3W7DQ1 | 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.29949#0QFV |
| mysticism | 74NE12Q5E1 | unknown | open | Wikidata Q45996, nLab mysticism |
| MYSWXFRVN9 | MYSWXFRVN9 | 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.27301#4XY9 |
| MYSZ5WZF75 | MYSZ5WZF75 | definition | record (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.26058#XLAE |
| MYSZ90ZA1A | MYSZ90ZA1A | 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 2304.07398#UBYT |
| MYT0TV2PKK | MYT0TV2PKK | 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.36021#UVYJ |
| MYTETGRC68 | MYTETGRC68 | 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.16258#3IZY |
| MYTHXXY6B2 | MYTHXXY6B2 | 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.04993#Y3S5 |
| MYTPN2G1Y2 | MYTPN2G1Y2 | 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.37439#BFME |
| MYTVDN05KE | MYTVDN05KE | 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.16059#QDXO |
| MYW2X07WFV | MYW2X07WFV | 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.34876#JO8R |
| MYW3V5YR44 | MYW3V5YR44 | 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 2512.16003#S7T5 |
| MYW563CJZ3 | MYW563CJZ3 | 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.34289#FIQ0 |
| MYW5TMWSD6 | MYW5TMWSD6 | 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.14985#WI3X |
| MYWJGRVYC8 | MYWJGRVYC8 | 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.32916#S6X8 |
| MYWRVYV0S9 | MYWRVYV0S9 | 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.37368#82MJ |
| MYXCTKMAB1 | MYXCTKMAB1 | 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.13846#RCQP |
| MYXHM25YQB | MYXHM25YQB | definition | open | open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#defn-1 |
| MYXKTFK9V0 | MYXKTFK9V0 | 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 2403.08723#QTIC |
| MYXS2G0T6B | MYXS2G0T6B | 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 2106.03431#HA86 |
| MYYY9SWESS | MYYY9SWESS | definition | open | napkin tex/topology/constructions.tex#definition-5 |
| MYZ9P61TAE | MYZ9P61TAE | 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 1709.01658#HWWK |
| MYZJ0PEPSD | MYZJ0PEPSD | 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.31527#JB9R |