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 3301–3400 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| mnemonic | 9XA2EERPRS | definition | open | Wikidata Q191062, MathWorld Mnemonic, ProofWiki Definition:Mnemonic |
| mnemonics in trigonometry | Z8X46K1KBG | unknown | open | Wikidata Q2283848, MathWorld SOHCAHTOA |
| MNEZ0TD9EE | MNEZ0TD9EE | 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.18101#2PCT |
| MNF9TY5B59 | MNF9TY5B59 | 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.37606#WWEO |
| MNFFK29QH0 | MNFFK29QH0 | 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.24314#FMK6 |
| MNFJ586TZV | MNFJ586TZV | 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.25801#WLCY |
| MNFTBKR907 | MNFTBKR907 | 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 0809.3835#DTZT |
| MNG2NYFJH3 | MNG2NYFJH3 | 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 2108.10246#SETK |
| MNG52VDGHG | MNG52VDGHG | 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.14135#FXV1 |
| MNGD78CM82 | MNGD78CM82 | 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.31537#6S4X |
| MNGH8DFG13 | MNGH8DFG13 | 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.25457#5FTD |
| MNH1WEWPPV | MNH1WEWPPV | 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#IPAY |
| MNH7ANJZ0B | MNH7ANJZ0B | 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 2301.02848#BQ2Z |
| MNHD0KZ60T | MNHD0KZ60T | 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.17875#9R5D |
| MNHFC4QN3A | MNHFC4QN3A | 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.21408#1D40 |
| MNHRENZVHS | MNHRENZVHS | 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.15744#9ZI2 |
| MNJNAR1VGY | MNJNAR1VGY | 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.05232#DJZO |
| MNK1CRCWKF | MNK1CRCWKF | 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 2507.05417#A8CS |
| MNKHCSHHG4 | MNKHCSHHG4 | statement | open | ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-1 |
| MNKPXS7PVP | MNKPXS7PVP | 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.32977#LDCG |
| MNNFJC6CGY | MNNFJC6CGY | 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.26769#QQGP |
| MNP3B6JN0W | MNP3B6JN0W | 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 1503.05744#9F02 |
| MNP5D9PNWJ | MNP5D9PNWJ | 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.37593#QAWW |
| MNQ909DRQ0 | MNQ909DRQ0 | 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 2610.10930#RNPB |
| MNQJY0VT1H | MNQJY0VT1H | 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.36884#D57A |
| MNQMRHMNKR | MNQMRHMNKR | 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.16554#8H3Q |
| MNSD6D1015 | MNSD6D1015 | 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.08935#J9PZ |
| MNTD3MQN8J | MNTD3MQN8J | 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.22288#ZOKA |
| MNWSV35RYQ | MNWSV35RYQ | 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.24545#6F2I |
| MNXAK2PDZV | MNXAK2PDZV | 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.38865#DAUC |
| MNXH0A1CX3 | MNXH0A1CX3 | 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 2610.13213#771K |
| MNXJQ2WTZJ | MNXJQ2WTZJ | 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.17553#NA6W |
| MNY7KCD809 | MNY7KCD809 | 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.09561#CPO1 |
| MNYSNW4D2C | MNYSNW4D2C | 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.18788#GCBE |
| MNZ312ETPS | MNZ312ETPS | 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.26357#YA6C |
| MNZNW5ABQ2 | MNZNW5ABQ2 | 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 2405.02275#9RSK |
| MNZYJTNWSC | MNZYJTNWSC | 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 1002.0879#N6OZ |
| Mobile automaton | GBXMB0J2RQ | concept | open | Wikidata Q6887056, MathWorld MobileAutomaton |
| Mobility mode decomposition | 59P2QQ9W7W | 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.10436#3F3F |
| mock modular form | JRKY1M39B3 | concept | open | Wikidata Q3754575, MathWorld MockThetaFunction |
| Mockenhaupt-Tao | MEVS74XSFN | 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 2208.07784#DAVA |
| mod | CSARF902R9 | concept | open | levin_dmoi index/6.2.2/mod |
| mod $6$ | T3SKRQS9SB | 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 2606.18859#O8QR |
| Modal form of kernel equations | W1NSTZ2B1X | 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.08764#DM8B |
| modal logic | G1EJ6JYASR | topic | open | Wikidata Q210841, nLab modal logic, ProofWiki Definition:Modal_Logic |
| Modal Phase Structure of the Test Space | N54KMRA3MM | 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.13222#THF6 |
| modal, logic | BF5WFDRPMT | concept | open | hott_book index/6.7/modal-logic |
| modal, operator | V51ZAXC51K | concept | open | hott_book index/6.7/modal-operator |
| modality | D8JCADJM0K | concept | open | hott_book index/6.7/modality |
| Modality and uniform determinacy | 53JGQ4R0W1 | 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.07092#VWUW |
| modality, identity | VFV0NHTR4J | concept | open | hott_book index/6.7/modality-identity |
| Modding out in the product group | MQG17R5YN5 | example | open | napkin tex/H113/quotient.tex#example-8 |
| mode | YZR2SQ5JSR | unknown | open | Wikidata Q188224, MathWorld Mode |
| Mode certificate and deterministic cap | 2Z2MQFH0RK | 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.16248#F6JM |
| model | DJR23DY4TR | concept | open | Wikidata Q19978167, MathWorld Model |
| Model 3 | BMGDJ5V5HZ | 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.21991#1J7H |
| Model case | GSW3P2458Y | 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.19273#A6TJ |
| model category | 263RTRBHQN | concept | open | hott_book index/u1.u2/model-category |
| model category | 58AE7A0ASQ | unknown | open | Wikidata Q1941896, nLab model category |
| Model characters at minimal conductors | 8QZHZDK573 | 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.30301#GVOW |
| Model characters at minimal conductors | FGMJ8BX15P | 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.30301#0KSF |
| Model characters at minimal conductors | K0CDZMXT44 | 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.30301#ARYK |
| model complete theory | Y5D27NWBGT | unknown | open | Wikidata Q6888319, nLab model complete theory |
| Model complexity bounds total compositionality | NJ5W1KARC4 | 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.20922#FC4D |
| Model Existence Theorem | Y1AV717R7G | 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.26509#W20H |
| Model for the approximation circles | QGDZ3689SG | 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.31269#K2S7 |
| Model information does not determine the tradeoff | 9TD2FAXWW0 | 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.09206#C89A |
| Model learning \& controller design | 2SPM7E78N5 | 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 2601.01076#73FU |
| Model metric properties | XZEN3TY83A | 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.15926#8LOO |
| Model of a set | TW49QETQZP | definition | open | open_logic content/first-order-logic/models-theories/expressing-props-of-structures.tex#defn-1 |
| Model of random polytope | CZSSD02FK9 | 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 2610.14085#SY89 |
| model of ZFC | YDJRNE130V | unknown | open | mathlib_overview Logic and computation > Set theory > model of ZFC, Mathlib ZFSet |
| Model step and level-set invariance | 6WJ9RVPH8G | 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.06557#C2V8 |
| Model Systems | FXGTR7H49S | 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 2411.16655#5UYM |
| model theory | V4A3CW688P | topic | open | Wikidata Q467606, EoM Model_theory, MathWorld ModelTheory, nLab model theory, ProofWiki Definition:Model_Theory |
| Model-error bound | 5N4YM9V9M0 | 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.40077#POT5 |
| Model-free policy-gradient representation | 977KG41W7N | 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.11619#50L3 |
| Model-free policy-gradient representation | NT5N99WQP4 | 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.11619#KK44 |
| Model-relative Blackwell order | PH6DWQ7QGK | 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.29348#VTQD |
| Modelling lemma | JJV06CZK40 | 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 1806.05002#XWUF |
| Models | QW5MRF2QNH | 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.33679#M9NZ |
| Moderate net | 7RWXPT649V | 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 2610.13658#J5CE |
| Moderateness | JZ9Z2PSN41 | 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 2110.12380#GJNL |
| Modewise-ancilla process shadow | F63GR7DC08 | 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.00448#RGA7 |
| Modification of Normality Lemma | GDYEJ7BB4J | 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.02579#454M |
| Modifications on time negligible sets | F60G747F8D | 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.21775#WXEV |
| modified Bessel function | 80AKRWMDQQ | definition | open | Wikidata Q2607225, ProofWiki Definition:Modified_Bessel_Function |
| modified Bessel function of the first kind | 5Q01E7AG6B | definition | open | Wikidata Q109559095, MathWorld ModifiedBesselFunctionoftheFirstKind, ProofWiki Definition:Modified_Bessel_Function/First_Kind |
| modified Bessel function of the second kind | 9P3TSBN10E | definition | open | Wikidata Q109559130, MathWorld ModifiedBesselFunctionoftheSecondKind, ProofWiki Definition:Modified_Bessel_Function/Second_Kind |
| Modified Domination Sombor Index | Z3RTGQKBED | 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 2610.10221#1K7Z |
| Modified energy derivative at 0 | W6VVH1D0BV | 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 2406.07116#VBB8 |
| Modified Forgotten Domination Index | 5VQBAQ8MKB | 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 2610.10221#FDG0 |
| Modified logarithmic Sobolev inequality | T8GFRZRV79 | 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.03683#JT88 |
| Modified rook's graph | RKHSZ6KH2Z | 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 2610.08202#L890 |
| Modified Struve function | R7RTNYB54H | unknown | open | Wikidata Q3754616, MathWorld ModifiedStruveFunction |
| Modigliani–Miller theorem | Q0NRF80NKC | statement | open | mathlib_1000 Q117553, Wikidata Q117553, thousand_plus Q117553, Wikipedia Modigliani–Miller theorem |
| Modular $S$-covariance | 6RH28EY1JP | 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.08787#K2EQ |
| Modular $S$-covariance | SJAV4XBQR9 | 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.08787#VPT2 |
| modular arithmetic | 2XF3QGRM7C | concept | open | levin_dmoi index/6.2.3/modular-arithmetic |
| modular arithmetic | K16NKK5PGW | topic | open | Wikidata Q319400, MathWorld ModularArithmetic, nLab modular arithmetic |