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 4401–4500 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Mutation | T4EX240XPW | 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.17441#UARG |
| Mutation compatibility | RZ4FD0GJ52 | statement | record (an 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.30637#B2KQ |
| Mutation covariance | 8VCHKF0SRC | statement | record (an 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.04189#WWSU |
| Mutation of parameters | 2J98SEAMWE | statement | record (an 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.12531#UUS8 |
| Mutual absorption | V7XZ44W66H | statement | record (an 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.39700#UNCC |
| Mutual fund separation theorem | 50S1HKSA47 | statement | open | mathlib_1000 Q17082552, Wikidata Q17082552, thousand_plus Q17082552, Wikipedia Mutual fund separation theorem |
| mutual inductive type | T5KXXMNT54 | concept | open | hott_book index/8.7/mutual-inductive-type |
| mutual information | Y3SZV6DQ6M | unknown | open | Wikidata Q252973, MathWorld MutualInformation |
| Mutual Information Bound | E7RWNPHM88 | statement | record (an 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.11834#9SJG |
| Mutual term interpretations | VQKGK2Y22F | statement | record (an 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.39700#FKIA |
| Mutually avoiding skeleton | AEC4TFHBYK | 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 1905.02785#X3ZW |
| mutually exclusive events | RXR8E0RB1Z | unknown | open | Wikidata Q2625281, MathWorld MutuallyExclusiveEvents |
| mutually singular measures | HK9AXR9FFW | unknown | open | Wikidata Q2305406, MathWorld MutuallySingular |
| Muḥammad ibn Musa al-Khwarizmi | MPFW3DXBK7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q9038, ProofWiki Mathematician:Muhammad_ibn_Musa_al-Khwarizmi |
| MV0P98TY3K | MV0P98TY3K | statement | record (an 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#43TA |
| MV1E9Y4MZ1 | MV1E9Y4MZ1 | statement | record (an 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.25449#LSBS |
| MV2DPK3Q46 | MV2DPK3Q46 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0805.4273#OJSS |
| MV335PTS4X | MV335PTS4X | statement | record (an 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.17139#QVAA |
| MV36RQFQBX | MV36RQFQBX | statement | record (an 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.13100#JT4Z |
| MV3GVB2YTD | MV3GVB2YTD | exercise | open | napkin tex/H113/ring-flavors.tex#ques-2 |
| MV3HGXBKW5 | MV3HGXBKW5 | unknown | open | arXiv 1509.00950#RAZ9 |
| MV3MHYNST8 | MV3MHYNST8 | 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.09945#OEXG |
| MV3RWTEWP6 | MV3RWTEWP6 | statement | record (an 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.04382#MUM8 |
| MV4ZWA4PER | MV4ZWA4PER | statement | record (an 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.18600#3GMB |
| MV576XXSEJ | MV576XXSEJ | statement | record (an 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.38069#0ZCV |
| MV5D7Z68WB | MV5D7Z68WB | proof | open | hott_book reals.tex#proof-40 |
| MV6BKBWM06 | MV6BKBWM06 | statement | record (an 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.14383#DRU7 |
| MV6H5Z9BDZ | MV6H5Z9BDZ | statement | record (an 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#N2U8 |
| MV71QS2BXV | MV71QS2BXV | statement | record (an 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.37739#PNZO |
| MV75QGBE5W | MV75QGBE5W | statement | record (an 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.21343#N3ND |
| MV78VQNHX1 | MV78VQNHX1 | statement | record (an 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.34339#QNGO |
| MV7D7ZHHX5 | MV7D7ZHHX5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.12141#XZ8S |
| MV7EX2PD09 | MV7EX2PD09 | statement | record (an 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.18223#ON4Q |
| MV82BZEFG9 | MV82BZEFG9 | statement | record (an 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.14839#2WWT |
| MV833GDWFZ | MV833GDWFZ | statement | record (an 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.09648#8JUF |
| MV8EXZJP5Z | MV8EXZJP5Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.14312#OCL9 |
| MV8RYZMPFV | MV8RYZMPFV | statement | record (an 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.21600#B7I3 |
| MV8SCS87VM | MV8SCS87VM | 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 2508.03972#84LS |
| MV8YXJA053 | MV8YXJA053 | statement | record (an 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.21960#ICEZ |
| MV8Z9PWNT2 | MV8Z9PWNT2 | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-5 |
| MV9587F2XK | MV9587F2XK | statement | record (an 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.35740#UEOV |
| MV9XBPR7TM | MV9XBPR7TM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.05069#1AM4 |
| MVA32ZYKCT | MVA32ZYKCT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.05539#L528 |
| MVAQ7CSCHN | MVAQ7CSCHN | 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 2309.08900#QAFY |
| MVB3HBCEXM | MVB3HBCEXM | statement | record (an 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.10840#2GCQ |
| MVBEVA3A5X | MVBEVA3A5X | statement | record (an 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#58S7 |
| MVBN4SDEZ9 | MVBN4SDEZ9 | statement | record (an 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.05221#T2BI |
| MVBRJF2AZD | MVBRJF2AZD | 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.30262#O6DI |
| MVBTDE3QDD | MVBTDE3QDD | 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.27366#B9PW |
| MVC5X28RKK | MVC5X28RKK | statement | record (an 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.13869#VJ1R |
| MVC9HXZW1Y | MVC9HXZW1Y | statement | record (an 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.32475#KSMU |
| MVCQ6DYYHP | MVCQ6DYYHP | statement | record (an 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.25495#GY1C |
| MVCZ0668AQ | MVCZ0668AQ | statement | record (an 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.19023#ZBAO |
| MVD26T1K7Q | MVD26T1K7Q | 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 1711.00219#XLR0 |
| MVEJDM0C2G | MVEJDM0C2G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.02346#PFSM |
| MVF970GX6X | MVF970GX6X | statement | record (an 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.00789#4442 |
| MVFDQQ9SRF | MVFDQQ9SRF | statement | record (an 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.35396#YGOQ |
| MVFQ159Z9X | MVFQ159Z9X | statement | record (an 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.30067#S4H9 |
| MVFS4WAAZ4 | MVFS4WAAZ4 | 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.35605#PJHS |
| MVFY9QHRZX | MVFY9QHRZX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.28861#OQLG |
| MVG55WF8FC | MVG55WF8FC | statement | record (an 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.26515#J0HR |
| MVGARV1HR1 | MVGARV1HR1 | 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.25289#EH2Z |
| MVGJRWV6HW | MVGJRWV6HW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.02634#D7J1 |
| MVHH1JNA6K | MVHH1JNA6K | statement | record (an 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.14803#WC24 |
| MVHNFZAZ76 | MVHNFZAZ76 | statement | record (an 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.10086#C96H |
| MVHS4P1FN6 | MVHS4P1FN6 | example | open | levin_dmoi ptx/sec_logic-prop.ptx#example-2 |
| MVJ8JTPK64 | MVJ8JTPK64 | statement | record (an 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.11823#3QCL |
| MVJAC9FD9F | MVJAC9FD9F | statement | record (an 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.09042#O75Z |
| MVK9DH75EJ | MVK9DH75EJ | statement | open | austin_ula src/section2-1.xml#prop-system-comb |
| MVKDVSJGH0 | MVKDVSJGH0 | statement | record (an 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.04516#3EQS |
| MVKEDFRZ62 | MVKEDFRZ62 | statement | record (an 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#WLRZ |
| MVKZETTZ36 | MVKZETTZ36 | statement | record (an 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.03559#J49H |
| MVMS4HTVYM | MVMS4HTVYM | statement | record (an 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.06762#FON8 |
| MVMXCR372N | MVMXCR372N | statement | record (an 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.37489#ATPQ |
| MVMXMZCG5W | MVMXMZCG5W | 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.16381#NQJ9 |
| MVN0Z280D6 | MVN0Z280D6 | statement | record (an 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.09873#P941 |
| MVN9A9GFYY | MVN9A9GFYY | statement | record (an 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.25449#1KCF |
| MVNABFWZ0A | MVNABFWZ0A | statement | record (an 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.31289#WP53 |
| MVNK583RZF | MVNK583RZF | statement | record (an 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.21455#IKPY |
| MVNV45QH41 | MVNV45QH41 | statement | record (an 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.19309#O6JX |
| MVNW98P40A | MVNW98P40A | 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.14236#GYK0 |
| MVP807D5BB | MVP807D5BB | 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.15217#AYP9 |
| MVPE6Y9VVK | MVPE6Y9VVK | definition | open | open_logic content/set-theory/z/infinity-again.tex#defnomega |
| MVPSGJ1BGN | MVPSGJ1BGN | statement | record (an 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#AFFN |
| MVPXXRNJ2Y | MVPXXRNJ2Y | statement | record (an 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.24578#V4HF |
| MVQYM259XP | MVQYM259XP | statement | record (an 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.39269#GXA4 |
| MVRFE0Q66Z | MVRFE0Q66Z | statement | open | open_logic content/set-theory/spine/stagesbasics.tex#Valphanotref |
| MVRNWAZQA9 | MVRNWAZQA9 | statement | record (an 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.29759#HNIK |
| MVS9KW4Q6J | MVS9KW4Q6J | 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.35683#V1YZ |
| MVSA8TTP18 | MVSA8TTP18 | statement | record (an 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.03081#O8P2 |
| MVT7FXAG6N | MVT7FXAG6N | statement | open | open_logic content/normal-modal-logic/axioms-systems/duals.tex#prop:dualsys |
| MVTNZVYP05 | MVTNZVYP05 | statement | record (an 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.05391#JKRV |
| MVV5DP0361 | MVV5DP0361 | statement | record (an 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.10816#REZ8 |
| MVV9AQHQT2 | MVV9AQHQT2 | statement | record (an 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.02993#2LF3 |
| MVVBD6P3CJ | MVVBD6P3CJ | 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.29432#1PVS |
| MVW25ZDH61 | MVW25ZDH61 | statement | record (an 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.32937#0MS0 |
| MVW7FFEJSE | MVW7FFEJSE | statement | record (an 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.09422#HKFK |
| MVWCJCY1XD | MVWCJCY1XD | 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.14681#27EL |
| MVXF079TE3 | MVXF079TE3 | statement | record (an 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.36321#4IKR |
| MVXRTCEJW1 | MVXRTCEJW1 | statement | record (an 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#3OCB |