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 2401–2500 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HJ7CVDF08Z | HJ7CVDF08Z | exercise | open | lebl_ra ch-metric.tex#exercise-60 |
| HJ7SGQR7JF | HJ7SGQR7JF | 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 2208.05288#05BZ |
| HJ7V2KTQD5 | HJ7V2KTQD5 | 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 2206.05392#QSEH |
| HJ89DG1JVX | HJ89DG1JVX | exercise | open | lebl_ra ch-der.tex#exercise-9 |
| HJ8EA5N4H2 | HJ8EA5N4H2 | unknown | open | arXiv 2410.01436#L8V7 |
| HJ8HJ8J591 | HJ8HJ8J591 | statement | record (an 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#F72N |
| HJ8XR2YHQE | HJ8XR2YHQE | statement | record (an 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#VUKU |
| HJ95BZKMRK | HJ95BZKMRK | statement | record (an 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.01251#SV68 |
| HJ9BQ9ATCG | HJ9BQ9ATCG | statement | record (an 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.21632#O3R3 |
| HJ9QC0JCKJ | HJ9QC0JCKJ | statement | record (an 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.07511#MBCK |
| HJA0V4ZE9X | HJA0V4ZE9X | 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.12169#ZA24 |
| HJA16B1C73 | HJA16B1C73 | statement | record (an 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.21662#8HL7 |
| HJAEDKXAQ8 | HJAEDKXAQ8 | statement | record (an 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.03719#U6TG |
| HJAF3KBDRV | HJAF3KBDRV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#YD1B |
| Hjalmar Mellin | BVM1KS4VPN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q155381, ProofWiki Mathematician:Robert_Hjalmar_Mellin |
| HJBY8WND1H | HJBY8WND1H | 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 2201.04174#VRMH |
| HJCG1G2EF1 | HJCG1G2EF1 | 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.25321#2DUT |
| HJCS6QFS00 | HJCS6QFS00 | 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.36045#K52G |
| HJCTGFBPZY | HJCTGFBPZY | statement | record (an 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.07790#N0YX |
| HJCXG3QKP3 | HJCXG3QKP3 | statement | record (an 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.24314#48Z8 |
| HJD15PRBJF | HJD15PRBJF | statement | record (an 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.12740#JC6Z |
| HJD5JVZE4Q | HJD5JVZE4Q | statement | record (an 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.16081#BWHT |
| HJDKM2QXK0 | HJDKM2QXK0 | statement | record (an 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.10080#3PFY |
| HJDXQKKP5B | HJDXQKKP5B | statement | record (an 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.00589#LJ3G |
| Hjelmslev's theorem | ZWN6RYBWCV | statement | open | mathlib_1000 Q1720410, Wikidata Q1720410, thousand_plus Q1720410, Wikipedia Hjelmslev's theorem, MathWorld HjelmslevsTheorem |
| HJEQGN868W | HJEQGN868W | exercise | open | lebl_scv scv.tex#exercise-103 |
| HJEQWXQXDW | HJEQWXQXDW | statement | record (an 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.25568#T4LQ |
| HJF43XG3CA | HJF43XG3CA | statement | record (an 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#YSHS |
| HJFP5GMNTA | HJFP5GMNTA | 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.37520#VA5B |
| HJFQ394P9Q | HJFQ394P9Q | statement | record (an 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.00589#TG6H |
| HJFWCACXD0 | HJFWCACXD0 | statement | record (an 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.14143#53U1 |
| HJFX5CPD2W | HJFX5CPD2W | statement | record (an 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.14616#3KHY |
| HJG20HH266 | HJG20HH266 | 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.18673#X6CQ |
| HJG2GCACC3 | HJG2GCACC3 | 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 1905.00573#56K1 |
| HJGHA2EF6C | HJGHA2EF6C | 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 2304.07398#JZQG |
| HJGK0TMB41 | HJGK0TMB41 | statement | record (an 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.03728#Z3R5 |
| HJGMNMJSQA | HJGMNMJSQA | statement | record (an 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.26450#1ZHM |
| HJJ0XA0SH5 | HJJ0XA0SH5 | statement | record (an 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.16245#T77M |
| HJJQW1SH3B | HJJQW1SH3B | statement | open | hott_book hits.tex#thm:quotient-ump |
| HJJYF8033S | HJJYF8033S | statement | record (an 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.14956#EFRT |
| HJKB4E234M | HJKB4E234M | statement | open | open_logic content/set-theory/z/separation.tex#prop:emptyexists |
| HJKHRGTQ6T | HJKHRGTQ6T | statement | record (an 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.25030#PI8E |
| HJKMEBGDW2 | HJKMEBGDW2 | statement | record (an 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.25000#0PNZ |
| HJM0FD2EMW | HJM0FD2EMW | statement | record (an 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#YW6K |
| HJM2CSNYXB | HJM2CSNYXB | statement | record (an 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#XKC5 |
| HJM3J51E4X | HJM3J51E4X | example | open | open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#ex:chain |
| HJMG4M9SPY | HJMG4M9SPY | statement | record (an 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.18562#NBAZ |
| HJMHEX5RZQ | HJMHEX5RZQ | statement | record (an 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#2UNN |
| HJMJNVSZMF | HJMJNVSZMF | statement | record (an 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.35844#908Q |
| HJNEDNKRE8 | HJNEDNKRE8 | statement | record (an 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.18152#VQY5 |
| HJNQP9STTH | HJNQP9STTH | statement | record (an 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.19194#5YFN |
| HJP1CZCCKV | HJP1CZCCKV | statement | record (an 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#BJK2 |
| HJP228DV8B | HJP228DV8B | statement | record (an 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.15831#Y1PQ |
| HJP6EAZJ8H | HJP6EAZJ8H | statement | record (an 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.38741#TF9I |
| HJQ46FS1TM | HJQ46FS1TM | 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 2610.07546#FLY2 |
| HJQQ3GG2K5 | HJQQ3GG2K5 | statement | record (an 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#DP0Z |
| HJQXBAX202 | HJQXBAX202 | statement | record (an 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.16877#6A3Q |
| HJQXCFZQ3W | HJQXCFZQ3W | proof | open | open_logic content/lambda-calculus/syntax/eta.tex#proof-1 |
| HJR6WQE4Y7 | HJR6WQE4Y7 | statement | record (an 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.04772#BM0B |
| HJRB4SPNSS | HJRB4SPNSS | statement | record (an 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.05066#2N56 |
| HJRWZ7MDJX | HJRWZ7MDJX | 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.03555#UNN0 |
| HJS88RX89K | HJS88RX89K | statement | record (an 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.17589#FYOX |
| HJT0VJEZXQ | HJT0VJEZXQ | statement | record (an 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.05820#OIH3 |
| HJTMHW61WX | HJTMHW61WX | statement | record (an 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#5WBQ |
| HJTS5FK7GN | HJTS5FK7GN | statement | open | lebl_ra ch-several-vars-ders.tex#cor:IVTopenmap |
| HJV14SW1YV | HJV14SW1YV | 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 1009.2043#QCPK |
| HJVVE3W2E3 | HJVVE3W2E3 | statement | record (an 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.35682#5XW3 |
| HJW7VYT18G | HJW7VYT18G | statement | record (an 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/9201244#VJE7 |
| HJWWR9ND9J | HJWWR9ND9J | statement | record (an 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#1T52 |
| HJX4GGBHTZ | HJX4GGBHTZ | statement | record (an 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.24901#EYIL |
| HJYF4YW20Y | HJYF4YW20Y | statement | record (an 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.01737#WGEG |
| HJYPXPDDQH | HJYPXPDDQH | statement | record (an 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.39790#DZ27 |
| HJZDPW0CTN | HJZDPW0CTN | unknown | open | arXiv 1408.1555#AF9S |
| HJZGQ9MW5N | HJZGQ9MW5N | statement | record (an 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#WVB1 |
| HJZMF272BJ | HJZMF272BJ | statement | record (an 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#ELKE |
| HJZPQ9QKD2 | HJZPQ9QKD2 | statement | record (an 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.20299#UFLT |
| HJZSRWN92E | HJZSRWN92E | statement | record (an 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.06308#JLLG |
| HJZV8C0RC5 | HJZV8C0RC5 | statement | record (an 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.01818#0KOR |
| HJZW9TQK6P | HJZW9TQK6P | 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.25897#QILY |
| HJZYWVE9MC | HJZYWVE9MC | 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 math/0003117#YEYA |
| HK0DNXCWG0 | HK0DNXCWG0 | statement | record (an 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.03424#U7R8 |
| HK0F5G3E45 | HK0F5G3E45 | proof | open | hott_book hlevels.tex#proof-43 |
| HK0SCYG8M9 | HK0SCYG8M9 | 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.14838#DNC6 |
| HK11PVWC4J | HK11PVWC4J | statement | record (an 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.17127#5SKL |
| HK1HEHRNG3 | HK1HEHRNG3 | statement | record (an 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.28597#ZAS4 |
| HK3CYPT4H9 | HK3CYPT4H9 | statement | record (an 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.18302#MZT1 |
| HK3X8Q98XB | HK3X8Q98XB | statement | record (an 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.20165#MBKO |
| HK459J4X92 | HK459J4X92 | example | open | levin_dmoi ptx/sec_addtops-numbth.ptx#example-6 |
| HK4ADTYX42 | HK4ADTYX42 | statement | record (an 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.31212#3PTQ |
| HK4S50G2NH | HK4S50G2NH | statement | record (an 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.18226#4K19 |
| HK53NYN0CH | HK53NYN0CH | statement | record (an 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.16081#78FS |
| HK5J4YSQQF | HK5J4YSQQF | exercise | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prob-6 |
| HK5MZHQ27X | HK5MZHQ27X | statement | open | open_logic content/intuitionistic-logic/tableaux/soundness.tex#cor:entailment-soundness |
| HK66D4800A | HK66D4800A | statement | open | open_logic content/set-theory/card-arithmetic/fix.tex#cor-1 |
| HK6TQ3WSQH | HK6TQ3WSQH | 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.35252#LBM8 |
| HK7527Y8BH | HK7527Y8BH | statement | record (an 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.17129#JUQ5 |
| HK75A2WFYW | HK75A2WFYW | statement | record (an 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.28076#02EB |
| HK7DDXBSRR | HK7DDXBSRR | 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.01073#OCT4 |
| HK7QRK59FG | HK7QRK59FG | statement | record (an 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.18775#RNQA |
| HK7SZQ2AMP | HK7SZQ2AMP | statement | record (an 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#QFEZ |