Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 26901–27000 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9FG46VR1VA | 9FG46VR1VA | statement | record (an 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.00596#0RTY |
| 9FGH92ZVSC | 9FGH92ZVSC | statement | record (an 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#2J80 |
| 9FGS05F1KT | 9FGS05F1KT | statement | record (an 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.11596#BGUQ |
| 9FGTMJXYQ1 | 9FGTMJXYQ1 | statement | record (an 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.24544#UPY9 |
| 9FHBKR3AMS | 9FHBKR3AMS | 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.07673#3KQA |
| 9FHKHS3AMM | 9FHKHS3AMM | 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.20131#V564 |
| 9FHKM10V4W | 9FHKM10V4W | 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 2304.02722#OW2G |
| 9FHMCRZ36A | 9FHMCRZ36A | statement | record (an 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.24481#N3H0 |
| 9FHV0CFDQV | 9FHV0CFDQV | statement | record (an 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.25656#ZRVW |
| 9FHVCXP8B1 | 9FHVCXP8B1 | proof | open | hott_book reals.tex#proof-9 |
| 9FKJ58KHB6 | 9FKJ58KHB6 | statement | record (an 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.06310#JJNP |
| 9FKKJV0XDE | 9FKKJV0XDE | statement | open | open_logic content/set-theory/ordinals/iso.tex#thm:woalwayscomparable |
| 9FKMMGJK67 | 9FKMMGJK67 | statement | record (an 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.32439#PSB2 |
| 9FKTR028F3 | 9FKTR028F3 | 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 2011.07352#JYTZ |
| 9FKV1686TA | 9FKV1686TA | statement | record (an 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.07190#TJRS |
| 9FM4HS4509 | 9FM4HS4509 | statement | open | napkin tex/complex-ana/meromorphic.tex#thm:arg_principle |
| 9FMBY74978 | 9FMBY74978 | statement | record (an 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#LIEV |
| 9FMQ6T1C27 | 9FMQ6T1C27 | statement | record (an 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.26496#E83T |
| 9FMVY8AB1N | 9FMVY8AB1N | statement | record (an 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.01946#M5DU |
| 9FMWMBFVQY | 9FMWMBFVQY | statement | record (an 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.33704#K43C |
| 9FN416B6VN | 9FN416B6VN | statement | record (an 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.06899#2OY7 |
| 9FN44DF8YR | 9FN44DF8YR | statement | record (an 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#9ISC |
| 9FN8G2QTAC | 9FN8G2QTAC | statement | record (an 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.11047#AD91 |
| 9FNFHX88GC | 9FNFHX88GC | statement | record (an 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.21994#XO63 |
| 9FNKAFG2MJ | 9FNKAFG2MJ | statement | record (an 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.22636#VC8M |
| 9FNNB3KRAK | 9FNNB3KRAK | 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.12430#9LTU |
| 9FP56AMNS6 | 9FP56AMNS6 | statement | record (an 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.21921#AWM1 |
| 9FQ48FKGFR | 9FQ48FKGFR | statement | record (an 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.21934#AXUC |
| 9FQDW22BA5 | 9FQDW22BA5 | statement | record (an 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.36622#66HU |
| 9FQGXKWBCP | 9FQGXKWBCP | statement | record (an 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.17669#XOP3 |
| 9FQJ838YPG | 9FQJ838YPG | statement | record (an 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.06340#4EDU |
| 9FQMRW3Z0A | 9FQMRW3Z0A | statement | record (an 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.22636#U9JZ |
| 9FQSKYK00B | 9FQSKYK00B | statement | record (an 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.05868#B2A0 |
| 9FR4C7PKBN | 9FR4C7PKBN | 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#IJTX |
| 9FTFDJX571 | 9FTFDJX571 | 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 2405.14678#057M |
| 9FVCYCMYFE | 9FVCYCMYFE | 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.21960#4JHI |
| 9FVHJCKQ6W | 9FVHJCKQ6W | 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.17737#VGD5 |
| 9FVX56FADS | 9FVX56FADS | statement | record (an 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#XJ77 |
| 9FX1C7SH00 | 9FX1C7SH00 | statement | record (an 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.05459#42Y0 |
| 9FXB1NRY83 | 9FXB1NRY83 | statement | record (an 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.27414#9EAX |
| 9FXJR7S04Z | 9FXJR7S04Z | statement | record (an 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.21475#UFQ6 |
| 9FXW1XWKX2 | 9FXW1XWKX2 | statement | record (an 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.03231#TMR9 |
| 9FXZV1X4EJ | 9FXZV1X4EJ | statement | record (an 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.05069#GJTN |
| 9FY3KK0H3E | 9FY3KK0H3E | 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.29759#E900 |
| 9FYYGG37TH | 9FYYGG37TH | statement | open | open_logic content/first-order-logic/natural-deduction/soundness.tex#cor:weak-soundness |
| 9FZCE10ADK | 9FZCE10ADK | statement | record (an 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.20590#M5UV |
| 9FZDV5MYDP | 9FZDV5MYDP | 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 2610.03208#053H |
| 9FZMP631HF | 9FZMP631HF | statement | record (an 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.25915#QNBS |
| 9FZTFCJV9A | 9FZTFCJV9A | statement | record (an 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.38228#5E4D |
| 9G0GFGM855 | 9G0GFGM855 | statement | record (an 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.26386#UYXF |
| 9G0RY8JKAN | 9G0RY8JKAN | statement | record (an 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.34946#61EC |
| 9G2Q48YJCC | 9G2Q48YJCC | statement | record (an 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.14859#LV6J |
| 9G32Q2EYM2 | 9G32Q2EYM2 | statement | record (an 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.04046#I6HH |
| 9G33K937KH | 9G33K937KH | statement | record (an 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.15454#6Q8X |
| 9G34ST38DZ | 9G34ST38DZ | statement | record (an 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#HZ93 |
| 9G470237PK | 9G470237PK | statement | record (an 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.08664#LDUK |
| 9G470VQVEE | 9G470VQVEE | statement | record (an 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#VTVK |
| 9G4C4JBWAA | 9G4C4JBWAA | statement | record (an 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.18503#AHBO |
| 9G4MXTS51K | 9G4MXTS51K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1509.00950#G7XG |
| 9G4MYENKT4 | 9G4MYENKT4 | statement | record (an 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.26089#GZ04 |
| 9G5FZEKHX5 | 9G5FZEKHX5 | statement | record (an 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.26129#FHAP |
| 9G657M7BKB | 9G657M7BKB | definition | open | lebl_ra ch-seq-ser.tex#defn-1 |
| 9G6QKVW35K | 9G6QKVW35K | statement | record (an 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.06458#DUJI |
| 9G75VSMABJ | 9G75VSMABJ | statement | record (an 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.02669#BEG9 |
| 9G79NHFN0R | 9G79NHFN0R | statement | record (an 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.21540#463S |
| 9G87PW7FJW | 9G87PW7FJW | statement | record (an 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.30544#WJR8 |
| 9G88AKH61M | 9G88AKH61M | statement | record (an 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.24448#3HQ3 |
| 9G91KS272W | 9G91KS272W | example | open | napkin tex/H113/ring-intro.tex#example-7 |
| 9G91KW8K21 | 9G91KW8K21 | statement | record (an 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.13464#VBEE |
| 9G99T1XFNR | 9G99T1XFNR | statement | record (an 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#DTO4 |
| 9G9HAB2QKT | 9G9HAB2QKT | statement | record (an 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.12116#4EW3 |
| 9GA1BAAH5T | 9GA1BAAH5T | statement | record (an 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.16022#9SY9 |
| 9GA1GH3TKG | 9GA1GH3TKG | statement | record (an 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.30823#GXNT |
| 9GAQWP711K | 9GAQWP711K | statement | record (an 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.17863#WKPX |
| 9GBE86W6SJ | 9GBE86W6SJ | statement | record (an 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.20944#6NS4 |
| 9GBF8H9T9T | 9GBF8H9T9T | statement | record (an 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.21414#0ZBT |
| 9GBHJ11SDW | 9GBHJ11SDW | statement | record (an 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#DOXN |
| 9GBPT7MFGX | 9GBPT7MFGX | statement | open | lebl_diffyqs ch-systems.tex#theorem-1 |
| 9GBQ9SJTEB | 9GBQ9SJTEB | 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.13846#IPSW |
| 9GBQZDDG5H | 9GBQZDDG5H | exercise | open | hott_book induction.tex#ex:one-function-two-recurrences |
| 9GC7Q89CPX | 9GC7Q89CPX | statement | record (an 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.10095#CGT9 |
| 9GCJM58YND | 9GCJM58YND | proof | open | hott_book hlevels.tex#proof-9 |
| 9GD054212D | 9GD054212D | 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.07293#K7EX |
| 9GD401BQR1 | 9GD401BQR1 | statement | record (an 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.11757#J45W |
| 9GE8G955VA | 9GE8G955VA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1407.0548#ANF0 |
| 9GEVWFNE14 | 9GEVWFNE14 | 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.21037#01RY |
| 9GEY08MNSB | 9GEY08MNSB | statement | record (an 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.07274#BVO5 |
| 9GF86T01Q2 | 9GF86T01Q2 | 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.22218#BCEM |
| 9GFEEG0APF | 9GFEEG0APF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1010.0868#8OQ8 |
| 9GFZ7VC3HT | 9GFZ7VC3HT | 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.22777#0BHS |
| 9GGA8J9C91 | 9GGA8J9C91 | statement | record (an 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.01796#LB21 |
| 9GGHH4D6BF | 9GGHH4D6BF | exercise | open | lebl_ra ch-seq-ser.tex#exercise:infseqlimlims |
| 9GGMJ5G4T5 | 9GGMJ5G4T5 | statement | record (an 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.19093#7CS1 |
| 9GGPQGMAZP | 9GGPQGMAZP | statement | record (an 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.08193#ZSHL |
| 9GGR154N8H | 9GGR154N8H | 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#48TK |
| 9GH6QGVSY9 | 9GH6QGVSY9 | statement | record (an 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.09882#BAJK |
| 9GH9JXCCN1 | 9GH9JXCCN1 | statement | record (an 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.19658#N36E |
| 9GHJBXC6ND | 9GHJBXC6ND | statement | record (an 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.20881#MONS |
| 9GJ47DVE69 | 9GJ47DVE69 | 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.21668#IB18 |
| 9GJDWKDH93 | 9GJDWKDH93 | statement | record (an 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.24777#2B6Y |