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 22901–23000 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 83GD3WNQS8 | 83GD3WNQS8 | 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.37520#IT1K |
| 83GKD0JA9Y | 83GKD0JA9Y | proof | open | hott_book hlevels.tex#proof-39 |
| 83H3PS41R7 | 83H3PS41R7 | statement | record (an 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.10078#YQPS |
| 83HGZQ7KSG | 83HGZQ7KSG | statement | record (an 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.28794#4D6V |
| 83HKEETEDG | 83HKEETEDG | 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.16583#A6G8 |
| 83HNCQA545 | 83HNCQA545 | 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#FF5Z |
| 83HY0RZ0GM | 83HY0RZ0GM | statement | record (an 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.23098#JXRO |
| 83J0TJMYEY | 83J0TJMYEY | unknown | open | arXiv 2106.06387#9YA2 |
| 83J8SZZ9TH | 83J8SZZ9TH | statement | record (an 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.10813#I7GH |
| 83K0HTPYC6 | 83K0HTPYC6 | statement | open | open_logic content/model-theory/interpolation/separation.tex#lem:sep2 |
| 83K1RE5NEB | 83K1RE5NEB | example | open | lebl_diffyqs ch-laplace.tex#example-9 |
| 83KGG5B0GS | 83KGG5B0GS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.10920#49FU |
| 83KJ918WA1 | 83KJ918WA1 | statement | record (an 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.28185#LSQS |
| 83KK95NFVB | 83KK95NFVB | 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#2Y1Y |
| 83M5NW9FR6 | 83M5NW9FR6 | 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.14450#6AWM |
| 83MNJPM4J2 | 83MNJPM4J2 | 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.37739#S9ZD |
| 83NPGK9HT0 | 83NPGK9HT0 | statement | record (an 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#9GMU |
| 83NYP1YXNH | 83NYP1YXNH | 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.37520#8G1F |
| 83NZT3WGY5 | 83NZT3WGY5 | statement | record (an 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.13745#MXC3 |
| 83P4DXK5S6 | 83P4DXK5S6 | statement | record (an 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.00267#KLDQ |
| 83QQ271K5X | 83QQ271K5X | statement | record (an 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.06644#SVDW |
| 83QZ0KBZ95 | 83QZ0KBZ95 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#Y74A |
| 83REGKE7S4 | 83REGKE7S4 | statement | record (an 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#ROOP |
| 83RGKKVNNV | 83RGKKVNNV | statement | record (an 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.10545#SQXW |
| 83RKT5ZYSZ | 83RKT5ZYSZ | statement | record (an 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.37704#0P5W |
| 83RKTPB3E9 | 83RKTPB3E9 | statement | open | napkin tex/set-theory/zorn-lemma.tex#theorem-2 |
| 83RW045ZP6 | 83RW045ZP6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.11038#6NG3 |
| 83RX3NGZ20 | 83RX3NGZ20 | statement | record (an 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.09882#KPSB |
| 83RZJGCB13 | 83RZJGCB13 | statement | record (an 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.12047#4BEE |
| 83S0ZFHX36 | 83S0ZFHX36 | 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#YKZ9 |
| 83SDD8VNE3 | 83SDD8VNE3 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-39 |
| 83STPS6RR5 | 83STPS6RR5 | statement | record (an 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.36884#ZN13 |
| 83TWZ1WY6S | 83TWZ1WY6S | statement | record (an 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.01594#3WAU |
| 83VGX3MNPX | 83VGX3MNPX | statement | record (an 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#1P44 |
| 83WBSC07CB | 83WBSC07CB | statement | open | open_logic content/lambda-calculus/introduction/primitive-recursion.tex#lem-2 |
| 83WM9JV9S9 | 83WM9JV9S9 | exercise | open | napkin tex/cats/categories.tex#exercise-1 |
| 83X4XXGPE3 | 83X4XXGPE3 | 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.09207#CXI2 |
| 83X6G5HQ36 | 83X6G5HQ36 | statement | record (an 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.17518#R26S |
| 83XZR7GK23 | 83XZR7GK23 | 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.07398#SVJD |
| 83YBY77GH0 | 83YBY77GH0 | statement | record (an 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.21752#UA94 |
| 83YZ8SVN0W | 83YZ8SVN0W | statement | record (an 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.11336#EL6K |
| 83Z0VSDJ58 | 83Z0VSDJ58 | statement | record (an 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#FY3T |
| 83Z7FCP5H8 | 83Z7FCP5H8 | 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.30579#ZSDY |
| 83ZC966YD6 | 83ZC966YD6 | example | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#example-2 |
| 83ZDT13Q70 | 83ZDT13Q70 | statement | record (an 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#W9IX |
| 83ZXJM2SPE | 83ZXJM2SPE | statement | record (an 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.21017#WR49 |
| 8409PMRDX9 | 8409PMRDX9 | statement | record (an 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#QP01 |
| 840AY1WTKA | 840AY1WTKA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.08738#3R7E |
| 840J56S7FJ | 840J56S7FJ | 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.24584#7MNF |
| 841 (number) | GQRDXQ65NW | unknown | open | Wikipedia 800 (number)#Z7W1 |
| 8410AXF31P | 8410AXF31P | proof | open | open_logic content/incompleteness/theories-computability/first-incompleteness.tex#proof-1 |
| 841EAH0E6X | 841EAH0E6X | exercise | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-1 |
| 841PW169VE | 841PW169VE | statement | record (an 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.21090#4R6F |
| 842P2JZDZH | 842P2JZDZH | statement | record (an 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.10558#B7U1 |
| 843V4QCBM0 | 843V4QCBM0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1912.13357#MZRO |
| 843X4163VT | 843X4163VT | statement | record (an 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.29489#9E67 |
| 84412A6ET6 | 84412A6ET6 | statement | record (an 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.30675#P72K |
| 844C20NXTQ | 844C20NXTQ | statement | record (an 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.22667#8GB7 |
| 844XX9D5WB | 844XX9D5WB | statement | record (an 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.36412#EDEZ |
| 8457HK4TZ4 | 8457HK4TZ4 | statement | open | hott_book hlevels.tex#cor-1 |
| 845G2SJVYR | 845G2SJVYR | statement | record (an 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.06556#YI91 |
| 845GFFKVQM | 845GFFKVQM | example | open | active_calculus source/sec-2-3-prod-quot.xml#example-5 |
| 845GHN3GPQ | 845GHN3GPQ | statement | record (an 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.36884#XMX1 |
| 8462MZQR63 | 8462MZQR63 | statement | record (an 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.20656#717F |
| 846Q48WE66 | 846Q48WE66 | statement | open | lebl_scv scv.tex#prop:whereTgoeshol |
| 846VTG3QPP | 846VTG3QPP | statement | record (an 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.25038#LHP0 |
| 84754FKMYA | 84754FKMYA | statement | record (an 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.36321#R655 |
| 847JCTQYDK | 847JCTQYDK | statement | record (an 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.30200#ND7I |
| 847Y9PCYKV | 847Y9PCYKV | exercise | open | napkin tex/alg-geom/affine-var.tex#exercise-2 |
| 848V8QB47J | 848V8QB47J | statement | record (an 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.07285#07GV |
| 849AFEND52 | 849AFEND52 | statement | record (an 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.00676#AUA8 |
| 849GDKFHWN | 849GDKFHWN | 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 2301.04933#6B2U |
| 849JNNQHWF | 849JNNQHWF | statement | record (an 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.33856#XC4L |
| 849PZ9XVCE | 849PZ9XVCE | statement | record (an 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.12295#O5JX |
| 84A8QJXSX0 | 84A8QJXSX0 | statement | record (an 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#9P5H |
| 84A9TC4MYN | 84A9TC4MYN | statement | record (an 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.11145#I9Z4 |
| 84AM8X09RX | 84AM8X09RX | 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#YN0C |
| 84BAY5GQDR | 84BAY5GQDR | 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.26337#RY04 |
| 84BNFF3A12 | 84BNFF3A12 | statement | record (an 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#1L50 |
| 84C8MWAVWZ | 84C8MWAVWZ | statement | record (an 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.04172#1NTQ |
| 84CBPM1RXK | 84CBPM1RXK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1310.6698#D5ZV |
| 84CH3WP9EF | 84CH3WP9EF | statement | record (an 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.13869#9EF4 |
| 84CJV3Q592 | 84CJV3Q592 | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-4 |
| 84D4EH1N34 | 84D4EH1N34 | statement | record (an 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#O7X6 |
| 84DA95T94B | 84DA95T94B | statement | open | levin_dmoi ptx/sec_gt-intro.ptx#prop-evensum |
| 84DC6P2PCJ | 84DC6P2PCJ | statement | record (an 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.32903#E2P4 |
| 84DNG7Z664 | 84DNG7Z664 | statement | record (an 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.40251#HDFX |
| 84DT4KSZ9S | 84DT4KSZ9S | 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 1009.2047#BXCF |
| 84E8C7WEZ3 | 84E8C7WEZ3 | statement | record (an 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.10567#DCUN |
| 84EHG04AM3 | 84EHG04AM3 | statement | record (an 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.31276#O1EW |
| 84EJVCY50S | 84EJVCY50S | statement | record (an 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.20679#VCQC |
| 84EN0S23A7 | 84EN0S23A7 | statement | record (an 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.08599#7PPF |
| 84EZYKKWV7 | 84EZYKKWV7 | statement | record (an 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.16429#RGQT |
| 84F2DNV6KS | 84F2DNV6KS | statement | record (an 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.31278#RMBD |
| 84FM4HYSRT | 84FM4HYSRT | statement | record (an 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.03497#6XUN |
| 84FXEGER1F | 84FXEGER1F | 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.20306#JC7D |
| 84GKGH9E30 | 84GKGH9E30 | statement | record (an 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#L6MS |
| 84HB1A9SWE | 84HB1A9SWE | exercise | open | napkin tex/H113/structure.tex#problem-1 |
| 84HB42TP6X | 84HB42TP6X | statement | record (an 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.16294#2725 |
| 84K3QFRHKV | 84K3QFRHKV | example | open | hott_book logic.tex#thm:isprop-forall |