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 801–900 of 7946.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| H86W7R4PM0 | H86W7R4PM0 | statement | record (an 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#59NO |
| H875PFKQEC | H875PFKQEC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.06762#7A0W |
| H87E3KNX6C | H87E3KNX6C | statement | record (an 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.25843#RC5D |
| H87WYV00XR | H87WYV00XR | 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.24777#2KI5 |
| H88WRWHSV9 | H88WRWHSV9 | 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.27524#7LDB |
| H890B46S6R | H890B46S6R | statement | record (an 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.05506#654Y |
| H893CBVNP4 | H893CBVNP4 | exercise | open | lebl_diffyqs ch-intro.tex#exercise-7 |
| H89GV2RATA | H89GV2RATA | statement | record (an 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.09672#PIFH |
| H8AERFGKE3 | H8AERFGKE3 | 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.22551#0E29 |
| H8AMQN5S8P | H8AMQN5S8P | statement | record (an 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.38396#VNCC |
| H8BHMV8G0A | H8BHMV8G0A | statement | record (an 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.33841#OW7S |
| H8C425QDHH | H8C425QDHH | statement | record (an 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.40260#MKJS |
| H8CCYCRHNV | H8CCYCRHNV | statement | record (an 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#XJ5F |
| H8CRWXE3EM | H8CRWXE3EM | statement | record (an 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.24235#3V6P |
| H8CW29WG35 | H8CW29WG35 | statement | record (an 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.20049#56ZA |
| H8CYNSV6QF | H8CYNSV6QF | 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.35691#H67Y |
| H8DBB8J5AM | H8DBB8J5AM | exercise | open | lebl_scv scv.tex#exercise-143 |
| H8DD24Z3H1 | H8DD24Z3H1 | statement | record (an 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.35396#KVN1 |
| H8DT61HNZX | H8DT61HNZX | statement | record (an 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#0XO4 |
| H8E6V33182 | H8E6V33182 | statement | record (an 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.07001#HXKS |
| H8E9A0X62Q | H8E9A0X62Q | statement | record (an 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.07092#SEIB |
| H8FVXAE8GJ | H8FVXAE8GJ | statement | record (an 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.22308#NYML |
| H8FXANSRF8 | H8FXANSRF8 | statement | record (an 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.35467#NJD5 |
| H8G37FVP15 | H8G37FVP15 | example | open | open_logic content/sets-functions-relations/functions/function-kinds.tex#ex-1 |
| H8G50TXBJA | H8G50TXBJA | statement | record (an 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#QCBU |
| H8GVNM1N6Q | H8GVNM1N6Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.21045#O85D |
| H8H2EG7WB4 | H8H2EG7WB4 | statement | record (an 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.11886#2JKF |
| H8HPK7QJZE | H8HPK7QJZE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.16003#C7KL |
| H8J88GS4JC | H8J88GS4JC | statement | record (an 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.26948#OXRS |
| H8K19XKZR7 | H8K19XKZR7 | statement | record (an 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.19357#THEQ |
| H8KCEKQ90V | H8KCEKQ90V | statement | record (an 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.07285#5WRK |
| H8KFDSGXSV | H8KFDSGXSV | exercise | open | open_logic content/first-order-logic/natural-deduction/proving-things.tex#prob-3 |
| H8KJ5XXYYZ | H8KJ5XXYYZ | example | open | lebl_ra ch-metric.tex#example-2 |
| H8KT48RVPB | H8KT48RVPB | 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.32174#UUZW |
| H8M2DRYRBD | H8M2DRYRBD | statement | record (an 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.33018#2TGJ |
| H8MHKW9Y7T | H8MHKW9Y7T | statement | record (an 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.07485#5OVQ |
| H8MHWF9JTT | H8MHWF9JTT | statement | record (an 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.09207#L9HZ |
| H8MXJ2AJ7M | H8MXJ2AJ7M | 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.36884#S19U |
| H8N4XJMVDV | H8N4XJMVDV | statement | record (an 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.10337#YHID |
| H8NAZ32ZC3 | H8NAZ32ZC3 | statement | record (an 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.35683#X5WH |
| H8NF9NK26Z | H8NF9NK26Z | statement | record (an 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.06152#3TK6 |
| H8P0HB0K5X | H8P0HB0K5X | statement | record (an 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#5Y3D |
| H8PBMAZCAB | H8PBMAZCAB | statement | record (an 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#UFYP |
| H8PF5YAXGZ | H8PF5YAXGZ | statement | record (an 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.29521#QHAU |
| H8PG2MY86F | H8PG2MY86F | statement | record (an 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.18847#4TMI |
| H8PM2RKQGS | H8PM2RKQGS | statement | record (an 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.08976#HO67 |
| H8PN8BHDPV | H8PN8BHDPV | 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.03661#SHCN |
| H8QF7T4VTQ | H8QF7T4VTQ | 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.07927#DXSE |
| H8QK9BWTBD | H8QK9BWTBD | statement | record (an 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.30760#F8AO |
| H8RBPKBY4X | H8RBPKBY4X | statement | record (an 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.06381#I1BU |
| H8T0P11ZGG | H8T0P11ZGG | definition | open | napkin tex/alg-geom/spec-zariski.tex#definition-6 |
| H8TTCRZS0Y | H8TTCRZS0Y | proof | open | napkin tex/alg-geom/zariski.tex#proof-2 |
| H8V263PQ17 | H8V263PQ17 | statement | record (an 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.21655#8H58 |
| H8VFVAR5C0 | H8VFVAR5C0 | 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.21507#7FYR |
| H8VTWACXPZ | H8VTWACXPZ | statement | record (an 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.14821#6Q20 |
| H8WQJ1738Y | H8WQJ1738Y | statement | record (an 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#PHNR |
| H8WXV45QZ4 | H8WXV45QZ4 | 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.21914#PIMU |
| H8X4EXQB03 | H8X4EXQB03 | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-4 |
| H8XS2RDXEJ | H8XS2RDXEJ | statement | record (an 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.00312#ZOTB |
| H8Y4P65Q2W | H8Y4P65Q2W | unknown | open | |
| H8YDJVZNA3 | H8YDJVZNA3 | statement | record (an 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.03358#3CTK |
| H8Z6VCMA7C | H8Z6VCMA7C | statement | record (an 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.23994#W2ZM |
| H8Z9WFYX0B | H8Z9WFYX0B | statement | record (an 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.00562#T0NS |
| H905G8NB80 | H905G8NB80 | statement | record (an 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.00617#XMRM |
| H908ZM8AW6 | H908ZM8AW6 | statement | record (an 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#HA0P |
| H91KMBW80A | H91KMBW80A | 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.20190#CLW7 |
| H91MN7MN8Y | H91MN7MN8Y | statement | record (an 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.14318#7K5K |
| H91R2CY0TR | H91R2CY0TR | statement | record (an 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.37562#DBOL |
| H92K4GTCCC | H92K4GTCCC | statement | record (an 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.10821#A5YX |
| H92Q93S8H6 | H92Q93S8H6 | exercise | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#prob-1 |
| H93FYNDNNK | H93FYNDNNK | 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 2503.22636#G9N3 |
| H94SX5HMFY | H94SX5HMFY | 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.24078#QNH9 |
| H94T4WTM9K | H94T4WTM9K | statement | record (an 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.13076#CKO5 |
| H94V55K11R | H94V55K11R | statement | record (an 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.24917#BPIN |
| H966DH9112 | H966DH9112 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.08809#CWP5 |
| H96P1V7W35 | H96P1V7W35 | statement | record (an 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.01411#SMK3 |
| H96PS1C3F5 | H96PS1C3F5 | statement | record (an 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.21475#VWUU |
| H96YV01EKW | H96YV01EKW | statement | record (an 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.14310#9AIE |
| H97D8X67C1 | H97D8X67C1 | statement | record (an 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.39455#TWOK |
| H97RBFHAYZ | H97RBFHAYZ | statement | record (an 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#X5T5 |
| H97V4P1Z7Y | H97V4P1Z7Y | statement | record (an 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.20203#1935 |
| H992SCAVXQ | H992SCAVXQ | example | open | napkin tex/measure/swapsum.tex#example-3 |
| H9A5BMGYSZ | H9A5BMGYSZ | 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.24023#I8T4 |
| H9A5XC6MP7 | H9A5XC6MP7 | statement | record (an 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.01932#JCOZ |
| H9AKB8KSM6 | H9AKB8KSM6 | statement | open | open_logic content/incompleteness/arithmetization-syntax/substitution.tex#prop:free-for |
| H9AQ8RNHY8 | H9AQ8RNHY8 | statement | record (an 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.20531#7O09 |
| H9AVMV1NZB | H9AVMV1NZB | statement | record (an 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.08480#YJG6 |
| H9AXVN1MRG | H9AXVN1MRG | 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 2606.20229#GZVR |
| H9B5ZGFKNE | H9B5ZGFKNE | 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.27765#2VMR |
| H9B9KBG45M | H9B9KBG45M | statement | record (an 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#60ZI |
| H9BG48HY8D | H9BG48HY8D | statement | record (an 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.01501#9L9J |
| H9BZT8P9N1 | H9BZT8P9N1 | statement | record (an 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.13877#8F55 |
| H9C1FYE7NH | H9C1FYE7NH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.02331#AR2L |
| H9CD5038S4 | H9CD5038S4 | 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.25703#V5IW |
| H9CFM6RD2W | H9CFM6RD2W | statement | record (an 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.06872#3XZ8 |
| H9CT9FT57S | H9CT9FT57S | statement | record (an 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.2047#PVU9 |
| H9D0CJP0X8 | H9D0CJP0X8 | statement | record (an 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.09044#22MV |
| H9D2P7VF1W | H9D2P7VF1W | 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.28677#GSCO |
| H9D4RHFNF3 | H9D4RHFNF3 | statement | record (an 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.17871#WFPC |
| H9DPRDXDF0 | H9DPRDXDF0 | statement | record (an 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.22514#NZQH |