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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 9101–9200 of 10449.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MSGVAMQH0T | MSGVAMQH0T | proof | open | hott_book hits.tex#proof-15 |
| MSJ Autumn Prize | AA7TCMC5YM | unknown | open | Wikipedia Mathematical Society of Japan#8J37 |
| MSJJBNFVAF | MSJJBNFVAF | statement | record (an 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.01737#HYX0 |
| MSJM20NYYV | MSJM20NYYV | 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.38131#436R |
| MSKGBW5GMJ | MSKGBW5GMJ | statement | record (an 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.30999#815Z |
| MSKMBAPKX8 | MSKMBAPKX8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.18813#VLGT |
| MSN | FYZNQPJG3G | definition | open | Wikipedia MSN (association football), Wikidata Q141283750 |
| MSN2M3GVTM | MSN2M3GVTM | statement | record (an 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.17060#LZRP |
| MSNNKRWTZD | MSNNKRWTZD | statement | record (an 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.17871#IH1P |
| MSP5HY3EA3 | MSP5HY3EA3 | statement | record (an 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.07001#A6A0 |
| MSP71B94J2 | MSP71B94J2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.11107#70M5 |
| MSPJB7022W | MSPJB7022W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0905.2248#LWJY |
| MSQ3P0Q4DJ | MSQ3P0Q4DJ | 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.15160#JQN5 |
| MSQ94CX0T2 | MSQ94CX0T2 | statement | record (an 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.06310#GWKX |
| MSQ98DKRWH | MSQ98DKRWH | exercise | open | open_logic content/first-order-logic/sequent-calculus/proving-things.tex#prob-3 |
| MSR1YCCDQF | MSR1YCCDQF | statement | record (an 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.20910#5LLA |
| MSSSEMMAHC | MSSSEMMAHC | statement | record (an 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#LGKF |
| MSSXMQ2SHE | MSSXMQ2SHE | statement | record (an 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.01358#4MZP |
| MST5DX5J81 | MST5DX5J81 | statement | record (an 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.23527#CZ0M |
| MST6142TC7 | MST6142TC7 | statement | record (an 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.15344#KAEN |
| Mstislav Keldysh | W66NKQ8NY0 | topic | open | Wikipedia Mstislav Keldysh, Wikidata Q246497 |
| MSTN9NBQ8G | MSTN9NBQ8G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#DLBJ |
| MSTWJE6CMS | MSTWJE6CMS | exercise | open | lebl_ra ch-multivar-int.tex#exercise-13 |
| MSUGRA | M9518GAHPH | unknown | open | Wikipedia Supergravity#YDTQ |
| MSVCCHS26H | MSVCCHS26H | statement | record (an 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.01656#U76W |
| MSVMT1S8KV | MSVMT1S8KV | statement | record (an 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.11292#0ACJ |
| MSW3XM4KZS | MSW3XM4KZS | 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 2210.02997#IO7G |
| MSWBJ1A4RB | MSWBJ1A4RB | statement | record (an 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#RVLX |
| MSXDMZ8CYN | MSXDMZ8CYN | statement | record (an 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.10469#AZ0O |
| MSXPQ7HKY4 | MSXPQ7HKY4 | statement | record (an 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#L5K7 |
| MSXRPNDCTE | MSXRPNDCTE | statement | record (an 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#DCSB |
| MSYABNSCJ8 | MSYABNSCJ8 | statement | record (an 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.08226#JE1L |
| MSYN7WFC7A | MSYN7WFC7A | statement | record (an 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.10796#P6AX |
| MSYRB6F7EC | MSYRB6F7EC | statement | record (an 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.12777#AV08 |
| MSZAMQM4K1 | MSZAMQM4K1 | statement | record (an 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#TBS8 |
| MSZSK80NX7 | MSZSK80NX7 | 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.31278#SZVU |
| MT0H1757N7 | MT0H1757N7 | statement | record (an 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#6H45 |
| MT0H6FHGZZ | MT0H6FHGZZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#9LXY |
| MT187XHPXM | MT187XHPXM | statement | record (an 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.00856#WQ0M |
| MT1PZJK0BQ | MT1PZJK0BQ | statement | record (an 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.38436#5SQ7 |
| MT23JZJT4B | MT23JZJT4B | statement | record (an 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.02506#BEDZ |
| MT279PMYQM | MT279PMYQM | statement | record (an 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.01441#5UI8 |
| MT28043Y6X | MT28043Y6X | statement | record (an 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.14060#FBY8 |
| MT331GVH98 | MT331GVH98 | statement | record (an 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.16779#OKW0 |
| MT37GCQF7Q | MT37GCQF7Q | 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.35102#IXO5 |
| MT3AERZC62 | MT3AERZC62 | statement | record (an 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.09735#TVO9 |
| MT3GBH1MAP | MT3GBH1MAP | statement | record (an 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.00134#7VSV |
| MT3PPDBPS8 | MT3PPDBPS8 | statement | record (an 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.22011#OOQC |
| MT40Y4CVG0 | MT40Y4CVG0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.08944#MLFV |
| MT44CEK39F | MT44CEK39F | statement | record (an 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.01594#BDP9 |
| MT47186HK0 | MT47186HK0 | statement | record (an 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.10795#ONMS |
| MT5HPP8MYY | MT5HPP8MYY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.10337#3DA5 |
| MT5JWHEG27 | MT5JWHEG27 | statement | record (an 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#KR49 |
| MT68457G0Y | MT68457G0Y | statement | record (an 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.13528#XFZ2 |
| MT77P0Q1GA | MT77P0Q1GA | 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.18016#PUQD |
| MT7JYH56QG | MT7JYH56QG | statement | record (an 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.09812#90XW |
| MT813KXRPK | MT813KXRPK | statement | record (an 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#8LFM |
| MT86A6C184 | MT86A6C184 | 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.19023#S14D |
| MT8E0VW9Y5 | MT8E0VW9Y5 | statement | record (an 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.07961#VYRY |
| MT8MDEME1R | MT8MDEME1R | statement | record (an 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#XA7S |
| MT8QVDC4P9 | MT8QVDC4P9 | statement | record (an 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#MOB9 |
| MT9C6FDQ3D | MT9C6FDQ3D | statement | record (an 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.10093#I1OY |
| MT9DTVVGMY | MT9DTVVGMY | statement | record (an 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.04895#XOI6 |
| MT9H6VMG98 | MT9H6VMG98 | statement | record (an 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.13953#GHBI |
| MT9MFQYM81 | MT9MFQYM81 | statement | record (an 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.07299#EKI5 |
| MT9TM8TTCS | MT9TM8TTCS | 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.17717#M0DN |
| MTA0NKBGG4 | MTA0NKBGG4 | 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.40189#JCV5 |
| MTAFK3M27Q | MTAFK3M27Q | statement | record (an 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#WTYV |
| MTAGJSKST6 | MTAGJSKST6 | statement | record (an 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.21507#FL2I |
| MTB9E2NXZS | MTB9E2NXZS | statement | record (an 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#N0XM |
| MTBCF7FTT9 | MTBCF7FTT9 | statement | record (an 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#SIKQ |
| MTBUR | 6GTE0A4RV0 | unknown | open | Wikipedia Mean time between failures#QDPG |
| MTBW5EWEZD | MTBW5EWEZD | statement | record (an 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.25718#5FVG |
| MTBW9ZRFS7 | MTBW9ZRFS7 | proof | open | hott_book hlevels.tex#proof-15 |
| MTC2TVKGX1 | MTC2TVKGX1 | 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.35558#QUP3 |
| MTCY05A3EF | MTCY05A3EF | statement | record (an 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.11671#Y3NL |
| MTD5E1HX7K | MTD5E1HX7K | exercise | open | open_logic content/sets-functions-relations/arithmetization/cauchy.tex#prob-1 |
| MTD8TPZ1WQ | MTD8TPZ1WQ | statement | record (an 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.10773#QD6Y |
| MTEFR14HG6 | MTEFR14HG6 | statement | record (an 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.10325#RLUO |
| MTENH6R0GH | MTENH6R0GH | statement | record (an 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.20270#ELXF |
| MTF0Q4C68Y | MTF0Q4C68Y | 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.37931#3GU7 |
| MTF8YEP7S5 | MTF8YEP7S5 | 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#LQ1O |
| MTF9B43565 | MTF9B43565 | statement | record (an 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.27898#WP0D |
| MTFR2TVEAG | MTFR2TVEAG | statement | record (an 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#O7LC |
| MTGHEF9GX3 | MTGHEF9GX3 | 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.14458#OAFM |
| MTH4BCRWVG | MTH4BCRWVG | exercise | open | hott_book hits.tex#ex:trunc-bool-interval |
| MTHXYJ07WE | MTHXYJ07WE | statement | record (an 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.12852#WEUQ |
| MTHZ2A7XJX | MTHZ2A7XJX | statement | record (an 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.13510#JD42 |
| MTJ81VM7TE | MTJ81VM7TE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.12669#R95Z |
| MTJDJNSKPY | MTJDJNSKPY | statement | record (an 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.04935#VU5K |
| MTJX80E8H4 | MTJX80E8H4 | statement | record (an 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.24323#ZPJY |
| MTJXQ66WV7 | MTJXQ66WV7 | statement | record (an 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.22082#BG75 |
| MTJYX4CE4D | MTJYX4CE4D | statement | record (an 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#3ON6 |
| MTK3ZV5MS8 | MTK3ZV5MS8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1912.13357#ZGXP |
| MTKKDQFGH1 | MTKKDQFGH1 | statement | record (an 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.33590#XWTP |
| MTKRF9H5DN | MTKRF9H5DN | statement | record (an 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.24412#3UQB |
| MTKV55WKV9 | MTKV55WKV9 | statement | record (an 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.21715#XRKZ |
| MTKY7ZJ19K | MTKY7ZJ19K | statement | record (an 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.09333#HM93 |
| MTKYQKNN2J | MTKYQKNN2J | statement | record (an 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.20060#VWX4 |
| MTKYT67KS9 | MTKYT67KS9 | statement | record (an 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#76KA |