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 4801–4894 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MZ019TJEHN | MZ019TJEHN | 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.18847#F5XB |
| MZ0RWY0AV8 | MZ0RWY0AV8 | 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.12053#QG78 |
| MZ185FNMS3 | MZ185FNMS3 | 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#ULEE |
| MZ1YT7C301 | MZ1YT7C301 | 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.17720#B1UL |
| MZ2PR4XNFV | MZ2PR4XNFV | 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.38243#VKKB |
| MZ2VJWGJQP | MZ2VJWGJQP | 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#IF9J |
| MZ2X5EC9C6 | MZ2X5EC9C6 | 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.31274#Q60P |
| MZ2Z2FR8TM | MZ2Z2FR8TM | 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.21255#2PKV |
| MZ32EJKEYG | MZ32EJKEYG | 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.13667#YMV5 |
| MZ3511RVSB | MZ3511RVSB | 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.34295#3N6Q |
| MZ43ZA5G6Y | MZ43ZA5G6Y | 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.13401#J4LY |
| MZ45AGPGFC | MZ45AGPGFC | 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.27078#5API |
| MZ55EZ0SGM | MZ55EZ0SGM | 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.11905#2EO3 |
| MZ5CESTPD8 | MZ5CESTPD8 | 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.21752#43ZS |
| MZ5VNC6Q5F | MZ5VNC6Q5F | 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.30648#7TAU |
| MZ5WFMCTXK | MZ5WFMCTXK | 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.27617#7G6F |
| MZ61QQKBFN | MZ61QQKBFN | 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 2607.00146#KVZA |
| MZ6AG9EB65 | MZ6AG9EB65 | 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.33250#9V0L |
| MZ6J63VQKP | MZ6J63VQKP | proof | open | hott_book hlevels.tex#proof-19 |
| MZ6MKC5PJ0 | MZ6MKC5PJ0 | 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.01411#JAZV |
| MZ6YJ3YT2B | MZ6YJ3YT2B | statement | open | napkin tex/complex-ana/meromorphic.tex#theorem-1 |
| MZ7F6JBXNZ | MZ7F6JBXNZ | 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.13972#Q9SQ |
| MZ88JSZ7C4 | MZ88JSZ7C4 | 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#8L3I |
| MZ8J61R658 | MZ8J61R658 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1931225, nLab Michiel Hazewinkel |
| MZ8PH342D8 | MZ8PH342D8 | 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.06669#5RA6 |
| MZ96D1KG0E | MZ96D1KG0E | 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.38014#8EFL |
| MZ9E5FRTCW | MZ9E5FRTCW | definition | open | open_logic content/set-theory/z/milestone.tex#defn-1 |
| MZ9K1M15MD | MZ9K1M15MD | 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#X15C |
| MZ9SM04MMZ | MZ9SM04MMZ | 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 2411.17227#4QG2 |
| MZA9AR7XY7 | MZA9AR7XY7 | 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 2205.09049#S9V5 |
| MZB8ZFHXK5 | MZB8ZFHXK5 | 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.24610#V2GK |
| MZC0ZJR1SA | MZC0ZJR1SA | 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.15831#XHGJ |
| MZC515MNQ7 | MZC515MNQ7 | 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 2504.07573#1DTX |
| MZC8N26QMZ | MZC8N26QMZ | 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.32903#ENIZ |
| MZCY3F23RN | MZCY3F23RN | 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.36823#007Q |
| MZD8RT8Y8D | MZD8RT8Y8D | 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 math/0003117#KQG9 |
| MZDB044DT5 | MZDB044DT5 | 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#P7R5 |
| MZE2VP7NH7 | MZE2VP7NH7 | 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 2202.10920#7PNI |
| MZEHX21RXS | MZEHX21RXS | 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.08912#7K4H |
| MZERPY9JT0 | MZERPY9JT0 | 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 2609.32338#JQ06 |
| MZEV7J82FH | MZEV7J82FH | 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#U5X1 |
| MZEXY8PXXN | MZEXY8PXXN | 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 math/0512416#VS3D |
| MZFGSG8BZD | MZFGSG8BZD | 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.16060#BKER |
| MZFT957QG3 | MZFT957QG3 | 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 2609.32903#E0HD |
| MZHC7FGDD4 | MZHC7FGDD4 | 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.31127#0J1X |
| MZHTK3JS2F | MZHTK3JS2F | 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.21489#7VB7 |
| MZJ60NHM3V | MZJ60NHM3V | 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.03672#3W9K |
| MZK92E970X | MZK92E970X | 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 2504.00267#C5QT |
| MZKBDR6M4C | MZKBDR6M4C | 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.05216#7N5W |
| MZM3W7N2D5 | MZM3W7N2D5 | 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 2104.12015#0UWG |
| MZMVMSS0KR | MZMVMSS0KR | 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.01473#EUJA |
| MZN0P4KYPA | MZN0P4KYPA | 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.12543#4FXV |
| MZP58P0FGG | MZP58P0FGG | 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#O0CD |
| MZPM0BPKZD | MZPM0BPKZD | 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.39260#ZC58 |
| MZQ0GJ1563 | MZQ0GJ1563 | 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#M3R4 |
| MZR8RMXKAR | MZR8RMXKAR | 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.32903#XYOO |
| MZRMVPQ62D | MZRMVPQ62D | 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.33442#3OY4 |
| MZRW6Z1P7T | MZRW6Z1P7T | 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.11056#46A0 |
| MZRYT74WK2 | MZRYT74WK2 | 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 2304.13811#54D1 |
| MZS6J22PF0 | MZS6J22PF0 | 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#V6R1 |
| MZSBFVP0VX | MZSBFVP0VX | 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.19088#E02Y |
| MZSVWT43J7 | MZSVWT43J7 | 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 1304.4839#QSQF |
| MZTFYZTRDH | MZTFYZTRDH | 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.00910#VMNZ |
| MZTTPHP9HJ | MZTTPHP9HJ | 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.12716#MY13 |
| MZV9MGR3GA | MZV9MGR3GA | 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.39951#WQ9S |
| MZVBJBQWB5 | MZVBJBQWB5 | 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 2303.13891#3TKP |
| MZVD73JWW9 | MZVD73JWW9 | 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.29877#EFPZ |
| MZVEKFD0NR | MZVEKFD0NR | exercise | open | lebl_scv scv.tex#exercise-308 |
| MZVFES3MD9 | MZVFES3MD9 | 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#Q0I6 |
| MZVH3QG834 | MZVH3QG834 | 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 2502.09442#YVAK |
| MZVTJ04P20 | MZVTJ04P20 | 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 2306.12846#F8O7 |
| MZWH1V48JW | MZWH1V48JW | exercise | open | lebl_scv scv.tex#exercise-129 |
| MZX0JJ3ZG0 | MZX0JJ3ZG0 | 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.20242#1E71 |
| MZY0R9NAPZ | MZY0R9NAPZ | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-16 |
| MZY25NGEN0 | MZY25NGEN0 | 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 dg-ga/9612010#T13Q |
| MZZ1Q4TX67 | MZZ1Q4TX67 | 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.33250#P4RE |
| MZZ6DR20T8 | MZZ6DR20T8 | 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.13745#LFF6 |
| MZZBRXHRZ6 | MZZBRXHRZ6 | 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.15255#HGA4 |
| MZZCDBBB31 | MZZCDBBB31 | statement | open | open_logic content/lambda-calculus/syntax/eta.tex#thm-1 |
| MZZG3A0F50 | MZZG3A0F50 | 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#NJ5F |
| MZZJQ1DYMP | MZZJQ1DYMP | 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 2308.05066#RQK1 |
| Mémoires de l'Académie (Royale) des Sciences de l'Institut (Imperial) de France | K9Q4HBMPJB | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q51503259, ProofWiki Book:Journal/Mémoires_de_l'Académie_(Royale)_des_Sciences_de_l'Institut_(Imperial)_de_France |
| Mémoires de la Société mathématique de France | FMTVKD444P | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q96729412, ProofWiki Book:Journal/Mémoires_de_la_Société_Mathématique_de_France |
| Ménage problem | GCRS6F07PT | problem | open | Wikidata Q3406269, MathWorld MarriedCouplesProblem |
| Möbius function | NM5SF34DCG | concept | node (a node has the same name as the row) | Wikidata Q205243, EoM Möbius_function, MathWorld MoebiusFunction, OEIS A008683 |
| Möbius inversion formula | QCFE72YRDT | concept | node (a node has the same Wikidata item as the row) | Wikidata Q1072771, MathWorld MoebiusTransform |
| Möbius ladder | FG9CGS541A | unknown | open | Wikidata Q4307303, MathWorld MoebiusLadder |
| Möbius net | 2PZFN40B3R | concept | open | Wikidata Q1213332, MathWorld MoebiusNet |
| Möbius strip | 7GP79JSMD9 | concept | node (a node has the same Wikidata item as the row) | Wikidata Q226843, EoM Möbius_strip, MathWorld MoebiusStrip |
| Möbius transformation | W6S0H7PZXX | concept | node (a node has the same name as the row) | Wikidata Q595742, MathWorld LinearFractionalTransformation, ProofWiki Definition:Möbius_Transformation |
| Möbius–Kantor configuration | 5HPAH6S446 | unknown | open | Wikidata Q6950325, MathWorld Moebius-KantorConfiguration |
| Möbius–Kantor graph | PSQJW1YT32 | unknown | open | Wikidata Q3115519, House of Graphs 1229, MathWorld Moebius-KantorGraph |
| Münchhausen number | HXN8311W8R | unknown | open | Wikidata Q1659659, MathWorld MuenchhausenNumber, OEIS A046253 |
| Müntz–Szász theorem | YWS4XZ0R4P | statement | open | mathlib_1000 Q3527129, Wikidata Q3527129, thousand_plus Q3527129, Wikipedia Müntz–Szász theorem |