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 3701–3800 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HX7M6SZSHY | HX7M6SZSHY | statement | record (an 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.12486#LXN8 |
| HX81JG9EMH | HX81JG9EMH | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-7 |
| HX8317ZVXF | HX8317ZVXF | statement | record (an 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.21337#VYE6 |
| HX8FF5XFXS | HX8FF5XFXS | statement | record (an 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.34289#ZILW |
| HX9E9K978J | HX9E9K978J | exercise | open | open_logic content/methods/induction/relations.tex#prob-1 |
| HX9J93MMM1 | HX9J93MMM1 | statement | record (an 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.31883#RSOY |
| HX9Q305PBV | HX9Q305PBV | 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.35577#OFI1 |
| HX9R7X4R0B | HX9R7X4R0B | statement | record (an 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.03704#H8GR |
| HX9YYQGE7Z | HX9YYQGE7Z | 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 2410.14097#YRST |
| HXA1YABCRH | HXA1YABCRH | proof | open | open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#proof-4 |
| HXAEF25KPM | HXAEF25KPM | statement | record (an 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.22345#G542 |
| HXAXPA2EAJ | HXAXPA2EAJ | 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 2308.02672#PBQ7 |
| HXAYKTFJ9B | HXAYKTFJ9B | 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.18620#DUX6 |
| HXB3E3KEAZ | HXB3E3KEAZ | statement | record (an 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.12319#AACC |
| HXBBQNVHTY | HXBBQNVHTY | example | open | open_logic content/sets-functions-relations/functions/isomorphic-functions.tex#ex-1 |
| HXC7MBDXB0 | HXC7MBDXB0 | statement | record (an 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.02790#Z3OK |
| HXCFNTX5VX | HXCFNTX5VX | 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.31269#SA3D |
| HXD7YWHMJA | HXD7YWHMJA | statement | record (an 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.02634#601E |
| HXDCX36B7Q | HXDCX36B7Q | statement | record (an 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.16492#JLIW |
| HXEB8YN5RA | HXEB8YN5RA | statement | record (an 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.34923#6G4U |
| HXEW694S4A | HXEW694S4A | 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 2310.06695#0VYM |
| HXEZ5JFNR5 | HXEZ5JFNR5 | statement | record (an 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.36377#CTXH |
| HXF6Z9YBXH | HXF6Z9YBXH | 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.15402#LRVC |
| HXG2JPPYS4 | HXG2JPPYS4 | exercise | open | open_logic content/model-theory/basics/partial-iso.tex#prob-1 |
| HXGC9FKM79 | HXGC9FKM79 | proof | open | lebl_scv scv.tex#proof-53 |
| HXGHTC62PJ | HXGHTC62PJ | statement | record (an 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.24701#8FS5 |
| HXGMHBHVF1 | HXGMHBHVF1 | statement | record (an 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.06683#2SUB |
| HXGR7NQAXG | HXGR7NQAXG | statement | record (an 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.03555#KHAX |
| HXGT4QPT3S | HXGT4QPT3S | statement | record (an 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.02079#ZHEU |
| HXHBB7HXCX | HXHBB7HXCX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1705.01594#DEDV |
| HXHN8JVPNE | HXHN8JVPNE | statement | record (an 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.02042#IAY9 |
| HXHNAJESYG | HXHNAJESYG | statement | record (an 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.04325#C3HE |
| HXHY5WM09Y | HXHY5WM09Y | 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.32077#4PWP |
| HXJ0C7C9NG | HXJ0C7C9NG | statement | record (an 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.00103#8EHN |
| HXJDB7RBNA | HXJDB7RBNA | 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.24701#JLE7 |
| HXKDK7TWVP | HXKDK7TWVP | statement | record (an 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#8XZ4 |
| HXKQTY0930 | HXKQTY0930 | statement | record (an 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.24545#107X |
| HXM14TG827 | HXM14TG827 | statement | record (an 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#BBYX |
| HXMYTNAK24 | HXMYTNAK24 | proof | open | applied_combinatorics source/s_graphs_counting-trees.ptx#proof-1 |
| HXN0YP78SS | HXN0YP78SS | statement | record (an 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.31343#M6YV |
| HXNCAM4TKR | HXNCAM4TKR | statement | record (an 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#QI1R |
| HXPKPVXWJW | HXPKPVXWJW | statement | record (an 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.33250#GHLG |
| HXPTW7KVFS | HXPTW7KVFS | 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.33018#RSYO |
| HXR3WZQ4C9 | HXR3WZQ4C9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.20238#ISJA |
| HXR4ZBQAXD | HXR4ZBQAXD | statement | record (an 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#5OBF |
| HXRC7ZEZZW | HXRC7ZEZZW | statement | record (an 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.04498#DPVB |
| HXRQXDWM9H | HXRQXDWM9H | statement | record (an 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.00135#PD2Z |
| HXSBGFPZG5 | HXSBGFPZG5 | statement | record (an 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.14455#DBYW |
| HXSJ992KPW | HXSJ992KPW | statement | record (an 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.03081#MA1J |
| HXSRFA285Q | HXSRFA285Q | statement | open | open_logic content/set-theory/card-arithmetic/expotough.tex#simplecardexpo |
| HXSYYFP5SY | HXSYYFP5SY | statement | record (an 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.20077#4GOF |
| HXT3NDMFKH | HXT3NDMFKH | 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.10973#AA0J |
| HXT3YAV4VF | HXT3YAV4VF | statement | record (an 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.28181#G5JH |
| HXTMC7CQM0 | HXTMC7CQM0 | 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.20126#JJOR |
| HXTTHPMF3T | HXTTHPMF3T | statement | record (an 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#DLT4 |
| HXTY8C5M4B | HXTY8C5M4B | statement | record (an 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.06724#MHEU |
| HXV14N700X | HXV14N700X | statement | record (an 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.39204#YZCQ |
| HXW6HC6C1R | HXW6HC6C1R | statement | record (an 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.08610#NPQK |
| HXWCKP9H5H | HXWCKP9H5H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2009.11127#WB0G |
| HXX00B7JQB | HXX00B7JQB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.04559#Y55G |
| HXX7C4NFQS | HXX7C4NFQS | 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/0406514#JWT5 |
| HXXK8D1JQJ | HXXK8D1JQJ | statement | record (an 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.12486#7UMG |
| HXXNF517X9 | HXXNF517X9 | statement | record (an 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.30018#D1M4 |
| HXXWZRH9F8 | HXXWZRH9F8 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-49 |
| HXXZJAMPHN | HXXZJAMPHN | statement | record (an 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.18061#7OF6 |
| HXY0Z9YDAX | HXY0Z9YDAX | 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.17817#F15T |
| HXZ7N0K9AB | HXZ7N0K9AB | exercise | open | active_calculus source/activities/act-6-2-2.xml#act-6-2-2 |
| HXZ9A9WAT3 | HXZ9A9WAT3 | statement | record (an 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#9EXA |
| HY0DW6TX9F | HY0DW6TX9F | 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.36811#1BN8 |
| HY0HXEA437 | HY0HXEA437 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#CI9I |
| HY0K4JSPK2 | HY0K4JSPK2 | 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.18847#11NZ |
| HY1ETR2SF7 | HY1ETR2SF7 | 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.40023#JFAN |
| HY2GDYXEXF | HY2GDYXEXF | statement | record (an 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.01653#73EI |
| HY2K8QVX1B | HY2K8QVX1B | 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 2609.25742#8TQW |
| HY36XMH9WZ | HY36XMH9WZ | 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 2208.04502#W2DD |
| HY38NB63ZD | HY38NB63ZD | statement | record (an 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.31604#PNAZ |
| HY3H1XTR2R | HY3H1XTR2R | 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 1002.0879#MAAN |
| HY3KQW2JWC | HY3KQW2JWC | exercise | open | austin_ula src/section1-2.xml#ula-preview-1-2 |
| HY3XPYP4NN | HY3XPYP4NN | statement | record (an 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.03384#V3A7 |
| HY4B8XASEP | HY4B8XASEP | statement | record (an 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.37112#8LI0 |
| HY4JDPWPMX | HY4JDPWPMX | statement | record (an 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#GADD |
| HY4SRKDY4T | HY4SRKDY4T | statement | record (an 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.06206#7IE7 |
| HY5C40DER8 | HY5C40DER8 | statement | record (an 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.06621#Q4KD |
| HY5WPHBFZQ | HY5WPHBFZQ | statement | record (an 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.36321#BATB |
| HY5WSDTAD0 | HY5WSDTAD0 | 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.14985#YJUQ |
| HY6HDFB9MH | HY6HDFB9MH | 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 2301.04933#2N46 |
| HY6T882MWG | HY6T882MWG | statement | record (an 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.10413#1ZHV |
| HY7E7SJMH0 | HY7E7SJMH0 | statement | record (an 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.21037#6B3D |
| HY7FF8KGG4 | HY7FF8KGG4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0906.4245#WF85 |
| HY7TRDKENS | HY7TRDKENS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#BGRE |
| HY7WASNW8H | HY7WASNW8H | statement | record (an 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.12324#PZJK |
| HY8E3AY0BY | HY8E3AY0BY | statement | record (an 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#2B9W |
| HY9H5CC1YG | HY9H5CC1YG | statement | record (an 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.12543#9OLM |
| HY9WFN0K9S | HY9WFN0K9S | 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 1612.08394#YDMN |
| HYA6ZFHK01 | HYA6ZFHK01 | statement | record (an 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#1KQ9 |
| HYA7DZD338 | HYA7DZD338 | 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.03835#YYE6 |
| HYA7NMEW37 | HYA7NMEW37 | statement | record (an 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.09129#R7SW |
| HYA80EJ3HA | HYA80EJ3HA | statement | record (an 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#RE3M |
| HYB86394D2 | HYB86394D2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#ATK8 |
| HYBQGAY1J4 | HYBQGAY1J4 | 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.27125#S6EF |