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 26601–26700 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9CFT3D0ESP | 9CFT3D0ESP | statement | record (an 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.17482#YWS5 |
| 9CH2N29DWR | 9CH2N29DWR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.11021#O9UP |
| 9CH5QXBEBM | 9CH5QXBEBM | 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.10591#PT5H |
| 9CHAHKXN63 | 9CHAHKXN63 | statement | open | hott_book homotopy.tex#cor-3 |
| 9CHEY3AVMS | 9CHEY3AVMS | exercise | open | austin_ula src/exercises/exercises2-3.xml#exercise-7 |
| 9CJA5KRW25 | 9CJA5KRW25 | example | open | lebl_ra ch-contfunc.tex#example-13 |
| 9CJAVEGVJD | 9CJAVEGVJD | 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 2610.02933#W1OE |
| 9CKRF2ZQYG | 9CKRF2ZQYG | 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 2407.08004#7A0S |
| 9CKW74G6WD | 9CKW74G6WD | statement | record (an 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.15210#F41G |
| 9CMNTFRJ1V | 9CMNTFRJ1V | 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 0812.1600#QBA8 |
| 9CN7KS4FB3 | 9CN7KS4FB3 | statement | record (an 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.16563#KD6Z |
| 9CNRPFJXKT | 9CNRPFJXKT | 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#84N9 |
| 9CNTYXPRW5 | 9CNTYXPRW5 | statement | record (an 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.28674#UHFV |
| 9CP37P4FHM | 9CP37P4FHM | proof | open | open_logic content/first-order-logic/tableaux/provability-consistency.tex#proof-3 |
| 9CP8ME2JX5 | 9CP8ME2JX5 | statement | record (an 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.14839#3YZT |
| 9CPBKV6N5X | 9CPBKV6N5X | statement | record (an 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.19251#GJQ1 |
| 9CPEPBE538 | 9CPEPBE538 | 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 2610.00247#BVJ3 |
| 9CPHV749Q6 | 9CPHV749Q6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#31XC |
| 9CPTG7NF7B | 9CPTG7NF7B | example | open | hott_book categories.tex#ct:orders |
| 9CQMYFAXQK | 9CQMYFAXQK | statement | record (an 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.26058#IH0X |
| 9CQYE89P7V | 9CQYE89P7V | statement | record (an 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.20345#47SQ |
| 9CRMSY5T6W | 9CRMSY5T6W | statement | record (an 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.25761#W32B |
| 9CRTZEQ9YN | 9CRTZEQ9YN | statement | record (an 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.16235#FF3A |
| 9CSCGGQW7S | 9CSCGGQW7S | statement | record (an 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.22074#FG6A |
| 9CSFK7Q4Y2 | 9CSFK7Q4Y2 | 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.31365#BL1T |
| 9CSFMZH3HF | 9CSFMZH3HF | statement | record (an 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#6Z2X |
| 9CSK2M8QE1 | 9CSK2M8QE1 | statement | record (an 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.35180#NEVB |
| 9CT4SERCCK | 9CT4SERCCK | 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.33590#2KRT |
| 9CTCGZAE6K | 9CTCGZAE6K | statement | record (an 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.34193#8PU4 |
| 9CTN0JXQ3E | 9CTN0JXQ3E | statement | record (an 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#R1BH |
| 9CTPRCH8JA | 9CTPRCH8JA | statement | record (an 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.14162#IF0S |
| 9CTTESWQBR | 9CTTESWQBR | 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.07695#APHV |
| 9CV76302DS | 9CV76302DS | statement | record (an 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.39389#QE7N |
| 9CV9Y1D0QV | 9CV9Y1D0QV | statement | record (an 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.08288#PSD7 |
| 9CVCWPAKZA | 9CVCWPAKZA | statement | record (an 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.28489#0PMY |
| 9CWAGPN65D | 9CWAGPN65D | example | open | open_logic content/first-order-logic/syntax-and-semantics/structures.tex#ex-2 |
| 9CWKBJS35E | 9CWKBJS35E | statement | record (an 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.17318#7QV1 |
| 9CWKEP8G5T | 9CWKEP8G5T | statement | record (an 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.40028#14RF |
| 9CWVW3QWAK | 9CWVW3QWAK | statement | record (an 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.15188#L3RZ |
| 9CX9ERD5TP | 9CX9ERD5TP | statement | record (an 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.20225#NVGU |
| 9CXCB1DQEQ | 9CXCB1DQEQ | 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.22551#A15L |
| 9CY29VZ06B | 9CY29VZ06B | statement | record (an 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.05216#VFTC |
| 9CY8NYTN7W | 9CY8NYTN7W | 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.00934#VYNO |
| 9CYB95B053 | 9CYB95B053 | statement | record (an 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.24185#6IMA |
| 9CZ6W0TX66 | 9CZ6W0TX66 | statement | record (an 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.22514#9H1E |
| 9CZ9ARC9ZE | 9CZ9ARC9ZE | statement | record (an 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.35577#SNS4 |
| 9CZMMXQA56 | 9CZMMXQA56 | statement | record (an 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.07961#V1W1 |
| 9CZZHDSM0D | 9CZZHDSM0D | 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 2308.05715#KP7R |
| 9CZZP8DAWJ | 9CZZP8DAWJ | statement | record (an 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.24412#185E |
| 9D01NY14YM | 9D01NY14YM | statement | record (an 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.06521#IKHS |
| 9D04FR10BF | 9D04FR10BF | 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.06045#51YJ |
| 9D09W1RNND | 9D09W1RNND | statement | open | hott_book logic.tex#thm:not-dneg |
| 9D0H3MKC8K | 9D0H3MKC8K | statement | record (an 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.14838#PO1B |
| 9D0S9AFPJK | 9D0S9AFPJK | 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.39905#0D97 |
| 9D1SDV4BRD | 9D1SDV4BRD | statement | record (an 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.02331#DIVG |
| 9D1W6YTY14 | 9D1W6YTY14 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.04323#UGF7 |
| 9D1YJWYT8S | 9D1YJWYT8S | statement | record (an 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.25823#9QB2 |
| 9D203TG8VX | 9D203TG8VX | 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 2303.14022#MGJC |
| 9D2EYCS5EJ | 9D2EYCS5EJ | example | open | levin_dmoi ptx/sec_counting-addmult.ptx#example-6 |
| 9D397XHD95 | 9D397XHD95 | 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.35678#8L33 |
| 9D3EDY9N9W | 9D3EDY9N9W | statement | record (an 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.04935#8E10 |
| 9D4906BZ69 | 9D4906BZ69 | statement | record (an 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.16886#IQOL |
| 9D4H19A0M0 | 9D4H19A0M0 | statement | record (an 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.01237#K6ZT |
| 9D4Q62AVKY | 9D4Q62AVKY | statement | record (an 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#6MLM |
| 9D536A1BZJ | 9D536A1BZJ | statement | record (an 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.21934#MML8 |
| 9D67K7C67M | 9D67K7C67M | statement | record (an 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.03305#COEY |
| 9D6TGEH2TJ | 9D6TGEH2TJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.08738#RHEJ |
| 9D6ZSKM5E6 | 9D6ZSKM5E6 | statement | open | hott_book hits.tex#thm:uniqueness-for-functions-on-S1 |
| 9D8WHWNMS4 | 9D8WHWNMS4 | statement | record (an 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#6OBS |
| 9D8Y1TGTNH | 9D8Y1TGTNH | statement | record (an 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.07380#DYRG |
| 9D9055Y2BB | 9D9055Y2BB | problem | open | Wikipedia Flip distance#2775 |
| 9D97PKAPQF | 9D97PKAPQF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24599#9GDZ |
| 9D98YKFJ6V | 9D98YKFJ6V | exercise | open | napkin tex/alg-NT/galois.tex#problem-4 |
| 9D994BMC9C | 9D994BMC9C | unknown | open | arXiv 1805.04646#Q2IK |
| 9D9KN0EHBE | 9D9KN0EHBE | statement | record (an 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#RGB2 |
| 9D9WCP4BTX | 9D9WCP4BTX | statement | record (an 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.36313#7KXW |
| 9DAK3YVVF6 | 9DAK3YVVF6 | statement | record (an 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.35323#RFIH |
| 9DBCS1BR3Q | 9DBCS1BR3Q | 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 2411.17227#YBFN |
| 9DBF78K24N | 9DBF78K24N | statement | record (an 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.03972#E6F8 |
| 9DBH1DZQ5B | 9DBH1DZQ5B | 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 2406.01036#U61U |
| 9DBMXBV7BX | 9DBMXBV7BX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.13510#KTSO |
| 9DC5SJN3VT | 9DC5SJN3VT | 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.02017#R93X |
| 9DC7J3F7HJ | 9DC7J3F7HJ | statement | record (an 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.23518#XVYG |
| 9DCC84G9Z0 | 9DCC84G9Z0 | statement | record (an 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.27393#MBXG |
| 9DCH4N16MA | 9DCH4N16MA | statement | record (an 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.04135#RLF6 |
| 9DCPRRDD7N | 9DCPRRDD7N | 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.06441#Y4LK |
| 9DCX0ZF40B | 9DCX0ZF40B | 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.04502#LRHP |
| 9DDDEQ23TB | 9DDDEQ23TB | statement | record (an 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.06755#E401 |
| 9DE9XG1PC1 | 9DE9XG1PC1 | statement | record (an 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.26162#QMS5 |
| 9DEAYATCHG | 9DEAYATCHG | statement | record (an 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.31910#JHRR |
| 9DEH73FJAZ | 9DEH73FJAZ | statement | record (an 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.13241#MM5M |
| 9DF3VJXQBF | 9DF3VJXQBF | statement | record (an 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.38532#74XN |
| 9DGGX3F3DQ | 9DGGX3F3DQ | statement | record (an 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.15720#9R6Q |
| 9DGHCD2MZK | 9DGHCD2MZK | statement | record (an 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.28141#TG55 |
| 9DGPC224MZ | 9DGPC224MZ | 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.34311#YADR |
| 9DGTCJ8622 | 9DGTCJ8622 | statement | record (an 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#9CCL |
| 9DGWDPCMFA | 9DGWDPCMFA | statement | record (an 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.05396#XUMN |
| 9DH5GSJSG0 | 9DH5GSJSG0 | statement | record (an 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.14086#YJFK |
| 9DHA0VAHZN | 9DHA0VAHZN | exercise | open | napkin tex/alg-NT/discriminant.tex#problem-3 |
| 9DHSDES0EE | 9DHSDES0EE | 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.12430#XT75 |