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 2501–2600 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MG5Y4C8PF7 | MG5Y4C8PF7 | 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.00789#A07J |
| MG62H1GX4F | MG62H1GX4F | 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.07530#AHC9 |
| MG6EBYV08J | MG6EBYV08J | 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.24917#2NPR |
| MG6WVB4EVG | MG6WVB4EVG | statement | record (an 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.12188#D24V |
| MG7DVEZ58K | MG7DVEZ58K | statement | record (an 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.14717#ECFO |
| MG85H1YHC8 | MG85H1YHC8 | statement | record (an 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.34260#AZ25 |
| MG978B68B9 | MG978B68B9 | statement | record (an 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.16727#H4BU |
| MGA8WKJ8BW | MGA8WKJ8BW | proof | open | napkin tex/set-theory/CH.tex#proof-1 |
| MGBBNJ90NC | MGBBNJ90NC | statement | record (an 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#QMY5 |
| MGCV0SN21C | MGCV0SN21C | statement | record (an 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.25703#JT6Y |
| MGDZR9BEYK | MGDZR9BEYK | 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#EQWD |
| MGE105WE2T | MGE105WE2T | statement | record (an 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.39293#ORA6 |
| MGE2YBPV2N | MGE2YBPV2N | statement | record (an 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.13773#B1NE |
| MGE4BVQ7PK | MGE4BVQ7PK | statement | record (an 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.10937#7SL0 |
| MGEFX5D3JT | MGEFX5D3JT | statement | record (an 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.13884#1KJI |
| MGF68FE123 | MGF68FE123 | 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.10591#NHMV |
| MGFQVMJGAY | MGFQVMJGAY | statement | record (an 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.39905#A6A9 |
| MGG52MZW2A | MGG52MZW2A | statement | record (an 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.38228#7DQD |
| MGGH2D60A4 | MGGH2D60A4 | 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 1903.07030#JTTG |
| MGGJH6XV69 | MGGJH6XV69 | statement | record (an 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.10576#M2O6 |
| MGGXCX6R48 | MGGXCX6R48 | 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 1903.07030#ZNFT |
| MGGYJ2QZBX | MGGYJ2QZBX | statement | record (an 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.12188#X2M0 |
| MGH9P7GF79 | MGH9P7GF79 | statement | record (an 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#EMY5 |
| MGJ42TD3JY | MGJ42TD3JY | definition | open | napkin tex/calculus/taylor.tex#definition-4 |
| MGJ5VV29NK | MGJ5VV29NK | 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 1903.07030#IQ0J |
| MGJG8XFCPE | MGJG8XFCPE | statement | record (an 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.37197#7RM6 |
| MGJQ95F2S1 | MGJQ95F2S1 | 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.07114#WSAN |
| MGK16W0P01 | MGK16W0P01 | statement | record (an 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.24931#RB7H |
| MGK45W5KJM | MGK45W5KJM | 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 2609.27775#89KT |
| MGKN12953A | MGKN12953A | 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.37356#T5G4 |
| MGMP91PG1P | MGMP91PG1P | statement | record (an 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.17258#TVLE |
| MGNTJBKNVZ | MGNTJBKNVZ | statement | record (an 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#RVFO |
| MGNW3CCD5Z | MGNW3CCD5Z | statement | record (an 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.10361#3A8H |
| MGPBDQ0J60 | MGPBDQ0J60 | statement | record (an 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.34675#V7OZ |
| MGQDWKEW07 | MGQDWKEW07 | statement | record (an 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.37103#O3C5 |
| MGQTDPZ48V | MGQTDPZ48V | statement | record (an 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.01273#WF4B |
| MGR122X4BT | MGR122X4BT | statement | record (an 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.29531#A65M |
| MGRP1SY0G7 | MGRP1SY0G7 | statement | record (an 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.28411#6K6J |
| MGRYMG2XPH | MGRYMG2XPH | statement | record (an 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.03011#VLB2 |
| MGT2VE46Y0 | MGT2VE46Y0 | statement | open | open_logic content/model-theory/basics/overspill.tex#inf-not-fo |
| MGVG5JBS2H | MGVG5JBS2H | statement | record (an 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.24190#1QQ1 |
| MGVG6NWFS4 | MGVG6NWFS4 | statement | record (an 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.03497#68EW |
| MGWBGVGMTX | MGWBGVGMTX | statement | record (an 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.00584#RF20 |
| MGWHAATMR5 | MGWHAATMR5 | statement | record (an 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.32614#2ZOR |
| MGX9N5WRVB | MGX9N5WRVB | statement | record (an 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.28337#2L52 |
| MGXCV7M0MG | MGXCV7M0MG | statement | record (an 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.28357#TU16 |
| MGXRFZHW5E | MGXRFZHW5E | statement | record (an 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.17589#VSKQ |
| MGYBFVS463 | MGYBFVS463 | statement | record (an 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.14914#G4AG |
| MGYMK6JVSP | MGYMK6JVSP | example | open | ernst_ibl MAAPressVersion/IntroCardinality.tex#example-2 |
| MGYPC79WPT | MGYPC79WPT | statement | record (an 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.29469#SDZK |
| MGYQWYP5YD | MGYQWYP5YD | statement | record (an 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.10248#KY0I |
| MGYYGZ0XVR | MGYYGZ0XVR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.05533#RJHL |
| MGZC8DHGH9 | MGZC8DHGH9 | statement | record (an 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.16358#7SOG |
| MGZES1YP91 | MGZES1YP91 | statement | record (an 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#XWPN |
| MH06Q5B2YQ | MH06Q5B2YQ | statement | open | napkin tex/homology/cup-product.tex#theorem-6 |
| MH0QQWRMPJ | MH0QQWRMPJ | 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 1508.01731#GKAU |
| MH0R4KY4VV | MH0R4KY4VV | statement | record (an 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.22345#MNQ6 |
| MH1CDPR31J | MH1CDPR31J | proof | open | napkin tex/homology/excision.tex#proof-2 |
| MH1D1WJY78 | MH1D1WJY78 | statement | record (an 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.04730#HDVC |
| MH2E7HAKJ9 | MH2E7HAKJ9 | statement | record (an 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.06336#XCCE |
| MH35W82H21 | MH35W82H21 | statement | record (an 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#QT9S |
| MH3N507182 | MH3N507182 | statement | record (an 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#9TO9 |
| MH40JAYVZR | MH40JAYVZR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.08976#S11Y |
| MH5CVA55KS | MH5CVA55KS | statement | record (an 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.10511#E0Z2 |
| MH5DX1GKNM | MH5DX1GKNM | statement | record (an 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.02489#FTPX |
| MH69856YWS | MH69856YWS | proof | open | open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#proof-4 |
| MH7ADZW54F | MH7ADZW54F | statement | open | open_logic content/set-theory/card-arithmetic/simp.tex#alphatimesalpha |
| MH7NDQ3D4Q | MH7NDQ3D4Q | proof | open | hott_book setmath.tex#proof-10 |
| MH7NF26FXD | MH7NF26FXD | statement | record (an 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.05784#4XRU |
| MH7Q6NE7B7 | MH7Q6NE7B7 | statement | open | lebl_ra ch-multivar-int.tex#mv:prop:upperlowerepsilon |
| MH7QZYEXYE | MH7QZYEXYE | 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.08935#I0FQ |
| MH7XFKN1Y1 | MH7XFKN1Y1 | statement | record (an 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.00914#6B25 |
| MH8BZ327ZZ | MH8BZ327ZZ | statement | record (an 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.12908#29YE |
| MH8DVHMZ4H | MH8DVHMZ4H | statement | record (an 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.15094#5K1N |
| MH8M89S3FN | MH8M89S3FN | example | open | lebl_ra ch-seq-ser.tex#example-16 |
| MH8Q310T9C | MH8Q310T9C | 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.03126#NNY3 |
| MH8YTNR4JM | MH8YTNR4JM | 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 2601.01000#DOCD |
| MH9SNJES09 | MH9SNJES09 | statement | record (an 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.15736#5K98 |
| MH9V35WNJV | MH9V35WNJV | statement | record (an 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.01561#CLXT |
| MH9VY7K1FF | MH9VY7K1FF | statement | record (an 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.01599#D0QT |
| MHA3M1D0CK | MHA3M1D0CK | statement | open | hott_book logic.tex#thm:contr-unit |
| MHA5E3VE33 | MHA5E3VE33 | statement | record (an 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.29574#GNFJ |
| MHA7WVZHYA | MHA7WVZHYA | 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.26496#1EQX |
| MHBA5384F7 | MHBA5384F7 | statement | record (an 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.15424#0NP6 |
| MHBCFTV1CW | MHBCFTV1CW | 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 2510.12502#ZYW9 |
| MHBPN98EPV | MHBPN98EPV | statement | record (an 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.36509#6YGS |
| MHBPV19WMB | MHBPV19WMB | statement | record (an 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.21675#AQHH |
| MHCMRQXKBE | MHCMRQXKBE | exercise | open | lebl_ra ch-metric.tex#exercise-65 |
| MHD6F2D151 | MHD6F2D151 | 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.21622#9EB9 |
| MHDGSGH0P9 | MHDGSGH0P9 | statement | record (an 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.15974#LAEM |
| MHDTMFCQK4 | MHDTMFCQK4 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-11 |
| MHE1ZGAFT2 | MHE1ZGAFT2 | statement | record (an 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#GPPV |
| MHE310ZR38 | MHE310ZR38 | statement | record (an 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.09900#J6GE |
| MHEAS76THX | MHEAS76THX | 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.02017#W929 |
| MHEPKBKFDJ | MHEPKBKFDJ | 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 2609.25291#AQ0K |
| MHF8PBCME0 | MHF8PBCME0 | statement | record (an 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.22272#O8XZ |
| MHG61B6SK6 | MHG61B6SK6 | 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.08837#GO6G |
| MHH1YK44G5 | MHH1YK44G5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.05158#AVSH |
| MHH2H4F587 | MHH2H4F587 | statement | record (an 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#UL6A |
| MHHTM5KX1N | MHHTM5KX1N | 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#HWTG |