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 8401–8500 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3RS8HXEJPC | 3RS8HXEJPC | statement | record (an 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#Y1EB |
| 3RS9T9J5HV | 3RS9T9J5HV | statement | record (an 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#HELW |
| 3RTCP28S9Q | 3RTCP28S9Q | statement | record (an 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.27752#6OLX |
| 3RTGGZ6809 | 3RTGGZ6809 | statement | record (an 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.13798#8YFN |
| 3RV1JYFVK7 | 3RV1JYFVK7 | statement | record (an 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#3YO1 |
| 3RW3NG162Z | 3RW3NG162Z | statement | record (an 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.09207#5QIC |
| 3RWK2HA6Z8 | 3RWK2HA6Z8 | statement | record (an 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.38772#STX9 |
| 3RWWK1B3QX | 3RWWK1B3QX | statement | record (an 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.04325#RX2B |
| 3RXB8352JR | 3RXB8352JR | statement | record (an 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.36423#F8RY |
| 3RYKWC771P | 3RYKWC771P | statement | record (an 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.18690#IBGX |
| 3RYQ7M1KHM | 3RYQ7M1KHM | statement | record (an 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.16102#FS6L |
| 3RZCN35W7N | 3RZCN35W7N | statement | record (an 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.26600#H2R2 |
| 3RZF4PCE2C | 3RZF4PCE2C | statement | record (an 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.06747#K1OD |
| 3RZVWM1089 | 3RZVWM1089 | statement | record (an 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.36717#0UPW |
| 3S1BFD9HAJ | 3S1BFD9HAJ | statement | record (an 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.10058#ERXJ |
| 3S1RXPB7EX | 3S1RXPB7EX | statement | record (an 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#WUT6 |
| 3S22TZTRPD | 3S22TZTRPD | 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.19288#0XEQ |
| 3S2PT1484S | 3S2PT1484S | statement | record (an 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.28501#NBM9 |
| 3S32CGTPH3 | 3S32CGTPH3 | statement | record (an 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#N8D6 |
| 3S3SJKBKBB | 3S3SJKBKBB | statement | record (an 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.19852#IC4C |
| 3S3YBSX1VV | 3S3YBSX1VV | exercise | open | napkin tex/alg-NT/classgrp.tex#ques-11 |
| 3S416902F3 | 3S416902F3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1003.2117#167B |
| 3S4MKFMEFT | 3S4MKFMEFT | statement | record (an 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.34168#N4WO |
| 3S4R7TKV87 | 3S4R7TKV87 | statement | record (an 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.28669#A45J |
| 3S5PWQV61J | 3S5PWQV61J | statement | record (an 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.22288#BOJQ |
| 3S6019SFQS | 3S6019SFQS | statement | record (an 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.28893#RSLR |
| 3S60J3ES2M | 3S60J3ES2M | statement | record (an 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#9HT7 |
| 3S66GWSMM2 | 3S66GWSMM2 | statement | record (an 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.24739#XGUU |
| 3S6WS9AAW6 | 3S6WS9AAW6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00811#JL1P |
| 3S6ZCFVEWH | 3S6ZCFVEWH | 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.36423#JUAY |
| 3S85ZR4Y9X | 3S85ZR4Y9X | statement | record (an 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.14045#LSU2 |
| 3S8DNT7VWX | 3S8DNT7VWX | statement | record (an 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.02213#XAB1 |
| 3S9H2959GX | 3S9H2959GX | statement | record (an 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.03555#5TKN |
| 3S9J9C6V2M | 3S9J9C6V2M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.06336#NYZZ |
| 3S9T29ET66 | 3S9T29ET66 | statement | open | open_logic content/normal-modal-logic/completeness/completeness-K.tex#cor:Kcomplete |
| 3S9XS4T14X | 3S9XS4T14X | statement | record (an 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#HTMD |
| 3SACZK29Z3 | 3SACZK29Z3 | statement | record (an 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#QM87 |
| 3SAJQZE726 | 3SAJQZE726 | statement | record (an 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.21662#Z4H9 |
| 3SAVA6R8W6 | 3SAVA6R8W6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#5S15 |
| 3SAZVX1T4P | 3SAZVX1T4P | statement | record (an 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.08658#BMJ5 |
| 3SB88FRH7M | 3SB88FRH7M | statement | record (an 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.00339#YC1C |
| 3SBVYH8B8Q | 3SBVYH8B8Q | statement | record (an 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.32946#A4BX |
| 3SC9RN6FAB | 3SC9RN6FAB | statement | record (an 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.16583#QMFV |
| 3SCCGN6Y9B | 3SCCGN6Y9B | 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.38975#CQLP |
| 3SCSNKFFDB | 3SCSNKFFDB | 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 2510.05499#3O1D |
| 3SD450A5AC | 3SD450A5AC | statement | record (an 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#7W96 |
| 3SD8XSDGVA | 3SD8XSDGVA | statement | record (an 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.18219#JPH9 |
| 3SDPTP8BJ6 | 3SDPTP8BJ6 | statement | record (an 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#AYAT |
| 3SDSGZQJP0 | 3SDSGZQJP0 | 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 2111.07409#CIAG |
| 3SDWZWXC25 | 3SDWZWXC25 | statement | record (an 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#18WS |
| 3SEH56GHCT | 3SEH56GHCT | unknown | open | arXiv 2610.13680#WRSM |
| 3SEYR446QN | 3SEYR446QN | 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 2506.16491#XPC6 |
| 3SF1TQ0ZT2 | 3SF1TQ0ZT2 | exercise | open | open_logic content/first-order-logic/sequent-calculus/soundness.tex#prob-2 |
| 3SF27RXCR3 | 3SF27RXCR3 | statement | record (an 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.19787#GNEL |
| 3SF4TXTTAA | 3SF4TXTTAA | statement | record (an 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#USML |
| 3SFYR4SGP0 | 3SFYR4SGP0 | 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.33018#ZA8K |
| 3SGR4M1H4H | 3SGR4M1H4H | definition | open | open_logic content/incompleteness/arithmetization-syntax/coding-symbols.tex#defn-1 |
| 3SH9C82HHX | 3SH9C82HHX | statement | record (an 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/0301148#FXJF |
| 3SHGZBTACD | 3SHGZBTACD | statement | record (an 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.17569#YX9Z |
| 3SHVYS5FQ5 | 3SHVYS5FQ5 | 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.12324#B8NP |
| 3SJ0353QFP | 3SJ0353QFP | 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 0804.3628#FNB3 |
| 3SJ8VYH579 | 3SJ8VYH579 | statement | record (an 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.25129#8HLT |
| 3SJTY2A29V | 3SJTY2A29V | proof | open | open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#proof-1 |
| 3SKVG2P8NW | 3SKVG2P8NW | statement | record (an 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.17677#UDO9 |
| 3SKVYR3H1H | 3SKVYR3H1H | statement | record (an 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.19309#VTEF |
| 3SME0X2SBT | 3SME0X2SBT | statement | record (an 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.33313#P9WZ |
| 3SN6209DFF | 3SN6209DFF | example | open | napkin tex/alg-NT/dedekind.tex#example-2 |
| 3SP4MZGMYP | 3SP4MZGMYP | statement | record (an 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.12054#HO94 |
| 3SPB6NWM1S | 3SPB6NWM1S | statement | record (an 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.37589#5H0H |
| 3SPYVGRM9R | 3SPYVGRM9R | statement | record (an 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.17752#U5SB |
| 3SQ7TH90TY | 3SQ7TH90TY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.06030#8HG0 |
| 3SQEYPZJ3T | 3SQEYPZJ3T | statement | record (an 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.18803#0J81 |
| 3SQYCJS9EJ | 3SQYCJS9EJ | statement | record (an 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.28411#GW0T |
| 3SR9GH3SKF | 3SR9GH3SKF | statement | record (an 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.03555#ENUZ |
| 3SRXWZBKXQ | 3SRXWZBKXQ | statement | record (an 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#32HN |
| 3SS4VEA742 | 3SS4VEA742 | statement | record (an 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#MNQX |
| 3SSKG78JHE | 3SSKG78JHE | statement | record (an 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.08658#FZK8 |
| 3SSTQ6DT8V | 3SSTQ6DT8V | statement | record (an 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.32078#APJL |
| 3SSXJ89XHJ | 3SSXJ89XHJ | statement | record (an 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#AKPN |
| 3STT9K34NR | 3STT9K34NR | statement | record (an 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.11974#DLQR |
| 3SVE8RZ0ZP | 3SVE8RZ0ZP | proof | open | hott_book setmath.tex#proof-44 |
| 3SVJJRV6B8 | 3SVJJRV6B8 | 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.15385#532G |
| 3SVN8W9R8F | 3SVN8W9R8F | statement | record (an 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.16332#KPQC |
| 3SVTYNRF5M | 3SVTYNRF5M | example | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#example-1 |
| 3SWA6FWE4M | 3SWA6FWE4M | statement | record (an 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.03231#ZEKE |
| 3SWB72CM4S | 3SWB72CM4S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.5343#SHZI |
| 3SWBGWNX1P | 3SWBGWNX1P | exercise | open | austin_ula src/exercises/exercises4-3.xml#exercise-3 |
| 3SWBV0KX7M | 3SWBV0KX7M | unknown | open | |
| 3SWZA7ZX3C | 3SWZA7ZX3C | statement | record (an 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.32860#XBNI |
| 3SYH5MW5Q8 | 3SYH5MW5Q8 | statement | record (an 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#A8DT |
| 3SYYAEDEC4 | 3SYYAEDEC4 | exercise | open | napkin tex/calculus/taylor.tex#problem-3 |
| 3SZ5SGVWZ8 | 3SZ5SGVWZ8 | statement | record (an 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.16768#WSN9 |
| 3SZANBT7MX | 3SZANBT7MX | statement | record (an 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.15869#KUE4 |
| 3SZN15DWXN | 3SZN15DWXN | statement | record (an 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.26962#18ER |
| 3SZWQDCM2T | 3SZWQDCM2T | 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.26133#UQPV |
| 3T00ZF9HTT | 3T00ZF9HTT | example | open | napkin tex/set-theory/models.tex#example-5 |
| 3T01P95ESY | 3T01P95ESY | statement | record (an 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#L0OB |
| 3T0F5YRABR | 3T0F5YRABR | statement | record (an 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.14505#UHVV |
| 3T0Q40HV4V | 3T0Q40HV4V | statement | record (an 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.18847#3SCV |
| 3T0X60T14S | 3T0X60T14S | statement | record (an 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.14214#69NW |