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 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 27201–27300 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 9K4D356VQ5 | 9K4D356VQ5 | statement | record (an 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.20656#CRKP |
| 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 |
| 9K8QF3GDF7 | 9K8QF3GDF7 | problem | record (an 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.20607#YI14 |
| 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 |
| 9K97FW8YFW | 9K97FW8YFW | statement | record (an 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.20049#KUZZ |
| 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 |
| 9KA06541RW | 9KA06541RW | statement | record (an 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.22764#VKVD |
| 9KA0QAHRDS | 9KA0QAHRDS | statement | record (an 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.21255#SQJW |
| 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 |
| 9KAC7MJQE1 | 9KAC7MJQE1 | statement | record (an 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.22469#40I7 |
| 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 |
| 9KBW5M0225 | 9KBW5M0225 | 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.23106#POSM |
| 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 |
| 9KMB1P037Y | 9KMB1P037Y | statement | record (an 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.17798#F2DY |
| 9KN6GWQX3V | 9KN6GWQX3V | statement | record (an 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.08753#F5G1 |
| 9KN7WSYVX4 | 9KN7WSYVX4 | statement | record (an 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.10377#EFJS |
| 9KNV5DC98D | 9KNV5DC98D | statement | record (an 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.17045#97MN |
| 9KPNP8GXNV | 9KPNP8GXNV | statement | record (an 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.03358#Q4HY |
| 9KQKG5C83D | 9KQKG5C83D | statement | record (an 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.11395#5WWP |
| 9KQV87352B | 9KQV87352B | 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.22528#U64E |
| 9KR74VS7VF | 9KR74VS7VF | 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.12484#ID5T |
| 9KS531EGCR | 9KS531EGCR | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-7 |
| 9KSJHP3Z5E | 9KSJHP3Z5E | statement | record (an 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.13392#TFIR |
| 9KSYYRDBQ1 | 9KSYYRDBQ1 | 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.07608#Q2ZK |
| 9KT1VABESD | 9KT1VABESD | 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.16554#ZX9X |
| 9KT8G9KQ5C | 9KT8G9KQ5C | proof | open | hott_book basics.tex#proof-19 |
| 9KTCAE7ET7 | 9KTCAE7ET7 | statement | record (an 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.28454#TGAR |
| 9KTMANAS6G | 9KTMANAS6G | definition | open | open_logic content/set-theory/spine/zf.tex#defn-1 |
| 9KTP7T585C | 9KTP7T585C | statement | record (an 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.27823#1T9G |
| 9KVQHJ1Q0Z | 9KVQHJ1Q0Z | statement | record (an 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.27241#UH2P |
| 9KXBJANQBE | 9KXBJANQBE | 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.35683#IQS8 |
| 9KXPPG39HV | 9KXPPG39HV | statement | record (an 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.21093#8222 |
| 9KXR96XBK3 | 9KXR96XBK3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1507.03803#4QMS |
| 9KXSMYPYQ6 | 9KXSMYPYQ6 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-17 |
| 9KXT0DHGNV | 9KXT0DHGNV | statement | open | open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-4 |
| 9KY8R3F9W2 | 9KY8R3F9W2 | statement | record (an 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.31615#7J78 |
| 9KYNX8GWZA | 9KYNX8GWZA | statement | record (an 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#MHQ4 |
| 9KZGR9YVW1 | 9KZGR9YVW1 | statement | record (an 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.03423#3DW0 |
| 9M00MMA9KS | 9M00MMA9KS | 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.24795#59SL |
| 9M0ATBB8VV | 9M0ATBB8VV | statement | record (an 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.24545#I1UU |
| 9M0F3WCW0N | 9M0F3WCW0N | statement | record (an 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.24701#4MM2 |
| 9M0VZ18K2R | 9M0VZ18K2R | statement | record (an 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.16225#1WV3 |
| 9M0XMH8C9N | 9M0XMH8C9N | proof | open | open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#proof-1 |
| 9M2GMCJ7E9 | 9M2GMCJ7E9 | proof | open | levin_dmoi ptx/exercises/seq-induction.ptx#proof-9 |
| 9M2JT3J8TA | 9M2JT3J8TA | exercise | open | napkin tex/linalg/dets.tex#problem-8 |