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 2101–2200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1FZ6GKF7WR | 1FZ6GKF7WR | statement | record (an 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.35191#3ZSL |
| 1FZEF9DBXV | 1FZEF9DBXV | statement | record (an 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.03384#BOVG |
| 1FZR3Q56FD | 1FZR3Q56FD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#ZV3C |
| 1G0K3KYHYQ | 1G0K3KYHYQ | statement | record (an 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#GGXO |
| 1G0YMTT20P | 1G0YMTT20P | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#exercise-8 |
| 1G18GZGKVS | 1G18GZGKVS | statement | record (an 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/0406514#WMUW |
| 1G1CCPFNZ0 | 1G1CCPFNZ0 | statement | record (an 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.08198#AY7J |
| 1G1JVFQ9C4 | 1G1JVFQ9C4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#885C |
| 1G1NEHRX8C | 1G1NEHRX8C | statement | record (an 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.14888#6UN9 |
| 1G263C10WQ | 1G263C10WQ | statement | record (an 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.27272#JJWE |
| 1G2QYYSB8A | 1G2QYYSB8A | statement | record (an 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.09812#ZHA4 |
| 1G2SPBJH3X | 1G2SPBJH3X | statement | open | hott_book basics.tex#thm:dpath-forall |
| 1G2TPTMFTW | 1G2TPTMFTW | statement | record (an 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.14189#SJYX |
| 1G3EC9HK7N | 1G3EC9HK7N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0911.1417#PCUN |
| 1G3F0FHJP8 | 1G3F0FHJP8 | statement | record (an 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.06810#8SLS |
| 1G4GHAHSFF | 1G4GHAHSFF | statement | open | hott_book logic.tex#thm:contr-paths |
| 1G5WYR28BH | 1G5WYR28BH | 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.39539#D7Z9 |
| 1G680FZS1H | 1G680FZS1H | statement | record (an 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.21692#D4XD |
| 1G6Q5NS30P | 1G6Q5NS30P | statement | record (an 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.30200#2T3O |
| 1G6T4M5NRW | 1G6T4M5NRW | statement | record (an 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#UHCQ |
| 1G6W7M4Z5K | 1G6W7M4Z5K | statement | record (an 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.37520#I3GE |
| 1G73BD6RGN | 1G73BD6RGN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.10268#WHJR |
| 1G75PZ7MK6 | 1G75PZ7MK6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.4613#753V |
| 1G7F51DK7B | 1G7F51DK7B | statement | record (an 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#UOAE |
| 1G7N0XJ6JY | 1G7N0XJ6JY | statement | record (an 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.08664#N88N |
| 1G7Z721GF1 | 1G7Z721GF1 | statement | record (an 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#NAPW |
| 1G82S5P4CV | 1G82S5P4CV | statement | record (an 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.10796#I4GD |
| 1G8E9T4RCC | 1G8E9T4RCC | statement | record (an 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.26386#TNDO |
| 1G8VTWF5WP | 1G8VTWF5WP | statement | record (an 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.28336#N14Y |
| 1G9F5SQF36 | 1G9F5SQF36 | statement | record (an 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.32439#KRYO |
| 1G9QW9HCA0 | 1G9QW9HCA0 | proof | open | hott_book reals.tex#proof-21 |
| 1G9V63T3JN | 1G9V63T3JN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.21444#FEWZ |
| 1GA6YBQAEQ | 1GA6YBQAEQ | proof | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-5 |
| 1GASGFNRSV | 1GASGFNRSV | 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.30323#DA30 |
| 1GAZ8ADYWG | 1GAZ8ADYWG | statement | record (an 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.33771#2RHX |
| 1GB44B1HTS | 1GB44B1HTS | statement | record (an 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.33451#1BVB |
| 1GBAA1PKYW | 1GBAA1PKYW | 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.28337#SW9M |
| 1GBC630WAD | 1GBC630WAD | statement | record (an 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.04063#0LA8 |
| 1GBNNFFQXS | 1GBNNFFQXS | statement | record (an 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#SNK5 |
| 1GBWYZ9TA0 | 1GBWYZ9TA0 | statement | record (an 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#4CVJ |
| 1GBYHSGAYP | 1GBYHSGAYP | 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 2401.00191#ZDMM |
| 1GC3RW0N73 | 1GC3RW0N73 | statement | record (an 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.16252#SG20 |
| 1GCKYSVSGW | 1GCKYSVSGW | statement | record (an 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#5WBN |
| 1GCWJY1KNQ | 1GCWJY1KNQ | 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.27295#UP98 |
| 1GDA1GHYT2 | 1GDA1GHYT2 | statement | record (an 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.08594#WNFM |
| 1GE3EYA2GY | 1GE3EYA2GY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.4141#6AEV |
| 1GF092GP6S | 1GF092GP6S | statement | record (an 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.07180#SLWK |
| 1GF0QBVWE7 | 1GF0QBVWE7 | statement | record (an 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.02628#4LFO |
| 1GG8M05TZS | 1GG8M05TZS | statement | record (an 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.24623#FFDM |
| 1GH4WG8XQ2 | 1GH4WG8XQ2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.01916#58SS |
| 1GH6ZT47C5 | 1GH6ZT47C5 | 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.03612#5YJ8 |
| 1GHCAH4RZV | 1GHCAH4RZV | statement | record (an 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.19360#HQLJ |
| 1GHE50ZHZ4 | 1GHE50ZHZ4 | statement | record (an 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.29747#ZAVI |
| 1GHH1HSKNP | 1GHH1HSKNP | statement | record (an 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.14318#VG9S |
| 1GJZYHFHP0 | 1GJZYHFHP0 | statement | record (an 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.20170#IOTF |
| 1GKPT4Y3PB | 1GKPT4Y3PB | statement | record (an 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#P0BS |
| 1GM5T2BMRE | 1GM5T2BMRE | statement | record (an 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.19854#UTI1 |
| 1GM9QPZ7CS | 1GM9QPZ7CS | 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 2605.29624#47DN |
| 1GN05DEZ3B | 1GN05DEZ3B | statement | record (an 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.04730#IIW2 |
| 1GN0MKH0NS | 1GN0MKH0NS | statement | record (an 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.12329#EIVF |
| 1GN7V4K00T | 1GN7V4K00T | 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 2610.10481#AJBN |
| 1GNAC8B3X5 | 1GNAC8B3X5 | statement | record (an 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.31220#RP82 |
| 1GNB96KVKQ | 1GNB96KVKQ | statement | record (an 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.15223#IFOY |
| 1GNGYA8AVV | 1GNGYA8AVV | statement | record (an 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.01656#2U5L |
| 1GNSGVDK4S | 1GNSGVDK4S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17276#70KH |
| 1GP7FAE8J9 | 1GP7FAE8J9 | statement | record (an 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.14154#92Y7 |
| 1GPC7H4ZAV | 1GPC7H4ZAV | statement | record (an 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.25038#FVSI |
| 1GPGRP9AHB | 1GPGRP9AHB | statement | record (an 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.19437#OIDV |
| 1GPZ10QF3W | 1GPZ10QF3W | statement | record (an 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.13548#5WGW |
| 1GQ0JXV0SK | 1GQ0JXV0SK | 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.21181#5PY8 |
| 1GQ3C600NK | 1GQ3C600NK | statement | record (an 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.20558#O580 |
| 1GQ3JRR76V | 1GQ3JRR76V | proof | open | lebl_ra ch-several-vars-ders.tex#proof-22 |
| 1GR8F6SP24 | 1GR8F6SP24 | statement | record (an 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.31757#WT43 |
| 1GT6SAW2X0 | 1GT6SAW2X0 | statement | record (an 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.03011#473F |
| 1GTGPWJ91G | 1GTGPWJ91G | statement | record (an 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.21278#3NTG |
| 1GTQ2FXNGY | 1GTQ2FXNGY | statement | record (an 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.19260#9HMX |
| 1GVG2YNN13 | 1GVG2YNN13 | statement | record (an 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.21005#UEBZ |
| 1GVR9FWKAY | 1GVR9FWKAY | statement | record (an 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.32916#N6UU |
| 1GVTDV52ZX | 1GVTDV52ZX | statement | record (an 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.14240#HVL1 |
| 1GVY8K5KJM | 1GVY8K5KJM | statement | record (an 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.02628#4RYP |
| 1GVYT7KH13 | 1GVYT7KH13 | exercise | open | napkin tex/complex-ana/meromorphic.tex#problem-1 |
| 1GW8B5X7EM | 1GW8B5X7EM | statement | open | napkin tex/alg-geom/spec-zariski.tex#theorem-2 |
| 1GWXQGPDW6 | 1GWXQGPDW6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.11097#GY1V |
| 1GX800WVDX | 1GX800WVDX | 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.31919#9SZM |
| 1GXE2HEPT9 | 1GXE2HEPT9 | statement | record (an 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.24314#OG14 |
| 1GYKFJ8PDE | 1GYKFJ8PDE | statement | record (an 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.10930#QDQ5 |
| 1GZFRKPDNQ | 1GZFRKPDNQ | statement | record (an 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.01968#04VK |
| 1GZZ3GHDYD | 1GZZ3GHDYD | definition | open | austin_ula src/section1-1.xml#definition-2 |
| 1H011JWGP2 | 1H011JWGP2 | 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.32903#I1TT |
| 1H02F6ZCS9 | 1H02F6ZCS9 | statement | record (an 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.40200#5GU1 |
| 1H0FXWTGZ3 | 1H0FXWTGZ3 | statement | record (an 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#UTHW |
| 1H0HTKDQZ4 | 1H0HTKDQZ4 | statement | record (an 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.20760#50CK |
| 1H0XNE6S82 | 1H0XNE6S82 | statement | record (an 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.26337#E0GL |
| 1H0ZTJQ7P4 | 1H0ZTJQ7P4 | statement | record (an 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.06762#Q1FR |
| 1H17R106CM | 1H17R106CM | statement | record (an 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.19535#S2JO |
| 1H1BRTVKWJ | 1H1BRTVKWJ | statement | record (an 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.25457#WPPN |
| 1H1K7YH0NY | 1H1K7YH0NY | 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.33584#ULJE |
| 1H1SD9QS8Q | 1H1SD9QS8Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.15490#DWFR |
| 1H1W4KTHBR | 1H1W4KTHBR | statement | record (an 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.13291#Q0D1 |
| 1H21MKE02C | 1H21MKE02C | example | open | napkin tex/topology/metric-top.tex#example-12 |