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 23801–23900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9ETPVXHK8V | 9ETPVXHK8V | statement | record (an 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.31216#4K41 |
| 9ETZ12D5BK | 9ETZ12D5BK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4479#IHNO |
| 9ETZJNMK3G | 9ETZJNMK3G | statement | record (an 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.29531#2YPY |
| 9EVEEHP2Z0 | 9EVEEHP2Z0 | statement | record (an 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#NLYS |
| 9EVVSJMG64 | 9EVVSJMG64 | statement | record (an 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.21092#3W9G |
| 9EW2E67R0X | 9EW2E67R0X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.02997#16GM |
| 9EWAE35XHM | 9EWAE35XHM | example | open | napkin tex/cats/categories.tex#ex:basic_categories |
| 9EWD9JQK76 | 9EWD9JQK76 | statement | record (an 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.00339#40UH |
| 9EWDTX89XM | 9EWDTX89XM | statement | record (an 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.35467#45VA |
| 9EWW4WTBNW | 9EWW4WTBNW | statement | record (an 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.11047#FD73 |
| 9EY0BEEAB3 | 9EY0BEEAB3 | 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.11383#4K02 |
| 9EY1JGC8K6 | 9EY1JGC8K6 | 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.10230#SKDO |
| 9EY9KWCS06 | 9EY9KWCS06 | 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.10505#WZ4U |
| 9EYV8CN4A9 | 9EYV8CN4A9 | statement | record (an 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#4XA4 |
| 9EZDT0ZY2Y | 9EZDT0ZY2Y | statement | record (an 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.20932#87AE |
| 9EZFJ4G36S | 9EZFJ4G36S | statement | record (an 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.21322#KU5Y |
| 9EZXG2S7QR | 9EZXG2S7QR | statement | record (an 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.30663#SPI2 |
| 9F02AGDMDH | 9F02AGDMDH | 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.34260#HND3 |
| 9F03HH959Z | 9F03HH959Z | statement | record (an 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#W2O0 |
| 9F05NAXE1T | 9F05NAXE1T | statement | record (an 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/9902147#G8SJ |
| 9F1ZWJ2X0J | 9F1ZWJ2X0J | statement | record (an 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.07790#QUJR |
| 9F228GZPVD | 9F228GZPVD | 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.07695#HJIH |
| 9F2ETC1GC2 | 9F2ETC1GC2 | statement | record (an 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.05216#SG8U |
| 9F2HN4NA8P | 9F2HN4NA8P | statement | record (an 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.13291#KCLN |
| 9F2JND2BSF | 9F2JND2BSF | statement | record (an 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.27360#5OYQ |
| 9F2N3S7683 | 9F2N3S7683 | statement | record (an 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.03517#EN1A |
| 9F37T8ZXPC | 9F37T8ZXPC | exercise | open | lebl_scv scv.tex#exercise-158 |
| 9F3HVSV64K | 9F3HVSV64K | statement | record (an 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.03661#KRS1 |
| 9F3NWAPTW1 | 9F3NWAPTW1 | statement | record (an 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.39505#DLII |
| 9F3W4Y5MDZ | 9F3W4Y5MDZ | statement | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prop:incons |
| 9F42D1TC1Q | 9F42D1TC1Q | 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.03628#ZQG6 |
| 9F4RVCQQR5 | 9F4RVCQQR5 | statement | record (an 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/0406514#QEAN |
| 9F4WPG331K | 9F4WPG331K | statement | record (an 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.18226#62Q6 |
| 9F5PS1451W | 9F5PS1451W | statement | record (an 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.38323#76FL |
| 9F622ADDC4 | 9F622ADDC4 | statement | record (an 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.26769#LW9V |
| 9F6CC2F9WD | 9F6CC2F9WD | 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 2504.19468#5W7L |
| 9F6TDFYESJ | 9F6TDFYESJ | statement | record (an 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.34876#9UEB |
| 9F749E7J7Z | 9F749E7J7Z | statement | record (an 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#GKQ7 |
| 9F7Q5ZXJE8 | 9F7Q5ZXJE8 | exercise | open | austin_ula src/exercises/exercises2-2.xml#exercise-12 |
| 9F8G8YSG1C | 9F8G8YSG1C | definition | open | napkin tex/topology/fundamental-group.tex#definition-3 |
| 9F8KERQXNH | 9F8KERQXNH | statement | record (an 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#0ELQ |
| 9F94NAMHQB | 9F94NAMHQB | statement | record (an 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.27078#TEWT |
| 9FA1V4TP12 | 9FA1V4TP12 | statement | record (an 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#NNMG |
| 9FA32AS0AK | 9FA32AS0AK | 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 2605.16669#J9AX |
| 9FA9W38EZ9 | 9FA9W38EZ9 | statement | record (an 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.14434#ZXCW |
| 9FASMZD21C | 9FASMZD21C | statement | record (an 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.11056#R2UC |
| 9FBSYR4R5H | 9FBSYR4R5H | 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 2504.18390#X8YL |
| 9FD4CQPG93 | 9FD4CQPG93 | statement | record (an 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.14135#ST73 |
| 9FD710BXYC | 9FD710BXYC | statement | record (an 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.04730#VFR4 |
| 9FD7B3HMFG | 9FD7B3HMFG | statement | record (an 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.05696#8XQB |
| 9FDXF54FZF | 9FDXF54FZF | statement | record (an 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.38228#MK13 |
| 9FE57S4KE0 | 9FE57S4KE0 | statement | record (an 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.13741#2AUE |
| 9FEZ63081B | 9FEZ63081B | statement | record (an 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.19806#P9LX |
| 9FF19RE8JD | 9FF19RE8JD | statement | record (an 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.01228#XHQB |
| 9FF57FX52V | 9FF57FX52V | proof | open | lebl_ra ch-real-nums.tex#proof-13 |
| 9FFDVSZFWX | 9FFDVSZFWX | statement | record (an 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.01368#5XD5 |
| 9FFR7WEK9Y | 9FFR7WEK9Y | exercise | open | active_calculus source/activities/act-7-1-3.xml#act-7-1-3 |
| 9FG46VR1VA | 9FG46VR1VA | statement | record (an 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.00596#0RTY |
| 9FGH92ZVSC | 9FGH92ZVSC | statement | record (an 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#2J80 |
| 9FGS05F1KT | 9FGS05F1KT | statement | record (an 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.11596#BGUQ |
| 9FGTMJXYQ1 | 9FGTMJXYQ1 | statement | record (an 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.24544#UPY9 |
| 9FHBKR3AMS | 9FHBKR3AMS | 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.07673#3KQA |
| 9FHKHS3AMM | 9FHKHS3AMM | 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.20131#V564 |
| 9FHKM10V4W | 9FHKM10V4W | 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 2304.02722#OW2G |
| 9FHMCRZ36A | 9FHMCRZ36A | statement | record (an 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.24481#N3H0 |
| 9FHV0CFDQV | 9FHV0CFDQV | statement | record (an 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.25656#ZRVW |
| 9FHVCXP8B1 | 9FHVCXP8B1 | proof | open | hott_book reals.tex#proof-9 |
| 9FKJ58KHB6 | 9FKJ58KHB6 | statement | record (an 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#JJNP |
| 9FKKJV0XDE | 9FKKJV0XDE | statement | open | open_logic content/set-theory/ordinals/iso.tex#thm:woalwayscomparable |
| 9FKMMGJK67 | 9FKMMGJK67 | statement | record (an 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.32439#PSB2 |
| 9FKTR028F3 | 9FKTR028F3 | 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 2011.07352#JYTZ |
| 9FKV1686TA | 9FKV1686TA | statement | record (an 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.07190#TJRS |
| 9FM4HS4509 | 9FM4HS4509 | statement | open | napkin tex/complex-ana/meromorphic.tex#thm:arg_principle |
| 9FMBY74978 | 9FMBY74978 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#LIEV |
| 9FMQ6T1C27 | 9FMQ6T1C27 | statement | record (an 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#E83T |
| 9FMVY8AB1N | 9FMVY8AB1N | statement | record (an 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.01946#M5DU |
| 9FMWMBFVQY | 9FMWMBFVQY | statement | record (an 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.33704#K43C |
| 9FN416B6VN | 9FN416B6VN | statement | record (an 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.06899#2OY7 |
| 9FN44DF8YR | 9FN44DF8YR | statement | record (an 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#9ISC |
| 9FN8G2QTAC | 9FN8G2QTAC | statement | record (an 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.11047#AD91 |
| 9FNKAFG2MJ | 9FNKAFG2MJ | statement | record (an 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.22636#VC8M |
| 9FNNB3KRAK | 9FNNB3KRAK | 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.12430#9LTU |
| 9FP56AMNS6 | 9FP56AMNS6 | statement | record (an 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.21921#AWM1 |
| 9FQ48FKGFR | 9FQ48FKGFR | statement | record (an 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.21934#AXUC |
| 9FQDW22BA5 | 9FQDW22BA5 | statement | record (an 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#66HU |
| 9FQGXKWBCP | 9FQGXKWBCP | statement | record (an 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.17669#XOP3 |
| 9FQJ838YPG | 9FQJ838YPG | statement | record (an 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.06340#4EDU |
| 9FQMRW3Z0A | 9FQMRW3Z0A | statement | record (an 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.22636#U9JZ |
| 9FQSKYK00B | 9FQSKYK00B | statement | record (an 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.05868#B2A0 |
| 9FR4C7PKBN | 9FR4C7PKBN | 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.38556#IJTX |
| 9FTFDJX571 | 9FTFDJX571 | 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 2405.14678#057M |
| 9FVCYCMYFE | 9FVCYCMYFE | 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.21960#4JHI |
| 9FVHJCKQ6W | 9FVHJCKQ6W | 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.17737#VGD5 |
| 9FVX56FADS | 9FVX56FADS | statement | record (an 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#XJ77 |
| 9FX1C7SH00 | 9FX1C7SH00 | statement | record (an 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.05459#42Y0 |
| 9FXB1NRY83 | 9FXB1NRY83 | statement | record (an 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.27414#9EAX |
| 9FXJR7S04Z | 9FXJR7S04Z | statement | record (an 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.21475#UFQ6 |
| 9FXW1XWKX2 | 9FXW1XWKX2 | statement | record (an 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.03231#TMR9 |
| 9FXZV1X4EJ | 9FXZV1X4EJ | statement | record (an 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#GJTN |
| 9FY3KK0H3E | 9FY3KK0H3E | 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.29759#E900 |