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 301–400 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| M3K3V0Y3JE | M3K3V0Y3JE | statement | record (an 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.34856#EZME |
| M3K9CEKNVB | M3K9CEKNVB | 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 2102.09374#U0L5 |
| M3KBY8H80J | M3KBY8H80J | example | open | open_logic content/normal-modal-logic/sequent-calculus/proofs-in-K.tex#ex-2 |
| M3KFM6Y29Y | M3KFM6Y29Y | statement | record (an 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.15770#W1N5 |
| M3KKR5H30Y | M3KKR5H30Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#0XD7 |
| M3KX1ENH5T | M3KX1ENH5T | unknown | open | arXiv 2205.15365#LD4K |
| M3MJN2CX2K | M3MJN2CX2K | statement | record (an 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.04694#DB1C |
| M3MXQB8MP3 | M3MXQB8MP3 | statement | record (an 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#WM5C |
| M3N8DB83G8 | M3N8DB83G8 | statement | record (an 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.35209#9Q12 |
| M3NC5DTEJY | M3NC5DTEJY | 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.36300#CN9G |
| M3NFGHZ1K1 | M3NFGHZ1K1 | statement | record (an 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.14154#EXU6 |
| M3PABK0YZQ | M3PABK0YZQ | exercise | open | lebl_diffyqs ch-intro.tex#exercise-15 |
| M3Q1R3F181 | M3Q1R3F181 | statement | record (an 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.14121#VQZT |
| M3Q3SD8CRN | M3Q3SD8CRN | statement | record (an 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.12309#P2BN |
| M3QDBKM1QP | M3QDBKM1QP | 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 2402.17852#HVC6 |
| M3R4GBA887 | M3R4GBA887 | statement | record (an 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.21692#DUMY |
| M3RKMNX1VZ | M3RKMNX1VZ | statement | record (an 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.32977#7PH7 |
| M3S0VPYJCD | M3S0VPYJCD | 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.11545#CFFE |
| M3S2TT2BJW | M3S2TT2BJW | 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.10527#SOEH |
| M3SDKJAH2J | M3SDKJAH2J | definition | open | hott_book hlevels.tex#defn-5 |
| M3SF7ZT4QX | M3SF7ZT4QX | statement | record (an 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.26600#Q6XM |
| M3T5MQ7NWY | M3T5MQ7NWY | statement | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#thm:modular add comm assoc |
| M3TEMCDCCY | M3TEMCDCCY | 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 2303.10963#F3XE |
| M3THVD74XX | M3THVD74XX | 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.36321#IYUA |
| M3TK8WE103 | M3TK8WE103 | statement | record (an 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.12319#ARIB |
| M3TWW6G300 | M3TWW6G300 | statement | record (an 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#GD9P |
| M3V38J3B8Q | M3V38J3B8Q | 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.10925#6TSN |
| M3V6N0PSJ1 | M3V6N0PSJ1 | 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.31445#9RQO |
| M3V949GEZN | M3V949GEZN | statement | record (an 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.26896#WT9I |
| M3VXJ6XMRN | M3VXJ6XMRN | statement | record (an 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#90TV |
| M3XXQACCX4 | M3XXQACCX4 | statement | record (an 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.31304#7KLI |
| M3Y3GE0EV0 | M3Y3GE0EV0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.11346#UOB4 |
| M3Y75Q72PJ | M3Y75Q72PJ | statement | record (an 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.32505#7FHL |
| M3YGRGFPCT | M3YGRGFPCT | statement | open | lebl_scv scv.tex#thm-34 |
| M3YM2ZTRHG | M3YM2ZTRHG | 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 2404.00077#0PNX |
| M3YSVVF731 | M3YSVVF731 | statement | record (an 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.12810#92AN |
| M3Z49Q12E8 | M3Z49Q12E8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.00810#VHM3 |
| M3Z7ZSBD0K | M3Z7ZSBD0K | statement | record (an 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#QZHA |
| M3ZCY5WMA6 | M3ZCY5WMA6 | statement | record (an 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.11143#70VK |
| M3ZJWN54MY | M3ZJWN54MY | statement | record (an 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.17442#OE3G |
| M3ZXG42443 | M3ZXG42443 | statement | record (an 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.04466#IHTP |
| M413N4PGD8 | M413N4PGD8 | statement | record (an 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#V0P7 |
| M41KSKX84D | M41KSKX84D | 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#9LJW |
| M41WRNGQ79 | M41WRNGQ79 | exercise | open | austin_ula src/section3-2.xml#activity-2 |
| M42TJ6HW35 | M42TJ6HW35 | statement | record (an 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.22074#L1BO |
| M433T73QQ2 | M433T73QQ2 | proof | open | hott_book hlevels.tex#proof-47 |
| M43C15V7YZ | M43C15V7YZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#FT5I |
| M43EVC83SP | M43EVC83SP | statement | record (an 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.10095#PB6M |
| M43V668FZ2 | M43V668FZ2 | 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.28892#31AC |
| M43VSK278H | M43VSK278H | statement | record (an 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.10338#ZD62 |
| M44C1GD30G | M44C1GD30G | statement | record (an 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.30086#1ZM2 |
| M4551RQ2C1 | M4551RQ2C1 | exercise | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#prob:equiv from lots of relations |
| M45853Z1ER | M45853Z1ER | statement | record (an 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.07695#N4LW |
| M45AVYWVXV | M45AVYWVXV | statement | record (an 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.10964#NJBM |
| M45GFTT7XA | M45GFTT7XA | proof | open | hott_book logic.tex#proof-11 |
| M45W2EVN47 | M45W2EVN47 | 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.27872#A29E |
| M45WH88EMV | M45WH88EMV | exercise | open | lebl_ra ch-approximate.tex#exercise-35 |
| M4763RGBES | M4763RGBES | example | open | lebl_diffyqs ap-linear-algebra.tex#example-2 |
| M47BMKH3B2 | M47BMKH3B2 | statement | open | open_logic content/lambda-calculus/introduction/primitive-recursion.tex#lem-1 |
| M47C3K4V8D | M47C3K4V8D | statement | record (an 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.35467#78RJ |
| M47PFY4BKS | M47PFY4BKS | statement | record (an 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.20131#B6N7 |
| M47TMF72D9 | M47TMF72D9 | example | open | active_calculus source/sec-2-5-chain.xml#example-2 |
| M47WHTF30B | M47WHTF30B | statement | record (an 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.21921#08RN |
| M48EJ9B4YG | M48EJ9B4YG | statement | record (an 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.25656#XT9U |
| M4909XYDXD | M4909XYDXD | statement | record (an 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.22078#6UDA |
| M4A0ZHMNVT | M4A0ZHMNVT | statement | record (an 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.26984#XJ2I |
| M4AX3PS3AW | M4AX3PS3AW | statement | record (an 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.02166#RP2G |
| M4B1WMPFYP | M4B1WMPFYP | statement | record (an 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.11468#E051 |
| M4C4G6ZAPT | M4C4G6ZAPT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.3562#3VLI |
| M4C6XWX2PM | M4C6XWX2PM | statement | record (an 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#CJ4D |
| M4CE2F0KAK | M4CE2F0KAK | statement | record (an 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#GK2H |
| M4CG85RYZ8 | M4CG85RYZ8 | exercise | open | lebl_ra ch-metric.tex#exercise-16 |
| M4CGD6ECF5 | M4CGD6ECF5 | 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.19273#98VH |
| M4CTNJPQNN | M4CTNJPQNN | exercise | open | lebl_scv scv.tex#exercise-271 |
| M4DDR02ZR7 | M4DDR02ZR7 | statement | record (an 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.12169#B8OV |
| M4DS6QEZ2Y | M4DS6QEZ2Y | statement | record (an 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#F4AM |
| M4E8DDW237 | M4E8DDW237 | statement | record (an 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.33313#MOEZ |
| M4EBB2409T | M4EBB2409T | statement | record (an 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.10365#HMWU |
| M4F89S27HM | M4F89S27HM | statement | open | open_logic content/first-order-logic/tableaux/provability-consistency.tex#prop:prov-incons |
| M4FCZZ6KN1 | M4FCZZ6KN1 | statement | record (an 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.33770#Z9SA |
| M4FRWMQRJ4 | M4FRWMQRJ4 | exercise | open | active_calculus source/activities/act-5-5-2.xml#act-5-5-2 |
| M4G8F4G61Z | M4G8F4G61Z | statement | record (an 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.09704#KBED |
| M4G9B7PAWW | M4G9B7PAWW | statement | record (an 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.14837#H7M6 |
| M4GRCSSN3V | M4GRCSSN3V | 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.25289#P285 |
| M4GT2S1WZY | M4GT2S1WZY | statement | record (an 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.11902#OGW3 |
| M4GTR662GJ | M4GTR662GJ | statement | record (an 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.27458#R75L |
| M4GVBX8WQ9 | M4GVBX8WQ9 | statement | record (an 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.40156#AFK7 |
| M4H8R97J2A | M4H8R97J2A | 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.03612#TL7G |
| M4HBXQ83RF | M4HBXQ83RF | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#prob:continuous image of connected set |
| M4HGV7ZMQ0 | M4HGV7ZMQ0 | statement | record (an 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#4F1F |
| M4HK7PS7B9 | M4HK7PS7B9 | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-13 |
| M4HWXE1DC4 | M4HWXE1DC4 | statement | record (an 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#DXLO |
| M4HZRXYAJQ | M4HZRXYAJQ | 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#JY6V |
| M4KG247XZA | M4KG247XZA | statement | record (an 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.29399#GKU4 |
| M4M46GWSQ9 | M4M46GWSQ9 | statement | record (an 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.06326#MQK4 |
| M4M9NJWFB6 | M4M9NJWFB6 | 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 2404.18704#Z01G |
| M4MA6X2D5W | M4MA6X2D5W | statement | record (an 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.18564#LQYZ |
| M4MFR40BV4 | M4MFR40BV4 | statement | record (an 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.26041#XTRF |
| M4MFV071T0 | M4MFV071T0 | statement | record (an 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.10029#NPZV |
| M4MMDPJJEK | M4MMDPJJEK | 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 2412.20238#N213 |