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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 22001–22100 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 7SS2450AYG | 7SS2450AYG | statement | record (an 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.21645#LQQQ |
| 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 |
| 7SXT64GEE9 | 7SXT64GEE9 | problem | open | Wikipedia Gaussian moat#BWYG |
| 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 |
| 7T824RVDKV | 7T824RVDKV | 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.21914#TTS8 |
| 7T8A8Y4W0C | 7T8A8Y4W0C | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#probtag-1 |
| 7TANDWE5C0 | 7TANDWE5C0 | proof | open | hott_book hlevels.tex#proof-38 |
| 7TB3KC5G82 | 7TB3KC5G82 | statement | record (an 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.38267#U9EJ |
| 7TB6AZTH03 | 7TB6AZTH03 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#YL1W |
| 7TBAK3W7CP | 7TBAK3W7CP | statement | record (an 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.12576#M83N |
| 7TBHHWX269 | 7TBHHWX269 | 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.14060#9LW2 |
| 7TBQ8BR5W1 | 7TBQ8BR5W1 | statement | record (an 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.23522#31RX |
| 7TC17EP3WT | 7TC17EP3WT | proof | open | open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#proof-1 |
| 7TD2FF8E81 | 7TD2FF8E81 | statement | record (an 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.04466#ZS7R |
| 7TDA8KBQWB | 7TDA8KBQWB | statement | record (an 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.11517#ZTB7 |
| 7TDD1TNZ9S | 7TDD1TNZ9S | statement | record (an 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.23812#6JOG |
| 7TDDEGC5VH | 7TDDEGC5VH | statement | record (an 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.13877#9N2K |
| 7TDFFA8CWJ | 7TDFFA8CWJ | statement | record (an 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.40123#GWRJ |
| 7TDSJBJS2K | 7TDSJBJS2K | statement | record (an 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.27617#902X |
| 7TEFV9XPRB | 7TEFV9XPRB | statement | record (an 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.35404#RPQ3 |
| 7TF0TBES7Q | 7TF0TBES7Q | statement | record (an 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.21900#U74U |
| 7TF6Y69GDN | 7TF6Y69GDN | statement | record (an 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.10325#9ONE |
| 7TG5K7SHV9 | 7TG5K7SHV9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#K14P |
| 7TGKBE5ZR6 | 7TGKBE5ZR6 | statement | record (an 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.00596#2WA6 |
| 7TGNENFBMZ | 7TGNENFBMZ | statement | record (an 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.08226#W61R |
| 7TGP2Z6YVX | 7TGP2Z6YVX | example | open | open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-1 |
| 7TGQJVGMEF | 7TGQJVGMEF | statement | record (an 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.21528#F22W |
| 7TGZPCV3AH | 7TGZPCV3AH | statement | record (an 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#DPNZ |
| 7THBSR6M8F | 7THBSR6M8F | statement | record (an 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.14548#62EO |
| 7THS7VY78Z | 7THS7VY78Z | statement | record (an 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.23119#4Z87 |
| 7THYTJCETN | 7THYTJCETN | statement | record (an 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#5LYT |
| 7THZ67A27Z | 7THZ67A27Z | statement | record (an 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.11619#B3J8 |
| 7TJ41PCW11 | 7TJ41PCW11 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.1331#WG59 |
| 7TJ8FJY52N | 7TJ8FJY52N | statement | record (an 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.05327#TS5Y |
| 7TJ8ZBYN0F | 7TJ8ZBYN0F | 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.19288#LQCB |
| 7TJP17WZC4 | 7TJP17WZC4 | 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.37520#66EH |
| 7TJR6XSEGG | 7TJR6XSEGG | statement | record (an 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.15720#27P9 |
| 7TJSMC5677 | 7TJSMC5677 | 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.13291#1T06 |
| 7TK1METGJF | 7TK1METGJF | 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 1004.4564#Q52G |
| 7TK2XJX4SG | 7TK2XJX4SG | statement | record (an 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.09735#KSS6 |
| 7TK3AWCW42 | 7TK3AWCW42 | statement | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#thm:refl |
| 7TK7XQBPCM | 7TK7XQBPCM | 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.20119#MNHL |
| 7TK9AKTRBY | 7TK9AKTRBY | example | open | napkin tex/calculus/limits.tex#example-2 |
| 7TKG4YG2GQ | 7TKG4YG2GQ | 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.38138#XCBN |
| 7TKKGP9647 | 7TKKGP9647 | statement | record (an 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.20588#36P8 |
| 7TKM14S88C | 7TKM14S88C | statement | record (an 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.16669#TO9F |
| 7TKVCAZP3S | 7TKVCAZP3S | statement | record (an 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.14509#5QIH |
| 7TNENVF9Q3 | 7TNENVF9Q3 | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-28 |
| 7TNTHZYGRK | 7TNTHZYGRK | problem | open | Wikipedia Wall–Sun–Sun prime#E398 |
| 7TP1J1CV73 | 7TP1J1CV73 | unknown | open | arXiv 2610.13680#UUIE |
| 7TPVF539W5 | 7TPVF539W5 | statement | record (an 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#13ZR |
| 7TQW7SFN91 | 7TQW7SFN91 | statement | open | napkin tex/H113/grp-intro.tex#theorem-1 |
| 7TRGDYPTB2 | 7TRGDYPTB2 | statement | record (an 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#UT78 |
| 7TSADQ32PN | 7TSADQ32PN | statement | record (an 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.18239#ECN5 |
| 7TSGSEZ770 | 7TSGSEZ770 | 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.13629#4ER3 |
| 7TSX46VGN8 | 7TSX46VGN8 | statement | record (an 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.35678#SEIC |
| 7TTP8ZZTPR | 7TTP8ZZTPR | statement | record (an 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.21937#BNM8 |
| 7TTX62NKD0 | 7TTX62NKD0 | statement | record (an 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.37093#VOK8 |