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 22901–23000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 93SECE7QHW | 93SECE7QHW | 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.15643#7BWZ |
| 93SP9MGP6S | 93SP9MGP6S | statement | record (an 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.30664#NIYA |
| 93TBXVST24 | 93TBXVST24 | statement | record (an 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.25762#PYAH |
| 93TE3DR3C9 | 93TE3DR3C9 | exercise | open | active_calculus source/activities/act-5-6-3.xml#act-5-6-3 |
| 93THKH33CC | 93THKH33CC | 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.29450#LWZM |
| 93TYCZ6RKP | 93TYCZ6RKP | statement | record (an 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.14060#O1VT |
| 93TYG7BFYE | 93TYG7BFYE | statement | record (an 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.05392#FYV1 |
| 93VRH598MH | 93VRH598MH | example | open | lebl_ra ch-contfunc.tex#example-18 |
| 93W0D83PN9 | 93W0D83PN9 | 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 2406.19866#DHCN |
| 93WN2GJS7X | 93WN2GJS7X | 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 2610.12691#00O3 |
| 93WXBZ47SY | 93WXBZ47SY | unknown | open | arXiv 2610.13680#BGVS |
| 93X0SGNAGQ | 93X0SGNAGQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.08186#2JNP |
| 93X5BS0Z3Q | 93X5BS0Z3Q | example | open | lebl_diffyqs ap-linear-algebra.tex#example-9 |
| 93X8Y705C7 | 93X8Y705C7 | statement | record (an 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.04382#1076 |
| 93XNQ1VQ1V | 93XNQ1VQ1V | statement | record (an 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.14080#0VS5 |
| 93Y3KYDPCY | 93Y3KYDPCY | statement | record (an 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.10911#9H34 |
| 93YD7P12W0 | 93YD7P12W0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1003.5948#0SSK |
| 93YG7B7PPM | 93YG7B7PPM | statement | record (an 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.18358#A09Y |
| 93YZWKTTJF | 93YZWKTTJF | statement | record (an 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.14080#0NUZ |
| 93ZDMCBFKY | 93ZDMCBFKY | 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.10365#33ME |
| 9406S4KEEW | 9406S4KEEW | statement | record (an 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.39517#VL3D |
| 9418YP41KX | 9418YP41KX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.11097#LIF8 |
| 941D8QNZVK | 941D8QNZVK | statement | record (an 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.33531#8EG8 |
| 941TP039XQ | 941TP039XQ | statement | record (an 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#JUN4 |
| 942HQ3GWVF | 942HQ3GWVF | statement | record (an 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.06321#7SGB |
| 942JQBV2BB | 942JQBV2BB | proof | open | lebl_ra ch-seq-funcs.tex#proof-9 |
| 942Z06WPBW | 942Z06WPBW | statement | record (an 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.20391#OHUC |
| 9431MGRM05 | 9431MGRM05 | statement | record (an 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.05019#7KO5 |
| 943G87CA5H | 943G87CA5H | statement | record (an 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#58CJ |
| 943NPPEPW1 | 943NPPEPW1 | statement | record (an 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.13793#IFUN |
| 9441YP42E8 | 9441YP42E8 | statement | record (an 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.17411#5Z2K |
| 944G6D58EB | 944G6D58EB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0811.0544#SO8N |
| 945289PZS6 | 945289PZS6 | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-7 |
| 9469ZYWYE5 | 9469ZYWYE5 | statement | record (an 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.07409#DKU7 |
| 946XVRK241 | 946XVRK241 | 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 2506.07061#ID39 |
| 94771JRQNE | 94771JRQNE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.21444#T88J |
| 947G0AJ57A | 947G0AJ57A | statement | record (an 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.03683#BLLB |
| 947Z6RZV9D | 947Z6RZV9D | statement | record (an 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.13401#IBNJ |
| 9487VB6XK1 | 9487VB6XK1 | exercise | open | open_logic content/sets-functions-relations/functions/composition.tex#prob-3 |
| 9491RVY6XD | 9491RVY6XD | statement | record (an 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/9802134#E5KV |
| 9498A5Y973 | 9498A5Y973 | statement | record (an 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#WT24 |
| 949CFYVWNJ | 949CFYVWNJ | 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.39169#P8IH |
| 949G77H7PW | 949G77H7PW | statement | record (an 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.09765#KZET |
| 949V8ED4C9 | 949V8ED4C9 | proof | open | applied_combinatorics source/s_polya_burnside.ptx#proof-1 |
| 94A1HYJSQ7 | 94A1HYJSQ7 | statement | open | lebl_ra ch-contfunc.tex#prop:monotlimits |
| 94AD03V3BP | 94AD03V3BP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.09379#2N4J |
| 94AMCHADR7 | 94AMCHADR7 | exercise | open | austin_ula src/exercises/exercises4-3.xml#exercise-8 |
| 94AQAXEVDX | 94AQAXEVDX | proof | open | lebl_ra ch-seq-ser.tex#proof-8 |
| 94BBJASE6D | 94BBJASE6D | statement | record (an 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.00856#3Y0R |
| 94BFPSQA5W | 94BFPSQA5W | statement | record (an 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.18803#VJB6 |
| 94CGSA8S5J | 94CGSA8S5J | 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 2210.17066#HNS4 |
| 94CRGY5EF5 | 94CRGY5EF5 | proof | open | hott_book reals.tex#proof-34 |
| 94CZ4ZV1TZ | 94CZ4ZV1TZ | statement | record (an 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.14956#02T6 |
| 94DGRD6EPV | 94DGRD6EPV | statement | record (an 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.12966#CBSO |
| 94DSV0DX41 | 94DSV0DX41 | statement | record (an 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.01919#2QSP |
| 94DVM43TZ9 | 94DVM43TZ9 | statement | record (an 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.37520#TXJ8 |
| 94DVVF9F8Y | 94DVVF9F8Y | statement | record (an 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#9OSW |
| 94EF8KXPFD | 94EF8KXPFD | statement | record (an 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#6GOC |
| 94EFCGHC08 | 94EFCGHC08 | statement | record (an 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#EMZM |
| 94EGG90TGS | 94EGG90TGS | statement | record (an 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.19787#LM2F |
| 94EJMB89JA | 94EJMB89JA | 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 2204.13401#IXGU |
| 94F0YC9BRN | 94F0YC9BRN | statement | record (an 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.15099#EBIR |
| 94FFHZQYWN | 94FFHZQYWN | statement | record (an 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.20466#1GGA |
| 94FPMF5PV7 | 94FPMF5PV7 | statement | record (an 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.28203#A4AD |
| 94G7FJ632Z | 94G7FJ632Z | statement | record (an 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.07943#RR9N |
| 94GRD9K94P | 94GRD9K94P | statement | record (an 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.03477#GNEY |
| 94HG2K7VJJ | 94HG2K7VJJ | statement | record (an 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.02961#PQHF |
| 94JVRJHA0T | 94JVRJHA0T | statement | record (an 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.12034#BQ4J |
| 94K3XBTM65 | 94K3XBTM65 | statement | record (an 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#XO3W |
| 94K8GCPXDA | 94K8GCPXDA | statement | record (an 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.10372#TWD0 |
| 94KCCD794K | 94KCCD794K | statement | record (an 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.30663#NKDQ |
| 94MBWRKT4W | 94MBWRKT4W | statement | record (an 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.10248#1H48 |
| 94NM1NDBCQ | 94NM1NDBCQ | statement | record (an 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.06785#808L |
| 94NT30TKJJ | 94NT30TKJJ | statement | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop:followsby |
| 94P6Q0A274 | 94P6Q0A274 | statement | record (an 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.07240#HGWN |
| 94P9CJ326P | 94P9CJ326P | statement | record (an 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.28781#C8IT |
| 94PA9JE0VW | 94PA9JE0VW | statement | record (an 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.39745#CNNQ |
| 94PE0TZ4ZK | 94PE0TZ4ZK | statement | record (an 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.16877#ALRQ |
| 94PKX35PWK | 94PKX35PWK | exercise | open | austin_ula src/section3-5.xml#ula-preview-3-5 |
| 94PZMHWATC | 94PZMHWATC | statement | record (an 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.15365#AGGD |
| 94Q3VTYHHP | 94Q3VTYHHP | 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.19285#KHXR |
| 94Q8SXR6H9 | 94Q8SXR6H9 | statement | record (an 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.32535#DECH |
| 94QFQDYP4N | 94QFQDYP4N | statement | record (an 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.08123#DRRB |
| 94QN5Y8XZJ | 94QN5Y8XZJ | statement | record (an 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.10580#2MP9 |
| 94RBR3918Q | 94RBR3918Q | statement | record (an 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#3O5P |
| 94SEKHS3QC | 94SEKHS3QC | statement | record (an 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.39981#W515 |
| 94SGT4SKRQ | 94SGT4SKRQ | statement | record (an 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.12513#UWM7 |
| 94SKAXXGFA | 94SKAXXGFA | statement | record (an 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.01392#PCYY |
| 94SKBNBDDW | 94SKBNBDDW | statement | record (an 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.31365#1KW6 |
| 94SPM785D2 | 94SPM785D2 | statement | record (an 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.21080#EUBO |
| 94SS361S3H | 94SS361S3H | statement | record (an 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#R1DY |
| 94TMMNH5V4 | 94TMMNH5V4 | statement | record (an 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.25307#QC94 |
| 94VPTME1EV | 94VPTME1EV | statement | record (an 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.11021#VCPP |
| 94W3EGD8Z1 | 94W3EGD8Z1 | 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.19260#1NOB |
| 94WNWHW7P5 | 94WNWHW7P5 | statement | record (an 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.31542#4M4S |
| 94WZSADK24 | 94WZSADK24 | statement | record (an 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.06419#VWC8 |
| 94ZD00K087 | 94ZD00K087 | unknown | open | arXiv 1712.02437#W18E |
| 950QCSQ48Y | 950QCSQ48Y | statement | record (an 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.03009#1ILE |
| 951MGH6QE2 | 951MGH6QE2 | statement | record (an 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.05193#JZFQ |
| 951TXVNYP1 | 951TXVNYP1 | 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.12108#678A |