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 601–700 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 | unknown | open | 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| H86W7R4PM0 | H86W7R4PM0 | statement | record (an 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#59NO |
| H875PFKQEC | H875PFKQEC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.06762#7A0W |
| H87E3KNX6C | H87E3KNX6C | statement | record (an 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.25843#RC5D |
| H87WYV00XR | H87WYV00XR | 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.24777#2KI5 |
| H88WRWHSV9 | H88WRWHSV9 | 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.27524#7LDB |
| H890B46S6R | H890B46S6R | statement | record (an 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.05506#654Y |
| H893CBVNP4 | H893CBVNP4 | exercise | open | lebl_diffyqs ch-intro.tex#exercise-7 |
| H89GV2RATA | H89GV2RATA | statement | record (an 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.09672#PIFH |
| H8AMQN5S8P | H8AMQN5S8P | statement | record (an 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.38396#VNCC |
| H8BHMV8G0A | H8BHMV8G0A | statement | record (an 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.33841#OW7S |
| H8C425QDHH | H8C425QDHH | statement | record (an 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.40260#MKJS |
| H8CCYCRHNV | H8CCYCRHNV | statement | record (an 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.30067#XJ5F |
| H8CRWXE3EM | H8CRWXE3EM | statement | record (an 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.24235#3V6P |
| H8CYNSV6QF | H8CYNSV6QF | 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.35691#H67Y |
| H8DBB8J5AM | H8DBB8J5AM | exercise | open | lebl_scv scv.tex#exercise-143 |
| H8DD24Z3H1 | H8DD24Z3H1 | statement | record (an 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#KVN1 |