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 23001–23100 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9523BBEPHC | 9523BBEPHC | statement | record (an 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.20568#AJ1O |
| 952C9ZAZR4 | 952C9ZAZR4 | statement | record (an 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.33185#W9ZG |
| 953437S2ZY | 953437S2ZY | statement | record (an 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.39449#B1V0 |
| 953XANXNJ8 | 953XANXNJ8 | 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 1709.00677#36V9 |
| 953ZZ1G6A9 | 953ZZ1G6A9 | definition | open | napkin tex/alg-geom/localization.tex#definition-3 |
| 954GFMAYN2 | 954GFMAYN2 | 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 2405.01860#6OOE |
| 9554C4XXK0 | 9554C4XXK0 | 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.31445#MBMW |
| 955DPPDD8R | 955DPPDD8R | definition | open | open_logic content/many-valued-logic/three-valued-logics/kleene.tex#defn-1 |
| 9560W5315E | 9560W5315E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.05730#TBN4 |
| 95676N3BF6 | 95676N3BF6 | statement | record (an 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.10546#4E0V |
| 957J0ZTS7E | 957J0ZTS7E | 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 1809.06512#JJ5U |
| 957KJB37TP | 957KJB37TP | statement | record (an 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.03062#704V |
| 958037QE63 | 958037QE63 | statement | record (an 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#W6HP |
| 958ESKHA1P | 958ESKHA1P | statement | record (an 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.30200#WNPS |
| 9590BRBVWZ | 9590BRBVWZ | statement | record (an 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.22109#AOLW |
| 9598ZRMVVX | 9598ZRMVVX | statement | record (an 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.02244#KA6Z |
| 959FNQJBDW | 959FNQJBDW | 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.32903#JJQQ |
| 959K6QP2Q3 | 959K6QP2Q3 | 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#AMUD |
| 959QFRE0CP | 959QFRE0CP | statement | record (an 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#XV55 |
| 95AEFNFQ1X | 95AEFNFQ1X | statement | record (an 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#RG7R |
| 95ASM6BVRB | 95ASM6BVRB | 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 2309.15424#KYAW |
| 95DG374V71 | 95DG374V71 | statement | record (an 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.35631#N3RW |
| 95F7J9BQYC | 95F7J9BQYC | 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 2503.16884#RQZI |
| 95FCKVGA82 | 95FCKVGA82 | statement | record (an 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.14374#89ZJ |
| 95G1HVYJ7C | 95G1HVYJ7C | 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.10930#PYN7 |
| 95GD8QA7R8 | 95GD8QA7R8 | exercise | open | austin_ula src/exercises/exercises2-6.xml#exercise-3 |
| 95GHD25DBE | 95GHD25DBE | statement | record (an 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.32829#5C2Z |
| 95H2GSA12H | 95H2GSA12H | statement | record (an 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.17585#00UQ |
| 95HB1H13Z4 | 95HB1H13Z4 | definition | open | lebl_ra ch-contfunc.tex#defn-5 |
| 95HSWN6HY5 | 95HSWN6HY5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.08738#S0NK |
| 95JNSXJ5P8 | 95JNSXJ5P8 | 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.30067#FXEB |
| 95K1EZR4SY | 95K1EZR4SY | statement | record (an 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.05776#OE2W |
| 95K3AYR2T5 | 95K3AYR2T5 | statement | open | hott_book reals.tex#thm-2 |
| 95K9Z7H0P3 | 95K9Z7H0P3 | unknown | open | arXiv 1804.05688#12RJ |
| 95MGNHXR4S | 95MGNHXR4S | statement | record (an 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.15344#PHU7 |
| 95MZVJA76H | 95MZVJA76H | exercise | open | austin_ula src/section4-5.xml#activity-6 |
| 95N2ZN6JYD | 95N2ZN6JYD | statement | record (an 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#4D0T |
| 95NXC8X0F8 | 95NXC8X0F8 | statement | record (an 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#Q2J5 |
| 95P3NQEZC4 | 95P3NQEZC4 | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-5 |
| 95PAH7P08B | 95PAH7P08B | statement | record (an 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.34020#2VBK |
| 95PJ4AA41Y | 95PJ4AA41Y | statement | record (an 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#5MBV |
| 95PMPDQCJE | 95PMPDQCJE | 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.21675#6YD1 |
| 95PYSBACRF | 95PYSBACRF | statement | record (an 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.35691#ZGVG |
| 95QH3RMBQ8 | 95QH3RMBQ8 | statement | record (an 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.11386#4V7S |
| 95QNXNFWNG | 95QNXNFWNG | statement | record (an 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#QSMN |
| 95QZYRRWYW | 95QZYRRWYW | example | open | levin_dmoi ptx/sec_seq-recurrence.ptx#example-6 |
| 95R9SDG8NV | 95R9SDG8NV | statement | record (an 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.00676#JL1Y |
| 95RBXRR6NR | 95RBXRR6NR | statement | record (an 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.20285#5V2O |
| 95RGXEQFNP | 95RGXEQFNP | proof | open | applied_combinatorics source/s_genfunction_partitions-integer.ptx#proof-1 |
| 95RHVXN0G7 | 95RHVXN0G7 | statement | record (an 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.04844#4EN0 |
| 95RMF6XNGF | 95RMF6XNGF | statement | record (an 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.32174#1LJT |
| 95RQXZYGD0 | 95RQXZYGD0 | statement | record (an 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/9801068#9IUL |
| 95RZMW8W16 | 95RZMW8W16 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.02019#SLIY |
| 95SBSA9QAH | 95SBSA9QAH | statement | record (an 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.38772#2C9S |
| 95TAFR122C | 95TAFR122C | statement | open | napkin tex/homology/cup-product.tex#theorem-2 |
| 95TS2HD242 | 95TS2HD242 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.04968#H8HP |
| 95TZNGBVPW | 95TZNGBVPW | statement | record (an 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.18690#DP93 |
| 95W4E59VHV | 95W4E59VHV | statement | record (an 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.39706#YJNA |
| 95WBSDH1QJ | 95WBSDH1QJ | exercise | open | napkin tex/alg-NT/dedekind.tex#dproblem-1 |
| 95WFZ576G8 | 95WFZ576G8 | statement | record (an 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.01737#0KEQ |
| 95WJ31Y4B0 | 95WJ31Y4B0 | definition | open | open_logic content/lambda-calculus/introduction/lambda-definability.tex#defn-2 |
| 95WJVC2YW0 | 95WJVC2YW0 | statement | record (an 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.27200#SIVX |
| 95WXPW34RF | 95WXPW34RF | statement | record (an 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#Z4TA |
| 95XFVXZXTT | 95XFVXZXTT | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-2 |
| 95XMTE6VN5 | 95XMTE6VN5 | statement | record (an 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.02983#YLFK |
| 95XP51FATG | 95XP51FATG | statement | record (an 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.12908#JGDR |
| 95XXF2717M | 95XXF2717M | statement | record (an 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.16002#N7KJ |
| 95XYW79FYJ | 95XYW79FYJ | statement | record (an 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.16779#IM33 |
| 95YB5AT583 | 95YB5AT583 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.12309#AVSQ |
| 95YB5E3KP3 | 95YB5E3KP3 | statement | record (an 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.18101#IVIC |
| 95YVYZWZX2 | 95YVYZWZX2 | statement | record (an 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.16388#4Y6J |
| 95ZVF4FDX7 | 95ZVF4FDX7 | statement | record (an 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.37897#0KMC |
| 9604 | 615J4ASERK | statement | open | Wikidata Q19272704, ProofWiki 9604 |
| 960CKEJMTS | 960CKEJMTS | statement | record (an 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.03138#XGC9 |
| 960HR53Z4M | 960HR53Z4M | 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.26813#9GQK |
| 960NNZX4XF | 960NNZX4XF | exercise | open | lebl_scv scv.tex#exercise-309 |
| 960XDQSD98 | 960XDQSD98 | statement | record (an 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.06147#G4P6 |
| 961NDF3JBT | 961NDF3JBT | statement | record (an 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.13513#JV2L |
| 961R9D1WN6 | 961R9D1WN6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.4141#QV0Y |
| 96281S74VR | 96281S74VR | statement | record (an 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#ODS0 |
| 962YJBV44K | 962YJBV44K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#SOE4 |
| 963NDDMVF4 | 963NDDMVF4 | 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 2501.02331#078U |
| 963VKXP7AV | 963VKXP7AV | statement | record (an 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.02672#5IPU |
| 965DZXXKH4 | 965DZXXKH4 | statement | record (an 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.09812#U6MV |
| 965JA2YGAN | 965JA2YGAN | statement | record (an 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.25595#WOLI |
| 965PQHDFTA | 965PQHDFTA | statement | record (an 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#PFHA |
| 965T2TE99F | 965T2TE99F | exercise | open | lebl_scv scv.tex#exercise-138 |
| 965YQMF6ZT | 965YQMF6ZT | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-17 |
| 9667XJJ2SE | 9667XJJ2SE | 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.31910#5BZ1 |
| 966DNP62HX | 966DNP62HX | statement | record (an 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.05850#T0E6 |
| 966QE4TDQM | 966QE4TDQM | exercise | open | open_logic content/set-theory/replacement/finiteaxiomatizability.tex#prob-3 |
| 966QW4VPV4 | 966QW4VPV4 | 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.01924#VX1Z |
| 966ZPEJAR2 | 966ZPEJAR2 | exercise | open | lebl_ra ch-contfunc.tex#exercise-16 |
| 9689YFSVXT | 9689YFSVXT | statement | record (an 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.09390#A1DP |
| 968V2AHYN3 | 968V2AHYN3 | 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.14956#DJM8 |
| 969DT6Q3V5 | 969DT6Q3V5 | statement | record (an 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.11671#OHID |
| 96A1WRB8DA | 96A1WRB8DA | statement | record (an 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.27715#IFTR |
| 96AA89F4XM | 96AA89F4XM | 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#12G2 |
| 96AE2A8BRC | 96AE2A8BRC | 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.02935#7BNO |
| 96AH3SR2KA | 96AH3SR2KA | statement | record (an 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.16727#9E32 |