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 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 23901–24000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9FYYGG37TH | 9FYYGG37TH | statement | open | open_logic content/first-order-logic/natural-deduction/soundness.tex#cor:weak-soundness |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 9GJKZJXH7V | 9GJKZJXH7V | proof | open | napkin tex/complex-ana/holomorphic.tex#proof-1 |
| 9GM866B7F0 | 9GM866B7F0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#K6I7 |
| 9GN25BVY6V | 9GN25BVY6V | statement | record (an 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.03499#BM4V |
| 9GN79B774J | 9GN79B774J | statement | record (an 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.33770#XOJC |
| 9GNVH81MKG | 9GNVH81MKG | statement | record (an 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#H2YH |
| 9GNWZNTA12 | 9GNWZNTA12 | statement | record (an 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.34193#MXSD |
| 9GPHJZ9SKA | 9GPHJZ9SKA | example | open | lebl_diffyqs ch-first-order-ode.tex#example-5 |
| 9GQ2PHH5G6 | 9GQ2PHH5G6 | 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.13213#K2U2 |
| 9GQ2V551J1 | 9GQ2V551J1 | 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 0810.0962#SLUA |
| 9GQRP1KHGG | 9GQRP1KHGG | statement | record (an 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#D5HN |
| 9GQSJYWHAN | 9GQSJYWHAN | statement | open | open_logic content/lambda-calculus/syntax/alpha.tex#lem:sub:R |
| 9GQVGWMBVC | 9GQVGWMBVC | 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 math/0406514#OK9I |
| 9GQW6RHACA | 9GQW6RHACA | statement | record (an 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#N82Q |
| 9GR4XZ75T7 | 9GR4XZ75T7 | statement | record (an 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#9Q3O |
| 9GRSG31T3E | 9GRSG31T3E | statement | record (an 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.00407#PF75 |
| 9GSC551S77 | 9GSC551S77 | statement | record (an 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.38741#L5GS |
| 9GSVRWCAAD | 9GSVRWCAAD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.07030#D08W |
| 9GTKHCBPC3 | 9GTKHCBPC3 | 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.00914#1PT9 |
| 9GV5WV0RP9 | 9GV5WV0RP9 | 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.18016#J0GD |
| 9GVB69KQ7V | 9GVB69KQ7V | statement | record (an 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.24569#OFGM |
| 9GVBTZ34HV | 9GVBTZ34HV | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-41 |
| 9GVPN9E5E0 | 9GVPN9E5E0 | statement | record (an 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.14820#GK2B |
| 9GVSGJYJ44 | 9GVSGJYJ44 | statement | record (an 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.03222#HAPO |
| 9GWAZF8PXC | 9GWAZF8PXC | statement | record (an 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.18016#T5NI |
| 9GWQZEFKSX | 9GWQZEFKSX | statement | record (an 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.12238#WR5S |
| 9GWWMSB3WN | 9GWWMSB3WN | statement | record (an 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.10804#BITN |
| 9GX40RHGA0 | 9GX40RHGA0 | statement | record (an 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.17482#5M2Y |
| 9GX523231E | 9GX523231E | statement | record (an 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.16028#EOBE |
| 9GX8G6PK4C | 9GX8G6PK4C | statement | record (an 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.00617#9T3O |
| 9GXMCKEQ73 | 9GXMCKEQ73 | statement | record (an 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#9MNA |
| 9GXWGZCGJT | 9GXWGZCGJT | statement | record (an 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.29489#ZECC |
| 9GY02AB34J | 9GY02AB34J | statement | record (an 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.31274#BFH6 |
| 9GY22QNTQG | 9GY22QNTQG | statement | record (an 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#ZJTV |
| 9GYC5GVHS0 | 9GYC5GVHS0 | statement | record (an 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.31278#KAG5 |
| 9GYE1V7B2S | 9GYE1V7B2S | 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 2104.00162#6JXY |
| 9GYVPBZ5FC | 9GYVPBZ5FC | statement | record (an 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.30274#GX3U |
| 9GZ7XVA351 | 9GZ7XVA351 | statement | record (an 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.16561#ZH04 |
| 9GZ8Z9GPS5 | 9GZ8Z9GPS5 | statement | record (an 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.12803#MH2N |
| 9GZH0SNFQC | 9GZH0SNFQC | example | open | levin_dmoi ptx/sec_seq-recurrence.ptx#example-4 |
| 9GZKWSEVE7 | 9GZKWSEVE7 | 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.15217#R0IB |
| 9GZNM3KEDF | 9GZNM3KEDF | 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 1002.0879#RIY0 |
| 9H0102TTK4 | 9H0102TTK4 | 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.25524#OJTW |
| 9H03BP02M3 | 9H03BP02M3 | statement | record (an 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.09422#6I4B |
| 9H07F6GC7Q | 9H07F6GC7Q | statement | record (an 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.34845#Y857 |
| 9H0CN7WW7W | 9H0CN7WW7W | statement | record (an 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#5A8I |
| 9H0Q90BVE7 | 9H0Q90BVE7 | statement | record (an 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.26776#22DM |
| 9H1BBWQY81 | 9H1BBWQY81 | exercise | open | lebl_ra ch-approximate.tex#exercise:CXCnormedspace |
| 9H1ZA1M1W4 | 9H1ZA1M1W4 | exercise | open | lebl_ra ch-approximate.tex#exercise-22 |
| 9H2KG5DYH5 | 9H2KG5DYH5 | 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.00789#6TFS |
| 9H3JS8JH3E | 9H3JS8JH3E | statement | record (an 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.07164#GGQN |