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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 9901–10000 of 10449.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MV7EX2PD09 | MV7EX2PD09 | statement | record (an 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.18223#ON4Q |
| MV82BZEFG9 | MV82BZEFG9 | statement | record (an 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.14839#2WWT |
| MV833GDWFZ | MV833GDWFZ | statement | record (an 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.09648#8JUF |
| MV8EXZJP5Z | MV8EXZJP5Z | statement | record (an 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.14312#OCL9 |
| MV8RYZMPFV | MV8RYZMPFV | statement | record (an 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.21600#B7I3 |
| MV8SCS87VM | MV8SCS87VM | 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 2508.03972#84LS |
| MV8YXJA053 | MV8YXJA053 | statement | record (an 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.21960#ICEZ |
| MV8Z9PWNT2 | MV8Z9PWNT2 | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-5 |
| MV9587F2XK | MV9587F2XK | statement | record (an 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.35740#UEOV |
| MV9XBPR7TM | MV9XBPR7TM | statement | record (an 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#1AM4 |
| MVA32ZYKCT | MVA32ZYKCT | statement | record (an 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#L528 |
| MVAQ7CSCHN | MVAQ7CSCHN | 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 2309.08900#QAFY |
| MVAS1V364Y | MVAS1V364Y | statement | record (an 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.22847#5CUI |
| MVB3HBCEXM | MVB3HBCEXM | statement | record (an 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.10840#2GCQ |
| MVBEVA3A5X | MVBEVA3A5X | statement | record (an 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.30544#58S7 |
| MVBN4SDEZ9 | MVBN4SDEZ9 | statement | record (an 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.05221#T2BI |
| MVBRJF2AZD | MVBRJF2AZD | 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.30262#O6DI |
| MVBTDE3QDD | MVBTDE3QDD | 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.27366#B9PW |
| MVC5X28RKK | MVC5X28RKK | statement | record (an 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.13869#VJ1R |
| MVC9HXZW1Y | MVC9HXZW1Y | statement | record (an 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.32475#KSMU |
| MVCQ6DYYHP | MVCQ6DYYHP | statement | record (an 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.25495#GY1C |
| MVCZ0668AQ | MVCZ0668AQ | statement | record (an 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.19023#ZBAO |
| MVD26T1K7Q | MVD26T1K7Q | 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 1711.00219#XLR0 |
| MVEJDM0C2G | MVEJDM0C2G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.02346#PFSM |
| MVF970GX6X | MVF970GX6X | statement | record (an 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#4442 |
| MVFDQQ9SRF | MVFDQQ9SRF | statement | record (an 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.35396#YGOQ |
| MVFQ159Z9X | MVFQ159Z9X | statement | record (an 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.30067#S4H9 |
| MVFS4WAAZ4 | MVFS4WAAZ4 | 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#PJHS |
| MVFY9QHRZX | MVFY9QHRZX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.28861#OQLG |
| MVG55WF8FC | MVG55WF8FC | statement | record (an 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.26515#J0HR |
| MVGARV1HR1 | MVGARV1HR1 | 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.25289#EH2Z |
| MVGJRWV6HW | MVGJRWV6HW | statement | record (an 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.02634#D7J1 |
| MVHH1JNA6K | MVHH1JNA6K | statement | record (an 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.14803#WC24 |
| MVHNFZAZ76 | MVHNFZAZ76 | statement | record (an 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.10086#C96H |
| MVHQ5XTYQS | MVHQ5XTYQS | statement | record (an 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.20028#0B5U |
| MVHS4P1FN6 | MVHS4P1FN6 | example | open | levin_dmoi ptx/sec_logic-prop.ptx#example-2 |
| MVJ8JTPK64 | MVJ8JTPK64 | statement | record (an 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.11823#3QCL |
| MVJAC9FD9F | MVJAC9FD9F | statement | record (an 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.09042#O75Z |
| MVK9DH75EJ | MVK9DH75EJ | statement | open | austin_ula src/section2-1.xml#prop-system-comb |
| MVKBGMJ5QW | MVKBGMJ5QW | statement | record (an 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.21403#W54T |
| MVKDVSJGH0 | MVKDVSJGH0 | statement | record (an 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.04516#3EQS |
| MVKEDFRZ62 | MVKEDFRZ62 | statement | record (an 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.06338#WLRZ |
| MVKZETTZ36 | MVKZETTZ36 | statement | record (an 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.03559#J49H |
| MVMBJ0RYFP | MVMBJ0RYFP | statement | record (an 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.24078#CXNK |
| MVMS4HTVYM | MVMS4HTVYM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.06762#FON8 |
| MVMXCR372N | MVMXCR372N | statement | record (an 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.37489#ATPQ |
| MVMXMZCG5W | MVMXMZCG5W | 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.16381#NQJ9 |
| MVN0Z280D6 | MVN0Z280D6 | statement | record (an 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.09873#P941 |
| MVN9A9GFYY | MVN9A9GFYY | statement | record (an 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.25449#1KCF |
| MVNABFWZ0A | MVNABFWZ0A | statement | record (an 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.31289#WP53 |
| MVNK583RZF | MVNK583RZF | statement | record (an 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.21455#IKPY |
| MVNV45QH41 | MVNV45QH41 | statement | record (an 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.19309#O6JX |
| MVNW98P40A | MVNW98P40A | 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.14236#GYK0 |
| MVP807D5BB | MVP807D5BB | 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.15217#AYP9 |
| MVPE6Y9VVK | MVPE6Y9VVK | definition | open | open_logic content/set-theory/z/infinity-again.tex#defnomega |
| MVPSGJ1BGN | MVPSGJ1BGN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.19866#AFFN |
| MVPXXRNJ2Y | MVPXXRNJ2Y | statement | record (an 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.24578#V4HF |
| MVQG2277JX | MVQG2277JX | statement | record (an 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.20675#9Q7Z |
| MVQYM259XP | MVQYM259XP | statement | record (an 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.39269#GXA4 |
| MVRFE0Q66Z | MVRFE0Q66Z | statement | open | open_logic content/set-theory/spine/stagesbasics.tex#Valphanotref |
| MVRNWAZQA9 | MVRNWAZQA9 | statement | record (an 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#HNIK |
| MVS9KW4Q6J | MVS9KW4Q6J | 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.35683#V1YZ |
| MVSA8TTP18 | MVSA8TTP18 | statement | record (an 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.03081#O8P2 |
| MVT7FXAG6N | MVT7FXAG6N | statement | open | open_logic content/normal-modal-logic/axioms-systems/duals.tex#prop:dualsys |
| MVTNT21T2V | MVTNT21T2V | 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.20128#5CVG |
| MVTNZVYP05 | MVTNZVYP05 | statement | record (an 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#JKRV |
| MVV5DP0361 | MVV5DP0361 | statement | record (an 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.10816#REZ8 |
| MVV9AQHQT2 | MVV9AQHQT2 | statement | record (an 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#2LF3 |
| MVVBD6P3CJ | MVVBD6P3CJ | 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.29432#1PVS |
| MVW25ZDH61 | MVW25ZDH61 | statement | record (an 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.32937#0MS0 |
| MVW7FFEJSE | MVW7FFEJSE | statement | record (an 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.09422#HKFK |
| MVWCJCY1XD | MVWCJCY1XD | 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.14681#27EL |
| MVXF079TE3 | MVXF079TE3 | statement | record (an 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#4IKR |
| MVXRTCEJW1 | MVXRTCEJW1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#3OCB |
| MVXYC5GQGD | MVXYC5GQGD | statement | record (an 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.21043#3R0Z |
| 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 |
| MW0DD0T895 | MW0DD0T895 | statement | record (an 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.22642#8Z3L |
| 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 |
| MW73E626D4 | MW73E626D4 | 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.24078#24W5 |
| 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 |