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 24101–24200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9JAZD50WSV | 9JAZD50WSV | statement | record (an 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.09704#9NYZ |
| 9JB4HTMMTK | 9JB4HTMMTK | statement | record (an 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.37208#MNXT |
| 9JBM2CYDV1 | 9JBM2CYDV1 | 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.27078#MH56 |
| 9JC3E40DP7 | 9JC3E40DP7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.09049#57L2 |
| 9JCFW7DEJ8 | 9JCFW7DEJ8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#05M6 |
| 9JCQW2KGJP | 9JCQW2KGJP | statement | record (an 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.07890#BRW2 |
| 9JD5T75D6Y | 9JD5T75D6Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.17852#4QEI |
| 9JD9DRHBC1 | 9JD9DRHBC1 | statement | record (an 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.25568#ZAL1 |
| 9JDR97RQSP | 9JDR97RQSP | statement | record (an 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#BV4A |
| 9JE9TAWYW8 | 9JE9TAWYW8 | statement | record (an 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.30203#GBO9 |
| 9JFD780K32 | 9JFD780K32 | statement | record (an 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.17698#L9IC |
| 9JFNH0B7WG | 9JFNH0B7WG | statement | record (an 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.15169#43D2 |
| 9JGF8D86C1 | 9JGF8D86C1 | 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.00146#GPCT |
| 9JGVNGZMR1 | 9JGVNGZMR1 | statement | record (an 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.33805#PE22 |
| 9JGWEM6J3B | 9JGWEM6J3B | statement | record (an 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.01796#DJ9Z |
| 9JH0KGG8A5 | 9JH0KGG8A5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#16V7 |
| 9JH7JXQTBH | 9JH7JXQTBH | 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.37815#5Y0J |
| 9JHNJ18R78 | 9JHNJ18R78 | statement | record (an 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.21636#BF2L |
| 9JJRG14275 | 9JJRG14275 | statement | record (an 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#BSSN |
| 9JKZTN59ZT | 9JKZTN59ZT | statement | record (an 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#PKVP |
| 9JMC1SHV2A | 9JMC1SHV2A | statement | record (an 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.33679#CCCF |
| 9JMSFJYKD0 | 9JMSFJYKD0 | statement | record (an 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#19Y7 |
| 9JP3H4D7NS | 9JP3H4D7NS | 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.33018#N91V |
| 9JPJB8EHEP | 9JPJB8EHEP | 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.28403#6ZB2 |
| 9JPZDZ881X | 9JPZDZ881X | statement | record (an 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#876B |
| 9JR8R54NXN | 9JR8R54NXN | statement | record (an 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.07790#70UM |
| 9JRZKN7NYG | 9JRZKN7NYG | statement | record (an 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.05776#AB2N |
| 9JS0TF2EXR | 9JS0TF2EXR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#NI2G |
| 9JSDMTS34V | 9JSDMTS34V | statement | record (an 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.07890#DLJG |
| 9JSEBAACD1 | 9JSEBAACD1 | statement | record (an 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.26357#O2KS |
| 9JSKE11X3M | 9JSKE11X3M | statement | record (an 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.04305#KOP2 |
| 9JT3DFJPKS | 9JT3DFJPKS | statement | record (an 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.16785#UZID |
| 9JTF36ZTJE | 9JTF36ZTJE | 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.02481#WRY6 |
| 9JV11YMXKQ | 9JV11YMXKQ | statement | record (an 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#PD6C |
| 9JV94B7KWF | 9JV94B7KWF | statement | record (an 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.21768#OF5Q |
| 9JVEB5F03R | 9JVEB5F03R | 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.06868#G102 |
| 9JW4NRD0JX | 9JW4NRD0JX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.22882#436O |
| 9JWFRA99QF | 9JWFRA99QF | statement | record (an 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.09796#LITH |
| 9JWYH78QQ5 | 9JWYH78QQ5 | statement | record (an 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.28649#FIMV |
| 9JXB6KXG8W | 9JXB6KXG8W | statement | record (an 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.04265#MT04 |
| 9JXM8N6M24 | 9JXM8N6M24 | 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.28295#B6SZ |
| 9JXQG9ZRYC | 9JXQG9ZRYC | statement | record (an 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.18226#8YYA |
| 9JY82G1A1N | 9JY82G1A1N | exercise | open | open_logic content/first-order-logic/tableaux/proving-things.tex#prob-2 |
| 9JYBF4DZB3 | 9JYBF4DZB3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.08233#6YIO |
| 9JYRVAA89R | 9JYRVAA89R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.20176#A4E9 |
| 9JYYZG3RR3 | 9JYYZG3RR3 | statement | record (an 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.30165#2XYK |
| 9JZ77F6E2V | 9JZ77F6E2V | proof | open | napkin tex/linalg/eigenvalues.tex#proof-1 |
| 9JZ7FC00J7 | 9JZ7FC00J7 | statement | open | hott_book setmath.tex#lem:fullsep |
| 9JZ7N8F6RE | 9JZ7N8F6RE | statement | record (an 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.25915#R99Z |
| 9JZCZ5ATRE | 9JZCZ5ATRE | statement | record (an 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.04844#PMX1 |
| 9JZSR14N69 | 9JZSR14N69 | example | open | lebl_ra ch-seq-funcs.tex#example:exponentialbypowerseries |
| 9JZTEBHKEA | 9JZTEBHKEA | example | open | lebl_ra ch-vol1-intro.tex#example-6 |
| 9K0F9TNMKT | 9K0F9TNMKT | statement | record (an 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.16123#TI2M |
| 9K0RBEYC6A | 9K0RBEYC6A | statement | record (an 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#1A5B |
| 9K0X9H4TW0 | 9K0X9H4TW0 | 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.25291#7X1F |
| 9K10F688T8 | 9K10F688T8 | statement | record (an 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.18061#6LR2 |
| 9K12Q19RX2 | 9K12Q19RX2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#0PZ4 |
| 9K1ZTJ9YQM | 9K1ZTJ9YQM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1606.05058#MTPY |
| 9K259K97GK | 9K259K97GK | statement | open | open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#lem:basic |
| 9K2CBYJE5T | 9K2CBYJE5T | 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.12633#4T1X |
| 9K2D8BM600 | 9K2D8BM600 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.17055#657Q |
| 9K2Q9FKNX8 | 9K2Q9FKNX8 | statement | record (an 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.01267#DRA4 |
| 9K2STTZKW4 | 9K2STTZKW4 | statement | record (an 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.25985#WJTZ |
| 9K39XA0TM4 | 9K39XA0TM4 | 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 2311.01874#0IKZ |
| 9K3CKMSAYM | 9K3CKMSAYM | 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 2408.01345#9XKT |
| 9K4W5W1TBZ | 9K4W5W1TBZ | statement | record (an 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.34168#Y1UN |
| 9K5673KCYA | 9K5673KCYA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.09374#N72A |
| 9K57KKRFXN | 9K57KKRFXN | statement | open | open_logic content/methods/proofs/inference-patterns.tex#prop-1 |
| 9K5CZMEC9R | 9K5CZMEC9R | statement | record (an 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.30730#QT8Z |
| 9K5GRY0834 | 9K5GRY0834 | statement | record (an 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.32997#7FU2 |
| 9K5JXDTDR4 | 9K5JXDTDR4 | 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 2605.30679#A62J |
| 9K5TBGHB9H | 9K5TBGHB9H | 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 2508.17135#HAUK |
| 9K5XTAV1QE | 9K5XTAV1QE | statement | record (an 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.01828#74WJ |
| 9K65YJYH45 | 9K65YJYH45 | example | open | open_logic content/incompleteness/introduction/definitions.tex#ex-1 |
| 9K6XQVEG5J | 9K6XQVEG5J | 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.33406#UT0G |
| 9K7SEV6J4Q | 9K7SEV6J4Q | statement | record (an 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.36818#8K6Z |
| 9K81PQQ52E | 9K81PQQ52E | statement | record (an 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.08655#L5WZ |
| 9K86G3R18Z | 9K86G3R18Z | statement | record (an 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#4HIH |
| 9K8RYZ97PH | 9K8RYZ97PH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.30285#LS47 |
| 9K94ZSP2KQ | 9K94ZSP2KQ | 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 2109.09268#DBEP |
| 9K96HK5HDR | 9K96HK5HDR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.20229#2QAY |
| 9K9SPNAQMT | 9K9SPNAQMT | statement | record (an 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.15405#R6MN |
| 9KAC5MS86P | 9KAC5MS86P | statement | record (an 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.31393#SSIB |
| 9KBKWZ4E9J | 9KBKWZ4E9J | statement | record (an 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.27125#8PAL |
| 9KCWXXD4DQ | 9KCWXXD4DQ | 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.29022#P78Q |
| 9KCY70249X | 9KCY70249X | statement | record (an 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.08052#2ZGJ |
| 9KDMJE5DVC | 9KDMJE5DVC | statement | record (an 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.10086#589U |
| 9KDQ8PMASY | 9KDQ8PMASY | statement | record (an 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.03559#9ONY |
| 9KDTMQ1R37 | 9KDTMQ1R37 | statement | record (an 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.12716#UCSH |
| 9KFNTNF3RC | 9KFNTNF3RC | statement | record (an 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.03449#RBE9 |
| 9KG5AKM38J | 9KG5AKM38J | statement | record (an 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.13745#ORI8 |
| 9KGKKEXDJ5 | 9KGKKEXDJ5 | statement | open | applied_combinatorics source/s_background_finite-sets.ptx#proposition-1 |
| 9KGMTN6WYQ | 9KGMTN6WYQ | statement | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#thm:inverse function iff bijection |
| 9KH1R19PJR | 9KH1R19PJR | statement | record (an 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#B5H5 |
| 9KHWGEVAVN | 9KHWGEVAVN | 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.24845#9XYL |
| 9KHYSEM7H6 | 9KHYSEM7H6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.00407#9KKN |
| 9KJ4GK2JEC | 9KJ4GK2JEC | statement | record (an 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.26922#37ZU |
| 9KJQ0QP9SZ | 9KJQ0QP9SZ | statement | record (an 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#G8PK |
| 9KK4R9QDHQ | 9KK4R9QDHQ | statement | record (an 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.32393#4CGQ |
| 9KK50PKZ75 | 9KK50PKZ75 | statement | record (an 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.38069#ZCKA |