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 18201–18300 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6HMDXG08S7 | 6HMDXG08S7 | statement | record (an 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.26089#KP1A |
| 6HMKXDWTM3 | 6HMKXDWTM3 | statement | record (an 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.33162#VJCH |
| 6HPARDKCEZ | 6HPARDKCEZ | statement | record (an 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.23804#G8YX |
| 6HPBPK85KF | 6HPBPK85KF | statement | record (an 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.38206#AZ0C |
| 6HQ01QGNMW | 6HQ01QGNMW | statement | record (an 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.24701#R5XW |
| 6HQ24NWTRH | 6HQ24NWTRH | statement | record (an 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.05722#G4BY |
| 6HQDNNW070 | 6HQDNNW070 | statement | record (an 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.02901#5QQA |
| 6HQF1QHTCQ | 6HQF1QHTCQ | 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.17669#5BPI |
| 6HQGH703PA | 6HQGH703PA | statement | record (an 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.20469#8IYX |
| 6HRH1FEX1N | 6HRH1FEX1N | statement | record (an 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.16178#KP3A |
| 6HRK5JK81J | 6HRK5JK81J | statement | record (an 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.38118#CQ0B |
| 6HRKJMSPGW | 6HRKJMSPGW | statement | record (an 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.01919#OTRF |
| 6HRRZHCAWF | 6HRRZHCAWF | 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.09945#OHSC |
| 6HT0B98G2B | 6HT0B98G2B | 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.03579#463C |
| 6HTR9SZGX1 | 6HTR9SZGX1 | statement | record (an 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.34516#MBRY |
| 6HV4CTBR40 | 6HV4CTBR40 | statement | record (an 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.31363#WT5U |
| 6HVA1ZSD7K | 6HVA1ZSD7K | statement | record (an 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.08052#QEAZ |
| 6HVAEYA8H9 | 6HVAEYA8H9 | statement | record (an 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#L9CO |
| 6HVC4PEZ9N | 6HVC4PEZ9N | statement | record (an 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.12740#ZWCB |
| 6HVHZEK3Z5 | 6HVHZEK3Z5 | statement | record (an 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.26769#8QCS |
| 6HWJFEJZXD | 6HWJFEJZXD | statement | record (an 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.27635#9RRU |
| 6HWWFSCB5A | 6HWWFSCB5A | statement | record (an 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.02901#21DH |
| 6HWYZ6S1VW | 6HWYZ6S1VW | statement | record (an 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.27641#0RPO |
| 6HX2CF4WB5 | 6HX2CF4WB5 | statement | record (an 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.24610#ZXEU |
| 6HXGWCPNN6 | 6HXGWCPNN6 | statement | record (an 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.16606#K6RX |
| 6HY5WWNQ34 | 6HY5WWNQ34 | 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.23237#3PU5 |
| 6HZ2K7BTG3 | 6HZ2K7BTG3 | unknown | open | arXiv 2610.13680#OJW5 |
| 6HZ4HTZM2C | 6HZ4HTZM2C | statement | record (an 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#26Z0 |
| 6HZ87TZZCY | 6HZ87TZZCY | statement | record (an 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.39845#8UBA |
| 6J09CMKQRY | 6J09CMKQRY | statement | record (an 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.39700#C1OP |
| 6J0A2673Y0 | 6J0A2673Y0 | statement | record (an 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.03856#HS37 |
| 6J0EZHBBTE | 6J0EZHBBTE | proof | open | hott_book reals.tex#proof-20 |
| 6J0JQ92ZHJ | 6J0JQ92ZHJ | exercise | open | lebl_ra ch-multivar-int.tex#exercise-59 |
| 6J0KZYY23D | 6J0KZYY23D | statement | record (an 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.17817#05L6 |
| 6J0W03BHGV | 6J0W03BHGV | statement | record (an 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.02506#HG5S |
| 6J0WGTGVDN | 6J0WGTGVDN | statement | record (an 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.17139#R19H |
| 6J16N806JW | 6J16N806JW | exercise | open | napkin tex/alg-geom/spec-zariski.tex#problem-3 |
| 6J1830MEKM | 6J1830MEKM | statement | record (an 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.23871#DJEV |
| 6J1A3RCGK9 | 6J1A3RCGK9 | statement | record (an 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.16657#O0RW |
| 6J1D13YY1H | 6J1D13YY1H | statement | record (an 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.29148#QMOQ |
| 6J1Z15HBQX | 6J1Z15HBQX | statement | record (an 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.38953#V3UJ |
| 6J2H9SWJME | 6J2H9SWJME | 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.07828#YVCU |
| 6J3AD8VGTM | 6J3AD8VGTM | statement | record (an 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.09084#R06V |
| 6J3NK74CPR | 6J3NK74CPR | example | open | active_calculus source/sec-2-5-chain.xml#example-4 |
| 6J3Q0MWH23 | 6J3Q0MWH23 | 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.04046#CF93 |
| 6J3S84JZJ6 | 6J3S84JZJ6 | statement | record (an 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#D4B3 |
| 6J3XT8DN83 | 6J3XT8DN83 | proof | open | hott_book logic.tex#proof-18 |
| 6J3YX3NJ2Z | 6J3YX3NJ2Z | statement | record (an 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.18226#XPSR |
| 6J40MF6Q7H | 6J40MF6Q7H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#9PYJ |
| 6J4CGPPVTT | 6J4CGPPVTT | statement | record (an 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.07040#9RPF |
| 6J4YYM1HDY | 6J4YYM1HDY | 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.21914#R4G3 |
| 6J53S76JC5 | 6J53S76JC5 | statement | record (an 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.21477#5IVY |
| 6J5DMKYFMT | 6J5DMKYFMT | statement | record (an 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.38228#50ES |
| 6J6TNWEAQ0 | 6J6TNWEAQ0 | statement | record (an 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.35467#94CW |
| 6J6V2ERE0A | 6J6V2ERE0A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.12669#A3ON |
| 6J73KHYXY2 | 6J73KHYXY2 | statement | record (an 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.01410#IITH |
| 6J7WJQRS66 | 6J7WJQRS66 | statement | record (an 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.13042#IENF |
| 6J7YFVE04S | 6J7YFVE04S | statement | record (an 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#ZU09 |
| 6J85ZT15DK | 6J85ZT15DK | 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.21080#1DDN |
| 6J86J2TNW2 | 6J86J2TNW2 | statement | record (an 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.12263#3TZS |
| 6J8XFJMQH2 | 6J8XFJMQH2 | 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.21578#WZ81 |
| 6J9K5KH62K | 6J9K5KH62K | statement | record (an 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.31127#IW72 |
| 6J9K6E2PFB | 6J9K6E2PFB | statement | open | open_logic content/methods/induction/structural-induction.tex#prop-1 |
| 6J9T5HMKKR | 6J9T5HMKKR | statement | record (an 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.07784#NYHW |
| 6JAE31YZ5K | 6JAE31YZ5K | example | open | austin_ula src/section6-3.xml#example-3 |
| 6JAPT1GVH3 | 6JAPT1GVH3 | statement | record (an 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.21692#XFKU |
| 6JB65GWZ0M | 6JB65GWZ0M | 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#3AQY |
| 6JBBEM614W | 6JBBEM614W | statement | record (an 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.17240#XWUQ |
| 6JBBQ3T4S3 | 6JBBQ3T4S3 | 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.20135#XY6X |
| 6JBPVR1BZV | 6JBPVR1BZV | statement | record (an 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#0166 |
| 6JC3SSEK9T | 6JC3SSEK9T | statement | record (an 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.03449#HD80 |
| 6JC4CEY2VA | 6JC4CEY2VA | 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.21668#982Q |
| 6JCDZ4K0R2 | 6JCDZ4K0R2 | statement | record (an 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.37593#N16O |
| 6JDEZ19ENF | 6JDEZ19ENF | statement | record (an 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#BHU0 |
| 6JDWQ13ZEV | 6JDWQ13ZEV | statement | record (an 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.21935#9PXA |
| 6JE372N8PK | 6JE372N8PK | 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.39269#HOVA |
| 6JE3KEX4RY | 6JE3KEX4RY | statement | open | open_logic content/model-theory/basics/nonstandard-arithmetic.tex#thm:non-std |
| 6JE901PVJF | 6JE901PVJF | statement | record (an 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.27846#WUV7 |
| 6JEK120Z3A | 6JEK120Z3A | 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.31243#ASKB |
| 6JFGHBSTEX | 6JFGHBSTEX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.07697#PA7D |
| 6JFQ95C80P | 6JFQ95C80P | statement | record (an 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.05965#C1DW |
| 6JGXFXCAEB | 6JGXFXCAEB | statement | record (an 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.24131#Q112 |
| 6JHHGMJYZQ | 6JHHGMJYZQ | 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 1612.08394#C2Q8 |
| 6JJ87Q1FZ0 | 6JJ87Q1FZ0 | 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.00453#85GO |
| 6JJ90BSSMM | 6JJ90BSSMM | example | open | open_logic content/many-valued-logic/syntax-and-semantics/connectives.tex#ex-1 |
| 6JJNCG7EZ5 | 6JJNCG7EZ5 | statement | record (an 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#3VS0 |
| 6JK6CE864H | 6JK6CE864H | statement | record (an 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#1HF2 |
| 6JKH35A126 | 6JKH35A126 | statement | record (an 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.21528#721I |
| 6JM21T0SG1 | 6JM21T0SG1 | statement | record (an 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.40017#7WM4 |
| 6JNJZMWYYY | 6JNJZMWYYY | 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 0904.2051#R599 |
| 6JP6XER9FE | 6JP6XER9FE | statement | record (an 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.09900#IMN3 |
| 6JPN0VCC01 | 6JPN0VCC01 | statement | record (an 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.00789#A342 |
| 6JPT2WSPVV | 6JPT2WSPVV | statement | record (an 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.20466#CC3H |
| 6JPY1W1CH8 | 6JPY1W1CH8 | 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.11545#P4SL |
| 6JQ9VT6ZQZ | 6JQ9VT6ZQZ | statement | record (an 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.21915#1RN8 |
| 6JQA8C47E2 | 6JQA8C47E2 | statement | record (an 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.21675#5PFL |
| 6JQG8MY8GS | 6JQG8MY8GS | statement | record (an 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.28552#2JOM |
| 6JQXVTKP16 | 6JQXVTKP16 | 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 2412.14956#6OX7 |
| 6JQY7YE65X | 6JQY7YE65X | 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.05259#RXW6 |
| 6JR3RZA9G0 | 6JR3RZA9G0 | statement | record (an 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.02751#HLMP |