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 23401–23500 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9A81CVXYBH | 9A81CVXYBH | statement | record (an 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.16059#T92C |
| 9A828HTPKZ | 9A828HTPKZ | statement | record (an 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.39539#AUWA |
| 9A85W6E7FF | 9A85W6E7FF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04593#09XA |
| 9A8BC1M72W | 9A8BC1M72W | statement | record (an 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#EU5O |
| 9A9EH4WEDW | 9A9EH4WEDW | statement | record (an 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.20299#PSUS |
| 9AAH15SNTV | 9AAH15SNTV | statement | record (an 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.17518#WA4T |
| 9ABGPVHZVX | 9ABGPVHZVX | statement | record (an 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.27458#6TQH |
| 9ABKEZTMJJ | 9ABKEZTMJJ | statement | record (an 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.11535#RZVP |
| 9AC2NSW46X | 9AC2NSW46X | statement | record (an 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.15593#DA8C |
| 9ACD4PXM82 | 9ACD4PXM82 | statement | record (an 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.10329#FOA8 |
| 9ACGGTJKH6 | 9ACGGTJKH6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#U7Q6 |
| 9ACQ0RPJX3 | 9ACQ0RPJX3 | statement | record (an 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.01240#VATA |
| 9ACWRS0FV0 | 9ACWRS0FV0 | 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.19416#CQJ8 |
| 9ADASBK01S | 9ADASBK01S | 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.05696#8UVI |
| 9ADV7RYF1V | 9ADV7RYF1V | statement | record (an 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#BF9Z |
| 9ADZD9YMQ8 | 9ADZD9YMQ8 | statement | record (an 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.03497#7N48 |
| 9AE0WDKETR | 9AE0WDKETR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1707.06795#HCTD |
| 9AE1B2PDCX | 9AE1B2PDCX | 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 2204.13401#3UMN |
| 9AE3JCWXT9 | 9AE3JCWXT9 | statement | record (an 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.06445#8GNW |
| 9AEFRS6CKG | 9AEFRS6CKG | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-4 |
| 9AEJXRPW3M | 9AEJXRPW3M | statement | record (an 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.07092#EIOT |
| 9AEP6R09TG | 9AEP6R09TG | proof | open | open_logic content/intuitionistic-logic/tableaux/soundness.tex#proof-1 |
| 9AESWF7FJ5 | 9AESWF7FJ5 | statement | record (an 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#WC8K |
| 9AF2XETCXZ | 9AF2XETCXZ | statement | record (an 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.11997#PCE8 |
| 9AFS0C4JYA | 9AFS0C4JYA | statement | record (an 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.30237#YG5O |
| 9AG4179NFH | 9AG4179NFH | statement | record (an 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#B0AJ |
| 9AG5EKWD41 | 9AG5EKWD41 | statement | record (an 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#4YMO |
| 9AG9V36Z4D | 9AG9V36Z4D | statement | record (an 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.12669#9OCQ |
| 9AH8N8JN36 | 9AH8N8JN36 | statement | record (an 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.25275#1LVE |
| 9AHEXGP3MF | 9AHEXGP3MF | statement | record (an 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.01586#UXKI |
| 9AHJY56GWR | 9AHJY56GWR | proof | open | lebl_ra ch-several-vars-ders.tex#proof-27 |
| 9AHJZD84WP | 9AHJZD84WP | statement | record (an 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.07697#N6LZ |
| 9AHR9ZKV6A | 9AHR9ZKV6A | 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 2405.05684#BK0X |
| 9AJGRAR8QC | 9AJGRAR8QC | statement | record (an 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.11383#KVJ2 |
| 9AJVN1Z14G | 9AJVN1Z14G | 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 2208.05276#1HUH |
| 9AK56K0B9W | 9AK56K0B9W | statement | record (an 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.00060#U0MD |
| 9AK6J4W50G | 9AK6J4W50G | 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 2606.21391#D0Y5 |
| 9AKV07Y4YX | 9AKV07Y4YX | statement | record (an 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.37706#DG2A |
| 9AMBQ80TE3 | 9AMBQ80TE3 | 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 2604.11825#2Q27 |
| 9AMCBJHP38 | 9AMCBJHP38 | statement | record (an 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#AEM2 |
| 9AP2XVJZD1 | 9AP2XVJZD1 | 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 1002.0879#3PJZ |
| 9AP55PQBKH | 9AP55PQBKH | 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.16205#SBY2 |
| 9APE8KFZYC | 9APE8KFZYC | statement | record (an 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.17267#L9IU |
| 9APNM98ECT | 9APNM98ECT | 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.02174#A09Y |
| 9APP5FS4EN | 9APP5FS4EN | statement | record (an 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.32651#X7ZM |
| 9AQ78JK4E5 | 9AQ78JK4E5 | statement | record (an 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.21725#76V1 |
| 9AQJ7J9E2Z | 9AQJ7J9E2Z | statement | record (an 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.08776#DSZZ |
| 9ARNNEKRPS | 9ARNNEKRPS | statement | record (an 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.21800#IH9E |
| 9AS1FC0MN7 | 9AS1FC0MN7 | 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.03856#D2EE |
| 9ATZ8Y4WRD | 9ATZ8Y4WRD | statement | record (an 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.20542#JVMW |
| 9AVFS83QSK | 9AVFS83QSK | 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.28403#G31H |
| 9AVX3C0AVX | 9AVX3C0AVX | statement | record (an 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.38659#YJHX |
| 9AVY4Z0JHK | 9AVY4Z0JHK | proof | open | hott_book reals.tex#proof-31 |
| 9AWRW055XG | 9AWRW055XG | 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.24584#ENIF |
| 9AX5X2YM2J | 9AX5X2YM2J | statement | record (an 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.03368#Z5UW |
| 9AXBWMBFFE | 9AXBWMBFFE | statement | record (an 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.20422#RWVP |
| 9AY0AGXBA9 | 9AY0AGXBA9 | statement | record (an 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#EINO |
| 9AYSEQ54TR | 9AYSEQ54TR | statement | record (an 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.17536#FDUD |
| 9AYYEMP4MZ | 9AYYEMP4MZ | statement | record (an 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.28011#70M5 |
| 9AZE0Y0865 | 9AZE0Y0865 | statement | record (an 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#5Y00 |
| 9AZJ0XN720 | 9AZJ0XN720 | proof | open | napkin tex/calculus/p-adic.tex#proof-3 |
| 9B08VZSGNQ | 9B08VZSGNQ | statement | record (an 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#LN74 |
| 9B0DBWTSB0 | 9B0DBWTSB0 | 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 2306.12846#J8UI |
| 9B1FWM0JDS | 9B1FWM0JDS | 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.28011#TJA8 |
| 9B1NYD8355 | 9B1NYD8355 | exercise | open | napkin tex/alg-NT/classgrp.tex#exercise-11 |
| 9B2WR3DPY2 | 9B2WR3DPY2 | statement | record (an 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.04323#6JIK |
| 9B36VQ28PG | 9B36VQ28PG | statement | record (an 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.15402#OGJX |
| 9B3AEE2DEW | 9B3AEE2DEW | statement | record (an 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.26477#VX9H |
| 9B3QAYSMZE | 9B3QAYSMZE | statement | record (an 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#2BYT |
| 9B3YD07574 | 9B3YD07574 | statement | open | hott_book logic.tex#thm:not-lem |
| 9B4C4R8DXQ | 9B4C4R8DXQ | statement | record (an 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.03327#0FBQ |
| 9B4QTXB6FR | 9B4QTXB6FR | statement | record (an 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#TCTU |
| 9B4V9F28CV | 9B4V9F28CV | statement | record (an 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#Y3G3 |
| 9B5E2XJFA2 | 9B5E2XJFA2 | statement | record (an 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.06300#YIBY |
| 9B6DP905ZG | 9B6DP905ZG | statement | record (an 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.26307#YKNZ |
| 9B6MJDP8RB | 9B6MJDP8RB | statement | record (an 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.30098#BCK8 |
| 9B7C1S06QS | 9B7C1S06QS | statement | record (an 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.04252#JV96 |
| 9B8S7N3HF2 | 9B8S7N3HF2 | statement | record (an 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/9902147#PIBW |
| 9B8W36Z432 | 9B8W36Z432 | exercise | open | napkin tex/set-theory/models.tex#ques-3 |
| 9B90H5AKW9 | 9B90H5AKW9 | statement | record (an 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.10937#LKK4 |
| 9B979N2P9Q | 9B979N2P9Q | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#prob-2 |
| 9B9NXS9GRN | 9B9NXS9GRN | statement | record (an 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#254S |
| 9BA46WD9TB | 9BA46WD9TB | statement | record (an 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#J6C9 |
| 9BB10NYNY8 | 9BB10NYNY8 | statement | record (an 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#ZLGH |
| 9BB32YKYG2 | 9BB32YKYG2 | statement | record (an 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#2YXH |
| 9BB3GG22Q4 | 9BB3GG22Q4 | 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.04431#ADDQ |
| 9BB8DAQWMD | 9BB8DAQWMD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.08237#ZH5A |
| 9BBYS1QEMN | 9BBYS1QEMN | statement | record (an 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#VSJ6 |
| 9BCQZZT22V | 9BCQZZT22V | example | open | lebl_scv scv.tex#example-16 |
| 9BCZECH2KR | 9BCZECH2KR | statement | open | napkin tex/H113/grp-intro.tex#fact-1 |
| 9BDJT3Y4X3 | 9BDJT3Y4X3 | statement | record (an 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.01087#HIPS |
| 9BE7HVRC9K | 9BE7HVRC9K | statement | record (an 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.06637#F5NE |
| 9BEVAWSDW3 | 9BEVAWSDW3 | 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.05623#GU3G |
| 9BFMJ9F8RC | 9BFMJ9F8RC | 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.08935#Z0DH |
| 9BFW0SZJ2V | 9BFW0SZJ2V | statement | record (an 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#ZSKH |
| 9BG16P9J99 | 9BG16P9J99 | unknown | open | arXiv 1804.06366#IOTS |
| 9BG6NJHVBB | 9BG6NJHVBB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#M6JE |
| 9BG8BZ56XT | 9BG8BZ56XT | 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.06707#OBOB |
| 9BGEJ8C7PV | 9BGEJ8C7PV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4012#NBAY |
| 9BHP1HECFH | 9BHP1HECFH | statement | record (an 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.28020#0SSN |