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 4501–4600 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MVYQ8B8VNQ | MVYQ8B8VNQ | 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 2110.06338#OOX3 |
| MVYY366BKQ | MVYY366BKQ | statement | record (an 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.08288#033I |
| MVZ8D8PSXJ | MVZ8D8PSXJ | statement | record (an 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.06556#BOUB |
| MVZPYXWWHN | MVZPYXWWHN | proof | open | open_logic content/incompleteness/introduction/undecidability.tex#proof-2 |
| MW09GZXR5N | MW09GZXR5N | statement | record (an 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#W8YA |
| MW0ECSQ58R | MW0ECSQ58R | statement | record (an 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.10546#Q25W |
| MW0NWW5F4G | MW0NWW5F4G | statement | record (an 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.27181#CBG5 |
| MW0TDMMDY0 | MW0TDMMDY0 | statement | record (an 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.14600#CSDL |
| MW0VE54EBK | MW0VE54EBK | statement | record (an 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.33656#QACO |
| MW2R2B07M0 | MW2R2B07M0 | statement | record (an 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.26479#0LYP |
| MW35BRT9QN | MW35BRT9QN | statement | record (an 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.37252#W3BQ |
| MW3888AS6W | MW3888AS6W | statement | record (an 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.16081#QJD8 |
| MW47THTDG3 | MW47THTDG3 | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-26 |
| MW533BF2PG | MW533BF2PG | statement | record (an 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.35543#5MXF |
| MW5D810PNJ | MW5D810PNJ | statement | record (an 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.32557#801P |
| MW5MBCM5WM | MW5MBCM5WM | statement | record (an 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.14204#B69K |
| MW6KS5J3B6 | MW6KS5J3B6 | 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.07092#9RB6 |
| MW6P2Q9B5Q | MW6P2Q9B5Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.01586#JYB4 |
| MW6RBQGB2T | MW6RBQGB2T | exercise | open | open_logic content/computability/recursive-functions/sequences.tex#prob-1 |
| MW7DSYH5XC | MW7DSYH5XC | 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.08193#8LIE |
| MW7F6DPJ22 | MW7F6DPJ22 | proof | open | lebl_ra ch-several-vars-ders.tex#proof-21 |
| MW812M7KAX | MW812M7KAX | statement | record (an 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.05005#B52U |
| MW8EN22VR0 | MW8EN22VR0 | statement | record (an 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.02484#32QE |
| MW8F408HGJ | MW8F408HGJ | statement | record (an 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.26129#H11B |
| MW8N3Y8Y4W | MW8N3Y8Y4W | statement | record (an 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.28203#YQU9 |
| MW941Q2DA7 | MW941Q2DA7 | statement | record (an 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.04603#D84U |
| MW9996B529 | MW9996B529 | statement | record (an 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#46YY |
| MW9MR1227F | MW9MR1227F | statement | record (an 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.13100#IVP8 |
| MWA0BPJWB4 | MWA0BPJWB4 | statement | record (an 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#H0P3 |
| MWAA9Z52KS | MWAA9Z52KS | unknown | open | arXiv 2609.33529#7UP7 |
| MWAARM0WX1 | MWAARM0WX1 | statement | record (an 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.00625#63Y4 |
| MWAGFRB621 | MWAGFRB621 | statement | record (an 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#M44C |
| MWAKGGC6J0 | MWAKGGC6J0 | 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.07064#5KI4 |
| MWAKVPM5S6 | MWAKVPM5S6 | statement | record (an 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.21092#QPFX |
| MWB4QMAYCM | MWB4QMAYCM | statement | record (an 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.10881#J384 |
| MWB5G91H03 | MWB5G91H03 | statement | record (an 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.17752#7MWJ |
| MWB7CC9EYX | MWB7CC9EYX | statement | record (an 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.05005#V4X3 |
| MWBEX9VSMT | MWBEX9VSMT | 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)) | |
| MWBGZGENP8 | MWBGZGENP8 | statement | record (an 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.07644#4XV7 |
| MWBYFP1VA2 | MWBYFP1VA2 | statement | record (an 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.17100#V21L |
| MWD6Q00XRY | MWD6Q00XRY | statement | record (an 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#J7HD |
| MWDWQF7CYG | MWDWQF7CYG | statement | record (an 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.26745#BHXL |
| MWDZXGSAPD | MWDZXGSAPD | statement | record (an 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.16245#H5DQ |
| MWEA1W4Y57 | MWEA1W4Y57 | 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.38014#95U9 |
| MWEEPZACF7 | MWEEPZACF7 | statement | record (an 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.13898#IFX4, arXiv 2610.18775#XQ0E |
| MWEGW78NQV | MWEGW78NQV | statement | record (an 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.35442#FZNI |
| MWFAXP5B8X | MWFAXP5B8X | 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.08196#W92F |
| MWFBY7KW27 | MWFBY7KW27 | exercise | open | hott_book logic.tex#ex:finite-choice |
| MWFS9DK7YT | MWFS9DK7YT | 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.07718#XTTX |
| MWG14J8Y73 | MWG14J8Y73 | statement | record (an 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.19463#5L1F |
| MWG2YJB637 | MWG2YJB637 | 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 2308.02672#88MS |
| MWGE4QRGH9 | MWGE4QRGH9 | statement | record (an 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.10801#ASJI |
| MWGWQQVGEN | MWGWQQVGEN | statement | record (an 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.22081#LK1M |
| MWHJ0K5R57 | MWHJ0K5R57 | statement | record (an 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.22268#240U |
| MWHKEDGEZE | MWHKEDGEZE | statement | open | open_logic content/normal-modal-logic/filtrations/filtrations-def.tex#thm:filtrations |
| MWHKYARCQJ | MWHKYARCQJ | statement | record (an 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.11082#F5VG |
| MWHNX908ME | MWHNX908ME | statement | record (an 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.05708#ARYM |
| MWJTDWZR71 | MWJTDWZR71 | statement | record (an 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#Y85G |
| MWM22AAYDP | MWM22AAYDP | exercise | open | open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#prob-1 |
| MWMAQ4N042 | MWMAQ4N042 | statement | record (an 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.17066#E6AE |
| MWMB4Y20RC | MWMB4Y20RC | 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#EVXC |
| MWMFCX1WZH | MWMFCX1WZH | unknown | open | arXiv 2610.13680#HAB8 |
| MWMS6KDJWN | MWMS6KDJWN | statement | record (an 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.05684#U22T |
| MWN6FTTSMV | MWN6FTTSMV | statement | record (an 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.19694#C3JQ |
| MWNJRS72SH | MWNJRS72SH | statement | record (an 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.28780#H51K |
| MWNK2C0PPA | MWNK2C0PPA | statement | record (an 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.27752#T9EB |
| MWNYJWW4TZ | MWNYJWW4TZ | statement | record (an 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.24790#8700 |
| MWP0YR2HDA | MWP0YR2HDA | statement | record (an 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.14689#ZE8W |
| MWP13W6K36 | MWP13W6K36 | statement | record (an 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.14434#OGBL |
| MWP2TJJBDV | MWP2TJJBDV | statement | record (an 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.37778#ENN0 |
| MWP5CS2R5J | MWP5CS2R5J | statement | record (an 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#U0LX |
| MWPB6YYCM7 | MWPB6YYCM7 | statement | record (an 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.01208#GSO6 |
| MWPK9KT90R | MWPK9KT90R | statement | record (an 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.00379#OW50 |
| MWPPYFKF0P | MWPPYFKF0P | exercise | open | open_logic content/turing-machines/machines-computations/disciplined-machines.tex#tur:mac:dis:prob:copier |
| MWPZYE5WAA | MWPZYE5WAA | statement | record (an 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.07828#LE5O |
| MWQK6AD0CH | MWQK6AD0CH | statement | record (an 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#NWNK |
| MWR2MJSA9Y | MWR2MJSA9Y | statement | record (an 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.15010#Q0E1 |
| MWR30FN7PS | MWR30FN7PS | statement | record (an 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#ZLSR |
| MWRASSTKH9 | MWRASSTKH9 | statement | record (an 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.19590#DY1O |
| MWRQWW2WE2 | MWRQWW2WE2 | exercise | open | napkin tex/homology/cohomology.tex#ques-1 |
| MWSQND72BK | MWSQND72BK | statement | record (an 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.38970#OZEB |
| MWSXGDB9D4 | MWSXGDB9D4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.16099#V32S |
| MWSXZT9VG4 | MWSXZT9VG4 | statement | record (an 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.39254#ZZGP |
| MWT387V2EQ | MWT387V2EQ | statement | record (an 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.25915#KHK2 |
| MWT77HF6D2 | MWT77HF6D2 | statement | record (an 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.40207#X3IL |
| MWTDF1Q4H4 | MWTDF1Q4H4 | 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 2005.03073#0JKQ |
| MWTMCPWZEG | MWTMCPWZEG | statement | record (an 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.12612#7LYQ |
| MWTSN8K7PZ | MWTSN8K7PZ | statement | record (an 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.20135#X3J9 |
| MWTT32WMR6 | MWTT32WMR6 | statement | record (an 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.04820#SCM5 |
| MWTZ89H5Z7 | MWTZ89H5Z7 | 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.02261#0YQW |
| MWVYXCXX8Q | MWVYXCXX8Q | statement | record (an 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.24569#80TB |
| MWW3R8DBY4 | MWW3R8DBY4 | 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.14914#XX2G |
| MWW8KRCYY8 | MWW8KRCYY8 | 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.01694#8GA7 |
| MWWAMQA2HZ | MWWAMQA2HZ | statement | record (an 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.29925#UTAG |
| MWWRYKR35W | MWWRYKR35W | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#prob-1 |
| MWXFE18PGD | MWXFE18PGD | statement | record (an 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.21768#OEQ1 |
| MWXTE1T1FN | MWXTE1T1FN | exercise | open | austin_ula src/exercises/exercises2-5.xml#exercise-2 |
| MWXZ1Z9FTA | MWXZ1Z9FTA | example | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#example-5 |
| MWY05ME9QC | MWY05ME9QC | statement | record (an 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.36811#DO0D |
| MWYMG21AMJ | MWYMG21AMJ | statement | open | open_logic content/proof-theory/normalization/translations.tex#prop:normal-N2i-to-G2i |