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 26401–26500 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9A1YEPC0ZV | 9A1YEPC0ZV | statement | record (an 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.20466#IN3B |
| 9A22Q6ZKZR | 9A22Q6ZKZR | statement | record (an 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.27641#DLO1 |
| 9A2N062TZ8 | 9A2N062TZ8 | statement | record (an 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.20097#SESV |
| 9A2QH2T7H5 | 9A2QH2T7H5 | statement | record (an 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#EJ53 |
| 9A2V4MT5HC | 9A2V4MT5HC | statement | record (an 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.18033#YJZL |
| 9A3K2R5RZE | 9A3K2R5RZE | statement | record (an 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.14455#7ELJ |
| 9A3XXGWE8Z | 9A3XXGWE8Z | statement | record (an 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#OFVT |
| 9A4V2X7SDZ | 9A4V2X7SDZ | proof | open | napkin tex/alg-geom/mor-scheme.tex#proof-7 |
| 9A5MQYVBWY | 9A5MQYVBWY | statement | record (an 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.22002#M1X6 |
| 9A5T78SJ13 | 9A5T78SJ13 | proof | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-1 |
| 9A6KARS8X3 | 9A6KARS8X3 | statement | record (an 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#XTJN |
| 9A6P5M9G7M | 9A6P5M9G7M | 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.10745#WD01 |
| 9A7KVP8VYE | 9A7KVP8VYE | statement | record (an 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.33476#CK2K |
| 9A7RT7GEHG | 9A7RT7GEHG | statement | record (an 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.24610#00I6 |
| 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 |
| 9AK8TBD5VZ | 9AK8TBD5VZ | statement | record (an 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.20028#VQL7 |
| 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 |
| 9B6MEC9FPD | 9B6MEC9FPD | 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.20860#235F |
| 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 |