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 16601–16700 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6S12RJSDVX | 6S12RJSDVX | statement | open | applied_combinatorics source/s_recurrence_rubots.ptx#thm_catalan-genfunction |
| 6S1BY71WPZ | 6S1BY71WPZ | statement | record (an 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.13850#C71F |
| 6S212PGDEJ | 6S212PGDEJ | statement | record (an 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#PTMI |
| 6S27E4WW4K | 6S27E4WW4K | statement | record (an 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#JJXE |
| 6S2H9Z5CRE | 6S2H9Z5CRE | statement | record (an 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.28674#8X5A |
| 6S2KNVQ6NY | 6S2KNVQ6NY | example | open | napkin tex/alg-geom/zariski.tex#example-1 |
| 6S2SKWX6D0 | 6S2SKWX6D0 | statement | record (an 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.22986#NPJT |
| 6S3CDJPS5D | 6S3CDJPS5D | exercise | open | napkin tex/H113/sylow.tex#problem-2 |
| 6S4WSGQKJD | 6S4WSGQKJD | statement | record (an 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.08382#WTAZ |
| 6S63Q0TCE0 | 6S63Q0TCE0 | statement | record (an 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.06719#Q0JE |
| 6S67ZGW5D1 | 6S67ZGW5D1 | 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.08193#4NX5 |
| 6S6AB9JC0N | 6S6AB9JC0N | statement | record (an 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.22040#1V41 |
| 6S71CR22KF | 6S71CR22KF | statement | record (an 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.12295#RFLI |
| 6S7BSWDWE1 | 6S7BSWDWE1 | 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.14450#R5CQ |
| 6S7ZRMHTEG | 6S7ZRMHTEG | statement | record (an 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.04498#R68E |
| 6S8022CJ4K | 6S8022CJ4K | statement | record (an 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.20013#GZFE |
| 6S8321PB0B | 6S8321PB0B | statement | record (an 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.28295#F4Y6 |
| 6S8B313BAM | 6S8B313BAM | statement | record (an 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.33584#J9O0 |
| 6S8QCWCC9A | 6S8QCWCC9A | statement | record (an 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.07061#HDN8 |
| 6S8RYAJB7E | 6S8RYAJB7E | statement | record (an 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.24577#5INP |
| 6S8WMJ5DNJ | 6S8WMJ5DNJ | 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.04870#5AAP |
| 6S8X349B6V | 6S8X349B6V | statement | record (an 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.05867#C2MW |
| 6S8YKH8ZMX | 6S8YKH8ZMX | statement | record (an 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.14377#1JNL |
| 6S9FN8ZZ41 | 6S9FN8ZZ41 | statement | record (an 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.11693#KIUC |
| 6SAKQ8HEK5 | 6SAKQ8HEK5 | exercise | open | lebl_ra ch-metric.tex#exercise-12 |
| 6SAMFC8JEB | 6SAMFC8JEB | statement | record (an 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.39505#AM4V |
| 6SASYM2SNN | 6SASYM2SNN | statement | record (an 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.08789#MCHM |
| 6SBFTX1P7Y | 6SBFTX1P7Y | 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.19357#3HKK |
| 6SC15S12S8 | 6SC15S12S8 | statement | record (an 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.12612#KB9V |
| 6SC31GK4D9 | 6SC31GK4D9 | 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 2107.00792#Q7EZ |
| 6SD26HQGY6 | 6SD26HQGY6 | statement | record (an 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.25742#9D3Z |
| 6SDFETRYM4 | 6SDFETRYM4 | statement | record (an 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.11395#FL7V |
| 6SDK62BDZY | 6SDK62BDZY | statement | record (an 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.13229#TZ5P |
| 6SDMH1KQ27 | 6SDMH1KQ27 | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-14 |
| 6SDPFJEP17 | 6SDPFJEP17 | statement | record (an 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.06637#UGKV |
| 6SE7EQXT2C | 6SE7EQXT2C | statement | record (an 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.07598#YFS6 |
| 6SEEFXSDNB | 6SEEFXSDNB | 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 2504.02065#MO1H |
| 6SET170ZA9 | 6SET170ZA9 | 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.20568#Q3D9 |
| 6SEVRP0BZK | 6SEVRP0BZK | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#ex_color |
| 6SEYECBZQN | 6SEYECBZQN | exercise | open | applied_combinatorics source/s_ramsey_exercises.ptx#exercise-5 |
| 6SF9TWJ13Q | 6SF9TWJ13Q | statement | record (an 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.32916#MZCC |
| 6SFCH5WJSB | 6SFCH5WJSB | statement | record (an 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.26324#6014 |
| 6SGGKN2GV3 | 6SGGKN2GV3 | 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.13833#3XIZ |
| 6SJ48NZRA2 | 6SJ48NZRA2 | exercise | open | lebl_scv scv.tex#exercise-273 |
| 6SJGKTVC8J | 6SJGKTVC8J | example | open | napkin tex/calculus/limits.tex#ex:rational_piecewise |
| 6SJSCJY5EN | 6SJSCJY5EN | statement | record (an 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.01915#SO8V |
| 6SK5XBB6TR | 6SK5XBB6TR | statement | record (an 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.26357#Z7RL |
| 6SK7KS5Q8W | 6SK7KS5Q8W | statement | record (an 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.27103#D8BP |
| 6SKHY370GM | 6SKHY370GM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.11319#LLI9 |
| 6SM2RFCE34 | 6SM2RFCE34 | statement | record (an 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.27751#643R |
| 6SMWG6EFPQ | 6SMWG6EFPQ | statement | record (an 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.03336#WMO3 |
| 6SN6MB9YKZ | 6SN6MB9YKZ | statement | record (an 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.30444#T454 |
| 6SNR3MJSQH | 6SNR3MJSQH | statement | record (an 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.18929#F4H7 |
| 6SNZSS1NVQ | 6SNZSS1NVQ | statement | record (an 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.32816#T76O |
| 6SP9KC0H3V | 6SP9KC0H3V | statement | record (an 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.10074#RH0L |
| 6SPVBYF3F0 | 6SPVBYF3F0 | statement | record (an 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.30301#TXV8 |
| 6SPVN0JKZH | 6SPVN0JKZH | statement | record (an 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.02432#BMFB |
| 6SQG65S4N9 | 6SQG65S4N9 | statement | record (an 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.31127#M0GM |
| 6SQQVRB31B | 6SQQVRB31B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.16814#X73C |
| 6SRA7YZ7YH | 6SRA7YZ7YH | statement | record (an 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#6V0A |
| 6SS6AQ5XK9 | 6SS6AQ5XK9 | statement | record (an 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.17547#7L5E |
| 6SSBPGMVX1 | 6SSBPGMVX1 | statement | record (an 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.21255#WGST |
| 6SSCN0WJ4Y | 6SSCN0WJ4Y | statement | record (an 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.03050#1VDF |
| 6SSWRSKBEM | 6SSWRSKBEM | statement | record (an 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#A8EL |
| 6ST2QH33HR | 6ST2QH33HR | 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.31365#BH4B |
| 6ST922E9ZK | 6ST922E9ZK | statement | record (an 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.21231#E8BY |
| 6STC754GRY | 6STC754GRY | statement | record (an 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#5WHG |
| 6STSFVY2A1 | 6STSFVY2A1 | statement | record (an 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.18632#5XV1 |
| 6SV296JAD1 | 6SV296JAD1 | exercise | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#prob-3 |
| 6SV5R0WX96 | 6SV5R0WX96 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.13523#Y7EJ |
| 6SVFMXYZVW | 6SVFMXYZVW | statement | record (an 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#7XKJ |
| 6SVR9R93ZE | 6SVR9R93ZE | statement | record (an 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.33932#SERN |
| 6SVTY7NT3V | 6SVTY7NT3V | 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 2502.08738#2ZUF |
| 6SW0KS3E62 | 6SW0KS3E62 | proof | open | napkin tex/topology/compactness.tex#proof-3 |
| 6SW2DT559B | 6SW2DT559B | 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 2502.08738#F0N9 |
| 6SWCPYQPJ1 | 6SWCPYQPJ1 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-100 |
| 6SWSGNQ5F1 | 6SWSGNQ5F1 | statement | record (an 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.07461#JJJ4 |
| 6SWWE3BZBW | 6SWWE3BZBW | statement | record (an 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#3IIP |
| 6SYQ1W06WA | 6SYQ1W06WA | proof | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-4 |
| 6SZ80XNP86 | 6SZ80XNP86 | statement | record (an 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.00292#1G8X |
| 6T0AWARR20 | 6T0AWARR20 | statement | record (an 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.32078#AU5N |
| 6T0PQDVXN9 | 6T0PQDVXN9 | 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.18302#ZSBP |
| 6T12K0BNH1 | 6T12K0BNH1 | 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 2403.16388#G4OW |
| 6T172RX2Q9 | 6T172RX2Q9 | statement | record (an 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.13817#V347 |
| 6T1CQKJFCY | 6T1CQKJFCY | statement | record (an 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.02111#BIPT |
| 6T1EV244WC | 6T1EV244WC | statement | record (an 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.36045#ROOJ |
| 6T1T3MJ9NB | 6T1T3MJ9NB | 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.39293#TTM8 |
| 6T28ASARZP | 6T28ASARZP | counterexample | record (an 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#RA1Q |
| 6T2D80TGP7 | 6T2D80TGP7 | statement | record (an 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.02790#N5TT |
| 6T2TSGN640 | 6T2TSGN640 | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-33 |
| 6T2V50GG9E | 6T2V50GG9E | statement | record (an 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.24353#R5P3 |
| 6T2YGPV3RP | 6T2YGPV3RP | statement | record (an 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.38548#6OU1 |
| 6T31586TPE | 6T31586TPE | statement | record (an 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.09506#TB3U |
| 6T3NCNK2ED | 6T3NCNK2ED | statement | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop:prf-prim-rec |
| 6T3P6HATQ4 | 6T3P6HATQ4 | 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.27931#JDY2 |
| 6T3XC722VV | 6T3XC722VV | 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.12908#A5E1 |
| 6T3XZ9X2P5 | 6T3XZ9X2P5 | statement | record (an 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.13103#0VDY |
| 6T5BC8JEEP | 6T5BC8JEEP | 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#S2PM |
| 6T5MQCP852 | 6T5MQCP852 | statement | record (an 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.20600#VJ2C |
| 6T5Z3FR0SR | 6T5Z3FR0SR | 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 1512.06981#RPN8 |