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 3101–3200 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| MKJHH8X7E5 | MKJHH8X7E5 | exercise | open | lebl_ra ch-approximate.tex#exercise-27 |
| MKK5489X5F | MKK5489X5F | proof | open | hott_book reals.tex#proof-42 |
| MKK89GSD4B | MKK89GSD4B | example | open | lebl_ra ch-seq-ser.tex#example-9 |
| MKKCMY9583 | MKKCMY9583 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1911.06467#ZPYR |
| MKKE02BNQK | MKKE02BNQK | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-10 |
| MKKK0Q90Y4 | MKKK0Q90Y4 | exercise | open | open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#prob-3 |
| MKKZ7VH8H7 | MKKZ7VH8H7 | statement | record (an 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.03612#4R1K |
| MKN2YHK7C3 | MKN2YHK7C3 | 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 2401.05118#LYWW |
| MKN5Y0E1S7 | MKN5Y0E1S7 | 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.34289#62YI |
| MKN86W70GT | MKN86W70GT | statement | record (an 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#V6G0 |
| MKNA6B6MEW | MKNA6B6MEW | statement | record (an 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.33584#IRCH |
| MKNGFFRP77 | MKNGFFRP77 | 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.07828#VKSN |
| MKPA94WFQ0 | MKPA94WFQ0 | statement | record (an 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.08714#FXH2 |
| MKQZ01NZRT | MKQZ01NZRT | statement | record (an 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.29489#30HB |
| MKR6V7RT20 | MKR6V7RT20 | statement | record (an 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.33050#RBQW |
| MKRRKMW75P | MKRRKMW75P | statement | record (an 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.10221#0AU1 |
| MKS system of units | 46ZP39EM5M | definition | open | Wikidata Q512417, ProofWiki Definition:MKS |
| mks units | A6NVJHQG27 | concept | open | lebl_diffyqs index/6.4.2/mks-units |
| mks units | FH3WT7F267 | concept | open | lebl_diffyqs index/5.5.1/mks-units |
| mks units | RPE84ZA5P8 | concept | open | lebl_diffyqs index/6.4.4/mks-units |
| MKSJDWGCD2 | MKSJDWGCD2 | 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.31527#7UZG |
| MKSK7W4NWY | MKSK7W4NWY | statement | record (an 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#HYGC |
| MKT0KNQ97D | MKT0KNQ97D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.01837#3894 |
| MKT1C15PA1 | MKT1C15PA1 | statement | record (an 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.36613#ZVYQ |
| MKT3Y8SWXX | MKT3Y8SWXX | 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#DNU3 |
| MKT4QM6FFF | MKT4QM6FFF | statement | record (an 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.04027#H801 |
| MKTBPMJZAB | MKTBPMJZAB | statement | record (an 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.06669#SC27 |
| MKVERXKZ8V | MKVERXKZ8V | statement | record (an 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.04628#55CM |
| MKW1E7PE52 | MKW1E7PE52 | statement | record (an 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.38212#7LPT |
| MKW9GKPHGF | MKW9GKPHGF | statement | record (an 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.36922#GO0D |
| MKXT33BAMX | MKXT33BAMX | statement | record (an 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.09201#78DQ |
| MKXXGD5258 | MKXXGD5258 | 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.20801#946A |
| MKY8SPQ5HZ | MKY8SPQ5HZ | 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.31269#6OI0 |
| MKYQBWJPPP | MKYQBWJPPP | example | open | napkin tex/H113/quotient.tex#example-4 |
| MKZ1JDY0A1 | MKZ1JDY0A1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.15210#118J |
| MKZ5HCF98T | MKZ5HCF98T | statement | record (an 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.32439#OUD1 |
| MKZZ6Y5DVE | MKZZ6Y5DVE | statement | record (an 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#X1GX |
| MLE asymptotics | K58X6K2VH6 | statement | record (an 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.10080#YVSB |
| MLE for nearly-homogeneous exponentials | J8HJF7NN3K | statement | record (an 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#WWU3 |
| MLE score identity and localized score control | AP8SS4111H | statement | record (an 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.09030#1RV4 |
| MLE truncated level-set energy | YN32P4XAFJ | statement | record (an 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.09030#T2A2 |
| MLE upper bound | KHA2NPQ2D6 | statement | record (an 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.33008#ILFZ |
| MLP residual networks satisfy the main theorems | NPD5TKXSAG | statement | record (an 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.14344#8WIH |
| MLP residual satisfies Assumption 2 | NKN75MR8YW | statement | record (an 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.14344#ZKIN |
| MLR | 93D9ZA0FM7 | 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.13585#OIPY |
| MLS with good data | HWAEQWX7N7 | statement | record (an 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.39200#48TY |
| MLSI | KS464RSRNW | 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.36016#XKOS |
| MLSI of a reset perturbation | X7YQN1T6H0 | statement | record (an 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.36016#7B8L |
| mm-space | 9JNRS0XT73 | 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.26262#DOID |
| MM0Q9PZXYB | MM0Q9PZXYB | statement | record (an 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.12736#G08X |
| MM0TB4R4GS | MM0TB4R4GS | 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 2303.14022#EURK |
| MM0TT61PR5 | MM0TT61PR5 | statement | record (an 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.24509#Q5BF |
| MM153XQW38 | MM153XQW38 | statement | record (an 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.32977#EWSY |
| MM1EE501KA | MM1EE501KA | 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.03619#APJF |
| MM2FQFD6AY | MM2FQFD6AY | statement | record (an 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#ORW1 |
| MM2TAZ60QQ | MM2TAZ60QQ | statement | record (an 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#AJH8 |
| MM38A0752A | MM38A0752A | statement | record (an 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#YANE |
| MM3MJ0JV9J | MM3MJ0JV9J | 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 1503.05744#OE0D |
| MM3VCS00FK | MM3VCS00FK | statement | record (an 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#V1G4 |
| MM3ZJVFTNV | MM3ZJVFTNV | exercise | open | levin_dmoi ptx/sec_seq-arithgeom.ptx#investigation-seqcandy |
| MM45W3H34C | MM45W3H34C | proof | open | applied_combinatorics source/s_background_formal-num-sys.ptx#proof-3 |
| MM49X23PR8 | MM49X23PR8 | statement | record (an 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.14253#SDHF |
| MM4X043MKS | MM4X043MKS | 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.21752#2QIK |
| MM55996DV9 | MM55996DV9 | statement | record (an 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.29489#HPRT |
| MM5ETM6T7E | MM5ETM6T7E | statement | record (an 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.07099#DJ3M |
| MM5GWG0MK5 | MM5GWG0MK5 | 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 2303.14022#1TRZ |
| MM6BZHW5SB | MM6BZHW5SB | 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.31445#FSLS |
| MM6JAJ341K | MM6JAJ341K | statement | record (an 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.04809#CLML |
| MM6RCJWF1B | MM6RCJWF1B | statement | record (an 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/9802134#V5UK |
| MM6Z0XR0AP | MM6Z0XR0AP | statement | record (an 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#PVB2 |
| MM74WNC3G7 | MM74WNC3G7 | proof | open | napkin tex/homology/singular.tex#proof-3 |
| MM7VJH9QV4 | MM7VJH9QV4 | statement | record (an 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.24212#WBTD |
| MM847JM9B7 | MM847JM9B7 | statement | record (an 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.22078#2AP4 |
| MM84Y87SKW | MM84Y87SKW | 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 2312.14445#RD9O |