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 2701–2800 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HN4B2G33S5 | HN4B2G33S5 | example | open | napkin tex/alg-NT/galois.tex#example-8 |
| HN4DV8A6D0 | HN4DV8A6D0 | statement | record (an 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.15352#D0NA |
| HN4X8JVKJJ | HN4X8JVKJJ | 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.04809#69V6 |
| HN5AZNG796 | HN5AZNG796 | statement | record (an 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.25960#6TD8 |
| HN5J767RYN | HN5J767RYN | statement | record (an 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.13670#YDUI |
| HN5SA80YXG | HN5SA80YXG | statement | record (an 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.10474#H4JO |
| HN5X7YMHV4 | HN5X7YMHV4 | statement | record (an 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.04870#X9CD |
| HN5YM36NFN | HN5YM36NFN | statement | record (an 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#CRDG |
| HN6HDSQ7AE | HN6HDSQ7AE | statement | record (an 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.16727#DBA6 |
| HN6ZTRAZZY | HN6ZTRAZZY | 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.16962#769I |
| HN85HM27DQ | HN85HM27DQ | 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.13864#FZQM |
| HN8DJWPQNV | HN8DJWPQNV | statement | record (an 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#HKYI |
| HN8H9X4G5P | HN8H9X4G5P | statement | record (an 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.22090#KH7F |
| HN8PWE5528 | HN8PWE5528 | statement | record (an 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.35030#89D9 |
| HN98GYHCNN | HN98GYHCNN | exercise | open | lebl_ra ch-seq-ser.tex#exercise-11 |
| HN9Z7TT45C | HN9Z7TT45C | statement | record (an 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#9AM1 |
| HNA67M3AFY | HNA67M3AFY | statement | record (an 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.11409#DUIF |
| HNACDBGMJ9 | HNACDBGMJ9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.16003#MNKS |
| HNAP1DW03G | HNAP1DW03G | 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.26401#0ROI |
| HNBCBG37BX | HNBCBG37BX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.04068#4TEE |
| HNBMSB3DWM | HNBMSB3DWM | 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 2406.01036#RER1 |
| HNBW8N3W71 | HNBW8N3W71 | statement | record (an 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#LVOO |
| HNCG16PB4R | HNCG16PB4R | 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 2303.09207#L105 |
| HNCXFSDTCG | HNCXFSDTCG | statement | open | open_logic content/computability/recursive-functions/sequences.tex#prop-3 |
| HNDSHNTQAX | HNDSHNTQAX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.00212#DNMO |
| HNDX1FFC94 | HNDX1FFC94 | definition | open | lebl_ra ch-approximate.tex#defn-1 |
| HNE3JXVC20 | HNE3JXVC20 | statement | record (an 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.17518#DY21 |
| HNEATVMGXY | HNEATVMGXY | statement | record (an 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.28411#MKN1 |
| HNF123ENKA | HNF123ENKA | exercise | open | napkin tex/complex-ana/quintic.tex#ques-1 |
| HNF5QX4ABH | HNF5QX4ABH | statement | record (an 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.26357#QSPT |
| HNFFS5R826 | HNFFS5R826 | statement | record (an 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.16580#8PPC |
| HNFQGMWGVY | HNFQGMWGVY | statement | record (an 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.17408#8AS5 |
| HNG0XH31R3 | HNG0XH31R3 | statement | record (an 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.16404#8UBQ |
| HNH5BTBQ8K | HNH5BTBQ8K | statement | record (an 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.07180#EY5A |
| HNH5HYV7W8 | HNH5HYV7W8 | statement | record (an 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#64HY |
| HNH71X6WB1 | HNH71X6WB1 | exercise | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#prob:not well defined |
| HNHB1HVCQN | HNHB1HVCQN | 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#AKBI |
| HNHHH9G213 | HNHHH9G213 | definition | open | open_logic content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex#defn:tmodels |
| HNHY6SYVJ5 | HNHY6SYVJ5 | 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.18084#MO2W |
| HNJ6F2QD2X | HNJ6F2QD2X | 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.05850#I6HH |
| HNJHSBEQZ2 | HNJHSBEQZ2 | exercise | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:converse |
| HNJHV0JRAA | HNJHV0JRAA | statement | record (an 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.01354#C530 |
| HNKMYXY3WT | HNKMYXY3WT | 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 math/0406514#9UOO |
| HNMCC57FFV | HNMCC57FFV | statement | record (an 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#28K0 |
| HNMJACHFGT | HNMJACHFGT | statement | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#prop-1 |
| HNMP9CM71S | HNMP9CM71S | statement | record (an 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.25656#YIC6 |
| HNMRG0A0Q3 | HNMRG0A0Q3 | statement | record (an 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#GSK0 |
| HNN criterion | 8Q9XTZ6JEW | statement | record (an 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.17608#LV72 |
| HNN5RDBSDH | HNN5RDBSDH | statement | record (an 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.02570#Y3Q9 |
| HNNB06RVJV | HNNB06RVJV | statement | record (an 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.10221#CGW2 |
| HNNFKCYX4S | HNNFKCYX4S | statement | record (an 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.17258#C00Y |
| HNNH7X8AWE | HNNH7X8AWE | 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.40207#2Z35 |
| HNNQDJ2NSE | HNNQDJ2NSE | statement | record (an 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#BHIT |
| HNP30SZ36H | HNP30SZ36H | statement | record (an 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.17751#RZ3H |
| HNP9TV0GR1 | HNP9TV0GR1 | statement | record (an 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.28282#3GH1 |
| HNPCT94PDS | HNPCT94PDS | statement | record (an 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.19357#5LPY |
| HNPW19FY1P | HNPW19FY1P | statement | record (an 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.05730#RQZ7 |
| HNQ4J18AXT | HNQ4J18AXT | statement | record (an 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.01197#QOOR |
| HNQ9D6V5A0 | HNQ9D6V5A0 | statement | record (an 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.15517#9T76 |
| HNQCNYNV7G | HNQCNYNV7G | statement | record (an 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.20229#WH9W |
| HNQN5F2RBS | HNQN5F2RBS | 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.16225#QB5X |
| HNR1KKMVWZ | HNR1KKMVWZ | statement | record (an 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.09739#SLTN |
| HNRBWTWT06 | HNRBWTWT06 | statement | record (an 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.10372#VA9T |
| HNRDCXHPE0 | HNRDCXHPE0 | exercise | open | napkin tex/topology/metric-top.tex#problem-1 |
| HNS6G0BWX1 | HNS6G0BWX1 | 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.16580#5HU9 |
| HNSNW8XDGP | HNSNW8XDGP | 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 2301.04933#FX4P |
| HNT0TNC3J9 | HNT0TNC3J9 | statement | record (an 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.13723#5W07 |
| HNTYACKB8K | HNTYACKB8K | exercise | open | lebl_ra ch-contfunc.tex#exercise:minmaxcont |
| HNV64GWA64 | HNV64GWA64 | statement | record (an 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.01694#K6KJ |
| HNWDQV18TS | HNWDQV18TS | statement | record (an 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.28774#OBO5 |
| HNWJGH0BX5 | HNWJGH0BX5 | 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 2110.11143#GDH3 |
| HNX8YA3971 | HNX8YA3971 | statement | record (an 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.21954#KZYM |
| HNXEQP396Z | HNXEQP396Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1601.02354#B8H4 |
| HNY5QBZ607 | HNY5QBZ607 | statement | open | austin_ula src/section3-4.xml#prop-invertible-det |
| HNZZPJN0Z1 | HNZZPJN0Z1 | statement | record (an 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.39659#E1KB |
| Hobby–Rice theorem | Y8Z90VG7XN | statement | open | mathlib_1000 Q5874979, Wikidata Q5874979, thousand_plus Q5874979, Wikipedia Hobby–Rice theorem |
| Hochman's entropy estimate | ZTJ5WQBJ4X | statement | record (an 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#D5HF |
| Hochschild cohomology model | TKK9E6NXPH | statement | record (an 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.04164#H1OO |
| Hochschild homology | 5Z7D65AT8D | topic | open | Wikidata Q1622047, nLab Hochschild cohomology |
| hockey-stick identity | A5G45R3RAE | statement | node (a node has the same Wikidata item as the row) | Wikidata Q28403965, MathWorld ChristmasStockingTheorem |
| Hodge and contact polygons | 2F5B6SMHFV | 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.05652#B8Z6 |
| Hodge bundle | NGRHSGYCZR | concept | open | Wikidata Q5876053, nLab Hodge bundle |
| Hodge conjecture | 1280ZZCW3M | conjecture | open | Wikidata Q1143138, MathWorld HodgeConjecture, ProofWiki Hodge_Conjecture |
| Hodge cycle | G4FWN35ENG | unknown | open | Wikidata Q5876056, nLab Hodge cycle |
| Hodge index theorem | FM7E11S3ZT | statement | open | mathlib_1000 Q5876058, Wikidata Q5876058, thousand_plus Q5876058, Wikipedia Hodge index theorem |
| Hodge ordinate | NT16C6WC80 | 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.05652#L42S |
| Hodge star operator | P2Q06T8FHT | concept | open | Wikidata Q1622692, MathWorld HodgeStar, nLab Hodge star operator |
| Hodge structure | REFPT7KH1Q | concept | open | Wikidata Q4444341, nLab Hodge structure |
| Hodge theory | A0YKFVJVQM | concept | open | Wikidata Q1317202, nLab Hodge theory |
| Hodge type below the middle degree; Lefschetz decomposition | P4YEXMM1CK | statement | record (an 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.01731#48NO |
| Hodge--Serre duality | K6EXRZ5AHK | statement | record (an 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#E5WF |
| Hodge–de Rham spectral sequence | EKZDKW6XW0 | concept | open | Wikidata Q18207801, nLab Hodge–de Rham spectral sequence |
| Hoeffding | DJ4HHJWWN6 | statement | record (an 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.33557#HB2K |
| Hoeffding's inequality for supermartingales | N5VHSCGGXX | statement | record (an 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.27766#UFBV |
| Hoeffding's lemma | VM8M35H4E3 | statement | record (an 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.27766#FBNZ |
| Hoffman graph | SKVFNB6KPJ | unknown | open | Wikidata Q3115507, House of Graphs 1167, MathWorld HoffmanGraph |
| Hoffman–Singleton graph | JASZ3G01BJ | unknown | open | Wikidata Q3090387, House of Graphs 1173, MathWorld Hoffman-SingletonGraph |
| Hofstadter points | 1F8KQ5G954 | unknown | open | Wikidata Q2646895, MathWorld HofstadterPoint |
| hogshead | FVKTP5KA6Q | definition | open | Wikidata Q43430, ProofWiki Definition:Imperial/Volume/Hogshead |
| HOL | VY63FTB65Y | unknown | open | Wikidata Q17030435, nLab HOL |