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 4501–4600 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 22DPJHZ8YG | 22DPJHZ8YG | statement | record (an 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.21098#E0XH |
| 22EM338W69 | 22EM338W69 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#5HW3 |
| 22EZHWMRW6 | 22EZHWMRW6 | statement | record (an 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.29943#3OMZ |
| 22FGRJBT89 | 22FGRJBT89 | exercise | open | open_logic content/lambda-calculus/syntax/beta.tex#prob:def |
| 22FSNJ2HSY | 22FSNJ2HSY | statement | record (an 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.08484#IA58 |
| 22GTVNW7TY | 22GTVNW7TY | 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.36068#OMV0 |
| 22HGFQ4ZTP | 22HGFQ4ZTP | 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.36181#XSCU |
| 22HM7RAF98 | 22HM7RAF98 | exercise | open | hott_book induction.tex#ex:loop |
| 22HT6SE7JG | 22HT6SE7JG | statement | record (an 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#QCR9 |
| 22JA2AABQF | 22JA2AABQF | statement | record (an 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.02935#JD1M |
| 22JCVYFQPJ | 22JCVYFQPJ | statement | record (an 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.23279#OXAC |
| 22JFDX34J0 | 22JFDX34J0 | statement | record (an 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.39814#X7T2 |
| 22JRNPX75G | 22JRNPX75G | statement | record (an 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.18673#3DO8 |
| 22KEY3F5RH | 22KEY3F5RH | statement | record (an 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.12633#2EUI |
| 22KEY6T5BJ | 22KEY6T5BJ | statement | record (an 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.25761#PEM3 |
| 22KXPN6N67 | 22KXPN6N67 | statement | record (an 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.25100#CT5J |
| 22M2ZYYMSE | 22M2ZYYMSE | definition | open | open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#defn:mmodels |
| 22MMSZST0Y | 22MMSZST0Y | 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.37507#KWMP |
| 22MQ1ETG21 | 22MQ1ETG21 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-38 |
| 22MR7TSKYE | 22MR7TSKYE | statement | record (an 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.30098#PH04 |
| 22NDZ9VN54 | 22NDZ9VN54 | statement | record (an 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.08424#N2PP |
| 22NJ8J5T87 | 22NJ8J5T87 | statement | record (an 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.07092#SSE3 |
| 22PH9M3JRD | 22PH9M3JRD | statement | record (an 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.02751#RLCO |
| 22PP0GAW0Q | 22PP0GAW0Q | statement | record (an 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.14458#VSAQ |
| 22PWP8NCJ0 | 22PWP8NCJ0 | statement | record (an 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.28323#8RDR |
| 22RXT3BF2B | 22RXT3BF2B | statement | record (an 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.31274#O3IQ |
| 22RY0MXYZZ | 22RY0MXYZZ | statement | record (an 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.21507#CNBM |
| 22RYBMG3E1 | 22RYBMG3E1 | statement | record (an 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#06JX |
| 22SRJG01JM | 22SRJG01JM | example | open | napkin tex/measure/martingale.tex#ex:supermartingales |
| 22T6HCDS7F | 22T6HCDS7F | 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 math/9602216#17A1 |
| 22VM691468 | 22VM691468 | statement | record (an 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.38988#35B3 |
| 22VN5EJGE5 | 22VN5EJGE5 | statement | record (an 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.30018#CQPU |
| 22XMJXH97F | 22XMJXH97F | statement | record (an 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.01874#DRED |
| 22XPME3P1M | 22XPME3P1M | statement | record (an 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.26496#XS2R |
| 22XZYPYEPN | 22XZYPYEPN | 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 2510.23812#MNOI |
| 22YC1G588X | 22YC1G588X | 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.28211#O39B |
| 22YWCCW0NS | 22YWCCW0NS | 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.10804#KMGS |
| 22Z2AN6JM9 | 22Z2AN6JM9 | statement | record (an 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.04516#GT84 |
| 22Z3R9KWHR | 22Z3R9KWHR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.09810#8LSO |
| 22ZFSBTSY3 | 22ZFSBTSY3 | statement | record (an 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.12689#QQXE |
| 22ZG3THNZM | 22ZG3THNZM | statement | record (an 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.06546#JQ87 |
| 22ZJXMBZ21 | 22ZJXMBZ21 | statement | record (an 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.20060#TTWO |
| 22ZWS7XW46 | 22ZWS7XW46 | statement | record (an 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#OCBB |
| 23 | N4CW62KCC4 | definition | open | Wikipedia 23 (number), Wikidata Q48240 |
| 2306N5PMKV | 2306N5PMKV | definition | open | lebl_scv scv.tex#defn-32 |
| 2307XZJJ6N | 2307XZJJ6N | statement | record (an 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#2MFX |
| 2309 (number) | 4B1C36RG74 | unknown | open | Wikipedia 2000 (number)#TZI1 |
| 230RZ5A0CH | 230RZ5A0CH | statement | open | napkin tex/rep-theory/rep-alg.tex#claim-1 |
| 230TD4S8Z7 | 230TD4S8Z7 | statement | record (an 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.06300#QEOD |
| 230V4C40F4 | 230V4C40F4 | statement | record (an 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.05602#C5HL |
| 231M09321G | 231M09321G | 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.17060#LEDS |
| 23217P12J7 | 23217P12J7 | statement | record (an 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#0VVB |
| 2324S118WT | 2324S118WT | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-3 |
| 233P90N71Q | 233P90N71Q | 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 1002.0879#R0M0 |
| 234ABVENJ0 | 234ABVENJ0 | statement | record (an 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.22607#9FY4 |
| 234M4GG6Y1 | 234M4GG6Y1 | statement | record (an 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#28Y7 |
| 235D8TCCVX | 235D8TCCVX | 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 2503.08488#VIBT |
| 236805HQCE | 236805HQCE | statement | record (an 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.24542#L0PH |
| 237DGXPN6J | 237DGXPN6J | statement | record (an 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.24623#UJ85 |
| 238NJW00FN | 238NJW00FN | statement | record (an 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#BGAY |
| 238PPXHJFP | 238PPXHJFP | example | open | napkin tex/measure/measure-space.tex#example-3 |
| 239 | T488B6843S | unknown | open | Wikidata Q845630, MathWorld 239 |
| 2399594QTQ | 2399594QTQ | statement | record (an 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.14914#JACD |
| 239ZRBGJ5F | 239ZRBGJ5F | statement | record (an 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.25896#65NB |
| 23A8M6C3N8 | 23A8M6C3N8 | statement | open | open_logic content/lambda-calculus/church-rosser/definitions-and-properties.tex#thm:str |
| 23AD6W8PTN | 23AD6W8PTN | statement | record (an 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.23593#2KXO |
| 23AVXZF529 | 23AVXZF529 | statement | record (an 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.04502#BC17 |
| 23BQFFECYT | 23BQFFECYT | statement | record (an 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#MDYO |
| 23BQQ7GXS5 | 23BQQ7GXS5 | statement | record (an 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.02983#65PO |
| 23BW8MFF94 | 23BW8MFF94 | statement | record (an 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.15111#4L4F |
| 23BXM3T4E5 | 23BXM3T4E5 | statement | record (an 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#7ACD |
| 23C5E1WAT7 | 23C5E1WAT7 | proof | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-3 |
| 23CA80G9T8 | 23CA80G9T8 | statement | record (an 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.03373#77SY |
| 23CCSXGHP6 | 23CCSXGHP6 | statement | record (an 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.19449#1TBG |
| 23CFMKCSXA | 23CFMKCSXA | exercise | open | austin_ula src/exercises/exercises3-3.xml#exercise-2 |
| 23CJT488JS | 23CJT488JS | 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.21036#2DGG |
| 23CM4D053D | 23CM4D053D | statement | record (an 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.22642#JPWN |
| 23D8F6851W | 23D8F6851W | proof | open | napkin tex/calculus/p-adic.tex#proof-1 |
| 23DQM7CWY7 | 23DQM7CWY7 | exercise | open | lebl_scv scv.tex#exercise-15 |
| 23DWP3TKK4 | 23DWP3TKK4 | statement | record (an 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.33697#O6NK |
| 23E0RF7BCC | 23E0RF7BCC | 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.10581#PXUA |
| 23EHCN05A6 | 23EHCN05A6 | statement | record (an 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.36714#5ZZJ |
| 23EPDBG35M | 23EPDBG35M | 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.25539#A55Y |
| 23EYWYXFF0 | 23EYWYXFF0 | statement | record (an 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.10525#8UEK |
| 23F2P7CHRB | 23F2P7CHRB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.01359#9PZ9 |
| 23F7A3Z38B | 23F7A3Z38B | statement | record (an 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.30819#Z8CH |
| 23FD9ZZNZA | 23FD9ZZNZA | statement | record (an 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#MVZT |
| 23GQQVXR9J | 23GQQVXR9J | exercise | open | lebl_ra ch-metric.tex#exercise:mssubspace |
| 23HACPR5SN | 23HACPR5SN | statement | record (an 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.32374#LV8K |
| 23HJ1WWGC5 | 23HJ1WWGC5 | statement | record (an 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#VYH9 |
| 23HJK1GPMW | 23HJK1GPMW | statement | record (an 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.25275#0S7K |
| 23HS4S0YC6 | 23HS4S0YC6 | statement | record (an 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.24931#7VSC |
| 23J2Y42M7B | 23J2Y42M7B | exercise | open | austin_ula src/exercises/exercises5-1.xml#exercise-2 |
| 23JB2CAD3J | 23JB2CAD3J | statement | record (an 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.08424#E46T |
| 23K4BEPMJ4 | 23K4BEPMJ4 | statement | record (an 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.03672#RROY |
| 23KJZXG2W8 | 23KJZXG2W8 | statement | record (an 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.01855#0VXU |
| 23KN3ZP6F7 | 23KN3ZP6F7 | statement | record (an 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.09042#5V0U |
| 23KQ5VJ78T | 23KQ5VJ78T | 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 1001.0174#G9LC |
| 23MS6M4WEQ | 23MS6M4WEQ | proof | open | open_logic content/computability/recursive-functions/examples.tex#proof-7 |
| 23MZ4MK5H6 | 23MZ4MK5H6 | statement | record (an 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#G8YY |