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 9701–9800 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3RN3295WHY | 3RN3295WHY | proof | open | lebl_ra ch-multivar-int.tex#proof-10 |
| 3RN4AHNH1G | 3RN4AHNH1G | 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.08382#0O4F |
| 3RNSE6EBT0 | 3RNSE6EBT0 | statement | record (an 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.38493#DO6G |
| 3RP9H80CJG | 3RP9H80CJG | statement | record (an 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.26033#1V7T |
| 3RPA09CZVM | 3RPA09CZVM | 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 2607.00146#APHL |
| 3RQ62SW4BX | 3RQ62SW4BX | statement | record (an 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.34856#22OS |
| 3RR8AW5B4W | 3RR8AW5B4W | statement | record (an 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.20678#XXZE |
| 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 |
| 3RW73HPD2D | 3RW73HPD2D | problem | open | Wikipedia Euler brick#2A9O |
| 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 |
| 3S10H6EFRT | 3S10H6EFRT | statement | record (an 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.20522#3V29 |
| 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 |
| 3SKM4WZ5JS | 3SKM4WZ5JS | statement | record (an 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.21017#SZO8 |
| 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 |
| 3SLS | XRBS2NP3NA | unknown | open | Wikipedia Simultaneous equations model#6U31 |
| 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 |
| 3SP8WJ48WR | 3SP8WJ48WR | statement | record (an 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.23526#6P1B |
| 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 |
| 3SUM | 2RSQJA5SSN | conjecture | open | Wikipedia List of unsolved problems in computer science#P20N |
| 3SUM | KD8XAQFGPS | conjecture | open | Wikipedia List of computability and complexity topics#SAMS |
| 3SUM | TJ9QTRCKND | conjecture | open | Wikipedia 3SUM, Wikidata Q4636407 |
| 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 |
| 3SW8VK4ED6 | 3SW8VK4ED6 | statement | record (an 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.23464#J7AI |