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 7201–7300 of 7946.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HWZJJ7FHQ6 | HWZJJ7FHQ6 | statement | record (an 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.26922#C4MD |
| HWZKF98PW9 | HWZKF98PW9 | statement | record (an 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.04179#5WPN |
| HWZVTVX5DX | HWZVTVX5DX | statement | record (an 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.06338#7JO2 |
| HWZZS4SDJ7 | HWZZS4SDJ7 | statement | record (an 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.21036#I17H |
| HX-63 | 9EHN4XCZN1 | definition | open | Wikipedia HX-63, Wikidata Q3125216 |
| HX010Z670D | HX010Z670D | statement | record (an 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.20401#QMA9 |
| HX04AJACA2 | HX04AJACA2 | exercise | open | napkin tex/linalg/inner-form.tex#ques-1 |
| HX04XXYHB0 | HX04XXYHB0 | 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.35396#8RH1 |
| HX0DYE8EDG | HX0DYE8EDG | statement | record (an 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.33733#E7AF |
| HX0XDWM103 | HX0XDWM103 | statement | record (an 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.03972#Q2LJ |
| HX29NM2RGQ | HX29NM2RGQ | statement | record (an 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.21174#8LL5 |
| HX2MX1TYFV | HX2MX1TYFV | example | open | active_calculus source/sec-3-3-tests.xml#Ex-3-2 |
| HX2Z8WKW2A | HX2Z8WKW2A | statement | open | hott_book induction.tex#lem:homotopy-induction-times-3 |
| HX30EFHMGQ | HX30EFHMGQ | example | open | applied_combinatorics source/s_inclusion-exclusion_intro.ptx#exa_inclusion-exclusion_students |
| HX3CEMHTHY | HX3CEMHTHY | 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.01731#BRFQ |
| HX3N80VH9V | HX3N80VH9V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.29838#KOGL |
| HX3QEQQTQR | HX3QEQQTQR | statement | record (an 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.22759#WRF8 |
| HX41DHCD7S | HX41DHCD7S | statement | record (an 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.06326#FU0S |
| HX42AX6G5Z | HX42AX6G5Z | statement | record (an 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.22317#8334 |
| HX49ZXK37V | HX49ZXK37V | statement | record (an 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.12329#Q52S |
| HX4DCNSHYX | HX4DCNSHYX | statement | record (an 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.04675#GN55 |
| HX4EDE2W7M | HX4EDE2W7M | example | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#example-6 |
| HX6KG59BC6 | HX6KG59BC6 | 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.03856#6B0W |
| HX7C6131AY | HX7C6131AY | statement | record (an 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.00813#SMRH |
| HX7J5NV505 | HX7J5NV505 | statement | record (an 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.19358#425N |
| 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 |
| HXN1TZ9SNA | HXN1TZ9SNA | 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.23884#N55A |
| 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 |
| HXXDC505R5 | HXXDC505R5 | statement | record (an 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#I14E |
| 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 |
| HXYQFTY5SZ | HXYQFTY5SZ | statement | record (an 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.20444#ZFYC |
| 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 |
| HY0JASFXRM | HY0JASFXRM | 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.23528#XDPH |
| 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 |