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 7101–7200 of 10449.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| MJPEZHJ1N9 | MJPEZHJ1N9 | statement | record (an 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.21528#CQTM |
| MJPJY6P4DR | MJPJY6P4DR | problem | open | Wikipedia Gilbert–Pollak conjecture#FC77 |
| 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 |
| MJWF90W80A | MJWF90W80A | statement | record (an 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.22825#8B2B |
| 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 |
| MJZSJ46RRF | MJZSJ46RRF | statement | record (an 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.20368#13TV |
| MK | VYBMQHDNQ3 | definition | open | Wikipedia Glossary of set theory#BKI7 |
| MK axioms and ontology | 8JGV4N9158 | statement | open | Wikipedia Morse–Kelley set theory#Z4HJ |
| 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 |
| MK92SC2X48 | MK92SC2X48 | statement | record (an 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.20237#V8OL |
| 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 |
| MKAH0PEKPD | MKAH0PEKPD | statement | record (an 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#54CP |
| MKAP28S3ND | MKAP28S3ND | statement | open | open_logic content/lambda-calculus/introduction/minimization.tex#lem-1 |
| MKATGCJVBK | MKATGCJVBK | statement | record (an 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.10233#0HX2 |
| MKB5AQYBQ7 | MKB5AQYBQ7 | statement | record (an 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.08211#K37Z |
| MKCAQT1574 | MKCAQT1574 | statement | record (an 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#MV5W |
| MKD36T1AES | MKD36T1AES | proof | open | napkin tex/calculus/integrate.tex#proof-4 |
| MKDBCS8CAY | MKDBCS8CAY | statement | record (an 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.21399#QOQK |
| MKDGYTYMN7 | MKDGYTYMN7 | statement | record (an 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.03619#HYV7 |
| MKDHCTXS67 | MKDHCTXS67 | statement | record (an 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.21017#NY3A |
| MKDMX7Y5Q3 | MKDMX7Y5Q3 | statement | record (an 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.32104#960U |
| MKDR7247YP | MKDR7247YP | statement | record (an 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#T940 |
| MKDW4PX6CQ | MKDW4PX6CQ | statement | record (an 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#TPGV |
| MKE5A9N70M | MKE5A9N70M | proof | open | open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-2 |
| MKEGP98M7G | MKEGP98M7G | statement | record (an 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.20520#E6AK |
| MKEVXXHR8A | MKEVXXHR8A | proof | open | napkin tex/homology/cup-product.tex#proof-2 |
| MKEZS44GNF | MKEZS44GNF | statement | record (an 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.18281#OT7Z |
| MKF6GCZY6A | MKF6GCZY6A | 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.21952#0UJ6 |
| MKFCA539XQ | MKFCA539XQ | statement | record (an 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#TA16 |
| MKFCNAME0E | MKFCNAME0E | statement | record (an 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#5TXS |
| MKFTW94YDA | MKFTW94YDA | statement | record (an 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.04099#CX9H |
| MKFX9G407H | MKFX9G407H | statement | record (an 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.27715#3EFZ |
| MKG1Q1276V | MKG1Q1276V | statement | record (an 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.07445#KP0I |
| MKG7MZ71VE | MKG7MZ71VE | statement | record (an 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#AZTN |
| MKGDY232K8 | MKGDY232K8 | statement | record (an 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#WULC |
| MKGF6FRD7D | MKGF6FRD7D | 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 2511.06555#XP8Y |
| MKGJHE9YRZ | MKGJHE9YRZ | statement | record (an 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.27495#BJF2 |
| MKGN69S3D9 | MKGN69S3D9 | statement | record (an 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.33531#4U2B |
| MKH1PJV91Z | MKH1PJV91Z | exercise | open | napkin tex/alg-NT/numfield.tex#problem-6 |
| MKHJBQJNNX | MKHJBQJNNX | statement | record (an 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.12479#WV7U |
| MKHPCSDR8R | MKHPCSDR8R | statement | record (an 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.23119#LMQR |
| MKJHH8X7E5 | MKJHH8X7E5 | exercise | open | lebl_ra ch-approximate.tex#exercise-27 |
| MKK11REM58 | MKK11REM58 | 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.22263#9JW9 |
| MKK5489X5F | MKK5489X5F | proof | open | hott_book reals.tex#proof-42 |