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 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 701–800 of 7946.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| H782ZDB15Q | H782ZDB15Q | statement | record (an 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#BKOH |
| H78V57SM91 | H78V57SM91 | statement | record (an 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.14678#CCFV |
| H79AP305Y8 | H79AP305Y8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.12475#BZ7T |
| H79F4VSF56 | H79F4VSF56 | statement | record (an 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.20911#KMG8 |
| H79HYPXN2C | H79HYPXN2C | statement | record (an 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.10921#TITV |
| H79S0KGV4M | H79S0KGV4M | statement | record (an 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.09333#8YEX |
| H7A7XJNQN1 | H7A7XJNQN1 | statement | record (an 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.06724#KW7E |
| H7AQVNMGRN | H7AQVNMGRN | 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.20119#7LCB |
| H7AYF41MQX | H7AYF41MQX | statement | record (an 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#4A88 |
| H7B3MZHV2K | H7B3MZHV2K | 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 2607.00323#81UR |
| H7BDKQCH7Y | H7BDKQCH7Y | statement | record (an 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.21445#80K7 |
| H7BPXCTFKR | H7BPXCTFKR | statement | record (an 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.28020#L9OT |
| H7BSG3GNWM | H7BSG3GNWM | 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 2507.05417#JEEG |
| H7C5X7RB8B | H7C5X7RB8B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.06473#M9OK |
| H7CAH90G6C | H7CAH90G6C | exercise | open | napkin tex/alg-geom/spec-examples.tex#exercise-1 |
| H7CZNVK7SR | H7CZNVK7SR | statement | record (an 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.39726#TZPT |
| H7D22VFWPM | H7D22VFWPM | exercise | open | lebl_ra ch-real-nums.tex#exercise-20 |
| H7DFN7NBG4 | H7DFN7NBG4 | statement | record (an 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#UU8U |
| H7DZTASX38 | H7DZTASX38 | 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.25801#28S4 |
| H7E3KVXZKM | H7E3KVXZKM | statement | record (an 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#OMJ0 |
| H7E3T9DRBH | H7E3T9DRBH | statement | record (an 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.16505#LSVB |
| H7E6A3967Q | H7E6A3967Q | statement | record (an 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.26745#TKZK |
| H7EDD8P6A4 | H7EDD8P6A4 | statement | record (an 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#REM7 |
| H7EE2S8Y9F | H7EE2S8Y9F | statement | record (an 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.32535#X0YQ |
| H7EP4K8NRK | H7EP4K8NRK | statement | record (an 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#82FD |
| H7EQCT13RV | H7EQCT13RV | statement | record (an 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#MK0H |
| H7F5SN334T | H7F5SN334T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1006.4617#0TXH |
| H7FQKV7SPB | H7FQKV7SPB | statement | record (an 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#8UEP |
| H7FTP3GR4D | H7FTP3GR4D | 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.11886#ZJVC |
| H7G2B8Z33D | H7G2B8Z33D | statement | record (an 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#83LX |
| H7G2ZTJH3Y | H7G2ZTJH3Y | statement | record (an 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.08935#0MIW |
| H7GF0NDD34 | H7GF0NDD34 | definition | open | hott_book homotopy.tex#thm:pi1s1-decode |
| H7H19AYPVC | H7H19AYPVC | unknown | open | arXiv 2610.13680#BOUQ |
| H7HJKCZJQE | H7HJKCZJQE | 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.32916#678L |
| H7HJQEPNX7 | H7HJQEPNX7 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-76 |
| H7HQZMZEJQ | H7HQZMZEJQ | statement | record (an 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#C2W0 |
| H7J6CBP4A3 | H7J6CBP4A3 | statement | record (an 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.13869#ZMBS |
| H7JTHP3ZFV | H7JTHP3ZFV | statement | record (an 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.21491#FMI2 |
| H7KS6Z2WZC | H7KS6Z2WZC | 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.24078#QWUB |
| H7KX2GEVAK | H7KX2GEVAK | statement | record (an 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#OZBU |
| H7KYZ4B0YV | H7KYZ4B0YV | statement | record (an 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.21489#DZ7J |
| H7M46EM05W | H7M46EM05W | 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.16505#4E4X |
| H7MXQDREZP | H7MXQDREZP | statement | record (an 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.24041#VXIJ |
| H7NBP0TMYD | H7NBP0TMYD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#GKIH |
| H7NGJV54N2 | H7NGJV54N2 | statement | record (an 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#H2ZH |
| H7NGKY3XWT | H7NGKY3XWT | proof | open | lebl_ra ch-multivar-int.tex#proof-17 |
| H7NHRMPFYW | H7NHRMPFYW | statement | record (an 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.14741#HMKP |
| H7NMY1VHDQ | H7NMY1VHDQ | statement | record (an 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.19534#QDLV |
| H7Q0ZC1ZZW | H7Q0ZC1ZZW | statement | record (an 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#2GOV |
| H7QANRAEND | H7QANRAEND | 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 2204.13401#FKFW |
| H7QB597DEJ | H7QB597DEJ | statement | record (an 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.17060#YLUT |
| H7RYFGP5NW | H7RYFGP5NW | statement | record (an 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.33512#X6BL |
| H7RZN8W4P9 | H7RZN8W4P9 | statement | record (an 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.02672#62KI |
| H7S2MFNZNM | H7S2MFNZNM | statement | record (an 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.13378#THK1 |
| H7S6GJ2ZCF | H7S6GJ2ZCF | statement | record (an 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.17602#EGIV |
| H7S6YQTY5C | H7S6YQTY5C | statement | record (an 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.03422#0M5S |
| H7SDHHN4JE | H7SDHHN4JE | statement | record (an 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#R5WS |
| H7SGMF0JG8 | H7SGMF0JG8 | statement | record (an 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.16554#1158 |
| H7SPW36C3K | H7SPW36C3K | statement | record (an 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.12486#BVHQ |
| H7T39BFREF | H7T39BFREF | statement | record (an 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#ZDWZ |
| H7TGZQKDTJ | H7TGZQKDTJ | problem | open | Wikipedia Erdős–Hajnal conjecture#P5MM |
| H7TW84GTA2 | H7TW84GTA2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.00412#1JK7 |
| H7V2MBN8S3 | H7V2MBN8S3 | statement | record (an 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.33027#ENVM |
| H7V3NBY49K | H7V3NBY49K | statement | record (an 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.10337#EED5 |
| H7V5GWKGH3 | H7V5GWKGH3 | statement | record (an 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.29605#L5GB |
| H7VWTHARM8 | H7VWTHARM8 | proof | open | lebl_scv scv.tex#proof-36 |
| H7VXN04Q2M | H7VXN04Q2M | 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.35396#QA70 |
| H7W7MWVBRY | H7W7MWVBRY | statement | record (an 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.33856#ND4H |
| H7W8HQ1EAQ | H7W8HQ1EAQ | statement | record (an 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.04772#4EKN |
| H7WHBNXMR1 | H7WHBNXMR1 | statement | record (an 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.39260#U199 |
| H7XQM899KH | H7XQM899KH | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-10 |
| H7YMKD9KVN | H7YMKD9KVN | statement | record (an 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.37897#AFV4 |
| H7YZ9BRE3R | H7YZ9BRE3R | 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.38556#I1DB |
| H7Z77KD9SS | H7Z77KD9SS | statement | record (an 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.22557#UQUA |
| H7ZX7SYYR7 | H7ZX7SYYR7 | statement | record (an 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#GBQY |
| H805XBTV4J | H805XBTV4J | statement | record (an 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.02983#0QXZ |
| H80CV08DFQ | H80CV08DFQ | statement | record (an 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.33529#IBG7 |
| H80FDHFJJ6 | H80FDHFJJ6 | statement | record (an 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#08AL |
| H80JA86C1D | H80JA86C1D | statement | record (an 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.24542#A3Z5 |
| H80N0414S3 | H80N0414S3 | definition | open | napkin tex/H113/quotient.tex#definition-4 |
| H80RQ991YN | H80RQ991YN | statement | record (an 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.14455#ZONX |
| H80ZHTWKP0 | H80ZHTWKP0 | statement | record (an 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.27800#4PO6 |
| H81H7Z6KHK | H81H7Z6KHK | statement | record (an 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.11965#7W0M |
| H820CWSG5G | H820CWSG5G | statement | record (an 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.29878#WZJP |
| H826FAKPRN | H826FAKPRN | statement | record (an 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.11395#QYJZ |
| H82D9RBHYP | H82D9RBHYP | 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.07957#YS7X |
| H83A0T2C6F | H83A0T2C6F | statement | record (an 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#B8CP |
| H83DF1D1TK | H83DF1D1TK | statement | record (an 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.20165#38B7 |
| H83ENFRW1R | H83ENFRW1R | statement | record (an 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.19455#K7PJ |
| H83ETXVBXJ | H83ETXVBXJ | statement | record (an 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.01737#V62C |
| H84CZYMTNP | H84CZYMTNP | 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.21060#NOSU |
| H84DS8C7Y9 | H84DS8C7Y9 | statement | record (an 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.36016#TTG6 |
| H853Y3CBSJ | H853Y3CBSJ | proof | open | open_logic content/set-theory/spine/foundation.tex#proof-2 |
| H85NVCWSNP | H85NVCWSNP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.16205#XUOP |
| H85NXGA6CS | H85NXGA6CS | 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.18070#N1AN |
| H85YZ0XFQN | H85YZ0XFQN | 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.13833#LJF9 |
| H85Z2ERNHH | H85Z2ERNHH | 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.17004#8QVR |
| H865YSS9EP | H865YSS9EP | statement | record (an 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.01958#2NM0 |
| H86695A8CR | H86695A8CR | statement | record (an 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#BIN5 |
| H86VWK7X95 | H86VWK7X95 | statement | record (an 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#0UOL |