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 101–200 of 7946.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| H0BJ3XGP5H | H0BJ3XGP5H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv alg-geom/9506022#FSQG |
| H0BY6XYXWD | H0BY6XYXWD | statement | record (an 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.35740#B5DW |
| H0CDXWCB8E | H0CDXWCB8E | statement | record (an 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.16884#F4P6 |
| H0CEA1G02X | H0CEA1G02X | statement | record (an 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.13532#OGOK |
| H0CHTJK7W6 | H0CHTJK7W6 | 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.39317#VVOF |
| H0CWVG3MDE | H0CWVG3MDE | statement | record (an 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.34289#3J6I |
| H0DB2M779S | H0DB2M779S | statement | record (an 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.01237#WJK6 |
| H0DQX6B9DJ | H0DQX6B9DJ | conjecture | record (an 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.28507#W0PY |
| H0ECAF5KT0 | H0ECAF5KT0 | statement | record (an 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.17482#AYL2 |
| H0F11K1C6F | H0F11K1C6F | 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.37747#19XJ |
| H0FG6K3XST | H0FG6K3XST | statement | record (an 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.17412#K1KG |
| H0FK19T440 | H0FK19T440 | statement | open | napkin tex/alg-NT/finite-field.tex#theorem-1 |
| H0G5DWQ1AX | H0G5DWQ1AX | statement | record (an 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.23343#MIKE |
| H0HKAGRW4E | H0HKAGRW4E | proof | open | open_logic content/set-theory/ordinals/iso.tex#proof-3 |
| H0HMEB7QXZ | H0HMEB7QXZ | statement | record (an 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.06108#JUDI |
| H0HVN7G6WD | H0HVN7G6WD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.1331#WMAE |
| H0K2XZ3DSM | H0K2XZ3DSM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#ETM6 |
| H0M35F7RQ3 | H0M35F7RQ3 | statement | record (an 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.27458#AL13 |
| H0M5REPBHN | H0M5REPBHN | proof | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#proof-2 |
| H0MFNCT0EX | H0MFNCT0EX | exercise | open | austin_ula src/exercises/exercises6-2.xml#exercise-7 |
| H0MFWP3RMF | H0MFWP3RMF | statement | record (an 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#Z5EB |
| H0MXHSCNTS | H0MXHSCNTS | exercise | open | austin_ula src/exercises/exercises6-5.xml#exercise-5 |
| H0N9M41N6S | H0N9M41N6S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.10636#EOFI |
| H0NDHEMV80 | H0NDHEMV80 | statement | record (an 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.12357#X9YL |
| H0NTFF4M71 | H0NTFF4M71 | statement | record (an 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.21255#OQRD |
| H0P46Q6N24 | H0P46Q6N24 | statement | record (an 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.06699#0NDL |
| H0P94AH0YN | H0P94AH0YN | statement | record (an 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.13972#EQJM |
| H0PESWAC67 | H0PESWAC67 | statement | record (an 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.02207#ZKUT |
| H0PJ57FKS9 | H0PJ57FKS9 | 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.25345#WBWY |
| H0PQ5JHAYK | H0PQ5JHAYK | statement | record (an 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.30097#7XVE |
| H0PV4HQM6D | H0PV4HQM6D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.14389#G205 |
| H0PZCDM0Z4 | H0PZCDM0Z4 | statement | record (an 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.29712#ZTCN |
| H0Q3HNCNF8 | H0Q3HNCNF8 | statement | record (an 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.20488#7IIL |
| H0Q9NV6E8N | H0Q9NV6E8N | 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.30274#56WJ |
| H0Q9XFTWRS | H0Q9XFTWRS | statement | record (an 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.27694#GDDN |
| H0QHC8WE0P | H0QHC8WE0P | statement | record (an 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.14045#KEUQ |
| H0QRE7Q36N | H0QRE7Q36N | statement | record (an 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.20401#07EQ |
| H0RK6D2RAG | H0RK6D2RAG | 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.21994#CQ2X |
| H0SV3HT07N | H0SV3HT07N | 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.02628#699E |
| H0T42PR00S | H0T42PR00S | statement | record (an 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.19088#KH9T |
| H0TGQNA2E2 | H0TGQNA2E2 | 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 2508.21045#6KZ9 |
| H0TN3MT3KT | H0TN3MT3KT | 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.20801#N4E0 |
| H0TZXX7ZCC | H0TZXX7ZCC | statement | record (an 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.19533#FPLG |
| H0V9MCBCVF | H0V9MCBCVF | 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.34845#A93U |
| H0VE174Y6X | H0VE174Y6X | exercise | open | austin_ula src/exercises/exercises4-5.xml#exercise-4 |
| H0W931JGD5 | H0W931JGD5 | statement | record (an 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.25742#4XSH |
| H0WJV4D1KN | H0WJV4D1KN | proof | open | hott_book reals.tex#proof-28 |
| H0WK735TQD | H0WK735TQD | statement | record (an 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#F86Y |
| H0WPGQ7DKM | H0WPGQ7DKM | 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 2405.02275#6DNC |
| H0WVE0DEWC | H0WVE0DEWC | statement | record (an 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.21403#DD7O |
| H0XZ3TBPB1 | H0XZ3TBPB1 | 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.26269#F5XP |
| H0Y3X8QCD5 | H0Y3X8QCD5 | exercise | open | austin_ula src/section7-3.xml#activity-pca-iris |
| H0Y465AMTE | H0Y465AMTE | statement | record (an 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.07380#3CGC |
| H0Y9NAG8EX | H0Y9NAG8EX | statement | record (an 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.17091#4GX4 |
| H0YDPCT1BE | H0YDPCT1BE | statement | record (an 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.10413#P115 |
| H0YZSPNMA5 | H0YZSPNMA5 | exercise | open | napkin tex/alg-geom/sheaves.tex#prob:finite_sheaf |
| H0ZM7ERJBN | H0ZM7ERJBN | 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.08873#AQ8G |
| H0ZRMP36KM | H0ZRMP36KM | statement | record (an 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.29450#C3T4 |
| H1 norm | FPDCJ94WGK | unknown | open | Wikipedia Sobolev space#4BUM |
| H100FZTH2N | H100FZTH2N | statement | record (an 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.07461#G7UH |
| H10JVPQW66 | H10JVPQW66 | statement | record (an 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#QS0X |
| H10MA9NCKD | H10MA9NCKD | statement | record (an 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#0TVN |
| H10XNBNH37 | H10XNBNH37 | statement | record (an 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.13271#0PVY |
| H1126AGRXE | H1126AGRXE | statement | record (an 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#VY6P |
| H11DV8D068 | H11DV8D068 | statement | record (an 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.39675#6TYZ |
| H12JBSGDZA | H12JBSGDZA | statement | record (an 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.40191#Y51U |
| H12TSKVM1B | H12TSKVM1B | 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.30207#8TTN |
| H13Y521G3M | H13Y521G3M | statement | record (an 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.26162#AHC9 |
| H14NEGGJTB | H14NEGGJTB | statement | record (an 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.15403#6JN0 |
| H15AJHZSW1 | H15AJHZSW1 | statement | record (an 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#BAY6 |
| H15C4T3F1D | H15C4T3F1D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2504.19468#UOY4 |
| H15FNAVTD3 | H15FNAVTD3 | exercise | open | napkin tex/topology/constructions.tex#problem-2 |
| H15SZK3KN3 | H15SZK3KN3 | statement | record (an 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.29022#CN98 |
| H16426SWYP | H16426SWYP | statement | record (an 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#G4BQ |
| H16GG4Q6QQ | H16GG4Q6QQ | statement | record (an 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.17139#BGG1 |
| H16M7SH9M0 | H16M7SH9M0 | statement | record (an 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.33421#GK6C |
| H16TDPBXWT | H16TDPBXWT | statement | record (an 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.20568#S64M |
| H17JX385VJ | H17JX385VJ | statement | record (an 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.33590#K6JE |
| H186F1DB10 | H186F1DB10 | statement | record (an 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.25896#2HUC |
| H18A4NEFB4 | H18A4NEFB4 | unknown | open | arXiv 1008.4254#0BK6 |
| H18FZVGGDR | H18FZVGGDR | statement | record (an 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.16431#E9LX |
| H18HMJZVG5 | H18HMJZVG5 | 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 2308.05715#QY6J |
| H19H8SVP3X | H19H8SVP3X | statement | record (an 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.37562#LNV2 |
| H19K3Z5QDQ | H19K3Z5QDQ | statement | record (an 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.20568#BO1Q |
| H19VX4TCFH | H19VX4TCFH | statement | record (an 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.27049#2NZ5 |
| H19Y640FJ8 | H19Y640FJ8 | statement | record (an 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.24465#HPBC |
| H1A9ZDZSHR | H1A9ZDZSHR | statement | record (an 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.20801#259U |
| H1ACN43XEE | H1ACN43XEE | statement | record (an 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#EALM |
| H1AWM1EW0A | H1AWM1EW0A | statement | open | lebl_ra ch-multivar-int.tex#mv:prop:refinement |
| H1BC1E086P | H1BC1E086P | statement | record (an 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.02158#POZB |
| H1BGDRDKWY | H1BGDRDKWY | statement | record (an 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.05715#3VQ0 |
| H1BYY1NTSJ | H1BYY1NTSJ | statement | record (an 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.16123#U52C |
| H1C08YGBTN | H1C08YGBTN | 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.28011#B3JI |
| H1CNCNQNPH | H1CNCNQNPH | statement | record (an 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.35538#6EXG |
| H1DBBV5SKW | H1DBBV5SKW | exercise | open | napkin tex/H113/ring-flavors.tex#prob:krull_max_ideal |
| H1DV8K2Q33 | H1DV8K2Q33 | statement | record (an 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#SYDP |
| H1E3VWYFQF | H1E3VWYFQF | statement | record (an 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.22338#ZLA9 |
| H1EH82YZX6 | H1EH82YZX6 | statement | open | open_logic content/computability/computability-theory/prop-reduce.tex#prop:reduce |
| H1FAW5ZWB5 | H1FAW5ZWB5 | statement | record (an 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.10511#HCLE |
| H1FX4AC1JH | H1FX4AC1JH | statement | record (an 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.37589#WSB2 |