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 901–1000 of 7946.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| H9E09YKTBH | H9E09YKTBH | statement | record (an 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.25167#3KNU |
| H9EDR6H6AQ | H9EDR6H6AQ | statement | record (an 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.01837#8P5Z |
| H9EH2PGSJE | H9EH2PGSJE | 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.09812#5BJ7 |
| H9F6GVZP0Z | H9F6GVZP0Z | statement | record (an 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.32090#FSGB |
| H9F6VPTZWP | H9F6VPTZWP | statement | record (an 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#Z9KA |
| H9F78T9FH1 | H9F78T9FH1 | statement | record (an 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.23922#AVRV |
| H9FHZHNFGT | H9FHZHNFGT | 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.20119#6WEU |
| H9FPDPKET6 | H9FPDPKET6 | statement | record (an 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.23694#JV82 |
| H9FR37NFA3 | H9FR37NFA3 | example | open | open_logic content/first-order-logic/tableaux/proving-things-quant.tex#ex-2 |
| H9FVFBCMPS | H9FVFBCMPS | example | open | lebl_diffyqs ch-first-order-ode.tex#example-7 |
| H9FW01FBYK | H9FW01FBYK | 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.30544#3W0T |
| H9FWCEZ0KE | H9FWCEZ0KE | proof | open | napkin tex/linalg/transpose.tex#proof-4 |
| H9GA2EPMT1 | H9GA2EPMT1 | statement | record (an 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.00909#8GFH |
| H9GFFJMZVN | H9GFFJMZVN | statement | record (an 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.05631#CMZ0 |
| H9GN3C8HWJ | H9GN3C8HWJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.14162#A43H |
| H9HD8F12JW | H9HD8F12JW | statement | record (an 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.07260#SIQ6 |
| H9HHF17SEY | H9HHF17SEY | 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 2608.17785#YNEB |
| H9J5M241FR | H9J5M241FR | statement | record (an 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.25539#ULJH |
| H9J60NM5G5 | H9J60NM5G5 | statement | record (an 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.17883#1WH5 |
| H9JPK2AJ0A | H9JPK2AJ0A | statement | record (an 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.05990#PWZJ |
| H9K281XZ9E | H9K281XZ9E | 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.12434#YSPL |
| H9K6ZDH096 | H9K6ZDH096 | statement | record (an 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.03327#KLDU |
| H9KHESX416 | H9KHESX416 | statement | record (an 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.01928#JDND |
| H9KS2GHFWN | H9KS2GHFWN | statement | record (an 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.21365#T8KV |
| H9KV6MB3EX | H9KV6MB3EX | statement | record (an 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.08633#H23Y |
| H9MH7RS22V | H9MH7RS22V | 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 2506.16491#PQ6Y |
| H9MW1E849S | H9MW1E849S | statement | record (an 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.15212#1Q6A |
| H9MXDT05WW | H9MXDT05WW | statement | record (an 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.02017#JFYD |
| H9N3FHY6MB | H9N3FHY6MB | 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.12371#0M9U |
| H9N8T2H7E4 | H9N8T2H7E4 | statement | record (an 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.29501#KVDD |
| H9P3ZXEHV4 | H9P3ZXEHV4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#EAVS |
| H9P5KDA72F | H9P5KDA72F | 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 2204.13401#23EJ |
| H9PB457J8Z | H9PB457J8Z | statement | record (an 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.23617#8MK4 |
| H9PESV20XC | H9PESV20XC | 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.36423#7XEM |
| H9PPXB5NYF | H9PPXB5NYF | statement | record (an 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.25524#YV3J |
| H9PVS9EX87 | H9PVS9EX87 | statement | record (an 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.04317#VB7V |
| H9Q4K62QMG | H9Q4K62QMG | statement | record (an 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.02848#SYTS |
| H9QQK71AYQ | H9QQK71AYQ | statement | record (an 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.08198#THEH |
| H9QT24KKDF | H9QT24KKDF | statement | record (an 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.07644#LRTZ |
| H9RBVT9QKQ | H9RBVT9QKQ | statement | record (an 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.01946#ZD5I |
| H9RC5BXSN3 | H9RC5BXSN3 | statement | record (an 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.06621#NLOV |
| H9S46M84VJ | H9S46M84VJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1652#LOCJ |
| H9SF3JKE21 | H9SF3JKE21 | statement | record (an 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#JEAF |
| H9SMD0VG1A | H9SMD0VG1A | statement | record (an 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/9602216#JAEK |
| H9SNW79E9T | H9SNW79E9T | definition | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#defn-1 |
| H9TP3JQPCM | H9TP3JQPCM | proof | open | open_logic content/computability/recursive-functions/bounded-minimization.tex#proof-1 |
| H9TXVGSFJM | H9TXVGSFJM | 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.30067#DB2W |
| H9VAA8RD89 | H9VAA8RD89 | statement | record (an 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.22297#QD95 |
| H9VH4KH3K4 | H9VH4KH3K4 | statement | record (an 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.14914#1HQH |
| H9WF9HVWHK | H9WF9HVWHK | statement | record (an 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#E10D |
| H9WNJF0H4S | H9WNJF0H4S | statement | record (an 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.20663#196C |
| H9WWAHS304 | H9WWAHS304 | statement | record (an 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.06695#FNIX |
| H9X9HXGXJD | H9X9HXGXJD | proof | open | napkin tex/alg-NT/classgrp.tex#proof-7 |
| H9YB3QYWP9 | H9YB3QYWP9 | exercise | open | open_logic content/proof-theory/normalization/reductions.tex#prob-1 |
| H9YGE3N4XY | H9YGE3N4XY | statement | record (an 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.25063#D3W4 |
| H9YMSWRHN7 | H9YMSWRHN7 | statement | open | open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#prop:restrict |
| H9YMZYTGC9 | H9YMZYTGC9 | 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.25111#Q9QT |
| H9YSM2FM7K | H9YSM2FM7K | statement | open | lebl_ra ch-contfunc.tex#falg:cor |
| H9YV2Z89D6 | H9YV2Z89D6 | statement | record (an 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.27846#LH2D |
| H9ZD2J7YXB | H9ZD2J7YXB | statement | record (an 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#BPT9 |
| H9ZV3SMF2Z | H9ZV3SMF2Z | statement | record (an 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.01915#V5FN |
| H\"older concentration rate | 156YAN27YY | statement | record (an 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.10484#S9KF |
| H\"older continuity | SYMTCN6554 | 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.26581#YUG1 |
| H\"older continuity of $\nabla f$ | WFND1T9RR9 | statement | record (an 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.08434#BB5D |
| H\"older early-stopping error bound on the cube | FWFWQA5DFY | statement | record (an 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.05333#Q6Y1 |
| H\"older functions on regular manifolds | HCKBTSBH7W | 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.31458#4V7H |
| H\"older modulus of continuity - Laplacian | NSVK7NPQBN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.14638#XF08 |
| H\"older Regularity | QQXSN2EPWE | statement | record (an 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.10167#RJJK |
| H\"older's Inequality | 2N39SHNJ1N | statement | record (an 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.24522#KQVI |
| H\"older's inequality | 5CW74XHNN2 | statement | record (an 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.27765#P76O |
| H\"older's inequality | NG7B60B5CD | statement | record (an 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.28454#WEIX |
| H\"older's inequality | XDQXTN1ZX6 | statement | record (an 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.15460#FZ5N |
| H\"{o}lder estimates | CXSD455KW8 | statement | record (an 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.12430#GE0E |
| HA0G940S4C | HA0G940S4C | 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.36045#725Z |
| HA145JRZAD | HA145JRZAD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.16333#ZQVU |
| HA16C39M8T | HA16C39M8T | exercise | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#problem-4 |
| HA25YPA6D3 | HA25YPA6D3 | statement | record (an 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#3F43 |
| HA2GV1SF5V | HA2GV1SF5V | statement | record (an 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.30663#K9RW |
| HA3CTDB1K1 | HA3CTDB1K1 | example | open | applied_combinatorics source/s_networkflow_augmenting.ptx#exa_networkflow_augpath |
| HA3W4QVQ7P | HA3W4QVQ7P | statement | open | open_logic content/sets-functions-relations/functions/inverses.tex#prop-1 |
| HA402DE45G | HA402DE45G | 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.28677#2M1E |
| HA4528YPPT | HA4528YPPT | statement | record (an 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#2OXJ |
| HA55NPT137 | HA55NPT137 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.05177#TVHU |
| HA5AM349Z3 | HA5AM349Z3 | definition | open | napkin tex/homology/cup-product.tex#definition-6 |
| HA629DRTNG | HA629DRTNG | statement | record (an 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#WFRB |
| HA6JBA5FHS | HA6JBA5FHS | statement | record (an 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.21611#AHB6 |
| HA6TCAZ7NT | HA6TCAZ7NT | statement | record (an 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.13516#TRZS |
| HA70JTE29P | HA70JTE29P | statement | record (an 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#R09Q |
| HA73A2M4TA | HA73A2M4TA | statement | record (an 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#T8G8 |
| HA7FBK9XF0 | HA7FBK9XF0 | 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.28594#H6UO |
| HA80MSVQGJ | HA80MSVQGJ | statement | record (an 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#4HPK |
| HA8XAT6AY5 | HA8XAT6AY5 | statement | record (an 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#QXRG |
| HA95T251FW | HA95T251FW | statement | record (an 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.19010#0V7O |
| HA9HG9QAQY | HA9HG9QAQY | 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.09810#KR5Y |
| HAABQVVWS4 | HAABQVVWS4 | statement | record (an 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.07162#4PM3 |
| Haag's theorem | KYAPNVRB55 | statement | open | mathlib_1000 Q1566372, Wikidata Q1566372, thousand_plus Q1566372, Wikipedia Haag's theorem, EoM Haag_theorem, nLab Haag's theorem |
| Haag's theorem | X02B7WPHAT | statement | open | Wikipedia List of theorems#OOXQ |
| Haagerup | KYVBM846W1 | statement | record (an 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.16669#ITHK |
| Haagerup , Choda | 8FXGRYPQCB | 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.22109#ILYS |
| Haagerup property | 98H8NPS2CD | definition | open | Wikipedia Haagerup property, Wikidata Q5636478 |