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 7701–7800 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3GGV3C50JD | 3GGV3C50JD | statement | record (an 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.16731#0RY0 |
| 3GHB3JB2RV | 3GHB3JB2RV | proof | open | napkin tex/H113/structure.tex#proof-8 |
| 3GJ93QA9CA | 3GJ93QA9CA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.10080#35ZN |
| 3GJDXZ4EMZ | 3GJDXZ4EMZ | statement | record (an 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.14045#SU5L |
| 3GKB39T6BR | 3GKB39T6BR | statement | record (an 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.38742#T0NZ |
| 3GKN9TFCEW | 3GKN9TFCEW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.09700#KPAU |
| 3GKS0KW7EV | 3GKS0KW7EV | statement | open | applied_combinatorics source/s_background_formal-num-sys.ptx#lemma-1 |
| 3GKT8C3DR9 | 3GKT8C3DR9 | proof | open | open_logic content/set-theory/spine/rank.tex#proof-7 |
| 3GM0TM9E2M | 3GM0TM9E2M | exercise | open | napkin tex/alg-NT/galois.tex#ques-1 |
| 3GM5JPRCAG | 3GM5JPRCAG | 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.10262#3A43 |
| 3GN299CR58 | 3GN299CR58 | statement | record (an 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.13864#V6QE |
| 3GNGTF6S9M | 3GNGTF6S9M | statement | record (an 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.07340#9L9B |
| 3GP8JPGCBQ | 3GP8JPGCBQ | example | open | levin_dmoi ptx/sec_intro-statements.ptx#example-5 |
| 3GPA8FQ1WB | 3GPA8FQ1WB | 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.20376#R2VK |
| 3GQ8320RS0 | 3GQ8320RS0 | statement | record (an 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.27908#RLE8 |
| 3GR4ENQ4VT | 3GR4ENQ4VT | statement | record (an 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.08039#8P9Z |
| 3GRZ98QG3V | 3GRZ98QG3V | statement | record (an 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.38068#7PPZ |
| 3GSEN0F5QC | 3GSEN0F5QC | exercise | open | open_logic content/first-order-logic/tableaux/proving-things-quant.tex#prob-1 |
| 3GT2T49ZNY | 3GT2T49ZNY | statement | record (an 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.16099#DYTR |
| 3GT5M0JT32 | 3GT5M0JT32 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1712.02437#IB3N |
| 3GT7CTNHAC | 3GT7CTNHAC | 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.10337#64FK |
| 3GTK0ZSC20 | 3GTK0ZSC20 | statement | record (an 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.29712#L3NC |
| 3GTK5XDYPP | 3GTK5XDYPP | statement | record (an 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.26162#923W |
| 3GTS477SG5 | 3GTS477SG5 | exercise | open | lebl_ra ch-approximate.tex#exercise-41 |
| 3GV0N6P91A | 3GV0N6P91A | 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.01802#BQ34 |
| 3GVKSJ292A | 3GVKSJ292A | 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.10928#C39U |
| 3GVT72FK2M | 3GVT72FK2M | statement | record (an 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.15212#WIY9 |
| 3GVZPCYXSE | 3GVZPCYXSE | statement | record (an 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.17055#342A |
| 3GWMECV24M | 3GWMECV24M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.2839#IBRM |
| 3GWMKTANCV | 3GWMKTANCV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0907.5545#VYJ3 |
| 3GX4F6H7B7 | 3GX4F6H7B7 | example | open | hott_book homotopy.tex#eg:kg1 |
| 3GXCAZ24QS | 3GXCAZ24QS | statement | record (an 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.26962#18OM |
| 3GXJD8N6M1 | 3GXJD8N6M1 | statement | record (an 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.13180#5V54 |
| 3GXZ1YR63K | 3GXZ1YR63K | statement | record (an 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.28251#NPW7 |
| 3GZ2S7935G | 3GZ2S7935G | statement | record (an 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.06699#XZDU |
| 3GZASBNESQ | 3GZASBNESQ | exercise | open | ernst_ibl MAAPressVersion/Partitions.tex#problem-2 |
| 3GZCAB572B | 3GZCAB572B | statement | record (an 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#KTGE |
| 3GZGBB13S2 | 3GZGBB13S2 | statement | record (an 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#TIOH |
| 3GZKZYQ6EA | 3GZKZYQ6EA | statement | record (an 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.06707#T13X |
| 3H0038RXK6 | 3H0038RXK6 | statement | record (an 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#5XN5 |
| 3H08JG16NS | 3H08JG16NS | proof | open | lebl_scv scv.tex#proof-84 |
| 3H0JT8V49D | 3H0JT8V49D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.13822#YMKF |
| 3H0P7HVCCS | 3H0P7HVCCS | proof | open | napkin tex/linalg/eigenvalues.tex#proof-2 |
| 3H19SY28D7 | 3H19SY28D7 | exercise | open | open_logic content/lambda-calculus/lambda-definability/lists.tex#prob-2 |
| 3H1MP0SCPT | 3H1MP0SCPT | statement | record (an 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.02352#E2U9 |
| 3H2R8PS2AY | 3H2R8PS2AY | exercise | open | lebl_ra ch-metric.tex#exercise:msconnconn |
| 3H2RAG78VW | 3H2RAG78VW | statement | record (an 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#G0YL |
| 3H2SVK7CDE | 3H2SVK7CDE | statement | record (an 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#5STX |
| 3H3NH8RTGQ | 3H3NH8RTGQ | statement | open | austin_ula src/section2-5.xml#prop-linear-trans-columns |
| 3H3PYF534C | 3H3PYF534C | statement | record (an 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.32207#VPGJ |
| 3H5R8MYBFX | 3H5R8MYBFX | statement | open | hott_book setmath.tex#lem:BisimEqualsId |
| 3H5TE24HM5 | 3H5TE24HM5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.10636#DGJF |
| 3H6EXX8MCV | 3H6EXX8MCV | proof | open | open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#proof-2 |
| 3H7GEQM3DJ | 3H7GEQM3DJ | statement | record (an 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#KE2O |
| 3H80P57GAN | 3H80P57GAN | 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 0809.4587#OIYK |
| 3H8AEBJJGG | 3H8AEBJJGG | statement | record (an 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.02141#4RDE |
| 3H8BEK2487 | 3H8BEK2487 | statement | record (an 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#N4Y7 |
| 3H8CXV40N4 | 3H8CXV40N4 | 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.26180#7P5T |
| 3H92YWE896 | 3H92YWE896 | statement | record (an 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#ZTGL |
| 3H9J2R3011 | 3H9J2R3011 | 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 2511.06555#DPGV |
| 3HA5NRD8N0 | 3HA5NRD8N0 | statement | record (an 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.22161#T9UF |
| 3HAD6XGM0A | 3HAD6XGM0A | statement | record (an 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.00775#5G6R |
| 3HAKP6FKHV | 3HAKP6FKHV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.05451#3NIX |
| 3HAR9C454A | 3HAR9C454A | 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.25289#FH5S |
| 3HCA1J1NFY | 3HCA1J1NFY | 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.29918#0OD9 |
| 3HCSN876JC | 3HCSN876JC | statement | record (an 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.05423#FZCO |
| 3HDNRSJCHW | 3HDNRSJCHW | statement | record (an 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.26500#IGDD |
| 3HDPT585XF | 3HDPT585XF | 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 2505.05539#H539 |
| 3HDQH4MNS0 | 3HDQH4MNS0 | statement | record (an 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#9PFR |
| 3HEDZF1HY2 | 3HEDZF1HY2 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-12 |
| 3HG02QQZ5N | 3HG02QQZ5N | statement | record (an 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.18270#2Q1O |
| 3HGM0SQA4T | 3HGM0SQA4T | statement | record (an 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.21533#GY4Q |
| 3HGN8447AW | 3HGN8447AW | 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.03661#RTPB |
| 3HGTXZEPNQ | 3HGTXZEPNQ | statement | record (an 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.13100#J3H5 |
| 3HHEZG3J81 | 3HHEZG3J81 | definition | open | austin_ula src/section6-1.xml#definition-1 |
| 3HHS23Z38M | 3HHS23Z38M | statement | record (an 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#BVJH |
| 3HHTWZ53XC | 3HHTWZ53XC | 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.24845#WI0Y |
| 3HHZ0HA1AD | 3HHZ0HA1AD | 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.05784#K6GK |
| 3HJG5XY0DP | 3HJG5XY0DP | statement | record (an 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#B94N |
| 3HJWXE489X | 3HJWXE489X | definition | open | hott_book categories.tex#ct:prod-cat |
| 3HM7TQ32F7 | 3HM7TQ32F7 | statement | record (an 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#RH6H |
| 3HMGF22NB1 | 3HMGF22NB1 | statement | record (an 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#SCNY |
| 3HMV9NMM4S | 3HMV9NMM4S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.08413#8A4Q |
| 3HNH07SYNA | 3HNH07SYNA | 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.14308#0A9T |
| 3HNH86MBTE | 3HNH86MBTE | statement | record (an 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.32505#9CTK |
| 3HNYE972PY | 3HNYE972PY | 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.06895#KW1F |
| 3HNYEDF74A | 3HNYEDF74A | statement | record (an 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.12683#KBM5 |
| 3HNZAST2NG | 3HNZAST2NG | 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 2505.04593#UUL6 |
| 3HP1NB6G5Z | 3HP1NB6G5Z | statement | record (an 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.21298#1I14 |
| 3HP5TG5HYT | 3HP5TG5HYT | 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.35538#E4Q6 |
| 3HPA33HPHD | 3HPA33HPHD | statement | record (an 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.26269#YJCA |
| 3HPCQMYD5S | 3HPCQMYD5S | 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.11048#DZDU |
| 3HQ2QV5NCQ | 3HQ2QV5NCQ | example | open | lebl_ra ch-metric.tex#example-20 |
| 3HQHHQPPH9 | 3HQHHQPPH9 | 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.30262#F7AW |
| 3HR1JK99NS | 3HR1JK99NS | statement | record (an 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.36334#14VT |
| 3HR72X3V1D | 3HR72X3V1D | statement | record (an 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.05396#9ID9 |
| 3HRGEVMH1N | 3HRGEVMH1N | statement | record (an 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.21427#MLNQ |
| 3HRGQRAB5R | 3HRGQRAB5R | 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.40207#BZLV |
| 3HRXCZX5JZ | 3HRXCZX5JZ | statement | record (an 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.01498#2GV5 |
| 3HSKK7CGDK | 3HSKK7CGDK | unknown | open | arXiv 1809.07362#FX8X |