Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 1101–1200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 13RMCNS3ZM | 13RMCNS3ZM | statement | record (an 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.03424#HUPX |
| 13S0SKH1X3 | 13S0SKH1X3 | statement | record (an 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.20663#V4EW |
| 13SMS30E2C | 13SMS30E2C | 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.12736#TSYA |
| 13th root | AQTX2KBR1W | concept | open | Wikidata Q3416239, MathWorld 13thRoot |
| 13V6E671WM | 13V6E671WM | statement | record (an 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.36509#ZCCX |
| 13V7ZEV6S0 | 13V7ZEV6S0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1810.06028#S7OW |
| 13VJXPRME0 | 13VJXPRME0 | statement | record (an 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.16962#FB66 |
| 13VM3M8FYT | 13VM3M8FYT | statement | record (an 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.21507#PLE6 |
| 13WBA4GX6N | 13WBA4GX6N | statement | record (an 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.39615#J5F0 |
| 13WBHY24CP | 13WBHY24CP | exercise | open | napkin tex/alg-NT/classgrp.tex#ques-9 |
| 13XT5DG8EA | 13XT5DG8EA | 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.14985#4INJ |
| 13XVGMKRVT | 13XVGMKRVT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.14561#PZNO |
| 13YPR1VMDH | 13YPR1VMDH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.13855#YMN8 |
| 13YRP4A7FW | 13YRP4A7FW | statement | record (an 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.08091#INDD |
| 13Z2CHNJ1J | 13Z2CHNJ1J | statement | record (an 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#TD0O |
| 13ZC9X463D | 13ZC9X463D | statement | open | open_logic content/first-order-logic/tableaux/provability-propositional.tex#prop:provability-lif |
| 14069H76V6 | 14069H76V6 | 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.20956#M7EU |
| 140BSZV6KS | 140BSZV6KS | statement | record (an 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.31910#TLWA |
| 140DE0F4JA | 140DE0F4JA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.14762#QI5Z |
| 140TPFJ9DW | 140TPFJ9DW | statement | record (an 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.01473#6UXI |
| 1423W252XH | 1423W252XH | 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.09201#QL56 |
| 142E7P1JHD | 142E7P1JHD | statement | record (an 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.10477#F3FV |
| 1439Y6R3Q5 | 1439Y6R3Q5 | statement | record (an 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.15648#XDT4 |
| 144 | 6BR7MAHCK8 | unknown | open | Wikidata Q715448, MathWorld 144 |
| 14400GX0XC | 14400GX0XC | statement | record (an 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.30565#VP1S |
| 144J1893QJ | 144J1893QJ | definition | open | napkin tex/linalg/inner-form.tex#definition-8 |
| 144P5XECST | 144P5XECST | statement | record (an 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.25000#9AZG |
| 1450BN9942 | 1450BN9942 | statement | record (an 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.34675#S3H5 |
| 1455XPE2PF | 1455XPE2PF | statement | record (an 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.20568#6I5O |
| 145ZTDS91H | 145ZTDS91H | statement | record (an 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.35320#AU6A |
| 146E45HE3W | 146E45HE3W | statement | record (an 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.18219#J7DW |
| 146J2GPAYM | 146J2GPAYM | example | open | lebl_diffyqs ch-systems.tex#example-11 |
| 146KARZ056 | 146KARZ056 | statement | record (an 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.05499#9CUT |
| 146VJYCF6X | 146VJYCF6X | statement | open | hott_book hlevels.tex#lem:hlevel-if-inhab-hlevel |
| 147A9PEFBS | 147A9PEFBS | statement | record (an 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.17060#DNQE |
| 147BVJQ77M | 147BVJQ77M | statement | record (an 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#IRQN |
| 147J8484BW | 147J8484BW | statement | record (an 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.27114#FC8A |
| 147V3GPPMF | 147V3GPPMF | 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.12777#RZUY |
| 147YW5Q7S7 | 147YW5Q7S7 | statement | record (an 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.12486#386N |
| 148XMH5F7C | 148XMH5F7C | statement | record (an 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/0411039#APXE |
| 149622YC1H | 149622YC1H | 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.20956#AMID |
| 1497QBT1DQ | 1497QBT1DQ | statement | open | napkin tex/alg-geom/spec-sheaf.tex#corollary-1 |
| 149ESCHATS | 149ESCHATS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1705.01594#D3GS |
| 149Y3736YM | 149Y3736YM | statement | record (an 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.16069#P296 |
| 14AG2W65WC | 14AG2W65WC | 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.13680#6L9H |
| 14B1VRFQTA | 14B1VRFQTA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.02672#UO5A |
| 14C6FH1FV5 | 14C6FH1FV5 | 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.01346#0HRV |
| 14CR9Y9Z7V | 14CR9Y9Z7V | statement | record (an 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.11772#V94S |
| 14D9JX18RT | 14D9JX18RT | statement | record (an 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.03126#8GZ2 |
| 14DB4FN182 | 14DB4FN182 | 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.17769#KV2Z |
| 14DDPD6160 | 14DDPD6160 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.16868#JTTF |
| 14DKBT9P1K | 14DKBT9P1K | 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.35229#FUI1 |
| 14FD4NPAX0 | 14FD4NPAX0 | statement | record (an 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/9801068#J4B4 |
| 14FMKC92E5 | 14FMKC92E5 | statement | record (an 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#O67J |
| 14G9Y5Y66Z | 14G9Y5Y66Z | 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.24917#QRSB |
| 14GJ0DQZAR | 14GJ0DQZAR | proof | open | open_logic content/set-theory/cardinals/cardsasords.tex#proof-2 |
| 14GS1E1G6J | 14GS1E1G6J | statement | record (an 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.08480#QAP0 |
| 14HJ4NMZ9E | 14HJ4NMZ9E | statement | record (an 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#DXWO |
| 14HQ4NV3RR | 14HQ4NV3RR | statement | record (an 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.03555#OAWP |
| 14K2QCFD7X | 14K2QCFD7X | statement | record (an 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.13670#REY3 |
| 14K8H2E7KW | 14K8H2E7KW | 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 2411.00562#SDQL |
| 14KEMCNCQA | 14KEMCNCQA | 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.35027#9KJ8 |
| 14KH05HS2X | 14KH05HS2X | statement | record (an 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.07644#53XN |
| 14M1PPRP06 | 14M1PPRP06 | statement | record (an 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.12576#4WBI |
| 14MH5SYZ01 | 14MH5SYZ01 | example | open | lebl_diffyqs ch-power-ser.tex#ps:expex |
| 14NQ9Y10NV | 14NQ9Y10NV | statement | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#lem:comp |
| 14NWY50GHY | 14NWY50GHY | statement | record (an 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.36313#T2FB |
| 14P1CN4W6F | 14P1CN4W6F | statement | record (an 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#1WZC |
| 14PK4BY3DD | 14PK4BY3DD | statement | record (an 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.26269#ZQAG |
| 14QB8T8E3J | 14QB8T8E3J | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-1 |
| 14QBVKA8C2 | 14QBVKA8C2 | statement | record (an 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#8K33 |
| 14QTAWYH2F | 14QTAWYH2F | statement | record (an 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.25656#9ID0 |
| 14RVM92PMS | 14RVM92PMS | statement | record (an 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.26769#L32C |
| 14TRCH4T10 | 14TRCH4T10 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv alg-geom/9506022#ICSA |
| 14TZM5HM6N | 14TZM5HM6N | statement | record (an 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.10469#WZ41 |
| 14V2GER2TA | 14V2GER2TA | statement | record (an 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.09167#0N68 |
| 14V2T4SDXD | 14V2T4SDXD | statement | record (an 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.18219#QQK1 |
| 14V7EANNXV | 14V7EANNXV | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-16 |
| 14VG937FX6 | 14VG937FX6 | statement | record (an 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#8TBA |
| 14VHQY9YS2 | 14VHQY9YS2 | statement | record (an 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.02295#XX21 |
| 14WFJP8SAT | 14WFJP8SAT | statement | record (an 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#AP1A |
| 14X0ZFXR1W | 14X0ZFXR1W | 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 2308.05066#ZUWI |
| 14YQ8N1XJX | 14YQ8N1XJX | 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.03437#IRDT |
| 14YVWFYS20 | 14YVWFYS20 | statement | record (an 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#9GOQ |
| 14ZGRNG7ZY | 14ZGRNG7ZY | statement | record (an 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.12612#1DO8 |
| 14ZJRB8KWH | 14ZJRB8KWH | statement | record (an 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.00241#1WMS |
| 14ZP20KTJV | 14ZP20KTJV | statement | record (an 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.34923#UUTZ |
| 14ZR0S6MRS | 14ZR0S6MRS | statement | record (an 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#4QUQ |
| 15 | 4SRK90V5ZE | statement | open | Wikidata Q38701, MathWorld 15, ProofWiki 15 |
| 15 and 290 theorems | XC6NJ5QY01 | statement | open | mathlib_1000 Q780763, Wikidata Q780763, thousand_plus Q780763, Wikipedia 15 and 290 theorems, MathWorld FifteenTheorem |
| 15 puzzle | BV2NX7PT1B | unknown | open | Wikidata Q191024, MathWorld 15Puzzle |
| 1500XFYXGM | 1500XFYXGM | 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.00625#LGTD |
| 1501V0SY3A | 1501V0SY3A | statement | record (an 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.37093#F8PC |
| 1506EB63Y0 | 1506EB63Y0 | statement | record (an 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.06152#E3JS |
| 151MGKXXV0 | 151MGKXXV0 | statement | record (an 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.24739#6W5Y |
| 151VYQZ2TJ | 151VYQZ2TJ | proof | open | napkin tex/alg-NT/norm-trace.tex#proof-3 |
| 15262F3MW9 | 15262F3MW9 | statement | record (an 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#TBII |
| 152VSV417N | 152VSV417N | statement | open | napkin tex/calculus/p-adic.tex#theorem-6 |
| 152Z4DPQ0X | 152Z4DPQ0X | statement | record (an 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.35858#AI9E |
| 1530A7MRDX | 1530A7MRDX | statement | record (an 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.12295#KS55 |