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 3901–4000 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MQ1VKDXW0R | MQ1VKDXW0R | statement | record (an 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.15416#7FBI |
| MQ2MGPMGV1 | MQ2MGPMGV1 | definition | open | open_logic content/model-theory/basics/partial-iso.tex#defn-2 |
| MQ2SDDHGWG | MQ2SDDHGWG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.09810#O9MX |
| MQ33M43FYR | MQ33M43FYR | statement | record (an 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#5OH0 |
| MQ37DXZY5N | MQ37DXZY5N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.06334#UYXQ |
| MQ3Y1MJ55J | MQ3Y1MJ55J | 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 2103.02468#MXP2 |
| MQ44XDWQRB | MQ44XDWQRB | 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.22205#WL7V |
| MQ63V5T93H | MQ63V5T93H | statement | record (an 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.16208#EXQE |
| MQ65EC0HZQ | MQ65EC0HZQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.08858#W926 |
| MQ6BCVWV7M | MQ6BCVWV7M | statement | record (an 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.14741#GC4G |
| MQ79XEGETW | MQ79XEGETW | statement | record (an 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.12857#XWC0 |
| MQ812TG337 | MQ812TG337 | statement | record (an 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.03499#5HNY |
| MQ8SW2JJF7 | MQ8SW2JJF7 | statement | record (an 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.03138#UP1D |
| MQ92NCJE8J | MQ92NCJE8J | statement | record (an 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.02628#8RYA |
| MQ9FEAWNAQ | MQ9FEAWNAQ | statement | record (an 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#1MPI |
| MQ9QRYDF3S | MQ9QRYDF3S | statement | record (an 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.09390#6IU6 |
| MQB001MB1K | MQB001MB1K | statement | open | open_logic content/history/set-theory/cantor-plane.tex#thm:cantorplane |
| MQB7F07AYG | MQB7F07AYG | exercise | open | austin_ula src/exercises/exercises6-3.xml#exercise-9 |
| MQBVPA4RS5 | MQBVPA4RS5 | statement | record (an 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.37897#SQNR |
| MQCMT7B799 | MQCMT7B799 | statement | record (an 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.14837#CR1O |
| MQCMZT6RA3 | MQCMZT6RA3 | statement | record (an 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.16252#NXM8 |
| MQCVNCWFM5 | MQCVNCWFM5 | definition | open | napkin tex/topology/metric-prop.tex#definition-5 |
| MQDC45FJFZ | MQDC45FJFZ | 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.05696#28HP |
| MQE7PR1HMW | MQE7PR1HMW | statement | record (an 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.25080#BGTC |
| MQE9H0WSJ1 | MQE9H0WSJ1 | exercise | open | hott_book induction.tex#ex:empty-inductive-type |
| MQEH35E1M2 | MQEH35E1M2 | statement | record (an 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#LSMQ |
| MQEXTFVZJ8 | MQEXTFVZJ8 | statement | record (an 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.08010#NT3V |
| MQHBC7J1DK | MQHBC7J1DK | 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 2302.04566#6JHQ |
| MQHC71VV2C | MQHC71VV2C | statement | record (an 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.03756#BYZ4 |
| MQHGA3CTCC | MQHGA3CTCC | statement | record (an 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.03499#M7E2 |
| MQJKSFR952 | MQJKSFR952 | statement | record (an 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#3YN2 |
| MQKS5162CF | MQKS5162CF | 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.26619#5MVE |
| MQKZSYSV4K | MQKZSYSV4K | statement | record (an 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.13229#1LOQ |
| MQM9FSEYE1 | MQM9FSEYE1 | statement | record (an 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.28374#58V4 |
| MQMVA2KTF7 | MQMVA2KTF7 | statement | record (an 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.32338#ZOW8 |
| MQN2Z3YB17 | MQN2Z3YB17 | statement | record (an 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#CIGN |
| MQNBKKJK5E | MQNBKKJK5E | statement | record (an 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#5GER |
| MQNNX1VB4T | MQNNX1VB4T | example | open | napkin tex/linalg/fourier.tex#example-1 |
| MQNR8ZQSPS | MQNR8ZQSPS | statement | record (an 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.25718#OV39 |
| MQNXK08JEK | MQNXK08JEK | statement | record (an 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.08484#ZVZI |
| MQPNWY91YQ | MQPNWY91YQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.20170#8N9Z |
| MQQ1ZZ32XF | MQQ1ZZ32XF | statement | record (an 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#1SNP |
| MQQH0DSVBF | MQQH0DSVBF | statement | record (an 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.36045#H9U3 |
| MQRVFZ0BM3 | MQRVFZ0BM3 | statement | record (an 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.01346#HXAC |
| MQS7RNCEKK | MQS7RNCEKK | statement | record (an 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#J4AV |
| MQSCEAHPJX | MQSCEAHPJX | statement | record (an 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.32953#KTWZ |
| MQVVRD8Q6X | MQVVRD8Q6X | statement | record (an 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#AFLD |
| MQW9FAH01H | MQW9FAH01H | statement | record (an 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#8MJB |
| MQWBWDBGSX | MQWBWDBGSX | statement | record (an 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.37375#VT1Z |
| MQXTD0KBSC | MQXTD0KBSC | statement | record (an 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.02743#6J97 |
| MQZE8FB2C4 | MQZE8FB2C4 | exercise | open | open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#prob-2 |
| MR092377XZ | MR092377XZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.01237#01DD |
| MR0M67KGTC | MR0M67KGTC | statement | record (an 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.05299#ROZT |
| MR0S0628TZ | MR0S0628TZ | statement | open | hott_book basics.tex#lem:homotopy-props |
| MR18F6M91X | MR18F6M91X | statement | record (an 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.21963#ME6N |
| MR1DQ8BFCW | MR1DQ8BFCW | statement | record (an 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.16883#60CF |
| MR1NRAJKWW | MR1NRAJKWW | statement | record (an 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.10505#TFBG |
| MR23SZB6QV | MR23SZB6QV | statement | record (an 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#9RUH |
| MR2621WNBC | MR2621WNBC | statement | open | napkin tex/alg-NT/artin.tex#theorem-1 |
| MR2N9QBE4H | MR2N9QBE4H | statement | record (an 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.30579#7PUL |
| MR34FNHE1F | MR34FNHE1F | exercise | open | austin_ula src/section4-4.xml#activity-3 |
| MR39RE0NJQ | MR39RE0NJQ | statement | record (an 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.08487#F2K8 |
| MR3EBTRHEX | MR3EBTRHEX | exercise | open | napkin tex/homology/cellular.tex#ques-1 |
| MR4J6JSYKF | MR4J6JSYKF | statement | record (an 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.16727#0632 |
| MR4Q1XZ6JQ | MR4Q1XZ6JQ | statement | record (an 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.30961#7YOY |
| MR50JQ10PA | MR50JQ10PA | exercise | open | austin_ula src/section7-1.xml#ula-preview-7-1 |
| MR662W22WE | MR662W22WE | statement | record (an 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#FTOH |
| MR6K663GDY | MR6K663GDY | statement | record (an 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.37897#5E9P |
| MR6PB5JZ3R | MR6PB5JZ3R | statement | record (an 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.05784#55FW |
| MR6YSRRKDC | MR6YSRRKDC | statement | record (an 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.29148#IVW6 |
| MR71BPTKW3 | MR71BPTKW3 | statement | record (an 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.34852#JV73 |
| MR74MD01NB | MR74MD01NB | statement | record (an 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#PSH5 |
| MR7C8GG4GZ | MR7C8GG4GZ | statement | record (an 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/0512416#IZKY |
| MR7DJ3DE1J | MR7DJ3DE1J | statement | record (an 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.07770#FPRD |
| MR7V6KYQKW | MR7V6KYQKW | 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.12817#QF4L |
| MR8NJ47CYT | MR8NJ47CYT | statement | record (an 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.32088#CRER |
| MR90HBB2VG | MR90HBB2VG | statement | open | lebl_scv scv.tex#thm:compactdbar |
| MR90SJ3JXN | MR90SJ3JXN | statement | record (an 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.02111#846Q |
| MR97KJFKFY | MR97KJFKFY | statement | record (an 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.03728#RGXD |
| MRAH0BY3XM | MRAH0BY3XM | 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.32138#VFWA |
| MRAHEP6AAY | MRAHEP6AAY | statement | record (an 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.01958#6OQG |
| MRAHTAM6N1 | MRAHTAM6N1 | statement | record (an 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.10958#M783 |
| MRB constant | S8NZ18EHZ5 | object | open | Wikidata Q6717435, MathWorld MRBConstant, OEIS A037077 |
| MRB3X7T28X | MRB3X7T28X | statement | record (an 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#R06W |
| MRB75YSCKM | MRB75YSCKM | statement | record (an 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.05423#I3P1 |
| MRBB609HWP | MRBB609HWP | statement | record (an 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.21358#RVOG |
| MRBG3A4BVZ | MRBG3A4BVZ | statement | record (an 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.33469#ZCBD |
| MRBZD5DV0P | MRBZD5DV0P | statement | record (an 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.05064#1QTH |
| MRC5N4D55A | MRC5N4D55A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.01576#C9MF |
| MRCDN8YNT0 | MRCDN8YNT0 | 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#A9OZ |
| MRCKQDDCP5 | MRCKQDDCP5 | statement | record (an 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.15982#8FW9 |
| MRCN3J8HJM | MRCN3J8HJM | statement | record (an 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.02495#VX8C |
| MRCSB90BZ5 | MRCSB90BZ5 | 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.13528#EA3F |
| MRCXXM6G7H | MRCXXM6G7H | statement | record (an 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.39531#QBPM |
| MRDP | XMVW3SRK99 | statement | record (an 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.12434#FLTK |
| MRE6G8HYJE | MRE6G8HYJE | statement | record (an 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.18152#VZ7J |
| MREGRBZJZ7 | MREGRBZJZ7 | statement | record (an 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.13913#DZPZ |
| MREMHRQPBS | MREMHRQPBS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.11125#3ED7 |
| MRENDF5099 | MRENDF5099 | statement | record (an 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.09341#9K71 |
| MRF2TT6VPW | MRF2TT6VPW | statement | record (an 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.02244#4Q5B |