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 1301–1400 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HBDRN09E85 | HBDRN09E85 | statement | open | open_logic content/computability/recursive-functions/examples.tex#prop-6 |
| HBDZDPMAS3 | HBDZDPMAS3 | statement | record (an 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.03011#BIQV |
| HBE5Z2596H | HBE5Z2596H | statement | record (an 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.32338#6WFV |
| HBEQE49YFH | HBEQE49YFH | statement | record (an 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.19333#OD3G |
| HBEV8E8MT4 | HBEV8E8MT4 | statement | record (an 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.07061#2RVZ |
| HBFGM7NGYW | HBFGM7NGYW | statement | record (an 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.10248#L739 |
| HBFNPXCNQS | HBFNPXCNQS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.01874#KIYA |
| HBFP9CDXBK | HBFP9CDXBK | statement | record (an 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#B505 |
| HBFZW35E3V | HBFZW35E3V | statement | record (an 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.25703#O1HI |
| HBG6ZEN5YH | HBG6ZEN5YH | statement | record (an 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.05179#SQL0 |
| HBGF6EMMAQ | HBGF6EMMAQ | statement | open | open_logic content/set-theory/cardinals/classing.tex#generalinfinitycharacter |
| HBHVSTX5QR | HBHVSTX5QR | statement | record (an 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.10840#M3WY |
| HBHZMV0SCV | HBHZMV0SCV | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:0<1 |
| HBJ12FZTV9 | HBJ12FZTV9 | statement | record (an 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.25100#VM8V |
| HBK1DYXR7H | HBK1DYXR7H | 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.05696#E6F4 |
| HBKD6ZTFJA | HBKD6ZTFJA | statement | record (an 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#BADD |
| HBKHBQAZT5 | HBKHBQAZT5 | 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.28014#3FF2 |
| HBKNK3H9GZ | HBKNK3H9GZ | statement | record (an 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.00247#9OJ6 |
| HBKPRR26AE | HBKPRR26AE | statement | record (an 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.16193#HIIO |
| HBM34GJGS6 | HBM34GJGS6 | 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 1911.06467#EQ6J |
| HBMENPRMA1 | HBMENPRMA1 | statement | record (an 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#K1XE |
| HBN3RDS4FH | HBN3RDS4FH | definition | open | lebl_ra ch-approximate.tex#defn-2 |
| HBNBGSA0GD | HBNBGSA0GD | 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 2412.20238#2Y4I |
| HBNSVX16Q3 | HBNSVX16Q3 | statement | record (an 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.00409#SYBO |
| HBPGK5HK1H | HBPGK5HK1H | statement | record (an 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.27204#AWSB |
| HBPV12GZ6T | HBPV12GZ6T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.03672#B9BZ |
| HBPWBQJV3P | HBPWBQJV3P | statement | record (an 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.17411#UEES |
| HBQB7GAVEF | HBQB7GAVEF | 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 1002.0879#HLKA |
| HBQDHFD034 | HBQDHFD034 | statement | record (an 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.32860#QDZE |
| HBQYY8Q0N6 | HBQYY8Q0N6 | 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 2011.08789#O8YZ |
| HBR3DKHWZK | HBR3DKHWZK | exercise | open | hott_book hits.tex#ex:funext-from-interval |
| HBRQ73XRVF | HBRQ73XRVF | statement | record (an 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.08288#M7WH |
| HBRQFEWAYY | HBRQFEWAYY | statement | record (an 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.24606#LMRK |
| HBRT7BVB0C | HBRT7BVB0C | statement | record (an 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.15416#LA50 |
| HBSAHQKDVG | HBSAHQKDVG | statement | record (an 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.20025#AH00 |
| HBSGZPQENJ | HBSGZPQENJ | 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 2203.16333#W5FM |
| HBSZEP0XWR | HBSZEP0XWR | 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.36309#Z9CW |
| HBT2G6VVTD | HBT2G6VVTD | 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 1509.00950#U89P |
| HBTA5W9BZH | HBTA5W9BZH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14629#9JU9 |
| HBV3RS7MPZ | HBV3RS7MPZ | statement | record (an 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.40203#SPKF |
| HBVAAJVKMR | HBVAAJVKMR | statement | record (an 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.24584#K4H2 |
| HBVFTDRX3P | HBVFTDRX3P | statement | record (an 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.39269#3DD9 |
| HBVGQYKNE6 | HBVGQYKNE6 | statement | record (an 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.08237#AFYV |
| HBVQ7MVKV1 | HBVQ7MVKV1 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-109 |
| HBVZB18TGT | HBVZB18TGT | statement | record (an 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#R2VY |
| HBWNGC9SAR | HBWNGC9SAR | statement | record (an 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.09900#DO8O |
| HBX6JWC0FT | HBX6JWC0FT | statement | record (an 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#5VB0 |
| HBXYP7035R | HBXYP7035R | statement | record (an 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.29326#FGUQ |
| HBY3VTX6QH | HBY3VTX6QH | statement | record (an 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.15926#IVLV |
| HBYJM49004 | HBYJM49004 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-13 |
| HBYK0VSB41 | HBYK0VSB41 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#8S8T |
| HBYSC1J9JG | HBYSC1J9JG | statement | record (an 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.29552#CI70 |
| HBYT29RFCP | HBYT29RFCP | statement | record (an 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#8PSH |
| HBYYPRMFV3 | HBYYPRMFV3 | statement | record (an 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.14985#BP15 |
| HBZ8RGT853 | HBZ8RGT853 | 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.40138#6DBU |
| HBZCQ82MHN | HBZCQ82MHN | 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 2504.18390#6JCP |
| HBZZ4JW9A4 | HBZZ4JW9A4 | statement | record (an 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.24878#6IZ2 |
| HC0CT2VPSE | HC0CT2VPSE | statement | open | applied_combinatorics source/s_background_mult.ptx#lemma-2 |
| HC0V1XK262 | HC0V1XK262 | 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 2510.12502#I8P4 |
| HC18X23S27 | HC18X23S27 | 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.11395#RWBH |
| HC1FTD2G26 | HC1FTD2G26 | proof | open | open_logic content/proof-theory/sequent-calculus/translations.tex#proof-2 |
| HC1MY2WJVT | HC1MY2WJVT | statement | record (an 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.12486#XAFV |
| HC1TC90YWX | HC1TC90YWX | statement | record (an 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.36313#FG1M |
| HC21F02YPZ | HC21F02YPZ | statement | record (an 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.16875#ET2J |
| HC28ZEWA93 | HC28ZEWA93 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-46 |
| HC2JT7ZKWM | HC2JT7ZKWM | statement | record (an 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#4IEO |
| HC38JD6T9S | HC38JD6T9S | example | open | open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#ex-1 |
| HC39DKX65A | HC39DKX65A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#S4BY |
| HC3FZDWDAP | HC3FZDWDAP | statement | record (an 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.07099#U6HG |
| HC3JY6QTVP | HC3JY6QTVP | statement | record (an 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.09565#A4YD |
| HC3NF7GJ8E | HC3NF7GJ8E | statement | record (an 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.01267#15HJ |
| HC4F36Y98R | HC4F36Y98R | statement | record (an 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.04305#NY87 |
| HC4KXCNV33 | HC4KXCNV33 | statement | record (an 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#AB74 |
| HC4RFEAXGK | HC4RFEAXGK | 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.17045#81BV |
| HC564BQXW9 | HC564BQXW9 | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-34 |
| HC599GARRZ | HC599GARRZ | statement | record (an 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.11700#XM0G |
| HC5EDECX9A | HC5EDECX9A | statement | record (an 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#SACD |
| HC5ZPJ0WXJ | HC5ZPJ0WXJ | 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.02079#C0G6 |
| HC62N16AC9 | HC62N16AC9 | proof | open | lebl_scv scv.tex#proof-27 |
| HC6X9QRY9Y | HC6X9QRY9Y | 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.01915#0T32 |
| HC7APE3YFW | HC7APE3YFW | statement | record (an 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#E7L3 |
| HC7H834JE9 | HC7H834JE9 | 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.12683#XXMY |
| HC7HR6TX9Q | HC7HR6TX9Q | statement | record (an 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.07852#I57E |
| HC7T649WVM | HC7T649WVM | statement | record (an 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.34081#SENY |
| HC80K8RBWX | HC80K8RBWX | statement | record (an 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.25957#EHP5 |
| HC84CTRDFF | HC84CTRDFF | 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.13741#CKUR |
| HC8A4J3WQC | HC8A4J3WQC | statement | record (an 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.01858#YJO8 |
| HC8JEJC8KT | HC8JEJC8KT | definition | open | open_logic content/normal-modal-logic/syntax-and-semantics/language-modal-logic.tex#defn-2 |
| HC90G3A4F5 | HC90G3A4F5 | statement | open | hott_book equivalences.tex#lem:coh-equiv |
| HC929Z30NV | HC929Z30NV | example | open | lebl_diffyqs ap-linear-algebra.tex#example-11 |
| HC987D3ZB1 | HC987D3ZB1 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-23 |
| HCAD3A434D | HCAD3A434D | statement | record (an 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.20077#8OQ8 |
| HCB4TNP8T3 | HCB4TNP8T3 | statement | record (an 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.34876#329U |
| HCB9DEPPPT | HCB9DEPPPT | statement | record (an 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.27056#CYGT |
| HCBAGX3HC4 | HCBAGX3HC4 | statement | record (an 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.14847#6R68 |
| HCBF4AM841 | HCBF4AM841 | unknown | open | arXiv 2609.32916#QFDI |
| HCBX14FPBE | HCBX14FPBE | statement | record (an 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.14838#SOPR |
| HCD5SW5YKM | HCD5SW5YKM | statement | record (an 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#C9R6 |
| HCDF1PSDSX | HCDF1PSDSX | statement | record (an 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.21358#C3F9 |
| HCDXRK5EJS | HCDXRK5EJS | statement | record (an 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.30086#BCN3 |