Inventory: H
The rows of the inventory whose names start with H. 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 3101–3200 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HPYZR0FZNJ | HPYZR0FZNJ | statement | record (an 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.39890#0V44 |
| HPZBF5927R | HPZBF5927R | statement | record (an 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.12565#T2XD |
| HPZKN347DY | HPZKN347DY | statement | record (an 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.05706#B6EB |
| HPZR3431GY | HPZR3431GY | proof | open | open_logic content/first-order-logic/tableaux/provability-propositional.tex#proof-2 |
| HPZV11528E | HPZV11528E | statement | record (an 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.14204#OYY9 |
| HQ077G5YXY | HQ077G5YXY | 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.26337#OZHR |
| HQ0TXX7T36 | HQ0TXX7T36 | statement | record (an 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/0406514#9QZI |
| HQ0XXWXTC5 | HQ0XXWXTC5 | statement | record (an 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.37967#3HPB |
| HQ14AA67N4 | HQ14AA67N4 | statement | record (an 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.30600#8M6V |
| HQ1GRBVC0N | HQ1GRBVC0N | statement | record (an 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.28518#D578 |
| HQ21AS5Z0B | HQ21AS5Z0B | statement | record (an 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.32599#SLU8 |
| HQ29VTWND0 | HQ29VTWND0 | statement | record (an 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.13891#BGPM |
| HQ2PSBDV2N | HQ2PSBDV2N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.14097#7YS3 |
| HQ3HTJ25JT | HQ3HTJ25JT | statement | record (an 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#QCKO |
| HQ3Q0T70C9 | HQ3Q0T70C9 | 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.39254#6X3O |
| HQ3QJZJHWP | HQ3QJZJHWP | statement | record (an 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.14377#HBPU |
| HQ42Z2FMTM | HQ42Z2FMTM | statement | record (an 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.31274#AM31 |
| HQ459FSQHB | HQ459FSQHB | statement | record (an 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.20311#EL36 |
| HQ4HN37J1X | HQ4HN37J1X | statement | record (an 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.00512#7X38 |
| HQ4N5XW231 | HQ4N5XW231 | definition | open | napkin tex/H113/ring-intro.tex#definition-7 |
| HQ4RQB39B7 | HQ4RQB39B7 | statement | record (an 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.20106#7XVV |
| HQ588V8TE3 | HQ588V8TE3 | statement | open | hott_book categories.tex#ct:adj-repr |
| HQ5J6M8QRJ | HQ5J6M8QRJ | statement | record (an 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.07442#X41J |
| HQ68MWX6N1 | HQ68MWX6N1 | statement | record (an 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.32651#0P1S |
| HQ6TFQF8TG | HQ6TFQF8TG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1603.00857#QSOL |
| HQ72Z2CH7Y | HQ72Z2CH7Y | 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.36877#5PL0 |
| HQ7AXQ5AYB | HQ7AXQ5AYB | statement | record (an 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.18992#KGRK |
| HQ7DGETWGA | HQ7DGETWGA | statement | record (an 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.12502#M8Q8 |
| HQ83V6CMWH | HQ83V6CMWH | statement | record (an 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.18277#QV44 |
| HQ87N1KDJA | HQ87N1KDJA | statement | record (an 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.25880#XU9R |
| HQ8GHY5JYC | HQ8GHY5JYC | 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.16518#MXMR |
| HQ8HTFCZFC | HQ8HTFCZFC | 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.20306#EARH |
| HQ8VYT9SV2 | HQ8VYT9SV2 | statement | record (an 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.21960#N9CO |
| HQ8Z0FT5DM | HQ8Z0FT5DM | statement | record (an 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.17516#NX1N |
| HQ91Y2YEAN | HQ91Y2YEAN | statement | record (an 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.01932#ND3V |
| HQ9E71FK06 | HQ9E71FK06 | statement | record (an 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.18536#WYM8 |
| HQ9ZW0ANWT | HQ9ZW0ANWT | statement | record (an 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#H3WI |
| HQAFFTVE5W | HQAFFTVE5W | statement | record (an 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.04498#67X5 |
| HQAWZ4SA1M | HQAWZ4SA1M | proof | open | hott_book hlevels.tex#proof-18 |
| HQAXHYFJ20 | HQAXHYFJ20 | statement | record (an 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.08383#7TMJ |
| HQBCRGRB23 | HQBCRGRB23 | statement | record (an 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.07608#V2NJ |
| HQBQ2E3M8X | HQBQ2E3M8X | statement | record (an 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.38131#0PSK |
| HQBT50B7CQ | HQBT50B7CQ | 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.36421#3HH6 |
| HQBWM5XGS8 | HQBWM5XGS8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.07030#W1EZ |
| HQBYV7HT4F | HQBYV7HT4F | statement | record (an 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.33219#AOA1 |
| HQC03Z9M11 | HQC03Z9M11 | statement | record (an 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.28076#W11X |
| HQCNZ8D6Q3 | HQCNZ8D6Q3 | statement | record (an 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.32174#JEIA |
| HQDAJ5YE53 | HQDAJ5YE53 | statement | record (an 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.15511#QHXC |
| HQDAW3VJZY | HQDAW3VJZY | statement | record (an 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#W86G |
| HQDEHSMMH2 | HQDEHSMMH2 | statement | record (an 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.08226#MCYT |
| HQDRFVW1QJ | HQDRFVW1QJ | statement | record (an 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.35398#OR0Z |
| HQF31M52H0 | HQF31M52H0 | statement | record (an 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#B2HD |
| HQF5KNA40F | HQF5KNA40F | 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 1512.06981#ZHI6 |
| HQFDZ9V70N | HQFDZ9V70N | statement | record (an 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.15424#IE9U |
| HQFH8JHCSK | HQFH8JHCSK | statement | record (an 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.00108#0DZW |
| HQG9NWW2V3 | HQG9NWW2V3 | statement | record (an 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.05529#WRSH |
| HQH3WBPMRA | HQH3WBPMRA | statement | record (an 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#KUNR |
| HQHGGA340Y | HQHGGA340Y | statement | record (an 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.33360#5S5X |
| HQHJPHHC20 | HQHJPHHC20 | 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 2508.03972#8U29 |
| HQHSWYKBAD | HQHSWYKBAD | statement | record (an 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.20801#FZOV |
| HQJBA4T2SM | HQJBA4T2SM | statement | record (an 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.35191#6HSM |
| HQJKK9MCTM | HQJKK9MCTM | statement | record (an 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.16099#BQNP |
| HQJRQFA938 | HQJRQFA938 | 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 2308.05715#AZYT |
| HQJX880WGF | HQJX880WGF | statement | record (an 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.33300#LWRI |
| HQK3ACM835 | HQK3ACM835 | 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.21622#QB38 |
| HQK7QWSPE8 | HQK7QWSPE8 | statement | record (an 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.14803#QKMY |
| HQK81M068B | HQK81M068B | 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.10930#9DWL |
| HQKZ1KVKSE | HQKZ1KVKSE | statement | record (an 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.18106#NY1L |
| HQMD05E0DN | HQMD05E0DN | statement | record (an 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#MGFL |
| HQMDM4E9MN | HQMDM4E9MN | statement | record (an 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.14278#XMQL |
| HQMFHBMSW5 | HQMFHBMSW5 | statement | record (an 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.32906#354V |
| HQMHNV56VZ | HQMHNV56VZ | statement | record (an 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.33241#UEFL |
| HQMZZKR5A2 | HQMZZKR5A2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.16041#7EFW |
| HQPD43XKBX | HQPD43XKBX | statement | record (an 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.38014#N5V3 |
| HQPV1VGBKE | HQPV1VGBKE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.02207#07Y6 |
| HQQ1WNY1YD | HQQ1WNY1YD | statement | record (an 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.30779#NL7D |
| HQQC4RCNNK | HQQC4RCNNK | statement | record (an 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.12238#5CDE |
| HQR3AKP4ZV | HQR3AKP4ZV | statement | record (an 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.11785#3VU7 |
| HQRKZG1WP8 | HQRKZG1WP8 | 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.36423#4LDN |
| HQRN09906S | HQRN09906S | statement | record (an 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.25314#QLLT |
| HQRPERTJKX | HQRPERTJKX | statement | record (an 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.06541#6963 |
| HQS32X904N | HQS32X904N | statement | record (an 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#YBMM |
| HQS8P5FNZ7 | HQS8P5FNZ7 | statement | record (an 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#J2VA |
| HQSF14D9FX | HQSF14D9FX | statement | record (an 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.28664#9ZJY |
| HQT7KJCG33 | HQT7KJCG33 | statement | open | napkin tex/alg-NT/numfield.tex#thm:artin_primitive_elm |
| HQTCF3MVF2 | HQTCF3MVF2 | statement | record (an 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#SGNA |
| HQVJA235X1 | HQVJA235X1 | statement | record (an 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#3F5J |
| HQVMQVBK16 | HQVMQVBK16 | 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 2407.02022#4AZV |
| HQVTW0CCKH | HQVTW0CCKH | 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#EA3V |
| HQW47M43V5 | HQW47M43V5 | 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 1705.04310#FPK2 |
| HQWHJH6RSF | HQWHJH6RSF | statement | record (an 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.14803#5UJ4 |
| HQWKP8CZ0E | HQWKP8CZ0E | 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.31269#V0DP |
| HQX2S2X8HE | HQX2S2X8HE | statement | record (an 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.21929#2GTR |
| HQYXRR21Y1 | HQYXRR21Y1 | 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.10469#S5Y7, arXiv 2610.16875#X3RH |
| HQZCJ73Z8T | HQZCJ73Z8T | statement | record (an 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.12329#GCO6 |
| HR000EBWZ6 | HR000EBWZ6 | definition | open | lebl_ra ch-several-vars-ders.tex#defn-9 |
| HR173ZQSEK | HR173ZQSEK | definition | open | lebl_ra ch-metric.tex#defn-6 |
| HR2AB657YD | HR2AB657YD | statement | record (an 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.02663#AP18 |
| HR2QM177WJ | HR2QM177WJ | 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 2303.14022#1XBH |
| HR2R3R23E8 | HR2R3R23E8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.16304#FE7X |