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 301–400 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| H3QSGF4NPR | H3QSGF4NPR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.09049#X2ZH |
| H3RF2HMR8M | H3RF2HMR8M | statement | record (an 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.05628#AB21 |
| H3RRNP7HQ2 | H3RRNP7HQ2 | statement | record (an 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.30285#KL6T |
| H3RY0WM89C | H3RY0WM89C | statement | record (an 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#95W7 |
| H3SCGBSB81 | H3SCGBSB81 | statement | record (an 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#3298 |
| H3SZMXRWQ6 | H3SZMXRWQ6 | statement | record (an 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#QG4E |
| H3TCTGV8XT | H3TCTGV8XT | statement | record (an 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#MLNE |
| H3TFYHAJ5R | H3TFYHAJ5R | statement | record (an 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#4MJP |
| H3TGQEJ364 | H3TGQEJ364 | statement | record (an 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#7YUK |
| H3TH5J44K5 | H3TH5J44K5 | statement | record (an 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.03272#6MQ1 |
| H3TKVSVRCV | H3TKVSVRCV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.17852#8KYW |
| H3TN4RVFRS | H3TN4RVFRS | statement | record (an 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.05403#PZYH |
| H3TTGENH8G | H3TTGENH8G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0911.1417#31PP |
| H3WEVCRT7Q | H3WEVCRT7Q | 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.18302#1BSF |
| H3WZE1X0NZ | H3WZE1X0NZ | statement | record (an 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#YPLJ |
| H3X0N9E4EF | H3X0N9E4EF | unknown | open | arXiv 1408.1555#M1JA |
| H3X85AZZF7 | H3X85AZZF7 | statement | record (an 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.25188#MAEJ |
| H3XCQ3RQEX | H3XCQ3RQEX | 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.07963#6S78 |
| H3YKWJER43 | H3YKWJER43 | unknown | open | |
| H3YXVPTVF5 | H3YXVPTVF5 | statement | record (an 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.25524#WZ27 |
| H3Z25HCXVJ | H3Z25HCXVJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.05005#KJUH |
| H3ZEC689DW | H3ZEC689DW | 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 2504.02065#B784 |
| H3ZRRQV2TD | H3ZRRQV2TD | 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.26600#WGQB |
| H400ZQD5G3 | H400ZQD5G3 | statement | record (an 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.07352#1M4J |
| H403R4Y62T | H403R4Y62T | statement | record (an 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.17677#SXQE |
| H40KS89QZ3 | H40KS89QZ3 | statement | record (an 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#SNX3 |
| H40M8BCDDB | H40M8BCDDB | statement | record (an 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.16386#YXDB |
| H40MJVW812 | H40MJVW812 | statement | record (an 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.27823#GC6Y |
| H40VDR6NZC | H40VDR6NZC | statement | record (an 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.28306#61H6 |
| H41KE66763 | H41KE66763 | exercise | open | lebl_scv scv.tex#exercise:Levinegdol |
| H41TQ6VWR4 | H41TQ6VWR4 | statement | record (an 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.24845#4B6U |
| H42MMVNCF8 | H42MMVNCF8 | statement | record (an 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.18632#UPEB |
| H42SCDFVV7 | H42SCDFVV7 | statement | record (an 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.29498#6PA3 |
| H42TR7JA0M | H42TR7JA0M | proof | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-1 |
| H4374YXXDM | H4374YXXDM | statement | record (an 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.33469#ONOT |
| H448BYGN3S | H448BYGN3S | statement | record (an 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.27366#QS76 |
| H44SEP9WQ9 | H44SEP9WQ9 | statement | open | open_logic content/normal-modal-logic/filtrations/preliminaries.tex#prop-1 |
| H45BJ48ZDJ | H45BJ48ZDJ | statement | record (an 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.27152#5L6I |
| H45HG07063 | H45HG07063 | statement | record (an 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.11440#QQO2 |
| H45HPB42JQ | H45HPB42JQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.08272#AEKW |
| H45JPPE985 | H45JPPE985 | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-8 |
| H45V7Z59N9 | H45V7Z59N9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#ORUZ |
| H466X28YD2 | H466X28YD2 | statement | record (an 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.20849#140W |
| H46ZBJ3GQ1 | H46ZBJ3GQ1 | exercise | open | lebl_ra ch-approximate.tex#exercise-29 |
| H46ZMQAJVH | H46ZMQAJVH | statement | record (an 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.12846#J8TR |
| H472XDY90V | H472XDY90V | statement | record (an 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.17677#R2DB |
| H479TJAAY0 | H479TJAAY0 | 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.19837#HDPU |
| H47D3M5WF0 | H47D3M5WF0 | statement | record (an 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.27393#DCB7 |
| H489C0BEMV | H489C0BEMV | statement | record (an 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.17482#J4V3 |
| H48E5B8YYV | H48E5B8YYV | 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.28265#QELA |
| H49HV51HDD | H49HV51HDD | 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.03612#E25A |
| H4ACAX93VW | H4ACAX93VW | 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.34876#DUNT |
| H4AVN8RB99 | H4AVN8RB99 | statement | record (an 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.07240#2WW4 |
| H4AZ2CKZ1E | H4AZ2CKZ1E | 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.04774#UF03 |
| H4BG2X23DH | H4BG2X23DH | statement | record (an 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.01109#J5DW |
| H4BKBHCSKH | H4BKBHCSKH | 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 2202.10920#KNEJ |
| H4BWEHHRPJ | H4BWEHHRPJ | 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.03358#DAVL |
| H4BYDCGJ1A | H4BYDCGJ1A | statement | record (an 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.03337#HTBM |
| H4CCYXP236 | H4CCYXP236 | statement | record (an 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#FABT |
| H4CJ6EAC93 | H4CJ6EAC93 | exercise | open | open_logic content/incompleteness/incompleteness-provability/fixed-point-lemma.tex#prob-1 |
| H4CJAPG7NJ | H4CJAPG7NJ | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-11 |
| H4CMK80X1Z | H4CMK80X1Z | statement | record (an 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.01208#2ARO |
| H4CRJX6TSE | H4CRJX6TSE | statement | record (an 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.29152#Z6XC |
| H4CX0EDZMM | H4CX0EDZMM | statement | record (an 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.15877#U8YQ |
| H4CYQJAQDX | H4CYQJAQDX | statement | record (an 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.09810#4BZ6 |
| H4DGND22DQ | H4DGND22DQ | statement | record (an 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#JI8A |
| H4DJ9BG815 | H4DJ9BG815 | statement | record (an 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.34570#3TB8 |
| H4DM6KM67F | H4DM6KM67F | 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.25080#7SJH |
| H4DN1D1KBG | H4DN1D1KBG | 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.40200#2EUT |
| H4E27SX34E | H4E27SX34E | statement | record (an 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.12479#A535 |
| H4EB274Q5Y | H4EB274Q5Y | statement | record (an 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.39307#K3GN |
| H4FBBM5NMY | H4FBBM5NMY | statement | record (an 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#CAJT |
| H4FC018PFA | H4FC018PFA | 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 2510.12502#0QMQ |
| H4G3YMGNSV | H4G3YMGNSV | statement | record (an 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.03856#PHXD |
| H4G55FKH7M | H4G55FKH7M | statement | record (an 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#66NZ |
| H4G89PSC41 | H4G89PSC41 | statement | record (an 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.17518#J1OA |
| H4HDEYF88S | H4HDEYF88S | statement | record (an 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.07961#XCO1 |
| H4J2CHFP77 | H4J2CHFP77 | statement | record (an 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.19426#A6AB |
| H4JFH34ARW | H4JFH34ARW | statement | open | open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#prop-2 |
| H4JMEZV11B | H4JMEZV11B | 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.15489#V8OW |
| H4KDMEC0Q7 | H4KDMEC0Q7 | statement | record (an 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.38793#DCRD |
| H4KFQM7GCA | H4KFQM7GCA | statement | record (an 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.13715#2AHG |
| H4KMHZWYAH | H4KMHZWYAH | statement | record (an 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.25390#GGXW |
| H4M5F3HWH8 | H4M5F3HWH8 | statement | open | levin_dmoi ptx/sec_gt-trees.ptx#cor-unique-paths-forests |
| H4M5ZG67VJ | H4M5ZG67VJ | statement | record (an 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.17751#LLMH |
| H4MS44GNS2 | H4MS44GNS2 | 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 2108.00412#A3AY |
| H4N9ZC7CJV | H4N9ZC7CJV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.01197#0KZ4 |
| H4NPX89RM2 | H4NPX89RM2 | statement | record (an 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.28020#LB3C |
| H4PBHPW3VN | H4PBHPW3VN | example | open | levin_dmoi ptx/sec_counting-advPIE.ptx#example-10 |
| H4PJS09Z6A | H4PJS09Z6A | statement | record (an 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.18246#GVFF |
| H4PM1RS8KW | H4PM1RS8KW | statement | record (an 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.36113#YQEQ |
| H4PYNJV1T4 | H4PYNJV1T4 | statement | record (an 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.00798#XMIN |
| H4QDS633A7 | H4QDS633A7 | statement | record (an 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.21929#K7WB |
| H4QEA1VEPN | H4QEA1VEPN | 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 2312.06581#L6KY |
| H4QF0KRP7K | H4QF0KRP7K | statement | record (an 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.01937#HPU2 |
| H4QJWQG64S | H4QJWQG64S | statement | record (an 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.39782#RUQX |
| H4RSB51CPS | H4RSB51CPS | statement | record (an 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.14742#34LJ |
| H4RWTGZ72X | H4RWTGZ72X | exercise | open | open_logic content/turing-machines/undecidability/verification.tex#prob-3 |
| H4T4333AYA | H4T4333AYA | statement | record (an 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.08753#IY7K |
| H4TD1NNVV3 | H4TD1NNVV3 | 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.12857#LTIT |