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 2001–2100 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HG59V9XAZP | HG59V9XAZP | statement | record (an 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.08638#25LA |
| HG5R98D9TS | HG5R98D9TS | statement | record (an 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#6SZ4 |
| HG5Y9G7Z0P | HG5Y9G7Z0P | statement | record (an 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#W4PI |
| HG6MG07P40 | HG6MG07P40 | statement | record (an 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#KRW3 |
| HG6MTX5M7F | HG6MTX5M7F | statement | record (an 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.10911#8TKR |
| HG70ZJAQPP | HG70ZJAQPP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.4651#7G35 |
| HG748VGJGW | HG748VGJGW | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-53 |
| HG75CXCRR4 | HG75CXCRR4 | proof | open | open_logic content/methods/induction/induction-on-N.tex#proof-1 |
| HG7VCGWS26 | HG7VCGWS26 | exercise | open | napkin tex/linalg/dets.tex#exercise-2 |
| HG807RB08H | HG807RB08H | statement | record (an 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.18992#O81Z |
| HG8EYF2DBW | HG8EYF2DBW | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-20 |
| HG8QV4FJ8B | HG8QV4FJ8B | statement | open | applied_combinatorics source/s_background_finite-sets.ptx#prop_xy |
| HG8VY9NH2W | HG8VY9NH2W | statement | record (an 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.32903#MPJ6 |
| HG8ZTP51VH | HG8ZTP51VH | statement | record (an 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#EBZ5 |
| HG9E06X1M2 | HG9E06X1M2 | statement | record (an 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.11210#5AV4 |
| HG9R4S1KCN | HG9R4S1KCN | statement | record (an 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#USF7 |
| HG9RVF9SZK | HG9RVF9SZK | statement | record (an 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.04844#V1IL |
| HG9V2T7EQQ | HG9V2T7EQQ | statement | record (an 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.28336#27I9 |
| HG9VBXF1J9 | HG9VBXF1J9 | statement | record (an 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.10247#ZYBG |
| HG9ZWSM6GT | HG9ZWSM6GT | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-29 |
| HGA5ZE6NZ7 | HGA5ZE6NZ7 | statement | record (an 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.01276#XKLX |
| HGBTGT65FK | HGBTGT65FK | statement | record (an 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.35678#A30I |
| HGBXQP5T1F | HGBXQP5T1F | statement | record (an 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.00105#QVC1 |
| HGC5DQPZVW | HGC5DQPZVW | statement | record (an 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.04431#1U0K |
| HGC93X8XPF | HGC93X8XPF | statement | record (an 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.20170#H5X4 |
| HGCAZHN8AM | HGCAZHN8AM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.08099#UCII |
| HGCE8PY0X9 | HGCE8PY0X9 | statement | record (an 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#08A4 |
| HGCJKN45HQ | HGCJKN45HQ | statement | record (an 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.02506#OPJQ |
| HGE3SJF0N0 | HGE3SJF0N0 | 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.26600#R4SD |
| HGE4TDN8Q9 | HGE4TDN8Q9 | 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.06529#BQRZ |
| HGE99RVJP8 | HGE99RVJP8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.12966#UHMZ |
| HGEC29BY04 | HGEC29BY04 | statement | record (an 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.11652#ZAI1 |
| HGEGDJGFWC | HGEGDJGFWC | exercise | open | napkin tex/H113/structure.tex#ques-2 |
| HGEMT19GDB | HGEMT19GDB | proof | open | hott_book hits.tex#proof-9 |
| HGFK3T1HNY | HGFK3T1HNY | statement | record (an 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.16022#ZLMM |
| HGFKT6F0H0 | HGFKT6F0H0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.07485#G5ZO |
| HGFTX2K8M0 | HGFTX2K8M0 | exercise | open | lebl_ra ch-real-nums.tex#exercise-29 |
| HGFWF25CE1 | HGFWF25CE1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.15716#SNEB |
| HGGDHD4WBN | HGGDHD4WBN | 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.40290#LOLD |
| HGGK984VYZ | HGGK984VYZ | 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.38596#DDKO |
| HGGND9JAXA | HGGND9JAXA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#90DC |
| HGGVGXR8C2 | HGGVGXR8C2 | exercise | open | austin_ula src/exercises/exercises4-4.xml#exercise-3 |
| HGH1XP7FJP | HGH1XP7FJP | statement | record (an 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.10567#YFTI |
| HGJ3X4ZZPV | HGJ3X4ZZPV | statement | record (an 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.01796#3RWN |
| HGJAFSF6H0 | HGJAFSF6H0 | statement | record (an 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.20153#FLKW |
| HGJH0GQA38 | HGJH0GQA38 | statement | record (an 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.21632#AWN3 |
| HGJWJYES92 | HGJWJYES92 | exercise | open | napkin tex/alg-NT/dedekind.tex#problem-3 |
| HGK65DP2GS | HGK65DP2GS | statement | record (an 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.13137#1MRC |
| HGKYXC5H06 | HGKYXC5H06 | statement | record (an 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.22074#S7JQ |
| HGMJACP005 | HGMJACP005 | 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 2104.12015#IQFH |
| HGN0K87FKF | HGN0K87FKF | statement | record (an 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.15385#GVO3 |
| HGN7DJVH9N | HGN7DJVH9N | 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 2405.14678#JTQD |
| HGP9KB3HBR | HGP9KB3HBR | 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.00134#T9UP |
| HGPN1K082A | HGPN1K082A | exercise | open | open_logic content/first-order-logic/natural-deduction/identity.tex#prob-2 |
| HGQT7TNTWY | HGQT7TNTWY | statement | record (an 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.03775#J7H1 |
| HGR5K3Q7ME | HGR5K3Q7ME | 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.37524#BZBP |
| HGRQEYR9VT | HGRQEYR9VT | 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.22040#CGBT |
| HGS8NZHJS0 | HGS8NZHJS0 | statement | record (an 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.02709#4A2F |
| HGSHJBHFJ2 | HGSHJBHFJ2 | statement | record (an 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.14154#O3RD |
| HGSVFPPP5Y | HGSVFPPP5Y | statement | record (an 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.13979#286C |
| HGTBNTVE03 | HGTBNTVE03 | 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.28211#2MSO |
| HGTQHP56C0 | HGTQHP56C0 | statement | record (an 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.17070#8D5E |
| HGTS3Q3ZB7 | HGTS3Q3ZB7 | statement | record (an 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.04660#WNVG |
| HGVDR4PB4M | HGVDR4PB4M | statement | record (an 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.10840#T9B8 |
| HGVGACE7TE | HGVGACE7TE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv hep-th/9409063#R8YI |
| HGVGWMWMBP | HGVGWMWMBP | 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.20170#WJ06 |
| HGVWWW5WHW | HGVWWW5WHW | example | open | napkin tex/calculus/limits.tex#example-4 |
| HGVXH0X6KE | HGVXH0X6KE | statement | record (an 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#GNID |
| HGWAJ8WP0E | HGWAJ8WP0E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.09840#33SL |
| HGWEVP6TVW | HGWEVP6TVW | 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.28254#VNT9 |
| HGWR5FDRAX | HGWR5FDRAX | statement | record (an 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.10230#8DP3 |
| HGXG8JSB8J | HGXG8JSB8J | exercise | open | lebl_scv scv.tex#exercise-4 |
| HGYDE67447 | HGYDE67447 | statement | record (an 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.31445#905K |
| HGYP97H4W1 | HGYP97H4W1 | statement | record (an 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.37471#HAVU |
| HGYW7FJJF2 | HGYW7FJJF2 | statement | record (an 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.36045#UPHT |
| HGZ0ZS9X8Q | HGZ0ZS9X8Q | 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.35467#O5U3 |
| HGZ17AW1FX | HGZ17AW1FX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.00617#H2RA |
| HH04WX1JJS | HH04WX1JJS | statement | open | open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#prop:formed |
| HH07864BYZ | HH07864BYZ | statement | record (an 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.34923#P7A1 |
| HH0HERKKK6 | HH0HERKKK6 | 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.30685#8QX5 |
| HH1BMMPRSA | HH1BMMPRSA | statement | record (an 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.07116#GBR0 |
| HH1SM55HSN | HH1SM55HSN | statement | record (an 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.13715#CFFZ |
| HH1Z5S2B4H | HH1Z5S2B4H | statement | record (an 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.01656#KLYL |
| HH3B4AXAE8 | HH3B4AXAE8 | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-4 |
| HH3ENGT6Y5 | HH3ENGT6Y5 | example | open | applied_combinatorics source/s_probability_central-tendency.ptx#example-1 |
| HH3GVCJ1BQ | HH3GVCJ1BQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.15716#KRJW |
| HH3M0W8D0S | HH3M0W8D0S | statement | record (an 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.27360#73TI |
| HH40M3N69N | HH40M3N69N | 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.01919#XK2K |
| HH4B4J0MH8 | HH4B4J0MH8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.23797#3P2O |
| HH4D28QNDD | HH4D28QNDD | example | open | napkin tex/diffgeo/multivar.tex#example-3 |
| HH4YE2PEEH | HH4YE2PEEH | statement | record (an 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.07453#ZO4J |
| HH5EE2SEBZ | HH5EE2SEBZ | 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.31907#UB3G |
| HH5YA307MX | HH5YA307MX | statement | record (an 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.12612#F66H |
| HH6GCB6HM7 | HH6GCB6HM7 | statement | record (an 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.09201#E1B1 |
| HH6KN0WB3R | HH6KN0WB3R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.14956#H50P |
| HH6V38KEQK | HH6V38KEQK | statement | record (an 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#T162 |
| HH6ZDAJZ0S | HH6ZDAJZ0S | exercise | open | open_logic content/sets-functions-relations/relations/special-properties.tex#prob-1 |
| HH7BG5B1P9 | HH7BG5B1P9 | statement | record (an 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.19309#KAZA |
| HH87R51NAM | HH87R51NAM | 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 1903.07030#NVBR |
| HH8K7D307T | HH8K7D307T | 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.37265#87WP |