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 701–800 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| H992SCAVXQ | H992SCAVXQ | example | open | napkin tex/measure/swapsum.tex#example-3 |
| 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 |
| 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 |
| H9E09YKTBH | H9E09YKTBH | statement | record (an 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.25167#3KNU |
| H9EDR6H6AQ | H9EDR6H6AQ | statement | record (an 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.01837#8P5Z |
| H9EH2PGSJE | H9EH2PGSJE | 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.09812#5BJ7 |
| H9F6GVZP0Z | H9F6GVZP0Z | statement | record (an 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.32090#FSGB |
| H9F6VPTZWP | H9F6VPTZWP | statement | record (an 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#Z9KA |
| H9FR37NFA3 | H9FR37NFA3 | example | open | open_logic content/first-order-logic/tableaux/proving-things-quant.tex#ex-2 |
| H9FVFBCMPS | H9FVFBCMPS | example | open | lebl_diffyqs ch-first-order-ode.tex#example-7 |
| H9FW01FBYK | H9FW01FBYK | 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.30544#3W0T |
| H9FWCEZ0KE | H9FWCEZ0KE | proof | open | napkin tex/linalg/transpose.tex#proof-4 |
| H9GA2EPMT1 | H9GA2EPMT1 | statement | record (an 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.00909#8GFH |
| H9GFFJMZVN | H9GFFJMZVN | statement | record (an 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.05631#CMZ0 |
| H9GN3C8HWJ | H9GN3C8HWJ | statement | record (an 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.14162#A43H |
| H9HD8F12JW | H9HD8F12JW | statement | record (an 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.07260#SIQ6 |
| H9HHF17SEY | H9HHF17SEY | 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 2608.17785#YNEB |
| H9J5M241FR | H9J5M241FR | statement | record (an 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.25539#ULJH |
| H9J60NM5G5 | H9J60NM5G5 | statement | record (an 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.17883#1WH5 |
| H9JPK2AJ0A | H9JPK2AJ0A | statement | record (an 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#PWZJ |
| H9K281XZ9E | H9K281XZ9E | 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.12434#YSPL |
| H9K6ZDH096 | H9K6ZDH096 | statement | record (an 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.03327#KLDU |
| H9KHESX416 | H9KHESX416 | statement | record (an 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.01928#JDND |
| H9KS2GHFWN | H9KS2GHFWN | statement | record (an 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.21365#T8KV |
| H9KV6MB3EX | H9KV6MB3EX | statement | record (an 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.08633#H23Y |
| H9MH7RS22V | H9MH7RS22V | 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 2506.16491#PQ6Y |
| H9MW1E849S | H9MW1E849S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.15212#1Q6A |
| H9MXDT05WW | H9MXDT05WW | statement | record (an 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.02017#JFYD |
| H9N3FHY6MB | H9N3FHY6MB | 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.12371#0M9U |