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 2501–2600 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HK7XERBN00 | HK7XERBN00 | 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.18281#MBPQ |
| HK8BWAG0AQ | HK8BWAG0AQ | 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.27056#F0KY |
| HK8CKZCDE7 | HK8CKZCDE7 | statement | record (an 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.38793#5MAZ |
| HK8EXA6V00 | HK8EXA6V00 | statement | record (an 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.13699#N25T |
| HK982XTVF1 | HK982XTVF1 | statement | record (an 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.33231#5C6V |
| HK9DA2J3M4 | HK9DA2J3M4 | statement | record (an 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.37739#FNVD |
| HK9GFTGWP6 | HK9GFTGWP6 | statement | record (an 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.24206#TNMW |
| HK9MJY71JD | HK9MJY71JD | proof | open | lebl_ra ch-approximate.tex#proof-19 |
| HK9X521EQG | HK9X521EQG | statement | record (an 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.05708#SVL6 |
| HKA475XRRV | HKA475XRRV | statement | record (an 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.27049#6SEW |
| HKABVWNEPJ | HKABVWNEPJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#TOD7 |
| HKAMGCP72X | HKAMGCP72X | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-30 |
| HKB2GGZCT1 | HKB2GGZCT1 | proof | open | open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#proof-2 |
| HKBQHZ00FX | HKBQHZ00FX | statement | open | austin_ula src/section7-1.xml#prop-covariance |
| HKCCQH0PVS | HKCCQH0PVS | 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 2504.13328#BJNS |
| HKCYGCHT26 | HKCYGCHT26 | statement | record (an 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.33590#8WIZ |
| HKDFX2XK3G | HKDFX2XK3G | example | open | lebl_ra ch-der.tex#example-4 |
| HKE0JEWX5V | HKE0JEWX5V | 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.32338#11ZW |
| HKE579CGZB | HKE579CGZB | statement | record (an 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.21768#J4T6 |
| HKEQRQ3CZY | HKEQRQ3CZY | proof | open | hott_book homotopy.tex#proof-8 |
| HKFHBV9G8R | HKFHBV9G8R | statement | record (an 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.24553#513Z |
| HKFYC2W41N | HKFYC2W41N | statement | record (an 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.12633#8YHC |
| HKG6DMKR78 | HKG6DMKR78 | statement | record (an 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.10804#FCZD |
| HKGJ0JV0J9 | HKGJ0JV0J9 | statement | record (an 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#WBCK |
| HKGP6X6M34 | HKGP6X6M34 | definition | open | lebl_ra ch-multivar-int.tex#defn-8 |
| HKGXG880KC | HKGXG880KC | statement | record (an 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.11271#N3TB |
| HKH0WVJDZ2 | HKH0WVJDZ2 | statement | record (an 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.06206#M5CB |
| HKH41KDAPX | HKH41KDAPX | statement | record (an 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.07370#ABSS |
| HKHG1RMABM | HKHG1RMABM | 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.02689#278O |
| HKHN3TVECN | HKHN3TVECN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1707.06795#NG7L |
| HKJB53KA7E | HKJB53KA7E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.11778#RJH9 |
| HKJGTB9CXW | HKJGTB9CXW | statement | record (an 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.24325#JM1I |
| HKJJZSGAK9 | HKJJZSGAK9 | statement | record (an 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.08837#N6TG |
| HKJR3A2XNH | HKJR3A2XNH | statement | record (an 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.16731#3B9F |
| HKJW5QZE0V | HKJW5QZE0V | 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#EVE4 |
| HKK2SWPRWM | HKK2SWPRWM | statement | record (an 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.13347#Z506 |
| HKK80KK9Q9 | HKK80KK9Q9 | statement | open | napkin tex/H113/ring-intro.tex#proposition-1 |
| HKKAVY2DYP | HKKAVY2DYP | 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.25167#B28O |
| HKKEMB1WH0 | HKKEMB1WH0 | statement | record (an 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.37520#KSVG |
| HKKN5MA9GJ | HKKN5MA9GJ | statement | record (an 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.15593#SVAM |
| HKKP43P80D | HKKP43P80D | statement | record (an 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.35204#C5VX |
| HKKQZADZH7 | HKKQZADZH7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03730#ZNWM |
| HKMREJEQJ3 | HKMREJEQJ3 | statement | record (an 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.16267#3R2N |
| HKN5PRTW04 | HKN5PRTW04 | unknown | open | |
| HKNMV9V03E | HKNMV9V03E | statement | record (an 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.21475#HCPL |
| HKNX0KS14K | HKNX0KS14K | statement | record (an 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#38JC |
| HKP352JQ0J | HKP352JQ0J | statement | record (an 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#1E5A |
| HKPF1GMPHT | HKPF1GMPHT | statement | record (an 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#VUOQ |
| HKQ010HND7 | HKQ010HND7 | statement | record (an 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.33651#PUB2 |
| HKQ5VHPPPY | HKQ5VHPPPY | proof | open | hott_book categories.tex#proof-1 |
| HKQGEZ5006 | HKQGEZ5006 | proof | open | napkin tex/calculus/differentiate.tex#proof-4 |
| HKQX6MF7NE | HKQX6MF7NE | statement | record (an 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.31249#MF82 |
| HKQYAP1PJP | HKQYAP1PJP | statement | record (an 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#HSP7 |
| HKR2WX63HF | HKR2WX63HF | statement | record (an 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.19464#YUP4 |
| HKR399QQ4D | HKR399QQ4D | statement | record (an 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.09765#WEC5 |
| HKR8PG2JSB | HKR8PG2JSB | statement | record (an 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.05216#6UG3 |
| HKRPEM5124 | HKRPEM5124 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#6EA1 |
| HKS5FMY47H | HKS5FMY47H | statement | record (an 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.24374#K68L |
| HKSBE83AJK | HKSBE83AJK | statement | record (an 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.01653#WTWA |
| HKSBPXZT33 | HKSBPXZT33 | statement | record (an 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.31910#WMN5 |
| HKSBVZJW3F | HKSBVZJW3F | statement | record (an 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.20510#H14N |
| HKSTE3VWTP | HKSTE3VWTP | statement | record (an 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#H0T2 |
| HKT29W790E | HKT29W790E | statement | record (an 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.07679#0CX0 |
| HKT3G7E8DC | HKT3G7E8DC | statement | record (an 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.13532#HN7V |
| HKTHK9VKDG | HKTHK9VKDG | statement | record (an 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.40251#BXYJ |
| HKTJBP7MKE | HKTJBP7MKE | statement | record (an 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#FHBB |
| HKTV9D4NT9 | HKTV9D4NT9 | 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.28552#R8MF |
| HKV07C71H7 | HKV07C71H7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.09442#FIU0 |
| HKV0F824Y8 | HKV0F824Y8 | statement | record (an 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.17720#E6SX |
| HKVDG53FCK | HKVDG53FCK | statement | record (an 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.14841#OXBH |
| HKVEDHEJM3 | HKVEDHEJM3 | statement | record (an 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#CY5P |
| HKVF3DRY8J | HKVF3DRY8J | statement | record (an 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.20909#M38X |
| HKVJYPKDNF | HKVJYPKDNF | 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.40345#QF3L |
| HKVWARB944 | HKVWARB944 | statement | record (an 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.10093#TKG0 |
| HKW6AHMFTS | HKW6AHMFTS | 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#8O4L |
| HKWWRRFBH0 | HKWWRRFBH0 | statement | record (an 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.26619#3GN4 |
| HKXP1A6QDG | HKXP1A6QDG | statement | record (an 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.16461#L7IY |
| HKXWNBTSSW | HKXWNBTSSW | 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.01561#BOIE |
| HKXY2B3C3A | HKXY2B3C3A | statement | open | hott_book formal.tex#cor-2 |
| HKY5Q37EZV | HKY5Q37EZV | 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.37606#OJXY |
| HKZA1T7XGS | HKZA1T7XGS | 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.34946#GGFG |
| HKZA8HSSMB | HKZA8HSSMB | statement | record (an 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.00191#QH7H |
| HKZFYKHRHE | HKZFYKHRHE | statement | open | open_logic content/computability/recursive-functions/sequences.tex#prop-1 |
| HKZGJG1HBX | HKZGJG1HBX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.01073#OT18 |
| HKZQPQKHS5 | HKZQPQKHS5 | 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.31289#HDFZ |
| HM0HY77HFQ | HM0HY77HFQ | statement | record (an 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.39793#BSZ2 |
| HM0WN850SX | HM0WN850SX | statement | record (an 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.04874#3E1B |
| HM1C14A8DZ | HM1C14A8DZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.02634#VS89 |
| HM2KCHT076 | HM2KCHT076 | definition | open | napkin tex/calculus/taylor.tex#definition-1 |
| HM4TXS536T | HM4TXS536T | statement | record (an 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.26723#PKU6 |
| HM4ZKW2BYK | HM4ZKW2BYK | statement | record (an 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.31478#ZCHM |
| HM59EHZ8NQ | HM59EHZ8NQ | statement | record (an 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#FFXQ |
| HM5C3YNE1M | HM5C3YNE1M | statement | record (an 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.40355#4111 |
| HM5YCBJ948 | HM5YCBJ948 | 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.28742#SVR9 |
| HM6QA6YNNF | HM6QA6YNNF | statement | record (an 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.15434#H9SC |
| HM6RZNH3N0 | HM6RZNH3N0 | statement | record (an 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.37704#UO0X |
| HM6TY1RPW5 | HM6TY1RPW5 | statement | record (an 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.39430#NPHM |
| HM6VXQM72W | HM6VXQM72W | statement | record (an 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#9VL1 |
| HM74H6JWST | HM74H6JWST | definition | open | open_logic content/normal-modal-logic/axioms-systems/consistency.tex#defn-1 |
| HM75W372TN | HM75W372TN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.16655#1Y5P |