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 4601–4700 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MWYSCNW70R | MWYSCNW70R | 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 1705.04310#7I6O |
| MWZ392Y0EC | MWZ392Y0EC | statement | record (an 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.19300#3UU2 |
| MWZS6XK083 | MWZS6XK083 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-6 |
| MX0JNYYAV1 | MX0JNYYAV1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.15716#UTTY |
| MX1428DBTE | MX1428DBTE | statement | record (an 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.18620#DYGN |
| MX1C3JA0NN | MX1C3JA0NN | 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 2605.30679#UT5A |
| MX23VA5C7E | MX23VA5C7E | statement | record (an 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.27270#IIPK |
| MX2B4F0TQB | MX2B4F0TQB | statement | record (an 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.30760#4TUG |
| MX2C5RRJPR | MX2C5RRJPR | 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.00562#Y6NK |
| MX2EY267DW | MX2EY267DW | statement | record (an 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#DN0M |
| MX2KNNG59B | MX2KNNG59B | statement | record (an 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#5XWJ |
| MX3BXD414G | MX3BXD414G | statement | record (an 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.15405#PBFT |
| MX3DB1R1W5 | MX3DB1R1W5 | statement | record (an 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.36411#91KP |
| MX3JNPEFS3 | MX3JNPEFS3 | statement | record (an 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.18287#41CE |
| MX4AY2AZWX | MX4AY2AZWX | statement | record (an 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.21781#6GVF |
| MX4JTJS022 | MX4JTJS022 | 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.11545#6LQD |
| MX4YFE5MM1 | MX4YFE5MM1 | statement | record (an 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.08610#QKRY |
| MX5EFCD1ZY | MX5EFCD1ZY | 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.10546#TGJE |
| MX671AKN9D | MX671AKN9D | 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.34382#NL0L |
| MX68TMKPZ1 | MX68TMKPZ1 | statement | record (an 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#Y64I |
| MX699BNZE2 | MX699BNZE2 | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-9 |
| MX6M82R3R3 | MX6M82R3R3 | exercise | open | napkin tex/topology/metric-top.tex#exercise-2 |
| MX72WRWCHH | MX72WRWCHH | statement | record (an 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.07598#ZKJU |
| MX7A6SWNTT | MX7A6SWNTT | statement | record (an 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.16834#LQQW |
| MX7R1C88BR | MX7R1C88BR | statement | record (an 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.28774#AXUA |
| MX7YV3975H | MX7YV3975H | statement | open | napkin tex/diffgeo/manifolds.tex#theorem-3 |
| MX82Z7W2DD | MX82Z7W2DD | statement | record (an 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.10243#UGQC |
| MX89FPTENZ | MX89FPTENZ | proof | open | open_logic content/lambda-calculus/introduction/basic-pr-lambda.tex#proof-1 |
| MX9TEXA1W7 | MX9TEXA1W7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.15716#BJ4Y |
| MX9Z38DKGD | MX9Z38DKGD | 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.01208#FF9I |
| MXA04TJ2FZ | MXA04TJ2FZ | statement | record (an 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.18620#AHTQ |
| MXAHQHEDK5 | MXAHQHEDK5 | statement | record (an 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.08594#FL2Z |
| MXAK0P73BP | MXAK0P73BP | statement | record (an 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.01392#6FVY |
| MXB855WBRR | MXB855WBRR | statement | record (an 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#VZS5 |
| MXBWCZ4E8B | MXBWCZ4E8B | statement | record (an 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.33578#BI9N |
| MXC902PY0C | MXC902PY0C | statement | record (an 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.11800#13FC |
| MXCPNBDHEF | MXCPNBDHEF | 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 2211.16099#GZ16 |
| MXDN9KW3YD | MXDN9KW3YD | statement | record (an 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.12120#5NAL |
| MXEA0TR5E8 | MXEA0TR5E8 | statement | record (an 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.05914#KY2T |
| MXERX03R53 | MXERX03R53 | statement | record (an 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.26269#DMDO |
| MXF5ZJS9SQ | MXF5ZJS9SQ | statement | record (an 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.13691#HA1U |
| MXFCBDSATV | MXFCBDSATV | statement | record (an 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#F9HK |
| MXGGYSX3NA | MXGGYSX3NA | proof | open | hott_book basics.tex#proof-34 |
| MXGHR3Z5AW | MXGHR3Z5AW | 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.07445#PX7H |
| MXGQWKF7KA | MXGQWKF7KA | 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.17135#OHF2 |
| MXGXPABDW9 | MXGXPABDW9 | statement | record (an 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.16886#YNV8 |
| MXH9R481Z9 | MXH9R481Z9 | statement | record (an 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.20207#1TS0 |
| MXHATGQETP | MXHATGQETP | definition | open | napkin tex/measure/lebesgue-int.tex#definition-1 |
| MXHB76VNGB | MXHB76VNGB | 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.16225#N0CB |
| MXHEK5XVRP | MXHEK5XVRP | statement | record (an 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.14306#CHWW |
| MXHGZBP717 | MXHGZBP717 | 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.14727#9PD5 |
| MXHK3AG6BQ | MXHK3AG6BQ | statement | record (an 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.05354#Y4IG |
| MXJ52V5VN1 | MXJ52V5VN1 | statement | record (an 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.26572#MV3O |
| MXJB0NRT0A | MXJB0NRT0A | statement | record (an 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.04502#9AXZ |
| MXJDAA09F3 | MXJDAA09F3 | statement | record (an 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.38844#9BIO |
| MXJECRQR0G | MXJECRQR0G | example | open | lebl_scv scv.tex#example-4 |
| MXJXG9J4RM | MXJXG9J4RM | statement | record (an 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.28880#3CQA |
| MXMFR95T9J | MXMFR95T9J | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-3 |
| MXMGYY8D9Q | MXMGYY8D9Q | statement | record (an 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#EPMA |
| MXMJWY79YM | MXMJWY79YM | example | open | active_calculus source/sec-2-1-elem-rules.xml#example-1 |
| MXNCXCT8AB | MXNCXCT8AB | 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.03611#EB6L |
| MXNPSXN4W1 | MXNPSXN4W1 | statement | record (an 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.19709#G5VE |
| MXNRDMQG8T | MXNRDMQG8T | statement | record (an 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#A04F |
| MXP25PXNYY | MXP25PXNYY | statement | record (an 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.27414#D54I |
| MXP3FS0NW5 | MXP3FS0NW5 | 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.13063#KUSM |
| MXP4NE6HR2 | MXP4NE6HR2 | statement | record (an 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.30444#CGLI |
| MXQ53AKTBZ | MXQ53AKTBZ | statement | record (an 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.06645#224K |
| MXQ5VKC0MV | MXQ5VKC0MV | statement | record (an 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.29450#2ENM |
| MXQJQ12PP2 | MXQJQ12PP2 | 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.39793#YQAJ |
| MXQKFJQYQC | MXQKFJQYQC | 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.07828#Y27S |
| MXQQ6AAD5K | MXQQ6AAD5K | statement | record (an 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.16606#6OHO |
| MXQXS39G3G | MXQXS39G3G | statement | record (an 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.21444#30EO |
| MXR9FW5YAA | MXR9FW5YAA | 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.20385#NBQ6 |
| MXRSJ3643J | MXRSJ3643J | statement | record (an 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.01498#1EVD |
| MXSBZ9RC0Q | MXSBZ9RC0Q | 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.39104#3EHV |
| MXSJQ0BVYR | MXSJQ0BVYR | statement | record (an 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.25880#T43Z |
| MXT0SZ39Y7 | MXT0SZ39Y7 | statement | record (an 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.19852#YRE3 |
| MXV18NJQNP | MXV18NJQNP | statement | record (an 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.04172#POEX |
| MXVTRZF6ES | MXVTRZF6ES | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1012.0963#UZ69 |
| MXW28B7KTE | MXW28B7KTE | statement | record (an 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/0406514#SE6S |
| MXW680PWX7 | MXW680PWX7 | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#mv:exercise:linepiece |
| MXW75DA261 | MXW75DA261 | proof | open | lebl_ra ch-riemann.tex#proof-17 |
| MXWE46YZNY | MXWE46YZNY | exercise | open | napkin tex/calculus/p-adic.tex#dproblem-2 |
| MXX7VN8S7N | MXX7VN8S7N | exercise | open | lebl_ra ch-contfunc.tex#exercise-57 |
| MXY5JAYWWQ | MXY5JAYWWQ | statement | record (an 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.15648#JHVF |
| MXYCBRMBM6 | MXYCBRMBM6 | statement | record (an 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.24623#XRAB |
| MXYTD26RZ4 | MXYTD26RZ4 | statement | record (an 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.28824#KTHS |
| MXZ33NCKYN | MXZ33NCKYN | statement | record (an 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.34845#PCUK |
| MXZB5143MH | MXZB5143MH | statement | record (an 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.27125#ZXS6 |
| MXZWCKRXZ7 | MXZWCKRXZ7 | statement | record (an 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.15648#65Z7 |
| MXZX4C2D1Q | MXZX4C2D1Q | statement | record (an 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.05646#FLH4 |
| MY125M11N9 | MY125M11N9 | statement | record (an 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.14615#988J |
| MY1EQKS828 | MY1EQKS828 | statement | record (an 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.24623#FVO9 |
| MY2BSP8SMF | MY2BSP8SMF | statement | open | open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#prop-1 |
| MY2EWK1GBK | MY2EWK1GBK | statement | record (an 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.14045#KOC7 |
| MY2FND383T | MY2FND383T | 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.03688#7WJJ |
| MY2Q373NNB | MY2Q373NNB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1910.05504#ZBO5 |
| MY34NJBCSX | MY34NJBCSX | 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.35577#DJ9X |
| MY36DDXY61 | MY36DDXY61 | 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.17817#IFR0 |
| MY37M034QA | MY37M034QA | exercise | open | open_logic content/normal-modal-logic/axioms-systems/normal-logics.tex#prob-1 |