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 19301–19400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7S4D8H5FYD | 7S4D8H5FYD | statement | record (an 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.39347#NTXD |
| 7S4KZV82YN | 7S4KZV82YN | statement | record (an 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.16258#P357 |
| 7S6GVVFWYM | 7S6GVVFWYM | statement | record (an 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.11470#PXLI |
| 7S709EA5ZK | 7S709EA5ZK | statement | record (an 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.27181#OFGU |
| 7S7J1VDM1C | 7S7J1VDM1C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.10921#GOH1 |
| 7S7SRW54R6 | 7S7SRW54R6 | 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 2605.02634#FQJ1 |
| 7S8BHJS5P4 | 7S8BHJS5P4 | 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.17240#B9T1 |
| 7S8H3QYKM2 | 7S8H3QYKM2 | statement | record (an 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.39455#VLSL |
| 7S8RN4WPZM | 7S8RN4WPZM | statement | open | austin_ula src/section6-3.xml#prop-orthog-matrix |
| 7S8TMHEWA9 | 7S8TMHEWA9 | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-58 |
| 7S8ZQDK9HV | 7S8ZQDK9HV | 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.26133#G6EC |
| 7S98BTVCRV | 7S98BTVCRV | 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#NOI1 |
| 7S9P3ZN40X | 7S9P3ZN40X | statement | record (an 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.11800#X4FR |
| 7SA2PCQCDN | 7SA2PCQCDN | statement | record (an 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.20110#P6CG |
| 7SA44H1E1P | 7SA44H1E1P | statement | record (an 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.27730#2NX3 |
| 7SA8R5E38R | 7SA8R5E38R | 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.34570#9X0F |
| 7SAJJ1ACJ8 | 7SAJJ1ACJ8 | statement | record (an 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.03972#1KPK |
| 7SASJE28WM | 7SASJE28WM | statement | record (an 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.13532#I1HW |
| 7SAXMH1T3C | 7SAXMH1T3C | 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.15869#53TE |
| 7SBC860Q26 | 7SBC860Q26 | statement | record (an 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.06529#XSAP |
| 7SBD2293A7 | 7SBD2293A7 | example | open | open_logic content/first-order-logic/models-theories/theories.tex#ex-3 |
| 7SBJM0Y09S | 7SBJM0Y09S | statement | record (an 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#F6PA |
| 7SC4HRX8GY | 7SC4HRX8GY | statement | record (an 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.29531#O6J8 |
| 7SCEBMHX09 | 7SCEBMHX09 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4887#TSBA |
| 7SD9KNYKDG | 7SD9KNYKDG | exercise | open | levin_dmoi ptx/exercises/gt-intro.ptx#exercise-15 |
| 7SDFFDXPVX | 7SDFFDXPVX | statement | record (an 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.04075#HMMI |
| 7SDQ520K6X | 7SDQ520K6X | 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.00934#E2WR |
| 7SDZP8AY89 | 7SDZP8AY89 | statement | record (an 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#DDBE |
| 7SE0BAFKWK | 7SE0BAFKWK | 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 2601.15403#LLTB |
| 7SEJR0D698 | 7SEJR0D698 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-43 |
| 7SEK559TDN | 7SEK559TDN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1509.00950#YGOP |
| 7SFFYZ8B85 | 7SFFYZ8B85 | unknown | open | arXiv 0906.2853#1W8W |
| 7SFGXFY999 | 7SFGXFY999 | statement | record (an 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.24523#5GSQ |
| 7SFW205SND | 7SFW205SND | statement | record (an 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.14985#X2TJ |
| 7SGCKTJGET | 7SGCKTJGET | statement | record (an 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.27570#UNY5 |
| 7SGE0TVWKP | 7SGE0TVWKP | 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 2504.14383#LP6S |
| 7SH8ARSV3E | 7SH8ARSV3E | statement | record (an 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.01268#5EH3 |
| 7SJ9D9HYF9 | 7SJ9D9HYF9 | statement | record (an 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.35307#MWYZ |
| 7SJC676TYJ | 7SJC676TYJ | 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.09809#NU9X |
| 7SJWW97J0P | 7SJWW97J0P | statement | record (an 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.02489#CQB1 |
| 7SM3656PD0 | 7SM3656PD0 | 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.27799#PJGN |
| 7SMX3FPRT4 | 7SMX3FPRT4 | 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.22317#M3Z4 |
| 7SN9B0F20F | 7SN9B0F20F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00585#M04B |
| 7SNAXT5K0J | 7SNAXT5K0J | statement | record (an 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.12619#BQ8A |
| 7SNGSDDJTX | 7SNGSDDJTX | 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.35467#25BM |
| 7SNPENKDXR | 7SNPENKDXR | 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.04046#V7NM |
| 7SPARRRFC1 | 7SPARRRFC1 | example | open | open_logic content/first-order-logic/sequent-calculus/proving-things.tex#ex-3 |
| 7SPNNRVMRR | 7SPNNRVMRR | statement | record (an 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#WZQ9 |
| 7SPR0XQMA0 | 7SPR0XQMA0 | statement | record (an 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.21960#HHH2 |
| 7SQ26R186E | 7SQ26R186E | statement | record (an 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.03856#PLL1 |
| 7SQFRNQRWN | 7SQFRNQRWN | statement | record (an 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#LX4X |
| 7SQJ94D16V | 7SQJ94D16V | statement | record (an 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.16541#SGNN |
| 7SR0MP5B68 | 7SR0MP5B68 | 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.25269#UKIR |
| 7SR1NC0T3G | 7SR1NC0T3G | statement | record (an 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.18246#ZH5P |
| 7SRJQWYBMT | 7SRJQWYBMT | statement | record (an 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.27181#WN6K |
| 7SRM311VVS | 7SRM311VVS | statement | record (an 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#28H2 |
| 7SRXFTXC9T | 7SRXFTXC9T | 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.15744#LF3I |
| 7SSN0Y6TZE | 7SSN0Y6TZE | statement | record (an 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#AXFT |
| 7SSSAK4WF4 | 7SSSAK4WF4 | statement | record (an 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.11939#KU3F |
| 7ST7YRAWYV | 7ST7YRAWYV | statement | record (an 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.40161#2T05 |
| 7STDFJH0TF | 7STDFJH0TF | statement | record (an 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.20386#BS8K |
| 7STEXEFNW1 | 7STEXEFNW1 | statement | record (an 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#DVJ4 |
| 7SVBTSJJM9 | 7SVBTSJJM9 | statement | record (an 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.38228#WRQT |
| 7SVDJCQVFW | 7SVDJCQVFW | statement | record (an 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.32282#10M7 |
| 7SVF0TFX3R | 7SVF0TFX3R | unknown | open | |
| 7SVFY4Q3BA | 7SVFY4Q3BA | statement | record (an 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#LGXK |
| 7SVZ7KFPQZ | 7SVZ7KFPQZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.04145#DQC9 |
| 7SWB7YBRS8 | 7SWB7YBRS8 | 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#O56C |
| 7SWT2EDBYJ | 7SWT2EDBYJ | 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 2204.01073#JWYL |
| 7SWY5KF4JY | 7SWY5KF4JY | statement | record (an 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.39353#XPUJ |
| 7SWYHNXJB7 | 7SWYHNXJB7 | statement | record (an 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.10233#RJS2 |
| 7SXD0ZKJR8 | 7SXD0ZKJR8 | statement | record (an 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#45XW |
| 7SXQ3TQKQP | 7SXQ3TQKQP | 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 2602.07485#D8EM |
| 7SY46Z06CF | 7SY46Z06CF | proof | open | napkin tex/set-theory/CH.tex#proof-2 |
| 7T0AJYNT22 | 7T0AJYNT22 | statement | record (an 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.01653#7T0Q |
| 7T10YXY4NG | 7T10YXY4NG | exercise | open | lebl_ra ch-seq-ser.tex#exercise-75 |
| 7T13TJ3S9V | 7T13TJ3S9V | exercise | open | open_logic content/incompleteness/arithmetization-syntax/coding-terms.tex#prob-1 |
| 7T1JH2QEY5 | 7T1JH2QEY5 | statement | record (an 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#64T7 |
| 7T26ZH2RW9 | 7T26ZH2RW9 | statement | record (an 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.09129#XVR8 |
| 7T29RVV6X7 | 7T29RVV6X7 | statement | record (an 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#6I38 |
| 7T2DVT4C4T | 7T2DVT4C4T | statement | record (an 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#VE4B |
| 7T3ZHV3G0Z | 7T3ZHV3G0Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0908.3266#VYSO |
| 7T4A4TC9TE | 7T4A4TC9TE | statement | record (an 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.10927#G52U |
| 7T537YYJXN | 7T537YYJXN | statement | record (an 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.16554#TRDF |
| 7T53CHG33R | 7T53CHG33R | statement | record (an 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.11478#0VBO |
| 7T5720MESS | 7T5720MESS | 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.33018#GV6N |
| 7T5CTDS532 | 7T5CTDS532 | 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.07180#98HO |
| 7T5G3G36QD | 7T5G3G36QD | statement | record (an 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.16332#2H74 |
| 7T5Z03Y9H3 | 7T5Z03Y9H3 | 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 2210.17066#EI10 |
| 7T5Z3M5C0Z | 7T5Z3M5C0Z | statement | record (an 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#IKKQ |
| 7T60MKMSWN | 7T60MKMSWN | statement | record (an 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.02642#TRRW |
| 7T6CBDQ5K2 | 7T6CBDQ5K2 | statement | record (an 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.19483#6YB5 |
| 7T6JTT9P11 | 7T6JTT9P11 | statement | record (an 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#OK5J |
| 7T6K89Z43Q | 7T6K89Z43Q | statement | record (an 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.15472#2WIA |
| 7T6RYXCSED | 7T6RYXCSED | statement | record (an 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#CPP8 |
| 7T6XGJC7Y0 | 7T6XGJC7Y0 | 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.28265#83B3 |
| 7T76EN5F8A | 7T76EN5F8A | statement | record (an 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.27641#WVE9 |
| 7T76P23C03 | 7T76P23C03 | statement | record (an 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#H533 |
| 7T7RP7Q9SK | 7T7RP7Q9SK | statement | record (an 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.35398#77JB |
| 7T8A8Y4W0C | 7T8A8Y4W0C | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#probtag-1 |