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 3301–3400 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HS783G9KCV | HS783G9KCV | statement | record (an 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.09171#16VJ |
| HS8DCSARBM | HS8DCSARBM | 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#NEJ9 |
| HS8K5RQJW5 | HS8K5RQJW5 | statement | open | open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#prop-1 |
| HS8QY1YPWK | HS8QY1YPWK | statement | record (an 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.33512#V7LB |
| HS8ZMCAZ0D | HS8ZMCAZ0D | statement | record (an 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.21724#WB3A |
| HS9JR6RZZT | HS9JR6RZZT | statement | record (an 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.23812#0FTX |
| HS9VT0ZK1E | HS9VT0ZK1E | statement | record (an 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.15131#O3N1 |
| HSA4836ENM | HSA4836ENM | statement | record (an 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.06206#U9O7 |
| HSAS02FR4Q | HSAS02FR4Q | statement | record (an 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.12108#610S |
| HSASFCY02C | HSASFCY02C | statement | record (an 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.12983#WGPY |
| HSBQT1JH27 | HSBQT1JH27 | 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.05216#YCQM |
| HSBW8WF5NR | HSBW8WF5NR | 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.39505#0QEV |
| HSC1Y2CENV | HSC1Y2CENV | statement | record (an 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.38014#ZZJB |
| HSC4XN15Q2 | HSC4XN15Q2 | exercise | open | open_logic content/incompleteness/incompleteness-provability/rosser-thm.tex#prob-1 |
| HSCAVSYS7E | HSCAVSYS7E | statement | record (an 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.35858#AE2R |
| HSCDJATZB6 | HSCDJATZB6 | 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.09900#86MD |
| HSCHEPWTDW | HSCHEPWTDW | 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 2011.12496#NIZK |
| HSCQV90FBG | HSCQV90FBG | exercise | open | levin_dmoi ptx/exercises/gt-trees.ptx#exercise-12 |
| HSD9G07R0T | HSD9G07R0T | statement | record (an 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.11468#XCLH |
| HSDJXDJ4VG | HSDJXDJ4VG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.01658#XJIJ |
| HSE7ZV3VBG | HSE7ZV3VBG | statement | record (an 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.09379#WOM3 |
| HSENKQMCRF | HSENKQMCRF | statement | open | napkin tex/alg-NT/artin.tex#theorem-5 |
| HSEY29SEMK | HSEY29SEMK | statement | record (an 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.26438#FA8L |
| HSF54MP096 | HSF54MP096 | proof | open | lebl_ra ch-approximate.tex#proof-23 |
| HSFDG3KD5Q | HSFDG3KD5Q | 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.15217#I55N |
| HSFHJF2K0A | HSFHJF2K0A | statement | record (an 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#AX2H |
| HSFKXHSY94 | HSFKXHSY94 | statement | record (an 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.13295#SGE8 |
| HSG4CKMMR6 | HSG4CKMMR6 | statement | record (an 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#K96G |
| HSG6WSFZFG | HSG6WSFZFG | statement | record (an 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.10519#Z4IX |
| HSG96YP24S | HSG96YP24S | exercise | open | lebl_scv scv.tex#exercise-37 |
| HSGED5A0E6 | HSGED5A0E6 | statement | record (an 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#DD27 |
| HSGJAVC5F7 | HSGJAVC5F7 | statement | record (an 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#SU0W |
| HSGWRF8NY5 | HSGWRF8NY5 | 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.27078#RI73 |
| HSH91EEXZG | HSH91EEXZG | statement | record (an 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#93HH |
| HSHCHH8MT8 | HSHCHH8MT8 | statement | record (an 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.26089#VWP5 |
| HSJ8A9RQAY | HSJ8A9RQAY | statement | open | hott_book setmath.tex#thm-6 |
| HSK03K9DBF | HSK03K9DBF | statement | record (an 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.09078#8TDC |
| HSKK91Q2G5 | HSKK91Q2G5 | statement | record (an 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.16657#2TTV |
| HSKTZ2GQVK | HSKTZ2GQVK | statement | record (an 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.04124#1GWP |
| HSM1J19VNW | HSM1J19VNW | statement | record (an 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.09171#WLBJ |
| HSM3CB916P | HSM3CB916P | statement | record (an 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.10580#PPGB |
| HSM3D3RF3N | HSM3D3RF3N | statement | record (an 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.23812#2Z0O |
| HSMTX22N43 | HSMTX22N43 | statement | record (an 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#FN8I |
| HSNCKJXYFX | HSNCKJXYFX | statement | record (an 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.13378#VPVN |
| HSNSGHFHGY | HSNSGHFHGY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q65194, ProofWiki Mathematician:Hans_Carl_Friedrich_von_Mangoldt |
| HSNV0WW46S | HSNV0WW46S | statement | open | applied_combinatorics source/s_ramsey_probability.ptx#thm_rnn |
| HSPWQZBCM2 | HSPWQZBCM2 | statement | record (an 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.06719#KGIL |
| HSRA2DV43Q | HSRA2DV43Q | statement | record (an 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.26382#OVB0 |
| HSRDD7Q185 | HSRDD7Q185 | statement | record (an 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.25129#THJV |
| HSRGP0H39Y | HSRGP0H39Y | statement | record (an 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.03661#4MCR |
| HSRWMYB1HP | HSRWMYB1HP | statement | record (an 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.33360#MPIQ |
| HSS27K06WF | HSS27K06WF | statement | record (an 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.12014#CS62 |
| HSS8B0NHT2 | HSS8B0NHT2 | statement | record (an 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.33953#XWPF |
| HSSKGBAKJ6 | HSSKGBAKJ6 | statement | record (an 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.20489#3E1Y |
| HSTDV4V709 | HSTDV4V709 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4887#PZMX |
| HSV2MHEPW6 | HSV2MHEPW6 | statement | record (an 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.00952#W09T |
| HSVHEQEYQ0 | HSVHEQEYQ0 | exercise | open | napkin tex/H113/ring-intro.tex#problem-2 |
| HSW957FG03 | HSW957FG03 | exercise | open | lebl_scv scv.tex#exercise-70 |
| HSWG50WDK4 | HSWG50WDK4 | statement | record (an 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.05684#1QOL |
| HSXCDVCB05 | HSXCDVCB05 | statement | record (an 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#PMRN |
| HSXWV5Q2W7 | HSXWV5Q2W7 | statement | record (an 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.20131#7DLZ |
| HSY2587NN5 | HSY2587NN5 | statement | record (an 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.02379#PNQH |
| HSY46KS3RX | HSY46KS3RX | statement | record (an 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.19360#S0J1 |
| HSYY6XG43N | HSYY6XG43N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1707.07744#VJB0 |
| HSYYE5V1YK | HSYYE5V1YK | exercise | open | napkin tex/linalg/dual-trace.tex#problem-1 |
| HSZ92PCDFZ | HSZ92PCDFZ | statement | record (an 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.05299#7W5I |
| HT0BCQNHK6 | HT0BCQNHK6 | statement | record (an 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#JZD7 |
| HT0K8CG4RY | HT0K8CG4RY | 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.19449#KSTI |
| HT14D5GYJT | HT14D5GYJT | statement | record (an 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.13850#RJVJ |
| HT1Q4J3JGQ | HT1Q4J3JGQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.26376#HHV6 |
| HT210ZBPEQ | HT210ZBPEQ | statement | record (an 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.33584#8OZL |
| HT2G17CTA0 | HT2G17CTA0 | statement | record (an 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.05684#AJQZ |
| HT3CSP0HDX | HT3CSP0HDX | statement | record (an 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.24523#24U6 |
| HT3CYDFKQ7 | HT3CYDFKQ7 | proof | open | lebl_ra ch-contfunc.tex#proof-4 |
| HT3P8AEV4E | HT3P8AEV4E | proof | open | open_logic content/computability/recursive-functions/examples.tex#proof-1 |
| HT4GJW3WQS | HT4GJW3WQS | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#thm:provability-quantifiers |
| HT4SF3SMJN | HT4SF3SMJN | statement | record (an 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.04161#RX30 |
| HT59TN8JDA | HT59TN8JDA | statement | record (an 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.18252#VR4U |
| HT5W74QB49 | HT5W74QB49 | statement | record (an 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.31604#8LYU |
| HT5ZW4P4YF | HT5ZW4P4YF | statement | record (an 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.33108#YN0O |
| HT69C08ZVG | HT69C08ZVG | statement | open | hott_book equivalences.tex#lem:qinv-autohtpy |
| HT6DNAE0ZT | HT6DNAE0ZT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#WJWL |
| HT70BFARE8 | HT70BFARE8 | 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.22288#MXYX |
| HT75F37XMV | HT75F37XMV | statement | record (an 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.10178#OFBM |
| HT7VX3ZT2Z | HT7VX3ZT2Z | statement | record (an 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.39700#GJ8C |
| HT7YY4CN8S | HT7YY4CN8S | statement | record (an 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.36089#HKIO |
| HT8N0WDZ5Z | HT8N0WDZ5Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#5CPO |
| HT8TZPTTJG | HT8TZPTTJG | 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.40189#TP4F |
| HT8YR2GG81 | HT8YR2GG81 | exercise | open | napkin tex/measure/caratheodory.tex#ques-2 |
| HTAJWGW2MG | HTAJWGW2MG | statement | record (an 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.26017#4HZ0 |
| HTAY8Z7F3Z | HTAY8Z7F3Z | statement | record (an 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/0003117#9H1H |
| HTBJJH2RZA | HTBJJH2RZA | 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 0806.0033#SERB |
| HTBRCP0ET4 | HTBRCP0ET4 | statement | record (an 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.20956#5OXI |
| HTBTQHT2X1 | HTBTQHT2X1 | statement | record (an 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.24892#GITC |
| HTC29P9S5C | HTC29P9S5C | statement | record (an 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.31811#EIEN |
| HTC2H43XX4 | HTC2H43XX4 | statement | record (an 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#ZRR4 |
| HTCE8F58GB | HTCE8F58GB | 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.03175#4P9T |
| HTCH5RZSMQ | HTCH5RZSMQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0903.1569#XPQZ |
| HTCPMHPMQB | HTCPMHPMQB | 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.01247#N3FS |
| HTCV35HRPX | HTCV35HRPX | 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.27628#V99M |