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 3001–3100 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MJ3X4W8YTV | MJ3X4W8YTV | statement | record (an 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.37106#GUJX |
| MJ4CF6H612 | MJ4CF6H612 | statement | open | open_logic content/incompleteness/representability-in-q/basic-representable.tex#lem:q-proves-neq |
| MJ4JNG44KX | MJ4JNG44KX | 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.32599#Q8HH |
| MJ51MB01RM | MJ51MB01RM | statement | record (an 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#OE7M |
| MJ52AFH7N1 | MJ52AFH7N1 | 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 0909.2893#VR2E |
| MJ55BTVMV4 | MJ55BTVMV4 | statement | record (an 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.10559#LH6G |
| MJ5SYAMF7N | MJ5SYAMF7N | 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.13213#N6A2 |
| MJ68RY6K3X | MJ68RY6K3X | statement | record (an 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.16233#7PBK |
| MJ6T7647HS | MJ6T7647HS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.01658#PWQW |
| MJ6WZ7JSB3 | MJ6WZ7JSB3 | statement | record (an 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.10813#OZR8 |
| MJ70F8A5T3 | MJ70F8A5T3 | example | open | open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#ex-1 |
| MJ75C3RAKN | MJ75C3RAKN | 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 2202.10212#TI9A |
| MJ7DX1CG14 | MJ7DX1CG14 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1010.3284#X95B |
| MJ8GJXHESZ | MJ8GJXHESZ | statement | record (an 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.12329#SKF9 |
| MJ8SMFG4AB | MJ8SMFG4AB | statement | record (an 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.21045#7QGW |
| MJ908JFMRE | MJ908JFMRE | statement | record (an 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.02061#S4CN |
| MJ9JKVDYTJ | MJ9JKVDYTJ | statement | record (an 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#2MAT |
| MJ9TJZXVW6 | MJ9TJZXVW6 | statement | record (an 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.40138#KNL8 |
| MJAB3GV0QA | MJAB3GV0QA | exercise | open | levin_dmoi ptx/exercises/counting-binom.ptx#exercise-6 |
| MJAW090G1T | MJAW090G1T | 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.13833#IFG4 |
| MJBNT63AZG | MJBNT63AZG | statement | record (an 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.19285#ZZ9V |
| MJBYJK6GMM | MJBYJK6GMM | 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 2607.28337#8B73 |
| MJCCQFQQQE | MJCCQFQQQE | statement | record (an 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.37815#LNPK |
| MJCY0VWSJX | MJCY0VWSJX | statement | record (an 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.03144#KIR8 |
| MJD2ARQ5RR | MJD2ARQ5RR | statement | record (an 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.33704#2HZX |
| MJD4RYBTZ9 | MJD4RYBTZ9 | example | open | napkin tex/alg-NT/artin.tex#example-1 |
| MJD9G1A713 | MJD9G1A713 | statement | record (an 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.01928#80JY |
| MJEY8XK8SW | MJEY8XK8SW | statement | record (an 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.06308#O5ZC |
| MJF9HH1ZCH | MJF9HH1ZCH | statement | record (an 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.20013#SY1Y |
| MJFCRWKSHB | MJFCRWKSHB | statement | record (an 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.10519#C2AJ |
| MJFG3Y9AV0 | MJFG3Y9AV0 | statement | record (an 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.08766#9CYR |
| MJFXTZDVZ2 | MJFXTZDVZ2 | proof | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#proof-1 |
| MJG3WEB3PM | MJG3WEB3PM | 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.13811#ZP0P |
| MJGFT9T8MH | MJGFT9T8MH | 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.10262#B2D7 |
| MJGP34ZC4H | MJGP34ZC4H | unknown | open | arXiv math/0512416#SEJD |
| MJGZEKKS86 | MJGZEKKS86 | statement | record (an 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#OV1G |
| MJH029N8AE | MJH029N8AE | statement | record (an 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.00676#0OLE |
| MJHX0574QZ | MJHX0574QZ | statement | record (an 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.05631#5J83 |
| MJJ5QZKRFG | MJJ5QZKRFG | statement | record (an 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.33775#CWHH |
| MJJ68R0AJ3 | MJJ68R0AJ3 | statement | record (an 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.33578#UN4G |
| MJJ7AQNY8N | MJJ7AQNY8N | statement | record (an 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.36158#H16X |
| MJJ8YR9CVE | MJJ8YR9CVE | statement | record (an 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.19533#FDZ8 |
| MJJ97710Y3 | MJJ97710Y3 | proof | open | applied_combinatorics source/s_background_total-order-N.ptx#proof-4 |
| MJJS66NCW5 | MJJS66NCW5 | statement | record (an 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.16875#P7BA |
| MJJV6RK2JK | MJJV6RK2JK | statement | record (an 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#F2X5 |
| MJK4F2A6D6 | MJK4F2A6D6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#ZHEI |
| MJKCRW9JF3 | MJKCRW9JF3 | statement | record (an 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.22247#2316 |
| MJKK65JS7E | MJKK65JS7E | statement | record (an 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.12329#EJ23 |
| MJKND56CHF | MJKND56CHF | statement | record (an 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#SQW7 |
| MJM00D8QEC | MJM00D8QEC | statement | record (an 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.37920#GB91 |
| MJM396YKGG | MJM396YKGG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.11038#KKFV |
| MJMGDWD1JP | MJMGDWD1JP | statement | record (an 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.27023#O6R3 |
| MJQ408Y227 | MJQ408Y227 | statement | record (an 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.15472#8VYK |
| MJQ69QGD89 | MJQ69QGD89 | 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.15403#GDTA |
| MJQ9NWAG5R | MJQ9NWAG5R | statement | record (an 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.36068#5NGV |
| MJR5XFW4G7 | MJR5XFW4G7 | statement | record (an 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.03305#LCU3 |
| MJRG1YVJPE | MJRG1YVJPE | 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.12831#NLCJ |
| MJT8T7PWH0 | MJT8T7PWH0 | statement | record (an 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.31523#TM26 |
| MJTFTTBHTP | MJTFTTBHTP | statement | record (an 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.33015#CA4T |
| MJTV739YZN | MJTV739YZN | statement | record (an 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.18503#KI6O |
| MJV3N04BAS | MJV3N04BAS | statement | record (an 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#U716 |
| MJVB5YMZFN | MJVB5YMZFN | statement | record (an 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#IL0F |
| MJVC52TQ7W | MJVC52TQ7W | statement | record (an 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.39745#A7ZH |
| MJVKDQ5WF6 | MJVKDQ5WF6 | statement | record (an 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.09300#9CJ1 |
| MJWEC5YVXE | MJWEC5YVXE | statement | record (an 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#IM1L |
| MJX6KSK7FR | MJX6KSK7FR | statement | record (an 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.14956#5I1V |
| MJXG9WYDMS | MJXG9WYDMS | statement | record (an 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.11968#YRK3 |
| MJXJY1D0KS | MJXJY1D0KS | statement | record (an 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.28251#YFTI |
| MJXYN96EE2 | MJXYN96EE2 | exercise | open | napkin tex/alg-geom/quasi-proj.tex#problem-1 |
| MJY1A8Y616 | MJY1A8Y616 | statement | record (an 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.16003#JR85 |
| MJYM0FYRYK | MJYM0FYRYK | definition | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#defn-1 |
| MJYS2VXH7P | MJYS2VXH7P | proof | open | napkin tex/alg-NT/galois.tex#proof-2 |
| MJZ1M79K72 | MJZ1M79K72 | statement | record (an 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.02481#ZX79 |
| MJZG8WZ043 | MJZG8WZ043 | statement | record (an 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.10840#Z6VW |
| MK0KYC6HN0 | MK0KYC6HN0 | statement | record (an 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.15812#7KI5 |
| MK0RGMQYEE | MK0RGMQYEE | 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.14450#A4WN |
| MK123ZQ55X | MK123ZQ55X | 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 2401.00191#WEI2 |
| MK1RN4CSFC | MK1RN4CSFC | statement | record (an 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.33162#BBNH |
| MK22EA7034 | MK22EA7034 | statement | record (an 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.11965#NEAW |
| MK2BQM7EJH | MK2BQM7EJH | statement | record (an 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#8FRM |
| MK2WRGPM10 | MK2WRGPM10 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.00212#O4UC |
| MK41WWPZ98 | MK41WWPZ98 | statement | record (an 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.07679#3P9Z |
| MK45DBZXVZ | MK45DBZXVZ | statement | record (an 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.02790#IW8G |
| MK45TRCPA8 | MK45TRCPA8 | statement | record (an 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.07673#ICET |
| MK57MYA9ZG | MK57MYA9ZG | statement | record (an 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.33704#MNI6 |
| MK5B3RCV6J | MK5B3RCV6J | statement | record (an 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#NMBH |
| MK5CS8HCJZ | MK5CS8HCJZ | statement | record (an 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.29498#LAD3 |
| MK5R3C5EEW | MK5R3C5EEW | statement | record (an 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#LTJR |
| MK635CSF9B | MK635CSF9B | 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.37271#54BV |
| MK6H5A867F | MK6H5A867F | statement | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop-1 |
| MK6HNJE36Z | MK6HNJE36Z | statement | open | open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prop:freeocc-primrec |
| MK6TQQH3GH | MK6TQQH3GH | statement | record (an 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#92YZ |
| MK7CZCCSTS | MK7CZCCSTS | 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.12054#Y5E0 |
| MK7VVNWBGA | MK7VVNWBGA | statement | record (an 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.39700#V8R5 |
| MK9BPZAEDZ | MK9BPZAEDZ | statement | record (an 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.00386#GF6T |
| MK9Q6ANRF4 | MK9Q6ANRF4 | statement | record (an 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.32233#0G5H |
| MK9R1SVGT3 | MK9R1SVGT3 | 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.18503#RWFE |
| MKA19J8Q5T | MKA19J8Q5T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0803.0074#2N49 |
| MKA30K1AN3 | MKA30K1AN3 | statement | record (an 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.33162#EQXR |
| MKABZJFMVB | MKABZJFMVB | statement | open | ernst_ibl MAAPressVersion/FiniteSets.tex#thm:subsetsFiniteSets |