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 2901–3000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1S1H15RQTE | 1S1H15RQTE | statement | record (an 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.01873#VX58 |
| 1S1XXRZ2YN | 1S1XXRZ2YN | statement | record (an 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#UYXK |
| 1S20RTZ5P5 | 1S20RTZ5P5 | statement | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prop:subformula-equivs |
| 1S280KH0SG | 1S280KH0SG | statement | record (an 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.06806#QJMD |
| 1S2QGJ67H1 | 1S2QGJ67H1 | statement | record (an 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.08664#L4Q0 |
| 1S2VGH5STW | 1S2VGH5STW | statement | record (an 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.21533#FXOT |
| 1S2Y19E9P6 | 1S2Y19E9P6 | statement | record (an 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.35396#5G9Y |
| 1S33WTMPVK | 1S33WTMPVK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.09268#UOTF |
| 1S38NZBT4N | 1S38NZBT4N | statement | record (an 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.24739#V417 |
| 1S3R58T1V8 | 1S3R58T1V8 | statement | record (an 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.01700#S2OR |
| 1S3XBY8EVS | 1S3XBY8EVS | statement | record (an 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.07828#PLNR |
| 1S3Z9WGRW0 | 1S3Z9WGRW0 | statement | record (an 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.34923#IAE2 |
| 1S4TF73ZYW | 1S4TF73ZYW | statement | record (an 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.34193#FZXV |
| 1S4W9EQMSB | 1S4W9EQMSB | statement | record (an 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.08723#4YQ0 |
| 1S58CSGMEH | 1S58CSGMEH | 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#FYC8 |
| 1S6QBT57W8 | 1S6QBT57W8 | statement | record (an 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.07710#3PBO |
| 1S6X30WPVG | 1S6X30WPVG | statement | record (an 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.05873#P95B |
| 1S71FBMV17 | 1S71FBMV17 | statement | record (an 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.07370#3XVZ |
| 1S78BW9YYG | 1S78BW9YYG | statement | record (an 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.35740#O4T9 |
| 1S7DGPJ9RM | 1S7DGPJ9RM | 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.31274#I67X |
| 1S7NTQPG5F | 1S7NTQPG5F | statement | record (an 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.22218#80LP |
| 1S81WGE6AN | 1S81WGE6AN | proof | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#proof-2 |
| 1S882W94YT | 1S882W94YT | statement | record (an 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.01433#BREE |
| 1S8K4ZZ496 | 1S8K4ZZ496 | 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 2609.28848#FD0P |
| 1S9K905GP7 | 1S9K905GP7 | statement | record (an 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.38240#SFU4 |
| 1S9RC9RNCW | 1S9RC9RNCW | 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.33019#X1PS |
| 1S9S7BVBF1 | 1S9S7BVBF1 | 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.12817#CNU4 |
| 1SAHQFSPW0 | 1SAHQFSPW0 | statement | open | hott_book equivalences.tex#fibwise-fiber-total-fiber-equiv |
| 1SAY9GXAVN | 1SAY9GXAVN | statement | record (an 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.02199#T7ZA |
| 1SB1C70AZ6 | 1SB1C70AZ6 | statement | record (an 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.03559#P1SP |
| 1SBW1294NE | 1SBW1294NE | statement | record (an 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.08638#C9S7 |
| 1SC5KSGC7D | 1SC5KSGC7D | exercise | open | lebl_ra ch-der.tex#exercise:endpointderivative |
| 1SCGA1T49X | 1SCGA1T49X | 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.38131#TC8F |
| 1SCJTEV49B | 1SCJTEV49B | proof | open | open_logic content/proof-theory/cut-elimination/ce-topmost.tex#proof-2 |
| 1SCP356D83 | 1SCP356D83 | statement | record (an 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.37026#699H |
| 1SCRZ2MSDR | 1SCRZ2MSDR | 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.03555#6CW9 |
| 1SCV0R17KA | 1SCV0R17KA | statement | record (an 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.34289#GOG5 |
| 1SD1J14EK7 | 1SD1J14EK7 | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-9 |
| 1SD2KANS1J | 1SD2KANS1J | statement | record (an 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.10840#DTY7 |
| 1SD6JJ7T4Y | 1SD6JJ7T4Y | 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.26776#DJ8I |
| 1SDNQC1KTH | 1SDNQC1KTH | statement | record (an 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.37265#WOY3 |
| 1SDWPFPTWK | 1SDWPFPTWK | statement | record (an 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.01411#0NEU |
| 1SE0ZN6XN1 | 1SE0ZN6XN1 | statement | record (an 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.07290#NSG8 |
| 1SED8EKW8B | 1SED8EKW8B | statement | record (an 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.12912#0L8T |
| 1SEREDVNE0 | 1SEREDVNE0 | statement | record (an 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.31542#F4L0 |
| 1SFDG31T2P | 1SFDG31T2P | exercise | open | austin_ula src/section6-2.xml#activity-4 |
| 1SFQFD9ZER | 1SFQFD9ZER | statement | record (an 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.34016#U28U |
| 1SGD976S4H | 1SGD976S4H | statement | record (an 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.25094#SGE4 |
| 1SGERMYVZT | 1SGERMYVZT | statement | record (an 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.40017#KIDA |
| 1SGVVDHGCT | 1SGVVDHGCT | statement | record (an 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.05427#WZ52 |
| 1SH35XCQYC | 1SH35XCQYC | statement | record (an 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.08028#COUG |
| 1SHA0GC9XC | 1SHA0GC9XC | example | open | lebl_ra ch-metric.tex#example-13 |
| 1SHB3KDJM9 | 1SHB3KDJM9 | statement | record (an 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.18154#9VDT |
| 1SHKRF9JRT | 1SHKRF9JRT | statement | record (an 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.06868#E7ON |
| 1SJPRBV3XS | 1SJPRBV3XS | 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.21622#LZBC |
| 1SJYRKJAWP | 1SJYRKJAWP | 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 math/0003117#56TB |
| 1SK9WW6DMY | 1SK9WW6DMY | statement | record (an 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#H20C |
| 1SM71X3FPM | 1SM71X3FPM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.00752#TTSU |
| 1SMBZJPJC9 | 1SMBZJPJC9 | statement | record (an 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.29605#LEX5 |
| 1SMCMEYHTP | 1SMCMEYHTP | statement | record (an 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.33469#RDLI |
| 1SNAR887AC | 1SNAR887AC | statement | record (an 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.20758#Z4CY |
| 1SNBDME1E8 | 1SNBDME1E8 | 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.08210#C46E |
| 1SNJNM77KD | 1SNJNM77KD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.04161#21SF |
| 1SNT4P34B2 | 1SNT4P34B2 | statement | record (an 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.28552#L7YH |
| 1SNX7RYDYG | 1SNX7RYDYG | 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 2207.12181#GOP8 |
| 1SP41KC96J | 1SP41KC96J | statement | record (an 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.19260#FRLN |
| 1SP6HF3PJZ | 1SP6HF3PJZ | statement | record (an 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.05539#27V3 |
| 1SPNVJAJN9 | 1SPNVJAJN9 | statement | record (an 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.26515#4J6Z |
| 1SQVPBY220 | 1SQVPBY220 | statement | record (an 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.10930#HZ7D |
| 1SR3ADMKJF | 1SR3ADMKJF | statement | record (an 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.29631#P9QN |
| 1SRG6WYQJ3 | 1SRG6WYQJ3 | 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 2306.08237#QUFX |
| 1SRMJ6DR5S | 1SRMJ6DR5S | statement | record (an 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.27458#DBPX |
| 1SRW8G9FEV | 1SRW8G9FEV | statement | record (an 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.17325#I7PD |
| 1SS0D0RQYK | 1SS0D0RQYK | statement | record (an 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.37124#FUY1 |
| 1SSQAN1YSZ | 1SSQAN1YSZ | 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 1705.04310#BJIB |
| 1SSR6E7ABJ | 1SSR6E7ABJ | statement | record (an 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.03384#VKK3 |
| 1SSVKBH57F | 1SSVKBH57F | statement | record (an 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.33590#SRVJ |
| 1ST5HR6BFV | 1ST5HR6BFV | 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.38132#39NU |
| 1ST95ZVEMG | 1ST95ZVEMG | statement | record (an 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.34946#N81M |
| 1SVEY161NA | 1SVEY161NA | statement | record (an 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.21037#DZHY |
| 1SVP1YPK4G | 1SVP1YPK4G | 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 2406.19866#X1JL |
| 1SVW7SH1DD | 1SVW7SH1DD | statement | record (an 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.01888#N6SF |
| 1SVYZDKG29 | 1SVYZDKG29 | statement | record (an 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.32829#SPZ2 |
| 1SWEPA0CKM | 1SWEPA0CKM | statement | record (an 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#GLKH |
| 1SWMSDX0D3 | 1SWMSDX0D3 | statement | record (an 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.26771#4TMK |
| 1SWXGA6Z2N | 1SWXGA6Z2N | statement | record (an 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.16022#SQXP |
| 1SWXTTA622 | 1SWXTTA622 | statement | record (an 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.28742#QKAO |
| 1SX6J3G5VZ | 1SX6J3G5VZ | statement | record (an 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.04252#PX14 |
| 1SYA05J357 | 1SYA05J357 | 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#ETKM |
| 1SYEP22QP3 | 1SYEP22QP3 | statement | record (an 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.11677#XNH7 |
| 1SYJ8H6KFR | 1SYJ8H6KFR | statement | record (an 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.28518#3GDT |
| 1SYWNZV08V | 1SYWNZV08V | statement | record (an 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.33829#XFB8 |
| 1SZSNM59V4 | 1SZSNM59V4 | statement | record (an 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.04265#44DP |
| 1T05BAQDJY | 1T05BAQDJY | statement | record (an 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.08655#M968 |
| 1T0K23CBCF | 1T0K23CBCF | statement | record (an 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.10243#9AXP |
| 1T0PT7QF0M | 1T0PT7QF0M | unknown | open | arXiv 2106.06387#0UTX |
| 1T0TCHBDE2 | 1T0TCHBDE2 | statement | record (an 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.08176#A0LN |
| 1T0YKC914R | 1T0YKC914R | statement | record (an 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.01433#2BXM |
| 1T214G0JQ6 | 1T214G0JQ6 | definition | open | lebl_ra ch-metric.tex#defn-10 |
| 1T2MGPXM30 | 1T2MGPXM30 | statement | record (an 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.40028#PJ15 |