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 501–600 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| M5PMCR39P5 | M5PMCR39P5 | statement | record (an 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#ZZPM |
| M5QYDXRZNK | M5QYDXRZNK | 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.10329#LCHB |
| M5QZ807EB2 | M5QZ807EB2 | 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#I207 |
| M5RC6HAR9T | M5RC6HAR9T | statement | record (an 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#Z0CY |
| M5SX6WHXFW | M5SX6WHXFW | 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.26324#KUEU |
| M5T85F2AEJ | M5T85F2AEJ | exercise | open | active_calculus source/activities/act-5-3-3.xml#act-5-3-3 |
| M5TE2WD9N1 | M5TE2WD9N1 | statement | record (an 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.24465#7IUJ |
| M5V97VNKH8 | M5V97VNKH8 | statement | record (an 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.03488#WZLL |
| M5VEJ0B6QX | M5VEJ0B6QX | 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.18632#E0SY |
| M5VJBX9TRS | M5VJBX9TRS | definition | open | lebl_scv scv.tex#defn-8 |
| M5VMGMH57W | M5VMGMH57W | proof | open | hott_book homotopy.tex#proof-1 |
| M5VRMPD240 | M5VRMPD240 | statement | record (an 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.22460#JKMB |
| M5VSB4ENYT | M5VSB4ENYT | statement | record (an 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#1MSM |
| M5VYCA10XY | M5VYCA10XY | statement | record (an 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.39103#1SVW |
| M5W4E1PEB7 | M5W4E1PEB7 | definition | open | open_logic content/set-theory/ordinals/wo.tex#defn-1 |
| M5W802048V | M5W802048V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.14638#8G82 |
| M5WFPGP1Z0 | M5WFPGP1Z0 | statement | record (an 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.11336#QHUY |
| M5WXR4G2MV | M5WXR4G2MV | statement | record (an 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.16010#8LNC |
| M5X9WS709W | M5X9WS709W | statement | record (an 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.25742#6IOJ |
| M5XA611AN9 | M5XA611AN9 | definition | open | napkin tex/alg-NT/numfield.tex#definition-2 |
| M5XCF4AHBE | M5XCF4AHBE | statement | record (an 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.33557#4C76 |
| M5XNXXDEKV | M5XNXXDEKV | statement | record (an 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/9807180#34LF |
| M5YCTR2FXE | M5YCTR2FXE | 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.33541#J0EO |
| M5Z6NWYAJT | M5Z6NWYAJT | statement | record (an 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#6ZPR |
| M5ZNAD8SXS | M5ZNAD8SXS | statement | record (an 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.31527#QNYM |
| M60DRP12XY | M60DRP12XY | statement | record (an 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.27016#52ZI |
| M60RRKENDA | M60RRKENDA | 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 2510.05499#Z3V1 |
| M60S1M40S7 | M60S1M40S7 | 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.33124#0QHQ |
| M60XGNJ04H | M60XGNJ04H | statement | record (an 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.05696#0AID |
| M61A4PTDVE | M61A4PTDVE | 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.37524#ZMZ2 |
| M61GREBHW0 | M61GREBHW0 | statement | record (an 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.21017#SRWZ |
| M61K6YCV3S | M61K6YCV3S | statement | record (an 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#EQ71 |
| M62MVEEBQY | M62MVEEBQY | statement | record (an 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#TY1P |
| M6384GAGTJ | M6384GAGTJ | statement | record (an 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.01501#8TRR |
| M63CMSSC9C | M63CMSSC9C | statement | record (an 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.10643#VKP9 |
| M63JSYGREK | M63JSYGREK | 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 2605.16669#U432 |
| M63R0TFE7Z | M63R0TFE7Z | 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#P4KO |
| M64FC2T7F6 | M64FC2T7F6 | statement | record (an 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.05730#ZN7S |
| M64TMZNZ4N | M64TMZNZ4N | statement | record (an 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#5W5O |
| M64YTVMXBZ | M64YTVMXBZ | statement | record (an 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.31883#LX0Q |
| M651YKFKE9 | M651YKFKE9 | statement | record (an 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.18436#YB0S |
| M657EFZM8J | M657EFZM8J | statement | record (an 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.26922#8BHV |
| M66Q4Y2K3B | M66Q4Y2K3B | statement | record (an 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#TNBW |
| M67033XKN1 | M67033XKN1 | statement | record (an 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#GAEM |
| M67BX5RRSW | M67BX5RRSW | statement | record (an 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.12014#HIPI |
| M67RVWR2PR | M67RVWR2PR | statement | record (an 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#RZNW |
| M67Z2Q95SZ | M67Z2Q95SZ | 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 2509.20257#7N1U |
| M681YPWGX9 | M681YPWGX9 | statement | record (an 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.16178#OT1S |
| M6883Y2E7N | M6883Y2E7N | example | open | napkin tex/alg-NT/galois.tex#example-1 |
| M68KBQHPVH | M68KBQHPVH | definition | open | napkin tex/H113/grp-intro.tex#definition-4 |
| M68SAWQWFF | M68SAWQWFF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.05529#LPAP |
| M6A0TR0080 | M6A0TR0080 | statement | record (an 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.30933#IS0F |
| M6A1EA73WC | M6A1EA73WC | statement | record (an 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.11047#XHWQ |
| M6B5WTPKG2 | M6B5WTPKG2 | statement | record (an 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.07190#VREG |
| M6B6NW2BGY | M6B6NW2BGY | statement | record (an 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.35320#UAYH |
| M6BCR2ETDC | M6BCR2ETDC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1006.3331#O90C |
| M6C18F0WSA | M6C18F0WSA | 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.03628#5959 |
| M6C5EFNSNT | M6C5EFNSNT | statement | record (an 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#LCW6 |
| M6CAWYHX88 | M6CAWYHX88 | definition | open | napkin tex/diffgeo/manifolds.tex#definition-3 |
| M6CP4EYE7M | M6CP4EYE7M | definition | open | lebl_ra ch-multivar-int.tex#defn-7 |
| M6CRRNDY7N | M6CRRNDY7N | statement | record (an 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.03460#KN9W |
| M6D00RXBNE | M6D00RXBNE | 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.06739#L9X0 |
| M6DGVNF3ZV | M6DGVNF3ZV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.12496#50FJ |
| M6DS2RZ1NQ | M6DS2RZ1NQ | statement | record (an 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#EVP9 |
| M6DT4AEG2V | M6DT4AEG2V | statement | record (an 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#ZPXD |
| M6DVG2FDCP | M6DVG2FDCP | statement | record (an 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.37589#VWD1 |
| M6EHNCVGAJ | M6EHNCVGAJ | 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 2312.06581#KY70 |
| M6END64N3X | M6END64N3X | statement | record (an 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.35460#KL61 |
| M6F0EYAER6 | M6F0EYAER6 | statement | record (an 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.32599#6HJ8 |
| M6F1SWY8C6 | M6F1SWY8C6 | statement | record (an 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.08935#1UHW |
| M6G0WH2EER | M6G0WH2EER | 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.24901#LNFO |
| M6G33XMSDE | M6G33XMSDE | example | open | open_logic content/first-order-logic/sequent-calculus/proving-things.tex#ex-2 |
| M6G9VQF5Q7 | M6G9VQF5Q7 | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-5 |
| M6GJHNTST3 | M6GJHNTST3 | statement | record (an 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.20956#5OKZ |
| M6GZ8NMS6Y | M6GZ8NMS6Y | statement | record (an 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.09319#N1XW |
| M6HGRF7G8G | M6HGRF7G8G | statement | record (an 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#VQFN |
| M6HPR4B5DE | M6HPR4B5DE | statement | record (an 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#CJQ1 |
| M6KA930HW1 | M6KA930HW1 | statement | record (an 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.01359#DL22 |
| M6KCDFKXCS | M6KCDFKXCS | statement | record (an 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.00344#U33L |
| M6KT8YTN88 | M6KT8YTN88 | statement | record (an 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.05193#08UF |
| M6M2VXWSY3 | M6M2VXWSY3 | statement | record (an 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#384J |
| M6M4J61JCD | M6M4J61JCD | statement | record (an 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.19535#YQBZ |
| M6M6DQBY5K | M6M6DQBY5K | definition | open | lebl_scv scv.tex#defn-29 |
| M6M7FRN21W | M6M7FRN21W | statement | record (an 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.00585#DY6Y |
| M6MGC43VQC | M6MGC43VQC | statement | record (an 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.22237#IOE6 |
| M6MV5Q48V5 | M6MV5Q48V5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.02672#99B6 |
| M6MXKC0MDA | M6MXKC0MDA | statement | record (an 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.27420#I66Q |
| M6N8YVEEV5 | M6N8YVEEV5 | statement | record (an 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.21475#BIQG |
| M6NBMGKM7S | M6NBMGKM7S | statement | record (an 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.16060#KGCU |
| M6NFA9HT5K | M6NFA9HT5K | statement | record (an 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.27049#0OWS |
| M6NRMHJS94 | M6NRMHJS94 | statement | record (an 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.31220#SEQB |
| M6P6H4KF2X | M6P6H4KF2X | statement | record (an 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.11652#NEG0 |
| M6PG5CSWFH | M6PG5CSWFH | 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.07398#2OT8 |
| M6PPM13FP2 | M6PPM13FP2 | statement | record (an 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.20110#VXSC |
| M6QAHPZZZ2 | M6QAHPZZZ2 | statement | record (an 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.09129#LCV8 |
| M6QJ34M4A5 | M6QJ34M4A5 | statement | record (an 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#WW45 |
| M6QJRBYJSJ | M6QJRBYJSJ | exercise | open | levin_dmoi ptx/exercises/gt-planar.ptx#exercise-9 |
| M6R0JRQJKV | M6R0JRQJKV | statement | record (an 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.06419#NHQH |
| M6R2HVWX6Y | M6R2HVWX6Y | 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.05193#275M |
| M6RE06HBNK | M6RE06HBNK | statement | record (an 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.05506#7VEJ |