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 401–500 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| M4MPYHGGWW | M4MPYHGGWW | 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 2608.23797#AO34 |
| M4MWWPV8MQ | M4MWWPV8MQ | statement | record (an 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.09294#0RAJ |
| M4NJXBEE5W | M4NJXBEE5W | 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#FJY1 |
| M4NKF477HV | M4NKF477HV | statement | record (an 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.21622#NVQZ |
| M4NQ9V6VE1 | M4NQ9V6VE1 | statement | record (an 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.36016#SXFJ |
| M4NXX9JSDF | M4NXX9JSDF | statement | record (an 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.14509#WQO9 |
| M4P8J9QX04 | M4P8J9QX04 | statement | record (an 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.02111#8XKF |
| M4PTHGZSRG | M4PTHGZSRG | statement | record (an 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.33584#VPLU |
| M4QEHXWCZJ | M4QEHXWCZJ | statement | record (an 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#FIMR |
| M4QJ8H6H1J | M4QJ8H6H1J | statement | record (an 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.07064#5GBX |
| M4QK2RBVE8 | M4QK2RBVE8 | statement | record (an 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.28075#U6J5 |
| M4QZDMGPMQ | M4QZDMGPMQ | statement | record (an 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/0301148#4O16 |
| M4REKHKVYX | M4REKHKVYX | statement | record (an 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.15352#EK5T |
| M4RZKB7HM9 | M4RZKB7HM9 | statement | record (an 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#S9JO |
| M4S13FVMAB | M4S13FVMAB | example | open | austin_ula src/section2-5.xml#example-matrix-to-mt |
| M4S1ENJSXN | M4S1ENJSXN | statement | record (an 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.13888#IEE6 |
| M4S51TWKMA | M4S51TWKMA | statement | record (an 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.18358#QD4E |
| M4SSRW1MKX | M4SSRW1MKX | statement | record (an 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.40355#77OD |
| M4STBZ4TBS | M4STBZ4TBS | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-9 |
| M4SYW9G9MD | M4SYW9G9MD | statement | record (an 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.13580#DUOO |
| M4TCFTEMH7 | M4TCFTEMH7 | statement | record (an 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.04179#Z9V1 |
| M4TDPPM2VC | M4TDPPM2VC | statement | record (an 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.16583#7ISG |
| M4VBAHB2A0 | M4VBAHB2A0 | statement | record (an 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.03814#GWZO |
| M4VBQRE921 | M4VBQRE921 | statement | record (an 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.16429#73PK |
| M4VK3E3REV | M4VK3E3REV | 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.40355#8B5M |
| M4VWWTQD49 | M4VWWTQD49 | statement | record (an 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.10804#XSZV |
| M4W46ASX64 | M4W46ASX64 | 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.35691#5ZDN |
| M4WT2NK4S9 | M4WT2NK4S9 | statement | record (an 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.07099#P9NK |
| M4WXC5QFW9 | M4WXC5QFW9 | statement | record (an 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.25275#3A0I |
| M4X09VGGR9 | M4X09VGGR9 | statement | record (an 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.37026#MF61 |
| M4X8THCFH0 | M4X8THCFH0 | 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.36423#3HVQ |
| M4XBYE55GJ | M4XBYE55GJ | statement | record (an 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.11210#T1CR |
| M4XJYP4D2T | M4XJYP4D2T | 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.31274#BIJR |
| M4XS4KXM3F | M4XS4KXM3F | 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.13214#SY1T |
| M4Y6MTSK31 | M4Y6MTSK31 | statement | record (an 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.20466#XYVS |
| M4YNBXB1WY | M4YNBXB1WY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1808.00180#LMX9 |
| M4Z4Z7HBZX | M4Z4Z7HBZX | statement | record (an 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.28677#T4NW |
| M4Z91AGEVS | M4Z91AGEVS | 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.10469#KHEQ |
| M4ZN4EWS95 | M4ZN4EWS95 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.03011#VF82 |
| M4ZTBBGY4J | M4ZTBBGY4J | statement | record (an 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.13241#LJP3 |
| M5-brane | M0J5G1F516 | unknown | open | Wikidata Q28649150, nLab M5-brane |
| M50RSBDH9Z | M50RSBDH9Z | exercise | open | austin_ula src/exercises/exercises1-4.xml#exercise-4 |
| M50VW43KTC | M50VW43KTC | 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 2207.12181#ER31 |
| M50X8TFC01 | M50X8TFC01 | statement | record (an 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#1VYK |
| M50Z8FNKQ7 | M50Z8FNKQ7 | statement | record (an 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.28323#TWMM |
| M51FTD3PBD | M51FTD3PBD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.00606#XEH9 |
| M51XPDTKSY | M51XPDTKSY | unknown | open | arXiv 2106.06387#RMUI |
| M52AAQN76V | M52AAQN76V | statement | record (an 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.03255#3767 |
| M52THTQ6BC | M52THTQ6BC | statement | record (an 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.15352#G14F |
| M531NEASKY | M531NEASKY | statement | record (an 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.06895#X8GE |
| M53F3713WJ | M53F3713WJ | 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.19260#FK1H |
| M53S2KXVXB | M53S2KXVXB | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#exercise-6 |
| M53S8NQP6X | M53S8NQP6X | statement | record (an 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.26450#BMKO |
| M54CP9716D | M54CP9716D | exercise | open | hott_book logic.tex#ex:n-set |
| M54HFHD5SR | M54HFHD5SR | statement | record (an 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.30817#US8S |
| M54RAX5DK3 | M54RAX5DK3 | 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.25801#C0QI |
| M55G2JNNJX | M55G2JNNJX | statement | record (an 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.29712#4UZG |
| M55TBDWB23 | M55TBDWB23 | 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.14783#BHOG |
| M569YE1Y1G | M569YE1Y1G | statement | record (an 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.08599#A9ET |
| M56WEWKQTZ | M56WEWKQTZ | example | open | napkin tex/rep-theory/characters.tex#example-1 |
| M570ZQRBYN | M570ZQRBYN | statement | record (an 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.25761#6JRB |
| M575J7B7S3 | M575J7B7S3 | statement | record (an 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.18377#4A7M |
| M576K17NHG | M576K17NHG | statement | record (an 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.07049#V63R |
| M57R3XV2FJ | M57R3XV2FJ | statement | record (an 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.17863#KM5U |
| M583C8MQ3S | M583C8MQ3S | 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.28141#LT7L |
| M583Q4DF9H | M583Q4DF9H | 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.36423#CC02 |
| M58AMZ6B89 | M58AMZ6B89 | statement | record (an 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.37520#TSFF |
| M58K59ZV7M | M58K59ZV7M | statement | record (an 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.40096#CXO1 |
| M58VX1B0P8 | M58VX1B0P8 | 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 2301.04933#FA8U |
| M593M73XCJ | M593M73XCJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1810.06028#767U |
| M59EJK22MB | M59EJK22MB | 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.31910#NFHA |
| M59ZYM27E9 | M59ZYM27E9 | statement | record (an 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.27872#3KAH |
| M5AK6ZPDCE | M5AK6ZPDCE | 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.09300#KO8R |
| M5ASBQ7X61 | M5ASBQ7X61 | statement | record (an 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.37124#FU5W |
| M5BMV750F2 | M5BMV750F2 | statement | record (an 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#CKGQ |
| M5CA42BTB0 | M5CA42BTB0 | 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.05179#O9NK |
| M5CHF5GPFH | M5CHF5GPFH | statement | record (an 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#9KQD |
| M5CRHTX0H7 | M5CRHTX0H7 | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-17 |
| M5D1QCFYQH | M5D1QCFYQH | statement | record (an 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#C7N6 |
| M5D36Y3F1M | M5D36Y3F1M | statement | record (an 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.29152#CD1E |
| M5DKHF3YXM | M5DKHF3YXM | unknown | open | arXiv 2609.26134#U58B |
| M5E1MRM67Q | M5E1MRM67Q | statement | open | open_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#thm:completeness |
| M5E5C9Q0F3 | M5E5C9Q0F3 | statement | open | hott_book categories.tex#ct:functor-cat |
| M5EH5QHJM6 | M5EH5QHJM6 | statement | open | lebl_scv scv.tex#cor:pshcompose |
| M5EQ0MWP5J | M5EQ0MWP5J | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prop:provability-contr |
| M5FK65535S | M5FK65535S | statement | record (an 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.07164#AY17 |
| M5GTJV6N5C | M5GTJV6N5C | statement | record (an 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.28374#RUYB |
| M5HCCKYHG9 | M5HCCKYHG9 | statement | record (an 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.18239#AN3L |
| M5HTDZCN0F | M5HTDZCN0F | statement | record (an 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.28189#5GI1 |
| M5J0THVS2K | M5J0THVS2K | statement | record (an 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#VSVS |
| M5JE69YD3T | M5JE69YD3T | statement | record (an 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.1489#N8YW |
| M5JNYDZCF5 | M5JNYDZCF5 | exercise | open | active_calculus source/activities/act-3-1-4.xml#act-3-1-4 |
| M5JQCG7VAH | M5JQCG7VAH | statement | record (an 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.13817#4IZV |
| M5KMQJASZA | M5KMQJASZA | statement | record (an 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.02669#Q7DA |
| M5MA39B2T3 | M5MA39B2T3 | 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.03612#W92D |
| M5MWSZZT9G | M5MWSZZT9G | statement | record (an 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.16657#ZK6Q |
| M5NBA2NETR | M5NBA2NETR | 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.09810#JZW7 |
| M5NFNKB8T7 | M5NFNKB8T7 | statement | record (an 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.09207#269W |
| M5NR68E7XX | M5NR68E7XX | statement | record (an 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.17565#9YEA |
| M5P2789990 | M5P2789990 | 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 2405.14678#2G1L |