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 401–500 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| H4V0ZNY5N1 | H4V0ZNY5N1 | statement | record (an 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.00364#KB0P |
| H4W09Q6MEV | H4W09Q6MEV | statement | record (an 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.28141#M6ZG |
| H4W60FQDVR | H4W60FQDVR | statement | record (an 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#8544 |
| H4WP5BAV22 | H4WP5BAV22 | statement | record (an 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.22170#CYE7 |
| H4X3TPN19J | H4X3TPN19J | statement | record (an 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.14060#TB9G |
| H4XPRSQ2HA | H4XPRSQ2HA | exercise | open | ernst_ibl MAAPressVersion/IndexingSets.tex#problem-1 |
| H4YQDX4C7C | H4YQDX4C7C | statement | record (an 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.08599#8TUX |
| H4Z6H28M51 | H4Z6H28M51 | statement | record (an 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.20385#1L6C |
| H4Z7JXVG9R | H4Z7JXVG9R | statement | record (an 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.12484#0JXL |
| H4ZVRVW4Q7 | H4ZVRVW4Q7 | statement | record (an 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.10221#UJ2L |
| H504RAZQG2 | H504RAZQG2 | statement | record (an 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#3PHC |
| H50644QRZ0 | H50644QRZ0 | statement | record (an 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.31300#KZ33 |
| H50HNPWPR6 | H50HNPWPR6 | statement | record (an 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#BVCN |
| H519JM03AX | H519JM03AX | statement | record (an 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#22DQ |
| H51PB81RYB | H51PB81RYB | statement | record (an 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#BU8I |
| H51PWFXEQ0 | H51PWFXEQ0 | statement | record (an 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.37897#VKEK |
| H51XRZE5FA | H51XRZE5FA | statement | record (an 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.40290#4PTU |
| H51YXEY074 | H51YXEY074 | statement | record (an 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.17227#KFXW |
| H52D16KH07 | H52D16KH07 | unknown | open | arXiv 2610.06441#F9SI |
| H52D6Q4T2Y | H52D6Q4T2Y | statement | record (an 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.04264#37VI |
| H52R371Y1D | H52R371Y1D | 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 2608.23797#PBX6 |
| H53CZC8XP1 | H53CZC8XP1 | 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#KMVJ |
| H53D6HEVM8 | H53D6HEVM8 | statement | record (an 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#4NP5 |
| H54DRM4H5V | H54DRM4H5V | statement | record (an 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#J241 |
| H54T2YQPYJ | H54T2YQPYJ | 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 2309.17091#JEUU |
| H54W7Q9JN0 | H54W7Q9JN0 | 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.25468#ZKJ4 |
| H54ZABZ0YP | H54ZABZ0YP | 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.16388#KK72 |
| H556SNNVEY | H556SNNVEY | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-112 |
| H55YSRFHQ7 | H55YSRFHQ7 | 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.12481#Z5RY |
| H5619ZXMCK | H5619ZXMCK | exercise | open | hott_book induction.tex#ex:no-nullary-constructor |
| H56DC5X61Z | H56DC5X61Z | exercise | open | napkin tex/calculus/p-adic.tex#exer:alternating |
| H56M1RH7A0 | H56M1RH7A0 | 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.17060#G6PW |
| H56QH5KQ55 | H56QH5KQ55 | exercise | open | ernst_ibl MAAPressVersion/IndexingSets.tex#problem-3 |
| H56W5QJ6TF | H56W5QJ6TF | statement | record (an 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#3TCJ |
| H57TV1WGXM | H57TV1WGXM | 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.01915#XUYN |
| H581MSDDE2 | H581MSDDE2 | statement | record (an 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.40274#BWQH |
| H584EX8T4S | H584EX8T4S | statement | record (an 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.38138#TMVX |
| H58X5JDAVM | H58X5JDAVM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1103.1038#BWIP |
| H58YY23BT5 | H58YY23BT5 | statement | record (an 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.09319#BGVY |
| H59MDB91NF | H59MDB91NF | statement | record (an 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.15525#91OJ |
| H5ADJFNT9C | H5ADJFNT9C | statement | record (an 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.27420#CIAR |
| H5B5H57F3J | H5B5H57F3J | statement | record (an 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.38206#2SNO |
| H5BAXST0WP | H5BAXST0WP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.0068#N2JP |
| H5BE6FJ8J7 | H5BE6FJ8J7 | 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.16404#7IPU |
| H5CN7AGRJN | H5CN7AGRJN | 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#FKQ7 |
| H5CNMTF89G | H5CNMTF89G | statement | record (an 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.30015#CHMK |
| H5CR59S18H | H5CR59S18H | statement | record (an 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.12908#ZMY6 |
| H5CVVFYMCP | H5CVVFYMCP | definition | open | open_logic content/incompleteness/representability-in-q/beta-function.tex#defn-2 |
| H5DK043CP8 | H5DK043CP8 | statement | record (an 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.25449#486I |
| H5DZB0J7GW | H5DZB0J7GW | statement | record (an 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.38030#3C6B |
| H5F9G28HYG | H5F9G28HYG | exercise | open | napkin tex/cats/categories.tex#ques-3 |
| H5FK4APFDZ | H5FK4APFDZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.10460#TDN5 |
| H5FSAWS56D | H5FSAWS56D | statement | record (an 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.39845#OCGF |
| H5G9YZ4KYT | H5G9YZ4KYT | statement | record (an 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.29671#79LF |
| H5GN5490F4 | H5GN5490F4 | 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.17240#CJGZ |
| H5H4NGXTY4 | H5H4NGXTY4 | 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.03497#OLQV |
| H5H5V3MKD0 | H5H5V3MKD0 | statement | record (an 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.06466#L80P |
| H5JH3VMSY2 | H5JH3VMSY2 | statement | record (an 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.31523#FXHM |
| H5K6TPMR1X | H5K6TPMR1X | statement | record (an 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.15700#70HE |
| H5MRJ1J9RJ | H5MRJ1J9RJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.16252#EH35 |
| H5QNSYNAFG | H5QNSYNAFG | 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.09897#22GF |
| H5R14JWJVA | H5R14JWJVA | statement | record (an 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.33590#80Y1 |
| H5SR3RNP1C | H5SR3RNP1C | statement | record (an 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.31781#XONC |
| H5STZ27KVJ | H5STZ27KVJ | statement | record (an 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.29641#2TN5 |
| H5SV6YCHA3 | H5SV6YCHA3 | statement | record (an 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.20568#L6FS |
| H5TRW40K4K | H5TRW40K4K | statement | record (an 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.32233#2065 |
| H5VFFKAGV6 | H5VFFKAGV6 | statement | record (an 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#U1L0 |
| H5VPS0KVJH | H5VPS0KVJH | statement | record (an 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.01899#TXY2 |
| H5VR9N3T02 | H5VR9N3T02 | 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.01273#O7VX |
| H5VZDK9PTR | H5VZDK9PTR | statement | record (an 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#1CNF |
| H5W3GT759W | H5W3GT759W | statement | record (an 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.39593#74GE |
| H5W7G9WZB0 | H5W7G9WZB0 | statement | record (an 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#HN34 |
| H5X1438D5A | H5X1438D5A | statement | record (an 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.24307#3RZU |
| H5X3K5HXP1 | H5X3K5HXP1 | exercise | open | lebl_scv scv.tex#exercise-3 |
| H5XRZG4Q95 | H5XRZG4Q95 | statement | record (an 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.05423#U4RE |
| H5ZKPK7R5P | H5ZKPK7R5P | statement | record (an 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.32181#FU6K |
| H5ZKRYSS19 | H5ZKRYSS19 | example | open | lebl_diffyqs ch-first-order-ode.tex#example-8 |
| H5ZZ99GKK4 | H5ZZ99GKK4 | statement | record (an 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.21960#FX62 |
| H602Y6W0S6 | H602Y6W0S6 | statement | record (an 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.11292#MUKW |
| H604H9VMFY | H604H9VMFY | statement | record (an 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.35204#G8QF |
| H606K4CXYM | H606K4CXYM | example | open | open_logic content/model-theory/models-of-arithmetic/models-of-q.tex#ex:model-L-of-Q |
| H60EYR4QMC | H60EYR4QMC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.01345#7EHQ |
| H61P7B8TZX | H61P7B8TZX | statement | record (an 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#F5IS |
| H62RZ7EXRB | H62RZ7EXRB | statement | record (an 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.10377#VW27 |
| H62SCR1NKC | H62SCR1NKC | statement | record (an 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.03449#5BVC |
| H62XZD7HYE | H62XZD7HYE | 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#HP2T |
| H62YADPG79 | H62YADPG79 | statement | record (an 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.17045#OWSM |
| H63C7RFSAM | H63C7RFSAM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#7QEP |
| H63DY5DGV1 | H63DY5DGV1 | 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.01225#1N4S |
| H63EQXHK3V | H63EQXHK3V | statement | record (an 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.40123#7T4B |
| H64C2RE2J4 | H64C2RE2J4 | proof | open | lebl_ra ch-contfunc.tex#proof-8 |
| H65EB1V39W | H65EB1V39W | statement | record (an 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.12295#31G7 |
| H660481PF5 | H660481PF5 | statement | record (an 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.36509#77IA |
| H673WCK3XW | H673WCK3XW | 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.21005#G5OB |
| H67PC89A0Q | H67PC89A0Q | statement | record (an 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.10790#644J |
| H67XV71JNF | H67XV71JNF | 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#ZAAV |
| H68GN6DJXZ | H68GN6DJXZ | statement | record (an 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.02672#4RKD |
| H68NCN21E4 | H68NCN21E4 | statement | record (an 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.36412#GMV4 |
| H690V8XR4B | H690V8XR4B | statement | record (an 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.30363#TLC3 |
| H691WGPJ1T | H691WGPJ1T | statement | record (an 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.09390#IGH6 |