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 6301–6400 of 7946.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HP5HVJQF4X | HP5HVJQF4X | statement | record (an 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#I79Z |
| HP6CJY13BH | HP6CJY13BH | statement | record (an 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#7RB4 |
| HP74CHGH2P | HP74CHGH2P | statement | record (an 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.07442#SGA6 |
| HP84REVBAY | HP84REVBAY | exercise | open | lebl_ra ch-contfunc.tex#exercise-26 |
| HP9GSAJ4KR | HP9GSAJ4KR | statement | record (an 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.11383#79QU |
| HP9MFMV7JC | HP9MFMV7JC | statement | record (an 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.26479#VNX5 |
| HP9R0FYCVE | HP9R0FYCVE | 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#PF9D |
| HPAABB84A0 | HPAABB84A0 | 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 2507.12309#GG52 |
| HPAQETT6N0 | HPAQETT6N0 | statement | record (an 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.16518#40DG |
| HPBEB7HMXM | HPBEB7HMXM | statement | record (an 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#TR01 |
| HPBS9NK6NS | HPBS9NK6NS | statement | record (an 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.33531#CF3K |
| HPC5CXJPKK | HPC5CXJPKK | exercise | open | hott_book reals.tex#ex:pseudo-ordinals |
| HPCQSZ2EVX | HPCQSZ2EVX | example | open | open_logic content/counterfactuals/minimal-change-semantics/contraposition.tex#ex:contraposition-counterex |
| HPCXNQ0NKM | HPCXNQ0NKM | statement | record (an 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.03126#LHO2 |
| HPDS3F80RY | HPDS3F80RY | statement | record (an 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#3CT4 |
| HPDY45WAJT | HPDY45WAJT | statement | record (an 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.19073#ARFR |
| HPE8Z145HK | HPE8Z145HK | statement | record (an 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.04411#E0BM |
| HPE9BHWMZF | HPE9BHWMZF | statement | record (an 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.02484#H6H3 |
| HPEAFFR2G0 | HPEAFFR2G0 | statement | record (an 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.30579#X7HP |
| HPEHA0DHRA | HPEHA0DHRA | statement | record (an 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#QVP5 |
| HPEYBJXJ1P | HPEYBJXJ1P | exercise | open | lebl_diffyqs ch-systems.tex#exercise-41 |
| HPFEB5CWTQ | HPFEB5CWTQ | exercise | open | lebl_ra ch-multivar-int.tex#exercise-6 |
| HPFSJAAGJR | HPFSJAAGJR | statement | record (an 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#UR2W |
| HPG2581HY2 | HPG2581HY2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.19528#34P8 |
| HPG85ZBFSX | HPG85ZBFSX | statement | record (an 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#D166 |
| HPGN7T3YXA | HPGN7T3YXA | statement | record (an 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.21622#8VSE |
| HPH00W5N6X | HPH00W5N6X | statement | record (an 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.33206#GKJ4 |
| HPH2ARS9YX | HPH2ARS9YX | 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 2503.16884#5U2C |
| HPH5QB0R37 | HPH5QB0R37 | statement | record (an 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.21552#0QUW |
| HPHC440WXN | HPHC440WXN | statement | record (an 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#WBRY |
| HPHJAVB9WB | HPHJAVB9WB | statement | record (an 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.32176#SQ70 |
| HPHMKJW2C4 | HPHMKJW2C4 | statement | record (an 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.00525#PH0V |
| HPJ9B9P4M0 | HPJ9B9P4M0 | statement | record (an 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.38659#CMA4 |
| HPJP3XDS5C | HPJP3XDS5C | 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 2607.00323#C0SE |
| HPK87SM7AD | HPK87SM7AD | 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.40207#TQ11 |
| HPKTP1JABK | HPKTP1JABK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.02997#JK2K |
| HPM2P5PR5V | HPM2P5PR5V | statement | record (an 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.08091#WQ5S |
| HPM3RHF9KB | HPM3RHF9KB | statement | record (an 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.08723#IZNA |
| HPN25G2HQW | HPN25G2HQW | statement | record (an 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.19921#335U |
| HPN2NVY3CW | HPN2NVY3CW | statement | record (an 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.35307#0FBR |
| HPN53JQ7H6 | HPN53JQ7H6 | statement | record (an 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.15432#ZR6X |
| HPNPP0DCGJ | HPNPP0DCGJ | statement | record (an 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.20760#6LQR |
| HPNTR67NXD | HPNTR67NXD | 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 2505.04593#HSHI |
| HPO formalism | 3VBTFZJM5F | definition | open | Wikipedia HPO formalism, Wikidata Q5635601 |
| HPP7TFR26G | HPP7TFR26G | statement | record (an 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.18618#IGIL |
| HPPATGJXFB | HPPATGJXFB | statement | record (an 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.16123#7TMU |
| HPPFQV3594 | HPPFQV3594 | statement | record (an 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.21937#XFB8 |
| HPPYBNF9VK | HPPYBNF9VK | statement | record (an 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.18094#TCVG |
| HPQ03K83TQ | HPQ03K83TQ | 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 1204.5958#L20F |
| HPQ2K6KD2H | HPQ2K6KD2H | 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.04870#MDZY |
| HPQDR5728N | HPQDR5728N | statement | record (an 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.38131#DGSC |
| HPQHJFR6C4 | HPQHJFR6C4 | definition | open | open_logic content/intuitionistic-logic/soundness-completeness/lindenbaum.tex#defn:prime |
| HPQRD23XD7 | HPQRD23XD7 | example | open | napkin tex/rep-theory/rep-alg.tex#example-4 |
| HPSVY5J7CK | HPSVY5J7CK | statement | record (an 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.09095#2UKJ |
| HPTA3HT1NG | HPTA3HT1NG | exercise | open | lebl_diffyqs ch-systems.tex#exercise-82 |
| HPV5BMKZ1S | HPV5BMKZ1S | statement | record (an 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#R12L |
| HPV6BE241W | HPV6BE241W | 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.04694#2A1P |
| HPV93A5BKV | HPV93A5BKV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.03058#0B34 |
| HPVETDS4NY | HPVETDS4NY | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-113 |
| HPVZKHGQW8 | HPVZKHGQW8 | statement | record (an 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.08226#35HT |
| HPW4E2MF0M | HPW4E2MF0M | 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.26896#2PVV |
| HPWBDF9N2F | HPWBDF9N2F | statement | record (an 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.32903#43FR |
| HPXASTPFDZ | HPXASTPFDZ | statement | record (an 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.21963#NKW6 |
| HPXB1V19ZT | HPXB1V19ZT | statement | record (an 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.00407#S7KZ |
| HPXQFFDTA0 | HPXQFFDTA0 | statement | record (an 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.19658#Y14C |
| HPXXBECTKJ | HPXXBECTKJ | 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.35307#ES9Q |
| HPYM37DFGZ | HPYM37DFGZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#MI45 |
| HPYX0S9VG6 | HPYX0S9VG6 | statement | record (an 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.06461#YQ4O |
| HPYZR0FZNJ | HPYZR0FZNJ | statement | record (an 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.39890#0V44 |
| HPZBF5927R | HPZBF5927R | statement | record (an 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.12565#T2XD |
| HPZKN347DY | HPZKN347DY | statement | record (an 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.05706#B6EB |
| HPZR3431GY | HPZR3431GY | proof | open | open_logic content/first-order-logic/tableaux/provability-propositional.tex#proof-2 |
| HPZV11528E | HPZV11528E | statement | record (an 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.14204#OYY9 |
| HQ077G5YXY | HQ077G5YXY | 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.26337#OZHR |
| HQ0TXX7T36 | HQ0TXX7T36 | statement | record (an 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#9QZI |
| HQ0XXWXTC5 | HQ0XXWXTC5 | statement | record (an 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.37967#3HPB |
| HQ14AA67N4 | HQ14AA67N4 | statement | record (an 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.30600#8M6V |
| HQ1GRBVC0N | HQ1GRBVC0N | statement | record (an 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.28518#D578 |
| HQ1QDY0C7V | HQ1QDY0C7V | statement | record (an 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.21532#07P9 |
| HQ21AS5Z0B | HQ21AS5Z0B | statement | record (an 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.32599#SLU8 |
| HQ29VTWND0 | HQ29VTWND0 | statement | record (an 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.13891#BGPM |
| HQ2PSBDV2N | HQ2PSBDV2N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.14097#7YS3 |
| HQ3HTJ25JT | HQ3HTJ25JT | statement | record (an 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.26269#QCKO |
| HQ3Q0T70C9 | HQ3Q0T70C9 | 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.39254#6X3O |
| HQ3QJZJHWP | HQ3QJZJHWP | statement | record (an 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.14377#HBPU |
| HQ42Z2FMTM | HQ42Z2FMTM | statement | record (an 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.31274#AM31 |
| HQ459FSQHB | HQ459FSQHB | statement | record (an 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.20311#EL36 |
| HQ4HN37J1X | HQ4HN37J1X | statement | record (an 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.00512#7X38 |
| HQ4N5XW231 | HQ4N5XW231 | definition | open | napkin tex/H113/ring-intro.tex#definition-7 |
| HQ4RQB39B7 | HQ4RQB39B7 | statement | record (an 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.20106#7XVV |
| HQ588V8TE3 | HQ588V8TE3 | statement | open | hott_book categories.tex#ct:adj-repr |
| HQ5J6M8QRJ | HQ5J6M8QRJ | statement | record (an 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.07442#X41J |
| HQ68MWX6N1 | HQ68MWX6N1 | statement | record (an 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.32651#0P1S |
| HQ6S2WACRG | HQ6S2WACRG | problem | open | Wikipedia Hilbert's third problem#H2XK |
| HQ6TFQF8TG | HQ6TFQF8TG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1603.00857#QSOL |
| HQ72Z2CH7Y | HQ72Z2CH7Y | 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.36877#5PL0 |
| HQ7AXQ5AYB | HQ7AXQ5AYB | statement | record (an 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#KGRK |
| HQ7DGETWGA | HQ7DGETWGA | statement | record (an 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#M8Q8 |
| HQ83V6CMWH | HQ83V6CMWH | statement | record (an 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.18277#QV44 |
| HQ87N1KDJA | HQ87N1KDJA | statement | record (an 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.25880#XU9R |