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 16401–16500 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6PK1G25X52 | 6PK1G25X52 | exercise | open | austin_ula src/exercises/exercises6-2.xml#exercise-8 |
| 6PKPJN4C91 | 6PKPJN4C91 | statement | record (an 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.04325#4DBN |
| 6PKT1MZ6MS | 6PKT1MZ6MS | statement | record (an 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.03058#AFCJ |
| 6PKYV547XK | 6PKYV547XK | 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.20558#OS48 |
| 6PMHPP01BA | 6PMHPP01BA | statement | record (an 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.35460#44AP |
| 6PMMVZKTBM | 6PMMVZKTBM | statement | record (an 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/0312342#ES7I |
| 6PMYV4V3CA | 6PMYV4V3CA | 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.30579#GVUP |
| 6PN4JTN9QD | 6PN4JTN9QD | statement | record (an 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.16700#WQ61 |
| 6PNH9RYT7K | 6PNH9RYT7K | example | open | applied_combinatorics source/s_probability_conditional.ptx#example-1 |
| 6PNVNJ4J6N | 6PNVNJ4J6N | statement | record (an 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.21045#SOAT |
| 6PP9ZY2RSW | 6PP9ZY2RSW | 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 2402.17852#F5BF |
| 6PPAM9B2HT | 6PPAM9B2HT | statement | record (an 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.26922#TD9R |
| 6PPXNSNQXK | 6PPXNSNQXK | statement | record (an 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.17139#FCT9 |
| 6PPYY8HXSV | 6PPYY8HXSV | proof | open | hott_book equivalences.tex#proof-8 |
| 6PQ05HEJVF | 6PQ05HEJVF | statement | record (an 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#1NE9 |
| 6PR7V4JHCX | 6PR7V4JHCX | statement | record (an 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.17677#HIDK |
| 6PRQD6SQAR | 6PRQD6SQAR | 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#MSSK |
| 6PTWY4VT6F | 6PTWY4VT6F | statement | record (an 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.16060#C7RS |
| 6PWQEY0P9C | 6PWQEY0P9C | statement | record (an 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.09796#VR57 |
| 6PY28XCRVB | 6PY28XCRVB | statement | record (an 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.17412#47OG |
| 6PYAKSYCFG | 6PYAKSYCFG | example | open | ernst_ibl MAAPressVersion/Partitions.tex#ex:last name revisited |
| 6PYER311HS | 6PYER311HS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.06366#DR67 |
| 6PYJB3YH5Y | 6PYJB3YH5Y | statement | record (an 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#SXU4 |
| 6PYVZ91EFG | 6PYVZ91EFG | statement | record (an 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.06541#EGEP |
| 6PYX0DX2D0 | 6PYX0DX2D0 | statement | record (an 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#TJIS |
| 6PZDREMSSY | 6PZDREMSSY | statement | record (an 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.18223#KJEM |
| 6PZGM236PB | 6PZGM236PB | statement | record (an 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.24541#DAJT |
| 6Q00PBX8PN | 6Q00PBX8PN | statement | record (an 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.21725#OEIQ |
| 6Q03FKM14Q | 6Q03FKM14Q | statement | record (an 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.05276#2S7E |
| 6Q07CH3GNC | 6Q07CH3GNC | exercise | open | hott_book logic.tex#ex:isprop-equiv-equiv-bracket |
| 6Q0H1TSCTW | 6Q0H1TSCTW | exercise | open | lebl_scv scv.tex#exercise-105 |
| 6Q0RXZ81QB | 6Q0RXZ81QB | exercise | open | levin_dmoi ptx/exercises/gt-matchings.ptx#exercise-1 |
| 6Q0TEDPPT2 | 6Q0TEDPPT2 | 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.14842#B70V |
| 6Q0W6YTT7T | 6Q0W6YTT7T | 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.10840#GRW6 |
| 6Q1M4R77HF | 6Q1M4R77HF | 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.03358#RR1T |
| 6Q1WWZ04JY | 6Q1WWZ04JY | 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 2602.03909#12UO |
| 6Q2B3YN4S8 | 6Q2B3YN4S8 | example | open | napkin tex/set-theory/models.tex#example-4 |
| 6Q2QRATZQ4 | 6Q2QRATZQ4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv hep-th/9409063#GMA8 |
| 6Q37MP76KP | 6Q37MP76KP | 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.04214#4BEY |
| 6Q3DFB4TY2 | 6Q3DFB4TY2 | 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.33313#WXJ5 |
| 6Q3G67J3CM | 6Q3G67J3CM | statement | record (an 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.24297#7AG8 |
| 6Q3ZHB3MK9 | 6Q3ZHB3MK9 | 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 1711.00219#CTP4 |
| 6Q41K3ZQHH | 6Q41K3ZQHH | statement | record (an 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.13489#QMAI |
| 6Q4AY0ZVTZ | 6Q4AY0ZVTZ | statement | record (an 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.13184#IED1 |
| 6Q4TWA7W8Y | 6Q4TWA7W8Y | statement | record (an 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.28289#07F8 |
| 6Q5VHEFBE2 | 6Q5VHEFBE2 | 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.28669#WAH8 |
| 6Q6T8WRYT7 | 6Q6T8WRYT7 | statement | record (an 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.38548#DQEQ |
| 6Q7G9A416E | 6Q7G9A416E | proof | open | hott_book basics.tex#proof-33 |
| 6Q7PQ17CP2 | 6Q7PQ17CP2 | statement | record (an 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.24878#29GZ |
| 6Q8GXD578M | 6Q8GXD578M | statement | record (an 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#JIOR |
| 6Q8NG7QSPV | 6Q8NG7QSPV | 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 1711.00219#5K97 |
| 6Q8ZXX2Y3E | 6Q8ZXX2Y3E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.01345#14T8 |
| 6Q9CZPTVMH | 6Q9CZPTVMH | statement | record (an 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.26058#RT3L |
| 6Q9EW1XNTY | 6Q9EW1XNTY | statement | record (an 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.15588#ZCJH |
| 6Q9J9BVHJF | 6Q9J9BVHJF | 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.35421#0IXU |
| 6QA2P53X0J | 6QA2P53X0J | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-6 |
| 6QADG9Q63Q | 6QADG9Q63Q | statement | record (an 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#9IJP |
| 6QAHYZ0S7N | 6QAHYZ0S7N | 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.02061#786R |
| 6QASYGB7KZ | 6QASYGB7KZ | statement | record (an 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.02806#X9Y2 |
| 6QB29791MG | 6QB29791MG | statement | record (an 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.39700#IF0H |
| 6QD0E9G4B3 | 6QD0E9G4B3 | statement | record (an 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.14204#AZ1L |
| 6QDT1SJNHH | 6QDT1SJNHH | statement | record (an 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.22288#NKEE |
| 6QDZMH2JCW | 6QDZMH2JCW | 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.16386#9TU5 |
| 6QE1VQNT1B | 6QE1VQNT1B | exercise | open | levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-10 |
| 6QE83RZ7A1 | 6QE83RZ7A1 | statement | record (an 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.19251#HUOF |
| 6QE8R1J84J | 6QE8R1J84J | 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.20911#1C1P |
| 6QEAWZY95F | 6QEAWZY95F | statement | record (an 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#VESL |
| 6QEDDPZJR2 | 6QEDDPZJR2 | statement | record (an 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.21045#7F1J |
| 6QEW2BP48N | 6QEW2BP48N | statement | record (an 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.38206#18QS |
| 6QH9PRBX89 | 6QH9PRBX89 | statement | open | open_logic content/model-theory/models-of-arithmetic/non-standard-models.tex#prop-1 |
| 6QHBHHBFWX | 6QHBHHBFWX | 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 2304.13811#HZLG |
| 6QJ3TW44R7 | 6QJ3TW44R7 | statement | record (an 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.01737#43U6 |
| 6QJACGAAQS | 6QJACGAAQS | 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.20466#YKYD |
| 6QJFP94H7C | 6QJFP94H7C | statement | record (an 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.38206#PMYR |
| 6QJT8X18H4 | 6QJT8X18H4 | statement | record (an 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#7OLG |
| 6QM31DV4H4 | 6QM31DV4H4 | statement | record (an 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.24484#4VBK |
| 6QMKYGVRMW | 6QMKYGVRMW | statement | record (an 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.37698#U6BE |
| 6QMRHAE04B | 6QMRHAE04B | statement | record (an 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#080B |
| 6QMV4SSK1G | 6QMV4SSK1G | exercise | open | austin_ula src/exercises/exercises4-1.xml#exercise-1 |
| 6QN1BE8DDP | 6QN1BE8DDP | statement | record (an 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.28009#EXJN |
| 6QNSNF5H12 | 6QNSNF5H12 | statement | record (an 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.35691#SGI9 |
| 6QP3W468T7 | 6QP3W468T7 | statement | record (an 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.20385#PMM8 |
| 6QP8X5ZASC | 6QP8X5ZASC | 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.09900#QZEJ |
| 6QPBFBHCWM | 6QPBFBHCWM | 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.33841#9PQI |
| 6QPRSBWW5V | 6QPRSBWW5V | statement | record (an 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#BLQN |
| 6QPYPS8RVD | 6QPYPS8RVD | statement | record (an 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.40274#QVBB |
| 6QQVEGETEN | 6QQVEGETEN | statement | record (an 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#9KE0 |
| 6QR3FKF2DY | 6QR3FKF2DY | statement | record (an 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.38017#NSV1 |
| 6QR3T03VYP | 6QR3T03VYP | statement | record (an 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.16514#FMRZ |
| 6QREND5HSR | 6QREND5HSR | example | open | hott_book categories.tex#ct:rezk-fundgpd-trunc1 |
| 6QRZGS18CH | 6QRZGS18CH | statement | record (an 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.33682#R0BZ |
| 6QS9K7DEXG | 6QS9K7DEXG | statement | record (an 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.17227#GJD5 |
| 6QSBH27143 | 6QSBH27143 | statement | record (an 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.38068#OFMI |
| 6QSXHWW1GK | 6QSXHWW1GK | statement | record (an 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.06699#YAXV |
| 6QT1260A3D | 6QT1260A3D | statement | record (an 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#UZW3 |
| 6QV99RG850 | 6QV99RG850 | 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 1903.07030#68L7 |
| 6QW6E2C59H | 6QW6E2C59H | statement | record (an 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.00144#4BOW |
| 6QWKC08223 | 6QWKC08223 | 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.26366#EBHY |
| 6QWKK51H0J | 6QWKK51H0J | statement | record (an 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.27393#QUET |
| 6QXBZVFN42 | 6QXBZVFN42 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.05069#UM66 |