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 14901–15000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6542NKPA64 | 6542NKPA64 | definition | open | napkin tex/rep-theory/semisimple.tex#definition-2 |
| 65495BHM3C | 65495BHM3C | statement | record (an 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.11869#O7M2 |
| 654AFJ64X2 | 654AFJ64X2 | statement | record (an 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.35543#WCQH |
| 654E5EC0VJ | 654E5EC0VJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#M6VX |
| 654EAVPPAK | 654EAVPPAK | statement | record (an 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.05198#O30J |
| 654FF7RVPT | 654FF7RVPT | statement | record (an 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/0512416#6Y4E |
| 654V18X4MT | 654V18X4MT | 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.07695#ZSWA |
| 6551G2R444 | 6551G2R444 | proof | open | lebl_ra ch-approximate.tex#proof-3 |
| 65537-gon | 7T207VZ6H3 | unknown | open | Wikidata Q253731, MathWorld 65537-gon |
| 6556W0CSA1 | 6556W0CSA1 | 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.05696#L9C8 |
| 6556ZBD1C2 | 6556ZBD1C2 | 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 1912.02769#JFIW |
| 655QQ6AJZM | 655QQ6AJZM | statement | record (an 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.15313#TMVP |
| 656CFQSN0T | 656CFQSN0T | example | open | open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-5 |
| 656KH4VBDD | 656KH4VBDD | 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.07280#7SB1 |
| 6572NE6FBN | 6572NE6FBN | statement | record (an 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.09704#DFQ1 |
| 657GBYA9KS | 657GBYA9KS | statement | record (an 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.39845#XKCH |
| 657H01AFPZ | 657H01AFPZ | exercise | open | lebl_ra ch-multivar-int.tex#exercise-7 |
| 657RME547P | 657RME547P | statement | record (an 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/9602216#MGVR |
| 657S1JC0RB | 657S1JC0RB | 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.26357#MQST |
| 657VF1170Y | 657VF1170Y | proof | open | hott_book setmath.tex#proof-2 |
| 657ZEHNWXK | 657ZEHNWXK | 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#VSUT |
| 65823B21SM | 65823B21SM | statement | record (an 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.21536#80RF |
| 658602SW32 | 658602SW32 | statement | record (an 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.04323#UBQ6 |
| 658VJJF6YC | 658VJJF6YC | proof | open | open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#proof-1 |
| 658WJ7Y3ZR | 658WJ7Y3ZR | statement | record (an 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.05582#SJXV |
| 659MMDN0G7 | 659MMDN0G7 | statement | record (an 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.39700#14PC |
| 659P2BYHYD | 659P2BYHYD | statement | record (an 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#UJJM |
| 65AC4QTQTF | 65AC4QTQTF | statement | record (an 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.17589#VRK6 |
| 65B7HS8TWK | 65B7HS8TWK | statement | open | lebl_scv scv.tex#prop-2 |
| 65BRMR8N6F | 65BRMR8N6F | statement | record (an 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.38138#V3CR |
| 65BYRMEKEB | 65BYRMEKEB | statement | record (an 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.22073#CG89 |
| 65C1DNYRR1 | 65C1DNYRR1 | statement | record (an 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.02901#SK9T |
| 65E7NR2B1R | 65E7NR2B1R | statement | record (an 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#J9EJ |
| 65EK726Z5V | 65EK726Z5V | 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.12277#KRPQ |
| 65ES5GJQCC | 65ES5GJQCC | statement | record (an 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.03517#POT7 |
| 65GC8JDSFF | 65GC8JDSFF | statement | record (an 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#QWF7 |
| 65GTTQERMB | 65GTTQERMB | statement | record (an 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.10505#T48I |
| 65GXJBC4WC | 65GXJBC4WC | exercise | open | napkin tex/topology/metric-top.tex#exercise-1 |
| 65GYGB96J7 | 65GYGB96J7 | statement | record (an 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.27689#5D28 |
| 65H0H3Z3CC | 65H0H3Z3CC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.01000#E3DW |
| 65H4STD0AD | 65H4STD0AD | statement | record (an 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.26479#139P |
| 65HMT9BJ66 | 65HMT9BJ66 | 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.22074#RS7Y |
| 65JG4AQ16C | 65JG4AQ16C | statement | record (an 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.24232#PJJS |
| 65JM6W6V7S | 65JM6W6V7S | proof | open | lebl_ra ch-metric.tex#proof-12 |
| 65K5KE7T8P | 65K5KE7T8P | statement | record (an 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.26745#FE48 |
| 65KVGQEX4M | 65KVGQEX4M | 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.09333#NYAL |
| 65MG4FKWX1 | 65MG4FKWX1 | statement | record (an 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.19360#AR6I |
| 65MK43Z7JX | 65MK43Z7JX | statement | record (an 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.14741#LR57 |
| 65NJJ747HM | 65NJJ747HM | statement | record (an 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.09602#8Y84 |
| 65NQ59RMP8 | 65NQ59RMP8 | statement | record (an 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#6W74 |
| 65NSJ94THR | 65NSJ94THR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.21971#E5YJ |
| 65P4A0Q7BY | 65P4A0Q7BY | statement | record (an 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#UVKZ |
| 65PAY3F1HP | 65PAY3F1HP | 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.32936#CDPY |
| 65PM309DQT | 65PM309DQT | statement | record (an 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#S988 |
| 65PR0Q1PNG | 65PR0Q1PNG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.22681#B87H |
| 65PW1WKJSW | 65PW1WKJSW | statement | record (an 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.21627#QF8M |
| 65QCX8VJ32 | 65QCX8VJ32 | statement | record (an 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.21963#JIMZ |
| 65QCZA9TAB | 65QCZA9TAB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#UWLO |
| 65QE030SMD | 65QE030SMD | statement | record (an 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.32138#EYMW |
| 65QEA85JZV | 65QEA85JZV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.01345#URJS |
| 65QZPP8830 | 65QZPP8830 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.06310#XQ2I |
| 65RHCVGRX6 | 65RHCVGRX6 | proof | open | hott_book logic.tex#proof-10 |
| 65RPAFMQE9 | 65RPAFMQE9 | statement | record (an 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.28189#QAO8 |
| 65SJBBADBJ | 65SJBBADBJ | statement | record (an 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.10152#KTC2 |
| 65SQCQZJQP | 65SQCQZJQP | statement | record (an 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.15787#8FL7 |
| 65SWK5NX28 | 65SWK5NX28 | statement | record (an 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#LRPD |
| 65TMGVXYR0 | 65TMGVXYR0 | statement | record (an 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.01087#USLN |
| 65TTM3BBBX | 65TTM3BBBX | statement | record (an 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.06455#1ZN0 |
| 65VR9EJB48 | 65VR9EJB48 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.15010#IA46 |
| 65WSHEMV16 | 65WSHEMV16 | statement | record (an 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.00909#6R4I |
| 65X1YV071J | 65X1YV071J | statement | record (an 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.26169#8GBD |
| 65X7FM1HTK | 65X7FM1HTK | statement | record (an 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.34516#BPQN |
| 65XQKRZVCC | 65XQKRZVCC | statement | record (an 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#CD9J |
| 65XWCNP85C | 65XWCNP85C | example | open | lebl_diffyqs ch-first-order-ode.tex#example:yprimeisxy |
| 65Y2X43XXK | 65Y2X43XXK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.26046#DAS6 |
| 65YAWW9FQ3 | 65YAWW9FQ3 | statement | record (an 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.13670#MPNA |
| 65YDRE2MHB | 65YDRE2MHB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.29838#JZS0 |
| 65YHDD17N6 | 65YHDD17N6 | statement | record (an 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#IV2Q |
| 65YHNFEX70 | 65YHNFEX70 | 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.31327#5AFZ |
| 65YK1HPR5X | 65YK1HPR5X | proof | open | open_logic content/first-order-logic/sequent-calculus/provability-propositional.tex#proof-2 |
| 65ZMT30ZNT | 65ZMT30ZNT | statement | record (an 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.15525#NGLS |
| 65ZYY59K51 | 65ZYY59K51 | 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 2512.16003#67XI |
| 660GE9W4X1 | 660GE9W4X1 | 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 2405.14678#6XV2 |
| 660PMX1HHW | 660PMX1HHW | statement | record (an 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.08610#RK8C |
| 660S4Q3329 | 660S4Q3329 | statement | record (an 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.17825#LA8O |
| 660YBD1X70 | 660YBD1X70 | statement | record (an 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.17045#AQ2N |
| 66102GB6W3 | 66102GB6W3 | statement | record (an 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.07180#MG5K |
| 6613J0266E | 6613J0266E | statement | record (an 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#2PWC |
| 661M7BZ6ZV | 661M7BZ6ZV | statement | record (an 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.17589#AEYA |
| 661RDD1T81 | 661RDD1T81 | statement | record (an 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.22272#XZBN |
| 661XXY6YGB | 661XXY6YGB | statement | record (an 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.29806#OJR5 |
| 661ZQ7Y61J | 661ZQ7Y61J | statement | record (an 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.02756#TDQ2 |
| 662WENYB3F | 662WENYB3F | exercise | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#prob-1 |
| 663NFDNS4W | 663NFDNS4W | example | open | applied_combinatorics source/s_recurrence_solving.ptx#example-4 |
| 6645843V8W | 6645843V8W | statement | record (an 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.15700#IBGL |
| 664HP1YF0V | 664HP1YF0V | statement | record (an 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.25190#QIEL |
| 664M4JQ65S | 664M4JQ65S | statement | record (an 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.28011#X0ZI |
| 664X5ZVWK6 | 664X5ZVWK6 | statement | record (an 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#9OU7 |
| 6651T2R5Q7 | 6651T2R5Q7 | statement | record (an 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.13745#ECQJ |
| 66563PA6FA | 66563PA6FA | statement | record (an 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.15131#GLSA |