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 21201–21300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8FAD2DVG6W | 8FAD2DVG6W | statement | record (an 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.05672#3K7E |
| 8FAM5DG26K | 8FAM5DG26K | statement | record (an 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.02207#SM5J |
| 8FAXXX0VA9 | 8FAXXX0VA9 | statement | record (an 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.16099#KREP |
| 8FB21YHPGF | 8FB21YHPGF | statement | record (an 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.08222#7F04 |
| 8FB505PP5M | 8FB505PP5M | statement | record (an 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.22237#CVUS |
| 8FB7MMWB11 | 8FB7MMWB11 | statement | record (an 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.03071#YIMU |
| 8FBH17TCRZ | 8FBH17TCRZ | statement | record (an 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.27103#FF0H |
| 8FBS3KYNNW | 8FBS3KYNNW | statement | record (an 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.09314#OLFP |
| 8FC0ZBY3NM | 8FC0ZBY3NM | statement | record (an 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#LBIT |
| 8FC178G9PV | 8FC178G9PV | statement | record (an 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#JZFW |
| 8FCFZ1JXXX | 8FCFZ1JXXX | statement | record (an 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.20600#J01P |
| 8FCV87WYE4 | 8FCV87WYE4 | statement | record (an 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.36444#95R2 |
| 8FCWR8HKNK | 8FCWR8HKNK | statement | record (an 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.33733#RKUX |
| 8FD8SB7ANY | 8FD8SB7ANY | statement | record (an 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.25391#BU9F |
| 8FDKHBK1C6 | 8FDKHBK1C6 | 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.36389#LWWO |
| 8FDSFG9BNR | 8FDSFG9BNR | exercise | open | lebl_scv scv.tex#exercise-233 |
| 8FE01WEQXS | 8FE01WEQXS | 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.05232#2QKG |
| 8FE32ECACP | 8FE32ECACP | proof | open | hott_book homotopy.tex#proof-23 |
| 8FEAHHEQHH | 8FEAHHEQHH | statement | record (an 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.20909#TT1C |
| 8FESQC09VH | 8FESQC09VH | statement | record (an 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.07909#DOUR |
| 8FF3755DWX | 8FF3755DWX | 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.20758#A4L5 |
| 8FF3KWPV2H | 8FF3KWPV2H | statement | record (an 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.11120#EWLJ |
| 8FF5WCAJZM | 8FF5WCAJZM | 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.08196#AR61 |
| 8FFB4FQ38Z | 8FFB4FQ38Z | statement | record (an 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.38735#FE2A |
| 8FG40EYJY2 | 8FG40EYJY2 | statement | record (an 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.31173#R9OX |
| 8FG4WNX21F | 8FG4WNX21F | statement | record (an 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.33027#6V5T |
| 8FGEG80H96 | 8FGEG80H96 | 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.06045#IYWB |
| 8FGK92CTRP | 8FGK92CTRP | 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.09300#A529 |
| 8FH9WZ9MR6 | 8FH9WZ9MR6 | statement | record (an 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#9DVW |
| 8FHQRAMDMD | 8FHQRAMDMD | statement | record (an 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.28024#EHDZ |
| 8FJTBDVDPE | 8FJTBDVDPE | statement | record (an 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#RIK8 |
| 8FK89KAAXM | 8FK89KAAXM | statement | record (an 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.01473#WJJR |
| 8FKJE4TNJS | 8FKJE4TNJS | statement | record (an 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.39389#E2WT |
| 8FKN2QF1SR | 8FKN2QF1SR | statement | record (an 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.21103#AZJN |
| 8FKWFXMS7K | 8FKWFXMS7K | statement | record (an 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.14692#ZBB1 |
| 8FM2AXPZ0S | 8FM2AXPZ0S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.17852#853U |
| 8FM5M8790B | 8FM5M8790B | statement | record (an 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.05703#NGXS |
| 8FM9EFR39Y | 8FM9EFR39Y | statement | record (an 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.30600#U0UZ |
| 8FMN01T2SR | 8FMN01T2SR | statement | record (an 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.07280#BIKA |
| 8FMVETH63R | 8FMVETH63R | statement | record (an 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.00103#ANZ5 |
| 8FN0TW08D3 | 8FN0TW08D3 | 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.27694#W8X8 |
| 8FNMFVQ7FN | 8FNMFVQ7FN | statement | record (an 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#ZRSZ |
| 8FPXYXMD8Q | 8FPXYXMD8Q | statement | record (an 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.33015#2JBY |
| 8FQ9ZAQ0R0 | 8FQ9ZAQ0R0 | statement | record (an 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#TUD6 |
| 8FQDSCM1PF | 8FQDSCM1PF | 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 2607.00146#P0MJ |
| 8FQH303F06 | 8FQH303F06 | 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.11395#9F5B |
| 8FQSG1B27H | 8FQSG1B27H | statement | record (an 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.10469#8F1K |
| 8FS1953Q0S | 8FS1953Q0S | exercise | open | ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#problem-1 |
| 8FSEKV8DX6 | 8FSEKV8DX6 | statement | record (an 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.09501#U0KC |
| 8FSN3VW2PG | 8FSN3VW2PG | statement | record (an 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.07049#1A3D |
| 8FSNESW8G2 | 8FSNESW8G2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.12966#0M35 |
| 8FSP01BZF4 | 8FSP01BZF4 | statement | record (an 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.00657#B8FC |
| 8FTTKDFWDA | 8FTTKDFWDA | statement | record (an 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.01753#6NAU |
| 8FTWYN53TW | 8FTWYN53TW | statement | open | hott_book categories.tex#ct:isoprop |
| 8FV1SKR248 | 8FV1SKR248 | statement | record (an 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.26650#W89T |
| 8FVGN95DAV | 8FVGN95DAV | statement | record (an 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.04124#IYH2 |
| 8FVM3DWPWV | 8FVM3DWPWV | statement | open | open_logic content/incompleteness/representability-in-q/minimization-representable.tex#lem:succ |
| 8FW9BB3468 | 8FW9BB3468 | statement | record (an 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#MUQZ |
| 8FX3P6CMY7 | 8FX3P6CMY7 | statement | record (an 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.10372#F5RX |
| 8FX7G0Z0JT | 8FX7G0Z0JT | exercise | open | lebl_scv scv.tex#exercise-148 |
| 8FXEWZMME7 | 8FXEWZMME7 | statement | record (an 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.03264#CQJA |
| 8FXZ34TK0N | 8FXZ34TK0N | statement | record (an 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.26479#4LYR |
| 8FYWW59NJY | 8FYWW59NJY | statement | record (an 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.28669#2O08 |
| 8FZ0SC3YTA | 8FZ0SC3YTA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.1990#4TX9 |
| 8FZBMC4WD4 | 8FZBMC4WD4 | 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.15217#0R7H |
| 8FZYDP4ARH | 8FZYDP4ARH | statement | record (an 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#TQGZ |
| 8G0AS2NPGZ | 8G0AS2NPGZ | exercise | open | levin_dmoi ptx/exercises/gt-intro.ptx#exercise-13 |
| 8G0EP3YCNE | 8G0EP3YCNE | statement | record (an 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.14068#O27N |
| 8G0NEJ5HPN | 8G0NEJ5HPN | statement | record (an 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.38493#URSO |
| 8G0RBHGXMT | 8G0RBHGXMT | statement | record (an 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.25255#8SY5 |
| 8G105NQ4CM | 8G105NQ4CM | statement | record (an 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.29918#3J6R |
| 8G185F9WVR | 8G185F9WVR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2005.03073#56HM |
| 8G1F5C4JTA | 8G1F5C4JTA | statement | record (an 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.07049#C2CB |
| 8G1Q854KB1 | 8G1Q854KB1 | statement | record (an 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#Y8A2 |
| 8G24EQ1102 | 8G24EQ1102 | statement | record (an 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.34081#8SND |
| 8G24GD3FES | 8G24GD3FES | statement | record (an 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#FQ01 |
| 8G2WXDM229 | 8G2WXDM229 | exercise | open | open_logic content/sets-functions-relations/size-of-sets/reduction.tex#prob-1 |
| 8G3K3CHS2N | 8G3K3CHS2N | statement | record (an 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.26401#L5BU |
| 8G4PXKMQ5A | 8G4PXKMQ5A | statement | record (an 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.09548#23RM |
| 8G6CXV05XJ | 8G6CXV05XJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.3493#D5WI |
| 8G6FG7QCZ3 | 8G6FG7QCZ3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1607.01095#84SR |
| 8G73FFF4C8 | 8G73FFF4C8 | 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.05611#CDXT |
| 8G74V94FYT | 8G74V94FYT | statement | record (an 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.11082#ZVCX |
| 8G77WGNRTA | 8G77WGNRTA | exercise | open | austin_ula src/exercises/exercises6-4.xml#exercise-8 |
| 8G7B0WJ87G | 8G7B0WJ87G | statement | record (an 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.03422#JLHI |
| 8G7DZCXXTD | 8G7DZCXXTD | statement | record (an 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.19464#YHJK |
| 8G7HA2NVMW | 8G7HA2NVMW | statement | record (an 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#3ELG |
| 8G7Q15MBE4 | 8G7Q15MBE4 | example | open | lebl_diffyqs ch-power-ser.tex#example-7 |
| 8G88Q2QXTP | 8G88Q2QXTP | 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.32176#4ZUW |
| 8G89T3SY7G | 8G89T3SY7G | statement | record (an 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.37893#ASP8 |
| 8G98BVSYE8 | 8G98BVSYE8 | statement | record (an 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.04317#6JMP |
| 8G9J1Y64SS | 8G9J1Y64SS | 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 2506.07061#3YV5 |
| 8GA4MCYTW3 | 8GA4MCYTW3 | statement | record (an 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.36622#NNA7 |
| 8GAXJZKFNA | 8GAXJZKFNA | statement | record (an 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#2ZS8 |
| 8GBE4HM52H | 8GBE4HM52H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.05392#GFMC |
| 8GBGCP9V6K | 8GBGCP9V6K | 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 2303.14022#BPX3 |
| 8GBYQBADQ2 | 8GBYQBADQ2 | proof | open | open_logic content/methods/proofs/example-1.tex#proof-1 |
| 8GCREV2ZS3 | 8GCREV2ZS3 | statement | record (an 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.24599#XC7D |
| 8GD3SEAFY2 | 8GD3SEAFY2 | statement | record (an 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#4709 |
| 8GD6NJW2DE | 8GD6NJW2DE | statement | record (an 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.28181#29K6 |