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 1401–1500 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HCE0C7GST7 | HCE0C7GST7 | statement | record (an 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.02073#GZ3P |
| HCG64Z9C13 | HCG64Z9C13 | 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.26033#Y79V |
| HCGJ0ZFCHJ | HCGJ0ZFCHJ | statement | record (an 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.12009#IUXD |
| HCGNM8ETN9 | HCGNM8ETN9 | statement | record (an 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#V6V3 |
| HCGQTRS1ZS | HCGQTRS1ZS | statement | record (an 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#E38V |
| HCGW8D5PZR | HCGW8D5PZR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#8JIA |
| HCGXSVNC54 | HCGXSVNC54 | statement | record (an 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.24206#P35O |
| HCH0GP9PWP | HCH0GP9PWP | definition | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#def:equivalence class |
| HCH8DWWM2Z | HCH8DWWM2Z | statement | record (an 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.22090#9SXJ |
| HCJ0CHD6Y6 | HCJ0CHD6Y6 | proof | open | napkin tex/alg-NT/norm-trace.tex#proof-4 |
| HCJ1TJ7ZKG | HCJ1TJ7ZKG | statement | record (an 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.10937#MMSN |
| HCJMJSNP97 | HCJMJSNP97 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1912.02769#HYDG |
| HCK3K01V2Z | HCK3K01V2Z | statement | record (an 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.24640#X5KC |
| HCK429QF3N | HCK429QF3N | statement | record (an 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.17325#RWR1 |
| HCKFK09BT2 | HCKFK09BT2 | statement | record (an 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.02628#4IYX |
| HCKMW280QW | HCKMW280QW | statement | record (an 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.10527#IIXF |
| HCKZW8QGCK | HCKZW8QGCK | statement | record (an 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.08912#RW5M |
| HCM277RGDP | HCM277RGDP | 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.16178#7EBC |
| HCMEWCAD0M | HCMEWCAD0M | statement | record (an 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.11965#DZE1 |
| HCNWM6HVW4 | HCNWM6HVW4 | statement | record (an 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.03746#2WDD |
| HCNZSVCHZH | HCNZSVCHZH | 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 2308.05066#FI55 |
| HCP6NSD4V5 | HCP6NSD4V5 | statement | record (an 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.25004#DMO3 |
| HCPMRN583J | HCPMRN583J | definition | open | napkin tex/topology/top-more.tex#definition-5 |
| HCPPFCGTDF | HCPPFCGTDF | statement | open | open_logic content/set-theory/spine/rank.tex#ranksupstrict |
| HCPYNFF0QZ | HCPYNFF0QZ | statement | record (an 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.10370#9RHM |
| HCQ6XC3QYV | HCQ6XC3QYV | proof | open | lebl_ra ch-seq-ser.tex#proof-28 |
| HCRFGASJ1Z | HCRFGASJ1Z | statement | record (an 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.24355#DA3W |
| HCRGTFES2K | HCRGTFES2K | statement | record (an 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.39317#VAW6 |
| HCRKPBTQJ4 | HCRKPBTQJ4 | statement | record (an 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.29531#7T28 |
| HCS842FQ4F | HCS842FQ4F | statement | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#lem:cont |
| HCST3F9V02 | HCST3F9V02 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#YIZG |
| HCSVBPEZT7 | HCSVBPEZT7 | statement | record (an 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/0008020#J4CF |
| HCT1TA44BT | HCT1TA44BT | statement | record (an 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.30203#WA1G |
| HCTFRN0ZEC | HCTFRN0ZEC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14214#8X06 |
| HCTGE8MB76 | HCTGE8MB76 | statement | record (an 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.21092#S2SJ |
| HCTHQ1N147 | HCTHQ1N147 | statement | record (an 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.31127#4Q1M |
| HCV36Z0MGQ | HCV36Z0MGQ | statement | record (an 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.39218#04CS |
| HCV4T3FS07 | HCV4T3FS07 | statement | record (an 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.26401#HCAA |
| HCVBG5FYEH | HCVBG5FYEH | example | open | lebl_diffyqs ch-laplace.tex#example-17 |
| HCVD3JEK22 | HCVD3JEK22 | statement | record (an 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.11210#QVV5 |
| HCVT6KE6HW | HCVT6KE6HW | statement | record (an 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.35398#KVRY |
| HCW4XB8GTS | HCW4XB8GTS | 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.22317#MZA0 |
| HCWJKS3ZE5 | HCWJKS3ZE5 | example | open | active_calculus source/sec-5-4-parts.xml#example-3 |
| HCWK86SD63 | HCWK86SD63 | 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 2203.15223#KS43 |
| HCWQXT23VE | HCWQXT23VE | statement | record (an 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#AL69 |
| HCX0JPZDTT | HCX0JPZDTT | proof | open | hott_book categories.tex#proof-17 |
| HCY153QYZT | HCY153QYZT | 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 1804.06366#96PN |
| HCYBFA9MA7 | HCYBFA9MA7 | 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.16541#VYTE |
| HCYFG5AQER | HCYFG5AQER | statement | open | open_logic content/first-order-logic/models-theories/size-of-structures.tex#prop-1 |
| HCZ674P2XG | HCZ674P2XG | statement | record (an 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.19660#TVSP |
| HCZ82BSPTX | HCZ82BSPTX | statement | record (an 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.02312#DTF9 |
| HCZS013QEZ | HCZS013QEZ | statement | record (an 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.17909#G080 |
| HD06M39V57 | HD06M39V57 | statement | record (an 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.13328#S7S6 |
| HD0D7X4KE1 | HD0D7X4KE1 | statement | record (an 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.32078#O003 |
| HD0NTZG2E8 | HD0NTZG2E8 | statement | open | levin_dmoi ptx/sec_gt-trees.ptx#prop-tree-edge-vertex |
| HD1XHK6KD2 | HD1XHK6KD2 | definition | open | napkin tex/linalg/dual-trace.tex#definition-1 |
| HD22E9YQ9Z | HD22E9YQ9Z | 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.32916#7AFL |
| HD2KYAC9TW | HD2KYAC9TW | statement | record (an 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.25111#YMNC |
| HD2T9SWRJH | HD2T9SWRJH | unknown | open | arXiv 2211.01586#JLWA |
| HD39TTS32R | HD39TTS32R | statement | record (an 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.32946#74YF |
| HD3D7BK6B1 | HD3D7BK6B1 | statement | record (an 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.00379#E8A7 |
| HD3FWX9MKR | HD3FWX9MKR | statement | record (an 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#P3CY |
| HD3QP9MK4S | HD3QP9MK4S | exercise | open | napkin tex/H113/ring-intro.tex#problem-1 |
| HD54RKR83Z | HD54RKR83Z | statement | record (an 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.24325#JXH5 |
| HD58861JMB | HD58861JMB | example | open | active_calculus source/sec-7-4-separable.xml#Ex-7-4-1 |
| HD5NS87RDP | HD5NS87RDP | statement | record (an 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.32903#TJG2 |
| HD60T929QA | HD60T929QA | statement | record (an 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.25353#RUXL |
| HD698QN5CC | HD698QN5CC | exercise | open | austin_ula src/exercises/exercises6-4.xml#exercise-4 |
| HD6A42D3R2 | HD6A42D3R2 | statement | record (an 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.26813#2IOP |
| HD6CFVJV4Q | HD6CFVJV4Q | 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.18302#KQK3 |
| HD6KE85BZS | HD6KE85BZS | statement | record (an 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.13629#3266 |
| HD6TB70MYW | HD6TB70MYW | statement | record (an 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#MXLS |
| HD70BXPDA1 | HD70BXPDA1 | statement | record (an 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#EZL5 |
| HD723CGM0S | HD723CGM0S | example | open | napkin tex/quantum/shor.tex#example-1 |
| HD7JPPE7H7 | HD7JPPE7H7 | exercise | open | lebl_scv scv.tex#exercise-190 |
| HD821CEZ1K | HD821CEZ1K | 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.38556#O1P4 |
| HD8EVXDJ2E | HD8EVXDJ2E | statement | record (an 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.18992#MRP8 |
| HD8F6F933V | HD8F6F933V | statement | record (an 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.30262#EU33 |
| HD8NHKYAGD | HD8NHKYAGD | statement | record (an 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.21017#GQ7H |
| HD8ZF31ZJT | HD8ZF31ZJT | statement | record (an 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.10968#JGE0 |
| HD9XEVQMK0 | HD9XEVQMK0 | 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#FNY6 |
| HD9ZGFFVYS | HD9ZGFFVYS | 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 2412.20001#0G2U |
| HD9ZH4PBRF | HD9ZH4PBRF | statement | record (an 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.21724#NZVA |
| HDAS600J7Q | HDAS600J7Q | statement | record (an 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.21033#RHF6 |
| HDAWJVQXQ5 | HDAWJVQXQ5 | statement | open | austin_ula src/section4-3.xml#prop-diagonalizable |
| HDAYHAZKV8 | HDAYHAZKV8 | 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.20131#HY2J |
| HDB4NSVYNJ | HDB4NSVYNJ | 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.10925#98UU |
| HDB71ST0Z4 | HDB71ST0Z4 | statement | record (an 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.18673#KQA2 |
| HDB764NAGD | HDB764NAGD | 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.08091#JIVP |
| HDB7T8JFSF | HDB7T8JFSF | statement | record (an 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.04434#UBT7 |
| HDCCMJTP14 | HDCCMJTP14 | statement | record (an 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.28357#UGXC |
| HDD37NT2V2 | HDD37NT2V2 | statement | record (an 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#Y57Z |
| HDD3YSKFWE | HDD3YSKFWE | statement | record (an 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.29537#9936 |
| HDDHEFCYVD | HDDHEFCYVD | statement | record (an 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.10559#EHF3 |
| HDE89V8NC2 | HDE89V8NC2 | 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.24424#PAWD |
| HDEG5K24JT | HDEG5K24JT | statement | record (an 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.17009#24GK |
| HDFH3N7AFG | HDFH3N7AFG | statement | record (an 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#DA67 |
| HDFQ4HWG5F | HDFQ4HWG5F | statement | record (an 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.10107#F6O3 |
| HDFZ1W19BM | HDFZ1W19BM | statement | record (an 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.10928#XE10 |
| Hdg descends | 6B9FV7N9VZ | statement | record (an 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#B4QR |