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 201–300 of 7946.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| H1GBXRCAA7 | H1GBXRCAA7 | exercise | open | lebl_ra ch-contfunc.tex#exercise-30 |
| H1GCHWKTN4 | H1GCHWKTN4 | 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.08370#0X6I |
| H1GKSDB8CJ | H1GKSDB8CJ | definition | open | open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#defn:bd-quant |
| H1GSBJF65C | H1GSBJF65C | statement | record (an 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.16102#XZB5 |
| H1GT6PJ7JE | H1GT6PJ7JE | statement | record (an 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.20207#3RKQ |
| H1H77A7R84 | H1H77A7R84 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0903.1504#0LA1 |
| H1HAKPVNF8 | H1HAKPVNF8 | statement | record (an 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.14820#7D9N |
| H1HJYCSSKB | H1HJYCSSKB | 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.23847#3QZX |
| H1HKB5Y1AS | H1HKB5Y1AS | statement | record (an 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.20237#QHH0 |
| H1JVN1TJM0 | H1JVN1TJM0 | statement | record (an 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.32816#NIME |
| H1K8KNHHZY | H1K8KNHHZY | 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.00660#BSQV |
| H1KA74FRCB | H1KA74FRCB | statement | record (an 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.20522#6YTN |
| H1M3XGCVN7 | H1M3XGCVN7 | statement | record (an 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.33062#6WYQ |
| H1M47PXKE1 | H1M47PXKE1 | statement | record (an 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.20758#9TFA |
| H1N1PB8VRW | H1N1PB8VRW | example | open | hott_book setmath.tex#thm:wtype-wf |
| H1ND6CCF21 | H1ND6CCF21 | statement | record (an 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#CBGW |
| H1NS8712KP | H1NS8712KP | statement | record (an 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#ID0A |
| H1NWX753NV | H1NWX753NV | statement | record (an 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.06152#DXA7 |
| H1PXSXCQTY | H1PXSXCQTY | 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 0902.4012#I3XW |
| H1PZ520F0N | H1PZ520F0N | 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.27078#RZDO |
| H1Q5VR6Q3G | H1Q5VR6Q3G | statement | record (an 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.08091#AE4H |
| H1QC5QDSK6 | H1QC5QDSK6 | statement | record (an 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.12319#N3H4 |
| H1R835GZKH | H1R835GZKH | statement | record (an 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.25168#WAGO |
| H1RBE9T8T9 | H1RBE9T8T9 | statement | record (an 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.25062#I6JR |
| H1S03JEKRH | H1S03JEKRH | 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.21034#7GFR |
| H1S0853PFT | H1S0853PFT | statement | record (an 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.25004#3BOI |
| H1S1H1AJ1W | H1S1H1AJ1W | statement | record (an 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.38548#TIO2 |
| H1SB7XQV8S | H1SB7XQV8S | statement | record (an 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.37093#OYCY |
| H1SDRSTY5N | H1SDRSTY5N | statement | record (an 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.28143#J53U |
| H1SY2MPPRZ | H1SY2MPPRZ | statement | record (an 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.22345#13E0 |
| H1T8M2YBXH | H1T8M2YBXH | statement | record (an 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.23390#WAJ6 |
| H1V5WY99AT | H1V5WY99AT | statement | record (an 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.14783#ISVC |
| H1VEMT5A4R | H1VEMT5A4R | statement | record (an 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.16844#XB0Q |
| H1VJ9SA7BQ | H1VJ9SA7BQ | 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.23605#XADY |
| H1VSHSHN7A | H1VSHSHN7A | statement | record (an 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.31907#1QJ4 |
| H1VXNR8GKY | H1VXNR8GKY | statement | record (an 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.20469#EMW9 |
| H1WJAW0A87 | H1WJAW0A87 | 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.21622#SZQX |
| H1WMYN90RT | H1WMYN90RT | 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.12736#545V |
| H1WRV68RBG | H1WRV68RBG | 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.27301#84D4 |
| H1WY2QGA6K | H1WY2QGA6K | statement | record (an 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.20522#T8TB |
| H1X0A983GG | H1X0A983GG | statement | record (an 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.18847#WAZQ |
| H1X7A8H0PE | H1X7A8H0PE | statement | record (an 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.16814#D9VW |
| H1XPAG6W8F | H1XPAG6W8F | statement | record (an 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.22247#2HPC |
| H1YXQDDFZY | H1YXQDDFZY | statement | record (an 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.23685#HQ0C |
| H1ZN3X0ZRN | H1ZN3X0ZRN | statement | record (an 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.06909#40EB |
| H1ZPJE9WXB | H1ZPJE9WXB | statement | record (an 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#VN34 |
| H20KCA7JDC | H20KCA7JDC | statement | record (an 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.37026#VRDH |
| H21X4A791H | H21X4A791H | statement | record (an 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.21971#JR0G |
| H221T0AA2Z | H221T0AA2Z | statement | record (an 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.16785#A659 |
| H22D6WAGQF | H22D6WAGQF | exercise | open | napkin tex/cats/abelian.tex#sproblem-1 |
| H22E00TQSA | H22E00TQSA | 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.03612#W6RJ |
| H231QNFK9D | H231QNFK9D | statement | record (an 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.23128#90XU |
| H237K20V9R | H237K20V9R | statement | record (an 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.35421#JGIK |
| H23CAD4AMD | H23CAD4AMD | 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.22218#J68Q |
| H25DX7ZN9W | H25DX7ZN9W | statement | record (an 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.02669#DINF |
| H25KHYHT3T | H25KHYHT3T | statement | record (an 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#FCLH |
| H262DX9VJ4 | H262DX9VJ4 | statement | record (an 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.38742#GXLM |
| H278PQ6XEW | H278PQ6XEW | statement | record (an 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.30302#33A2 |
| H27XR8M5PW | H27XR8M5PW | exercise | open | lebl_ra ch-metric.tex#exercise-45 |
| H280N7RPZK | H280N7RPZK | 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.01802#MYYK |
| H280SGJAT4 | H280SGJAT4 | 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 2607.00323#3JKP |
| H28Q3G6RGS | H28Q3G6RGS | statement | record (an 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.32946#PUUQ |
| H299FF08RT | H299FF08RT | statement | open | hott_book hits.tex#thm:free-monoid |
| H29E544ECZ | H29E544ECZ | statement | record (an 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.05459#YF7G |
| H2A1VEBMDX | H2A1VEBMDX | statement | record (an 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.06488#LNY8 |
| H2A538T34M | H2A538T34M | statement | record (an 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#50CV |
| H2A7S6BMB7 | H2A7S6BMB7 | statement | record (an 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.03612#2ZYU |
| H2BAE5JQNK | H2BAE5JQNK | statement | record (an 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#K5HJ |
| H2BSYPZRKV | H2BSYPZRKV | statement | record (an 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.16178#TXUH |
| H2BT0WA6ES | H2BT0WA6ES | proof | open | applied_combinatorics source/s_graphs_eulerham.ptx#proof-1 |
| H2CMJYDTPB | H2CMJYDTPB | statement | record (an 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.25307#9WI5 |
| H2CPHMT2Y2 | H2CPHMT2Y2 | 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 2503.22636#X8MO |
| H2CQCVTV09 | H2CQCVTV09 | 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.23528#24BR |
| H2CQJK6F6D | H2CQJK6F6D | 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.28211#QGWJ |
| H2CWX7BNFW | H2CWX7BNFW | 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.20364#7N96 |
| H2DBV47DBA | H2DBV47DBA | statement | record (an 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.02484#CHM5 |
| H2DRVEDNA1 | H2DRVEDNA1 | exercise | open | applied_combinatorics source/s_basics_exercises.ptx#exercise-4 |
| H2E1EHMBMM | H2E1EHMBMM | statement | record (an 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.18084#EL6C |
| H2EF684MAC | H2EF684MAC | 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 2409.17318#NSQO |
| H2EJXF3NYB | H2EJXF3NYB | 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.21668#BIIE |
| H2EYJ0A0WF | H2EYJ0A0WF | 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 2112.05010#QO0A |
| H2F18QEC9V | H2F18QEC9V | statement | record (an 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.17135#OVFN |
| H2FFKCRREP | H2FFKCRREP | statement | record (an 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.02432#ZA0B |
| H2GMP70D9K | H2GMP70D9K | statement | record (an 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.24610#4XFQ |
| H2GRFKCWKP | H2GRFKCWKP | statement | record (an 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.05730#K677 |
| H2H9R5DT5V | H2H9R5DT5V | example | open | applied_combinatorics source/s_probability_intro.ptx#example-3 |
| H2HBDMXTDG | H2HBDMXTDG | 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.18016#O4W8 |
| H2HEQB6B0S | H2HEQB6B0S | statement | record (an 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.39706#DEUT |
| H2HGNSX900 | H2HGNSX900 | definition | open | napkin tex/H113/quotient.tex#definition-6 |
| H2HS11HKXB | H2HS11HKXB | statement | record (an 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#T694 |
| H2J6FVYDST | H2J6FVYDST | statement | record (an 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#L70J |
| H2J7MNSB0K | H2J7MNSB0K | statement | record (an 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.27641#Z2QV |
| H2JN8N17EQ | H2JN8N17EQ | proof | open | napkin tex/calculus/taylor.tex#proof-4 |
| H2KQX1FNRX | H2KQX1FNRX | statement | record (an 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#B7QA |
| H2M4CYDJ60 | H2M4CYDJ60 | statement | record (an 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#FFZH |
| H2MT9ERM91 | H2MT9ERM91 | proof | open | open_logic content/set-theory/card-arithmetic/fix.tex#proof-1 |
| H2NQZTDYBJ | H2NQZTDYBJ | statement | record (an 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.18673#10SN |
| H2PB64Q3KT | H2PB64Q3KT | statement | record (an 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.03337#FV4G |
| H2PH2PYZTJ | H2PH2PYZTJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.07401#WWLX |
| H2PTQB29AS | H2PTQB29AS | statement | record (an 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.00625#9JEK |