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 25001–25100 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8SXBFTPV0H | 8SXBFTPV0H | statement | record (an 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.31278#QP7B |
| 8SY2B2FT6W | 8SY2B2FT6W | statement | record (an 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.06699#QKBH |
| 8SYDW2PW8S | 8SYDW2PW8S | statement | record (an 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.23202#J8K1 |
| 8SYF0VZS4G | 8SYF0VZS4G | 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 2502.08738#O7F2 |
| 8SYXCQMDWZ | 8SYXCQMDWZ | statement | record (an 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#6QXI |
| 8SZQHPBQS8 | 8SZQHPBQS8 | statement | record (an 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.10828#52S3 |
| 8SZWV5MSY1 | 8SZWV5MSY1 | statement | record (an 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/0411039#ID1L |
| 8SZX763D0M | 8SZX763D0M | statement | record (an 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.19812#YJNT |
| 8T03Q0F3G2 | 8T03Q0F3G2 | statement | record (an 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.15680#ZMY6 |
| 8T08D14MGP | 8T08D14MGP | statement | record (an 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.14253#ICUR |
| 8T09DH94K5 | 8T09DH94K5 | statement | record (an 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.00105#M3SM |
| 8T0J1BF9FJ | 8T0J1BF9FJ | statement | record (an 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.36412#U5WA |
| 8T0V235P92 | 8T0V235P92 | proof | open | hott_book hlevels.tex#proof-5 |
| 8T1CDYBFEF | 8T1CDYBFEF | statement | record (an 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.37920#E9WW |
| 8T1N0T59AY | 8T1N0T59AY | statement | record (an 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.17669#VP16 |
| 8T1NTA4M12 | 8T1NTA4M12 | statement | record (an 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.39505#WV75 |
| 8T24WC2AEZ | 8T24WC2AEZ | statement | record (an 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.33651#Z3RX |
| 8T2DQ0CWNQ | 8T2DQ0CWNQ | statement | record (an 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.21703#IB9R |
| 8T2GSK766W | 8T2GSK766W | statement | record (an 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.13523#NR86 |
| 8T2TDN4WPR | 8T2TDN4WPR | 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.01073#YLIA |
| 8T3PGE4APC | 8T3PGE4APC | statement | record (an 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.01268#0A1V |
| 8T48S2P3BB | 8T48S2P3BB | statement | record (an 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#6NSJ |
| 8T4DAD0ZW8 | 8T4DAD0ZW8 | statement | record (an 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.39353#25G7 |
| 8T4NK9R666 | 8T4NK9R666 | statement | record (an 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.19658#SMUP |
| 8T5EDF6MA1 | 8T5EDF6MA1 | statement | record (an 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.21808#POKQ |
| 8T66C9MG9R | 8T66C9MG9R | 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.14249#OOB4 |
| 8T6DSMBJHB | 8T6DSMBJHB | statement | record (an 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.19452#5CR2 |
| 8T71SFR0XS | 8T71SFR0XS | exercise | open | napkin tex/rep-theory/rep-alg.tex#ques-2 |
| 8T74NN39CX | 8T74NN39CX | 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.16241#B4ZL |
| 8T75FFMAMT | 8T75FFMAMT | 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.25289#DUKF |
| 8T7D6FJ73E | 8T7D6FJ73E | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-5 |
| 8T9JHZK16W | 8T9JHZK16W | statement | record (an 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.26410#7HR8 |
| 8T9XSMP8QW | 8T9XSMP8QW | statement | record (an 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.21052#D3FB |
| 8TA93GH06M | 8TA93GH06M | statement | record (an 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.14561#7O8G |
| 8TAAH6N5X4 | 8TAAH6N5X4 | statement | record (an 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.04466#SUWA |
| 8TB0GNY11A | 8TB0GNY11A | 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.36444#LQ0I |
| 8TB8RV6Q41 | 8TB8RV6Q41 | statement | record (an 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.06806#JVPG |
| 8TBERBTR9Q | 8TBERBTR9Q | statement | record (an 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.16875#S3DO |
| 8TBKTV77MZ | 8TBKTV77MZ | proof | open | lebl_ra ch-seq-ser.tex#proof-22 |
| 8TBP7S07JQ | 8TBP7S07JQ | 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.18544#5A8R |
| 8TCAMXR74E | 8TCAMXR74E | unknown | open | arXiv 2106.06387#HFK6 |
| 8TCDP7PE4T | 8TCDP7PE4T | statement | record (an 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.26262#OCR5 |
| 8TCNP0ZK8T | 8TCNP0ZK8T | statement | record (an 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#JXBJ |
| 8TCQCXVK08 | 8TCQCXVK08 | statement | record (an 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.21752#FN9B |
| 8TD0BKQJFM | 8TD0BKQJFM | statement | record (an 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.15771#SYL4 |
| 8TD0ZH03CH | 8TD0ZH03CH | statement | record (an 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.03719#GE4Y |
| 8TDJY8RWC0 | 8TDJY8RWC0 | 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.34020#HU78 |
| 8TE6RAKG8J | 8TE6RAKG8J | statement | record (an 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.30544#43G5 |
| 8TEKZXSXMJ | 8TEKZXSXMJ | statement | record (an 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.22205#E66G |
| 8TERGFRB1M | 8TERGFRB1M | 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.03497#RXFT |
| 8TES30M3DN | 8TES30M3DN | statement | record (an 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#QPO6 |
| 8TFGKSAMNN | 8TFGKSAMNN | statement | record (an 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/9901049#M6XC |
| 8TFPMEVYB0 | 8TFPMEVYB0 | 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.38548#UAHC |
| 8TG2FNW2E9 | 8TG2FNW2E9 | statement | record (an 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#2EFL |
| 8TG32E2WV9 | 8TG32E2WV9 | 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.22317#WRFU |
| 8TG5RR2VK1 | 8TG5RR2VK1 | statement | record (an 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.22218#WMY4 |
| 8TGNQQ332D | 8TGNQQ332D | statement | record (an 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.24878#ZSK7 |
| 8TGNYB6RTZ | 8TGNYB6RTZ | statement | record (an 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.11038#04KY |
| 8TGSHJWZK8 | 8TGSHJWZK8 | statement | record (an 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.05417#H2S3 |
| 8TH8XAMY0Z | 8TH8XAMY0Z | statement | record (an 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.17602#I3M1 |
| 8THAGG4F8H | 8THAGG4F8H | proof | open | lebl_ra ch-contfunc.tex#proof-13 |
| 8THHMTAXRX | 8THHMTAXRX | exercise | open | open_logic content/sets-functions-relations/sets/pairs-and-products.tex#prob-3 |
| 8THQN8TS1S | 8THQN8TS1S | statement | record (an 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#EHTS |
| 8TJ3KAW8FY | 8TJ3KAW8FY | 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.36884#O4UA |
| 8TJ9REC4BQ | 8TJ9REC4BQ | statement | record (an 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.28803#ARMG |
| 8TJGARSNP0 | 8TJGARSNP0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.07340#JRI5 |
| 8TK5J957J6 | 8TK5J957J6 | statement | record (an 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.05451#N04X |
| 8TM5K48DF2 | 8TM5K48DF2 | statement | record (an 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#1ITQ |
| 8TM63BFB8X | 8TM63BFB8X | statement | record (an 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.31476#825P |
| 8TMF1Z30KG | 8TMF1Z30KG | statement | record (an 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#1K5Q |
| 8TMGNW23P2 | 8TMGNW23P2 | 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.40251#CRVA |
| 8TN44MNQCH | 8TN44MNQCH | statement | record (an 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.10580#DZ7I |
| 8TNQQYQTGX | 8TNQQYQTGX | statement | record (an 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#TJQ6 |
| 8TP59TVW5V | 8TP59TVW5V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.01660#Q2N8 |
| 8TPBRVCR5R | 8TPBRVCR5R | 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.30323#FLJN |
| 8TPE5V58CC | 8TPE5V58CC | definition | open | lebl_scv scv.tex#defn-14 |
| 8TPRAJP886 | 8TPRAJP886 | statement | record (an 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.05398#YEC6 |
| 8TPV3G6AHZ | 8TPV3G6AHZ | 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 1002.0879#63RD |
| 8TQF6H135C | 8TQF6H135C | statement | record (an 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.30892#ZYCL |
| 8TQSYMRRYQ | 8TQSYMRRYQ | proof | open | lebl_scv scv.tex#proof-5 |
| 8TR5ZTVCF6 | 8TR5ZTVCF6 | statement | record (an 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.21552#NPL1 |
| 8TRJJSZ2ZN | 8TRJJSZ2ZN | statement | record (an 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.14135#WNSR |
| 8TRTT8W53A | 8TRTT8W53A | statement | record (an 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.07673#YEOF |
| 8TSC6XK4E7 | 8TSC6XK4E7 | statement | record (an 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#7XMC |
| 8TSK0ZB03N | 8TSK0ZB03N | statement | record (an 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.07285#JYXJ |
| 8TSK7KDT5H | 8TSK7KDT5H | 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.23605#0BHP |
| 8TT8A43D8Y | 8TT8A43D8Y | 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.17482#Y3P9 |
| 8TTG52XJEW | 8TTG52XJEW | unknown | open | arXiv 2308.05066#5NO5 |
| 8TV006PP2J | 8TV006PP2J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2504.07573#SLBQ |
| 8TV5Q5ZQEM | 8TV5Q5ZQEM | 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.13833#Y5UO |
| 8TVA00G2N7 | 8TVA00G2N7 | statement | record (an 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.13841#7BLT |
| 8TVMCZMAHY | 8TVMCZMAHY | 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 2404.18704#ICIB |
| 8TW42V1EDG | 8TW42V1EDG | statement | record (an 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.06699#78L8 |
| 8TWB4HJERN | 8TWB4HJERN | statement | record (an 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.37747#R6I4 |
| 8TWEZFKTMQ | 8TWEZFKTMQ | statement | record (an 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.07828#20GD |
| 8TWM94RDNA | 8TWM94RDNA | statement | record (an 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.26479#LIWL |
| 8TX2J481B9 | 8TX2J481B9 | statement | record (an 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.13260#7E4B |
| 8TX66E0B72 | 8TX66E0B72 | definition | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#defn:satisfaction |
| 8TXE0D23KJ | 8TXE0D23KJ | statement | record (an 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.04434#5FEW |
| 8TXR8QXA0Q | 8TXR8QXA0Q | statement | record (an 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.40023#I07U |