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 7801–7900 of 7946.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HZ1G5FCGYE | HZ1G5FCGYE | statement | record (an 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#PJR3 |
| HZ28Z99Y5G | HZ28Z99Y5G | 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.22657#IGCM |
| HZ33FYQFKM | HZ33FYQFKM | proof | open | lebl_ra ch-multivar-int.tex#proof-4 |
| HZ3G8HAVYV | HZ3G8HAVYV | statement | record (an 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.12295#P3YE |
| HZ3RJ9PVSQ | HZ3RJ9PVSQ | statement | record (an 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.06033#B30S |
| HZ3XF34446 | HZ3XF34446 | 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.06310#FZ4O |
| HZ4B1T4NGH | HZ4B1T4NGH | statement | record (an 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.09599#TSKH |
| HZ4CNNGM2H | HZ4CNNGM2H | statement | record (an 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.35245#XQXR |
| HZ4JEZPTX7 | HZ4JEZPTX7 | statement | record (an 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.26191#WLYY |
| HZ4P4AYHSD | HZ4P4AYHSD | exercise | open | napkin tex/alg-NT/ramification.tex#ques-1 |
| HZ5158TQYR | HZ5158TQYR | statement | record (an 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#KKEO |
| HZ55ZPMPB5 | HZ55ZPMPB5 | statement | open | open_logic content/model-theory/basics/partial-iso.tex#prop:qr-finite |
| HZ5950K73D | HZ5950K73D | 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.36334#K7RO |
| HZ5TAKV0B6 | HZ5TAKV0B6 | 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.14435#Q9IY |
| HZ6RDN0DC6 | HZ6RDN0DC6 | statement | record (an 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#VQWW |
| HZ6X0J2Z8G | HZ6X0J2Z8G | unknown | open | arXiv 2610.12239#5AO7 |
| HZ71TWKM7N | HZ71TWKM7N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.05628#M25F |
| HZ71ZT65DB | HZ71ZT65DB | statement | record (an 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.17188#5FY9 |
| HZ766PTWR6 | HZ766PTWR6 | statement | record (an 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.01517#847N |
| HZ77C4MAPD | HZ77C4MAPD | statement | record (an 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.18709#LRSM |
| HZ7GJP47R5 | HZ7GJP47R5 | statement | record (an 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#EBAK |
| HZ7J177X8T | HZ7J177X8T | statement | record (an 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.09506#OU0H |
| HZ7QR102Z6 | HZ7QR102Z6 | statement | record (an 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.21036#6UBC |
| HZ8EYB0XMJ | HZ8EYB0XMJ | 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.19023#6WNW |
| HZ9KFE828B | HZ9KFE828B | statement | record (an 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.36088#YOXJ |
| HZAR3QJRQ9 | HZAR3QJRQ9 | statement | record (an 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.39330#1IEH |
| HZB31QZQXV | HZB31QZQXV | statement | record (an 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.21934#9WZM |
| HZBKC2FW01 | HZBKC2FW01 | 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.20900#QHJU |
| HZBN71KQAJ | HZBN71KQAJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.10958#I3TF |
| HZBXWYADTY | HZBXWYADTY | 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.04214#3MKL |
| HZC6QM6H5P | HZC6QM6H5P | statement | record (an 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#PWFW |
| HZCEH35XJ6 | HZCEH35XJ6 | statement | record (an 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.16875#2GD0 |
| HZCGSMG6BJ | HZCGSMG6BJ | exercise | open | lebl_scv scv.tex#exercise-254 |
| HZD853PY04 | HZD853PY04 | statement | record (an 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.15528#QC5F |
| HZD93EQNKW | HZD93EQNKW | statement | record (an 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.15340#LRT2 |
| HZDCD74S3G | HZDCD74S3G | statement | record (an 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.28323#WVSI |
| HZDKW00F7V | HZDKW00F7V | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-17 |
| HZDPV8YC14 | HZDPV8YC14 | 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.09810#1SNT |
| HZDPYQ1R4R | HZDPYQ1R4R | statement | record (an 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.17442#DS52 |
| HZDV3RT0VZ | HZDV3RT0VZ | statement | record (an 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#IWE6 |
| HZDZR0K4NY | HZDZR0K4NY | example | open | active_calculus source/sec-4-4-FTC.xml#Ex-4-4-1 |
| HZEKZ1CW1S | HZEKZ1CW1S | statement | record (an 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.21730#5EPW |
| HZEM46TYCN | HZEM46TYCN | exercise | open | austin_ula src/section4-2.xml#activity-1 |
| HZETM68M2H | HZETM68M2H | statement | record (an 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.18544#8S4G |
| HZEWT73PDM | HZEWT73PDM | statement | record (an 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.03856#TMH0 |
| HZFA56N396 | HZFA56N396 | 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.32174#6V8V |
| HZFJ0VK9QM | HZFJ0VK9QM | statement | record (an 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.08976#27JJ |
| HZFJ11SKKY | HZFJ11SKKY | statement | record (an 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.37794#IULY |
| HZFYX00GQ8 | HZFYX00GQ8 | unknown | open | |
| HZG4CM6AZR | HZG4CM6AZR | 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.21914#WKEQ |
| HZGD1P07SY | HZGD1P07SY | 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.03384#4JVS |
| HZGDC5MZ7X | HZGDC5MZ7X | statement | record (an 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#TY5R |
| HZGG347C41 | HZGG347C41 | 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 2501.00810#3K44 |
| HZGRHTVMFZ | HZGRHTVMFZ | definition | open | open_logic content/normal-modal-logic/filtrations/preliminaries.tex#defn-1 |
| HZHE7Q7P3Y | HZHE7Q7P3Y | statement | record (an 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.28495#7UUA |
| HZHK7CY1DP | HZHK7CY1DP | 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.06899#5B3G |
| HZJ7QQHZJ5 | HZJ7QQHZJ5 | statement | record (an 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#ODTL |
| HZJ845MS7M | HZJ845MS7M | statement | record (an 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#ODWN |
| HZJFEPS87F | HZJFEPS87F | statement | record (an 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.23634#2JN8 |
| HZJNY9S4RP | HZJNY9S4RP | statement | record (an 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.03672#L2ZK |
| HZJSNN6X5D | HZJSNN6X5D | statement | record (an 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.35467#1O6N |
| HZJYEFJQBY | HZJYEFJQBY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#0LMX |
| HZKEXJZ0B7 | HZKEXJZ0B7 | statement | open | hott_book basics.tex#thm:transport-compose |
| HZM1942HBK | HZM1942HBK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.10125#1P2D |
| HZMBVSYA0K | HZMBVSYA0K | statement | record (an 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.13913#SKLX |
| HZMD34GGDK | HZMD34GGDK | statement | record (an 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.24789#9VH1 |
| HZMWE45RCZ | HZMWE45RCZ | exercise | open | lebl_ra ch-der.tex#exercise:posderincr |
| HZN87XSQFR | HZN87XSQFR | statement | record (an 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.06081#UL1G |
| HZN8A9ZRV0 | HZN8A9ZRV0 | statement | record (an 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.23834#ZBJ1 |
| HZNHY28SXZ | HZNHY28SXZ | statement | record (an 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#DYSN |
| HZNQYMJM2E | HZNQYMJM2E | statement | record (an 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.13122#HMN7 |
| HZP45J3QDT | HZP45J3QDT | 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 2410.16036#Y8C5 |
| HZPQ3GDS3B | HZPQ3GDS3B | statement | record (an 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.39700#E0UY |
| HZQ70HXSX8 | HZQ70HXSX8 | statement | record (an 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.10233#98W8 |
| HZQQ544HTW | HZQQ544HTW | statement | record (an 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.37252#6KKG |
| HZQYA9WX8E | HZQYA9WX8E | statement | record (an 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#X8QM |
| HZQYQJHZK7 | HZQYQJHZK7 | proof | open | napkin tex/measure/pontryagin.tex#proof-2 |
| HZRSXNCZ0D | HZRSXNCZ0D | statement | record (an 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.28306#F3VO |
| HZS127W9V6 | HZS127W9V6 | statement | record (an 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.22564#Z70F |
| HZS6EQAEJB | HZS6EQAEJB | statement | record (an 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.14446#6VDG |
| HZSX9WVD2R | HZSX9WVD2R | statement | record (an 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#SRD0 |
| HZT6N632H7 | HZT6N632H7 | statement | record (an 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.21098#YIR6 |
| HZT6YJNJ5D | HZT6YJNJ5D | 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.20376#J59S |
| HZTKBCCPEA | HZTKBCCPEA | example | open | napkin tex/calculus/limits.tex#example-10 |
| HZV6KKWF4Q | HZV6KKWF4Q | statement | record (an 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.10660#OAUQ |
| HZV8QVH9AN | HZV8QVH9AN | statement | record (an 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/9807180#803K |
| HZVKQKNQQ1 | HZVKQKNQQ1 | statement | record (an 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.25390#451X |
| HZVP9Q3WDC | HZVP9Q3WDC | statement | record (an 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.18302#T4S6 |
| HZW4X6Q9FA | HZW4X6Q9FA | 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.02379#CS1Q |
| HZWX0AZEP4 | HZWX0AZEP4 | statement | record (an 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.09300#M69X |
| HZXN1CZSQS | HZXN1CZSQS | 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 2105.13129#3E3V |
| HZXQ0XHY0E | HZXQ0XHY0E | statement | record (an 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.31782#082P |
| HZXVN0TAJS | HZXVN0TAJS | exercise | open | lebl_ra ch-approximate.tex#exercise:minprinciple |
| HZY7V64NBA | HZY7V64NBA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.02312#4CKB |
| HZYAS7SVAV | HZYAS7SVAV | statement | record (an 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.20406#8K0A |
| HZYYHFQ2F2 | HZYYHFQ2F2 | statement | record (an 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.18101#8CVY |
| HZZ0XJ7EKF | HZZ0XJ7EKF | statement | open | ernst_ibl MAAPressVersion/IntroInduction.tex#theorem-2 |
| HZZ704BNBK | HZZ704BNBK | statement | record (an 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.21781#YYR8 |
| HZZDYKR544 | HZZDYKR544 | statement | record (an 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.20900#VX6J |
| HZZJ30ZAZZ | HZZJ30ZAZZ | statement | record (an 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.12908#KUZC |