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 19601–19700 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7WJ8STDHR0 | 7WJ8STDHR0 | statement | record (an 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#USSV |
| 7WJQR4VYJB | 7WJQR4VYJB | statement | record (an 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.14561#5WEL |
| 7WKHB6CMCY | 7WKHB6CMCY | statement | record (an 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.34168#R2DP |
| 7WMDF6GPG4 | 7WMDF6GPG4 | statement | record (an 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#BOXV |
| 7WMHNFCD3Q | 7WMHNFCD3Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q14491931, nLab Thomas Streicher |
| 7WMKF2FVMR | 7WMKF2FVMR | exercise | open | austin_ula src/exercises/exercises2-4.xml#exercise-8 |
| 7WNJJP916Z | 7WNJJP916Z | statement | record (an 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#QGQR |
| 7WNZAVGPXB | 7WNZAVGPXB | statement | record (an 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.00560#3SMD |
| 7WPAY4S3K1 | 7WPAY4S3K1 | statement | open | hott_book equivalences.tex#contrfamtotalpostcompequiv |
| 7WPE1QDV0D | 7WPE1QDV0D | statement | record (an 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.17060#09FQ |
| 7WQE0NMBZH | 7WQE0NMBZH | statement | record (an 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#R3UW |
| 7WQGAJNAS9 | 7WQGAJNAS9 | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-11 |
| 7WR17EJV24 | 7WR17EJV24 | statement | record (an 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.06433#R8B1 |
| 7WR3GVWGD3 | 7WR3GVWGD3 | statement | record (an 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#BUI1 |
| 7WRXN24G6Q | 7WRXN24G6Q | statement | record (an 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.28297#ASMN |
| 7WS4X21E90 | 7WS4X21E90 | statement | record (an 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#JBKK |
| 7WS532V1E2 | 7WS532V1E2 | statement | record (an 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.28411#9989 |
| 7WSFTE6ZPS | 7WSFTE6ZPS | statement | record (an 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#C8FE |
| 7WSWN7XV1X | 7WSWN7XV1X | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-27 |
| 7WTC2YJ5H6 | 7WTC2YJ5H6 | statement | record (an 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.33512#IDZW |
| 7WTCHJPCNW | 7WTCHJPCNW | 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.03358#WUEB |
| 7WTFF0YP3V | 7WTFF0YP3V | 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#BW09 |
| 7WTXEBGPH3 | 7WTXEBGPH3 | statement | record (an 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.32834#9HZ8 |
| 7WV0ADGJWJ | 7WV0ADGJWJ | statement | record (an 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.04876#UIUC |
| 7WW9KR7MCV | 7WW9KR7MCV | 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 2211.14629#GJJ0 |
| 7WWJSTK88Z | 7WWJSTK88Z | 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.37337#YL4E |
| 7WWMKFPTJ7 | 7WWMKFPTJ7 | statement | record (an 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.27360#3ETE |
| 7WWP8TPYFM | 7WWP8TPYFM | statement | record (an 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.26366#6JMZ |
| 7WX40MQVMG | 7WX40MQVMG | statement | record (an 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.24451#KETV |
| 7WX9VKXMHP | 7WX9VKXMHP | 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.13063#SVO6 |
| 7WXDM1CHYY | 7WXDM1CHYY | statement | record (an 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#5HXL |
| 7WY0F6KH5K | 7WY0F6KH5K | 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 2503.16884#J5AM |
| 7WYAV9FDVD | 7WYAV9FDVD | statement | record (an 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.00589#QY18 |
| 7WYEXS0VJQ | 7WYEXS0VJQ | statement | record (an 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.16834#5Q79 |
| 7WYFKAXMH7 | 7WYFKAXMH7 | 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.24795#3F7S |
| 7WYSY594TK | 7WYSY594TK | statement | record (an 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.03288#NP89 |
| 7X06YEQJVC | 7X06YEQJVC | statement | record (an 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.03555#G2HC |
| 7X07BW7R94 | 7X07BW7R94 | statement | record (an 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.32338#ODCL |
| 7X087M89Q3 | 7X087M89Q3 | 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#NWJU |
| 7X0C3NSEJ8 | 7X0C3NSEJ8 | statement | record (an 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.16339#M7V2 |
| 7X1W5W9TY8 | 7X1W5W9TY8 | statement | open | lebl_ra ch-seq-funcs.tex#ptwsconv:prop |
| 7X271KA1SD | 7X271KA1SD | statement | record (an 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.14689#IGWR |
| 7X35Q61439 | 7X35Q61439 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1010.3284#76GB |
| 7X39RDKMHA | 7X39RDKMHA | statement | record (an 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.13556#J4WU |
| 7X3E1QFDSA | 7X3E1QFDSA | statement | record (an 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.20956#CICJ |
| 7X3J2NBFAB | 7X3J2NBFAB | 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 2503.16884#D2M9 |
| 7X3N23HZSY | 7X3N23HZSY | statement | record (an 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.22317#Y3VY |
| 7X3NE5M4GB | 7X3NE5M4GB | definition | open | napkin tex/diffgeo/forms.tex#def:evaluate_differential_form |
| 7X4CCNCWV9 | 7X4CCNCWV9 | statement | record (an 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.15744#ILCG |
| 7X573KVBFB | 7X573KVBFB | statement | record (an 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.06461#EOIH |
| 7X59KZAXBN | 7X59KZAXBN | statement | record (an 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.06445#J293 |
| 7X5T22ES2J | 7X5T22ES2J | statement | record (an 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.07285#IXV3 |
| 7X61PZ4WT3 | 7X61PZ4WT3 | statement | record (an 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.01436#7E27 |
| 7X6DZ68S9W | 7X6DZ68S9W | statement | record (an 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.24374#E2RT |
| 7X6HAQBGMY | 7X6HAQBGMY | 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.21365#OX0X |
| 7X6Q41FSVV | 7X6Q41FSVV | statement | record (an 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#ORVX |
| 7X6SK38NMR | 7X6SK38NMR | statement | record (an 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.38188#QOD1 |
| 7X7A4MW222 | 7X7A4MW222 | statement | record (an 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.16523#CKLR |
| 7X7B5C8177 | 7X7B5C8177 | exercise | open | open_logic content/sets-functions-relations/arithmetization/cauchy.tex#prob-2 |
| 7X85971FQ7 | 7X85971FQ7 | statement | record (an 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.16931#ODOY |
| 7X85XZRFAJ | 7X85XZRFAJ | statement | record (an 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.05684#4X6A |
| 7X8BYDJFX1 | 7X8BYDJFX1 | statement | record (an 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.31090#9Y3M |
| 7X8P8PFP0N | 7X8P8PFP0N | statement | record (an 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.00770#1N6I |
| 7X8XQ35SVW | 7X8XQ35SVW | statement | record (an 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.14214#COGQ |
| 7X9HHQ56FA | 7X9HHQ56FA | statement | record (an 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.21752#K76G |
| 7X9ZZXZBB8 | 7X9ZZXZBB8 | statement | open | open_logic content/proof-theory/sequent-calculus/proof-examples.tex#prop:G1c-axioms |
| 7XBC47PJ5V | 7XBC47PJ5V | statement | record (an 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#PG33 |
| 7XBF2JXNAP | 7XBF2JXNAP | statement | record (an 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.08633#SQ22 |
| 7XC90NQ9DD | 7XC90NQ9DD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.04470#M5KX |
| 7XCHZNQEHR | 7XCHZNQEHR | statement | record (an 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#4UUZ |
| 7XCK2S4RFF | 7XCK2S4RFF | statement | record (an 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.12324#0ZFF |
| 7XDHJMC10R | 7XDHJMC10R | statement | record (an 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#1HSN |
| 7XE5YNK34G | 7XE5YNK34G | statement | record (an 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.28141#Q1IK |
| 7XEMXX6E59 | 7XEMXX6E59 | statement | record (an 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#FHZM |
| 7XEVS8CP5B | 7XEVS8CP5B | exercise | open | lebl_ra ch-approximate.tex#exercise-71 |
| 7XF7W85Z8P | 7XF7W85Z8P | 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.09162#03GG |
| 7XFSMYQN0K | 7XFSMYQN0K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.3562#OS7T |
| 7XG45RRP7S | 7XG45RRP7S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.00412#3904 |
| 7XGF06MRY1 | 7XGF06MRY1 | statement | record (an 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.08958#KCG8 |
| 7XH6HSEWT3 | 7XH6HSEWT3 | 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.04774#YVOI |
| 7XHYTH6QVM | 7XHYTH6QVM | statement | record (an 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.15160#MYD5 |
| 7XHZVB1KQD | 7XHZVB1KQD | statement | record (an 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.37815#SCDU |
| 7XJZG5XEX7 | 7XJZG5XEX7 | statement | open | open_logic content/incompleteness/representability-in-q/basic-representable.tex#prop:rep-zero |
| 7XK7ND1MZT | 7XK7ND1MZT | statement | record (an 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.09694#SVEJ |
| 7XKE964N35 | 7XKE964N35 | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#proof-2 |
| 7XMBK9DCJ6 | 7XMBK9DCJ6 | statement | record (an 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.21121#CHD9 |
| 7XMM6NJZ75 | 7XMM6NJZ75 | statement | record (an 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.05706#URG3 |
| 7XMR2V3EC9 | 7XMR2V3EC9 | 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.03138#5W7C |
| 7XMRMP3ZCR | 7XMRMP3ZCR | statement | record (an 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.37698#JMYR |
| 7XMSJY2127 | 7XMSJY2127 | statement | record (an 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.35153#KB8V |
| 7XN1C9V5ZD | 7XN1C9V5ZD | example | open | lebl_diffyqs ch-systems.tex#example-7 |
| 7XP5EZNXNN | 7XP5EZNXNN | proof | open | open_logic content/model-theory/interpolation/definability.tex#proof-1 |
| 7XPDVKZHE5 | 7XPDVKZHE5 | statement | record (an 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.38212#58B5 |
| 7XPE5166X2 | 7XPE5166X2 | 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 2103.12669#LMSA |
| 7XPHAZ7S5K | 7XPHAZ7S5K | statement | record (an 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.25000#A56O |
| 7XPNPDYTCA | 7XPNPDYTCA | 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 1209.5343#YT7O |
| 7XPS8WQSQC | 7XPS8WQSQC | statement | record (an 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.29393#PRW7 |
| 7XPTRN1204 | 7XPTRN1204 | proof | open | open_logic content/set-theory/card-arithmetic/expotough.tex#proof-3 |
| 7XQ0KEC956 | 7XQ0KEC956 | statement | record (an 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.32599#FAYH |
| 7XQ3CQ5GT5 | 7XQ3CQ5GT5 | statement | record (an 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.25468#B0A5 |