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 9001–9100 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3H2RAG78VW | 3H2RAG78VW | statement | record (an 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.11047#G0YL |
| 3H2SVK7CDE | 3H2SVK7CDE | statement | record (an 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#5STX |
| 3H3NH8RTGQ | 3H3NH8RTGQ | statement | open | austin_ula src/section2-5.xml#prop-linear-trans-columns |
| 3H3PYF534C | 3H3PYF534C | statement | record (an 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.32207#VPGJ |
| 3H5R8MYBFX | 3H5R8MYBFX | statement | open | hott_book setmath.tex#lem:BisimEqualsId |
| 3H5TE24HM5 | 3H5TE24HM5 | statement | record (an 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.10636#DGJF |
| 3H6EXX8MCV | 3H6EXX8MCV | proof | open | open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#proof-2 |
| 3H7GEQM3DJ | 3H7GEQM3DJ | statement | record (an 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#KE2O |
| 3H80P57GAN | 3H80P57GAN | 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 0809.4587#OIYK |
| 3H8AEBJJGG | 3H8AEBJJGG | statement | record (an 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.02141#4RDE |
| 3H8BEK2487 | 3H8BEK2487 | statement | record (an 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#N4Y7 |
| 3H8CXV40N4 | 3H8CXV40N4 | 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.26180#7P5T |
| 3H8TH4X51P | 3H8TH4X51P | statement | record (an 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.20190#7XD2 |
| 3H92YWE896 | 3H92YWE896 | statement | record (an 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#ZTGL |
| 3H9J2R3011 | 3H9J2R3011 | 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 2511.06555#DPGV |
| 3HA5NRD8N0 | 3HA5NRD8N0 | statement | record (an 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.22161#T9UF |
| 3HAC9P8GBB | 3HAC9P8GBB | statement | record (an 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.23527#VVUQ |
| 3HAD6XGM0A | 3HAD6XGM0A | statement | record (an 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.00775#5G6R |
| 3HAKP6FKHV | 3HAKP6FKHV | statement | record (an 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#3NIX |
| 3HAR9C454A | 3HAR9C454A | 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#FH5S |
| 3HCA1J1NFY | 3HCA1J1NFY | 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.29918#0OD9 |
| 3HCSN876JC | 3HCSN876JC | statement | record (an 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.05423#FZCO |
| 3HDNRSJCHW | 3HDNRSJCHW | statement | record (an 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.26500#IGDD |
| 3HDPT585XF | 3HDPT585XF | 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 2505.05539#H539 |
| 3HDQH4MNS0 | 3HDQH4MNS0 | statement | record (an 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.31883#9PFR |
| 3HEDZF1HY2 | 3HEDZF1HY2 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-12 |
| 3HG02QQZ5N | 3HG02QQZ5N | statement | record (an 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.18270#2Q1O |
| 3HGM0SQA4T | 3HGM0SQA4T | statement | record (an 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.21533#GY4Q |
| 3HGN8447AW | 3HGN8447AW | 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.03661#RTPB |
| 3HGTXZEPNQ | 3HGTXZEPNQ | statement | record (an 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.13100#J3H5 |
| 3HGW9XG7R4 | 3HGW9XG7R4 | statement | record (an 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.19959#ZX6M |
| 3HHEZG3J81 | 3HHEZG3J81 | definition | open | austin_ula src/section6-1.xml#definition-1 |
| 3HHS23Z38M | 3HHS23Z38M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#BVJH |
| 3HHTWZ53XC | 3HHTWZ53XC | 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.24845#WI0Y |
| 3HHZ0HA1AD | 3HHZ0HA1AD | 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.05784#K6GK |
| 3HJG5XY0DP | 3HJG5XY0DP | statement | record (an 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.31269#B94N |
| 3HJMYTBR35 | 3HJMYTBR35 | 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.23605#YXNH |
| 3HJWXE489X | 3HJWXE489X | definition | open | hott_book categories.tex#ct:prod-cat |
| 3HM7TQ32F7 | 3HM7TQ32F7 | statement | record (an 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.31604#RH6H |
| 3HMGF22NB1 | 3HMGF22NB1 | statement | record (an 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#SCNY |
| 3HMV9NMM4S | 3HMV9NMM4S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.08413#8A4Q |
| 3HNH07SYNA | 3HNH07SYNA | 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.14308#0A9T |
| 3HNH86MBTE | 3HNH86MBTE | statement | record (an 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.32505#9CTK |
| 3HNYE972PY | 3HNYE972PY | 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.06895#KW1F |
| 3HNYEDF74A | 3HNYEDF74A | statement | record (an 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.12683#KBM5 |
| 3HNZAST2NG | 3HNZAST2NG | 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 2505.04593#UUL6 |
| 3HP1NB6G5Z | 3HP1NB6G5Z | statement | record (an 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.21298#1I14 |
| 3HP5TG5HYT | 3HP5TG5HYT | 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.35538#E4Q6 |
| 3HPA33HPHD | 3HPA33HPHD | statement | record (an 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.26269#YJCA |
| 3HPCQMYD5S | 3HPCQMYD5S | 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.11048#DZDU |
| 3HQ2QV5NCQ | 3HQ2QV5NCQ | example | open | lebl_ra ch-metric.tex#example-20 |
| 3HQHHQPPH9 | 3HQHHQPPH9 | 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.30262#F7AW |
| 3HR1JK99NS | 3HR1JK99NS | statement | record (an 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.36334#14VT |
| 3HR72X3V1D | 3HR72X3V1D | statement | record (an 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#9ID9 |
| 3HRGEVMH1N | 3HRGEVMH1N | statement | record (an 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.21427#MLNQ |
| 3HRGQRAB5R | 3HRGQRAB5R | 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.40207#BZLV |
| 3HRXCZX5JZ | 3HRXCZX5JZ | statement | record (an 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.01498#2GV5 |
| 3HSKK7CGDK | 3HSKK7CGDK | unknown | open | arXiv 1809.07362#FX8X |
| 3HSNV0CKB9 | 3HSNV0CKB9 | statement | record (an 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.01572#44VE |
| 3HT252ERR1 | 3HT252ERR1 | unknown | open | arXiv 1408.1555#3NW2 |
| 3HTJ0SY55X | 3HTJ0SY55X | statement | record (an 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#UDMC |
| 3HV1SAH86X | 3HV1SAH86X | 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 2212.00617#2GVI |
| 3HV3X915JZ | 3HV3X915JZ | 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.33469#NDWD |
| 3HV8SDE616 | 3HV8SDE616 | statement | record (an 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/9602216#XX26 |
| 3HVBTNEEHG | 3HVBTNEEHG | statement | record (an 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.07790#S2L6 |
| 3HVTAKWD35 | 3HVTAKWD35 | statement | record (an 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.21102#JUHZ |
| 3HW37V2F9Z | 3HW37V2F9Z | 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.15217#7T2B |
| 3HW3C4SG2A | 3HW3C4SG2A | statement | record (an 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.22077#DQR6 |
| 3HW5WMPXCW | 3HW5WMPXCW | 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.11800#YYNM |
| 3HW935PM1S | 3HW935PM1S | exercise | open | austin_ula src/exercises/exercises1-2.xml#exercise-1 |
| 3HWA00EJWZ | 3HWA00EJWZ | 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.00811#J68N |
| 3HWN7GKT4M | 3HWN7GKT4M | statement | record (an 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.07260#CTDA |
| 3HWT5P48PS | 3HWT5P48PS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.08625#JAU2 |
| 3HXCWQ0DAH | 3HXCWQ0DAH | statement | record (an 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.14143#PIWI |
| 3HY3TP1WW7 | 3HY3TP1WW7 | 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 2608.23797#XUC4 |
| 3HYH2HC252 | 3HYH2HC252 | statement | record (an 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.04165#D1ZQ |
| 3HYPWK0FV4 | 3HYPWK0FV4 | statement | record (an 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#33YS |
| 3HZ2E4G0TJ | 3HZ2E4G0TJ | 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.11800#JITQ |
| 3HZCC4XRTT | 3HZCC4XRTT | statement | record (an 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.16203#C7FX |
| 3HZXXQC7B6 | 3HZXXQC7B6 | statement | record (an 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.01858#GQ9K |
| 3J020QYG9G | 3J020QYG9G | 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.30262#RHQC |
| 3J069RGB44 | 3J069RGB44 | statement | record (an 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.40096#XMC2 |
| 3J0B7Z1351 | 3J0B7Z1351 | 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.28011#8WP2 |
| 3J156FXJHP | 3J156FXJHP | 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 2007.14459#0KN3 |
| 3J2F8WFZ9T | 3J2F8WFZ9T | statement | record (an 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.02275#OFJT |
| 3J2S9G9MY6 | 3J2S9G9MY6 | statement | record (an 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.08357#BMWW |
| 3J2SZMQQAY | 3J2SZMQQAY | statement | record (an 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#MPC4 |
| 3J2VF9AVJE | 3J2VF9AVJE | statement | record (an 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#KFZ0 |
| 3J2WZ02SM3 | 3J2WZ02SM3 | statement | record (an 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.31090#5KAW |
| 3J2XKMZC8H | 3J2XKMZC8H | statement | record (an 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.02255#N85P |
| 3J2ZAY8XVF | 3J2ZAY8XVF | exercise | open | lebl_scv scv.tex#exercise:isolatedhartogs |
| 3J3A9RB6R1 | 3J3A9RB6R1 | statement | record (an 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.0817#518G |
| 3J3KEH4RRH | 3J3KEH4RRH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.08858#GKC8 |
| 3J3SKFA09D | 3J3SKFA09D | 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.22847#81OD |
| 3J3V6GXW68 | 3J3V6GXW68 | statement | open | napkin tex/quantum/circuits.tex#theorem-1 |
| 3J46NZPZ12 | 3J46NZPZ12 | statement | record (an 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.13850#B4DN |
| 3J4DXZ1ZV1 | 3J4DXZ1ZV1 | 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.37893#N4LH |
| 3J4JYY2PJM | 3J4JYY2PJM | statement | record (an 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.05118#57WQ |
| 3J4YF9JZWY | 3J4YF9JZWY | 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 2402.05268#52AP |
| 3J56CKSE60 | 3J56CKSE60 | 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.13846#0HR9 |