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 23501–23600 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8A5ZM3JDE3 | 8A5ZM3JDE3 | statement | record (an 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.32946#M9BO |
| 8A6E2PP2VC | 8A6E2PP2VC | 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.03488#3GWD |
| 8A6Z2RE7A8 | 8A6Z2RE7A8 | 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 1804.06366#1FYW |
| 8A74WD4FYT | 8A74WD4FYT | statement | record (an 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#D716 |
| 8A7PAB6X98 | 8A7PAB6X98 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.08900#TGHU |
| 8A7SMFY57Q | 8A7SMFY57Q | statement | record (an 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#T5J5 |
| 8A8B6M357J | 8A8B6M357J | statement | record (an 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.22077#92QQ |
| 8A8B83NRES | 8A8B83NRES | 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.11097#CZKG |
| 8A8KR7JPP3 | 8A8KR7JPP3 | 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.08382#B1LV |
| 8A8XS6Y05S | 8A8XS6Y05S | exercise | open | lebl_scv scv.tex#exercise-89 |
| 8A9651DDPF | 8A9651DDPF | statement | record (an 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.15360#04TV |
| 8A99Z5Z511 | 8A99Z5Z511 | 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 2610.16245#ANYP |
| 8A9RN3XQE0 | 8A9RN3XQE0 | statement | record (an 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.14888#JR4X |
| 8AAE53EJ09 | 8AAE53EJ09 | statement | record (an 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.37897#WNEZ |
| 8AAEFB262D | 8AAEFB262D | statement | record (an 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#B6B3 |
| 8AAKD5ZD5A | 8AAKD5ZD5A | statement | record (an 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.40214#KJFV |
| 8AAS8MEVB8 | 8AAS8MEVB8 | statement | record (an 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.06308#9OSJ |
| 8ABDZHDYRA | 8ABDZHDYRA | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-24 |
| 8ACAQ3Y0BZ | 8ACAQ3Y0BZ | statement | record (an 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.23972#7CQC |
| 8ACF4BEZSY | 8ACF4BEZSY | statement | record (an 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.06544#RMJQ |
| 8AD0CS2NG1 | 8AD0CS2NG1 | 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 1809.06512#BIS5 |
| 8ADJ0X9GD1 | 8ADJ0X9GD1 | exercise | open | open_logic content/set-theory/replacement/finiteaxiomatizability.tex#prob-1 |
| 8ADSZREN19 | 8ADSZREN19 | statement | record (an 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.14189#7FG8 |
| 8AEDJV1ZGV | 8AEDJV1ZGV | statement | record (an 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#LT31 |
| 8AEW3K9MGE | 8AEW3K9MGE | statement | record (an 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.20894#VQGI |
| 8AFMXZFSX8 | 8AFMXZFSX8 | statement | record (an 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.39855#7M9C |
| 8AFRZ978VV | 8AFRZ978VV | 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.30685#42NB |
| 8AG2V700MW | 8AG2V700MW | statement | record (an 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.14555#NWNH |
| 8AG55VA69F | 8AG55VA69F | statement | record (an 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#HDC7 |
| 8AGE4X4AC8 | 8AGE4X4AC8 | 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#TOVT |
| 8AH00HPXTK | 8AH00HPXTK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv alg-geom/9506022#0Y0T |
| 8AHJV6D6R3 | 8AHJV6D6R3 | statement | record (an 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.09201#95MN |
| 8AHR2BY895 | 8AHR2BY895 | statement | record (an 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.01932#8JO1 |
| 8AJ07TH0A2 | 8AJ07TH0A2 | statement | record (an 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.12329#I2L7 |
| 8AJMGFJ6P5 | 8AJMGFJ6P5 | 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.13385#6YGK |
| 8AJPTAD363 | 8AJPTAD363 | statement | record (an 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.24701#LNB6 |
| 8AKVAY5WYF | 8AKVAY5WYF | statement | record (an 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.02019#ICS4 |
| 8AKYHNP22P | 8AKYHNP22P | statement | record (an 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.17817#XPWZ |
| 8AMA93Q0EK | 8AMA93Q0EK | 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.23287#DYXN |
| 8AN5QD2BJ6 | 8AN5QD2BJ6 | statement | record (an 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.32651#30PV |
| 8ANGHY954B | 8ANGHY954B | statement | record (an 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.13618#C1K0 |
| 8AQC0P35ZB | 8AQC0P35ZB | statement | record (an 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.17258#MMZT |
| 8AQQB6MNTH | 8AQQB6MNTH | statement | record (an 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.31768#ADOB |
| 8AQSMQ985T | 8AQSMQ985T | exercise | open | levin_dmoi ptx/exercises/gt-intro.ptx#exercise-11 |
| 8AR5P450ZP | 8AR5P450ZP | statement | record (an 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.17070#HMI8 |
| 8ARKYKNT37 | 8ARKYKNT37 | statement | record (an 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#28GI |
| 8ARVGVGPZ8 | 8ARVGVGPZ8 | unknown | open | arXiv 1509.00950#VAVX |
| 8ARXMJP7H6 | 8ARXMJP7H6 | statement | record (an 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/0512416#31DK |
| 8ASHR8XEMQ | 8ASHR8XEMQ | statement | record (an 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.32338#CPEG |
| 8ATE8TEA0K | 8ATE8TEA0K | statement | record (an 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.11939#TCCH |
| 8ATPQFKSD3 | 8ATPQFKSD3 | statement | record (an 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#PIF1 |
| 8AVFSX6B2N | 8AVFSX6B2N | 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.23994#A048 |
| 8AVNKV061G | 8AVNKV061G | statement | record (an 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.38838#EPTL |
| 8AVT39PEGA | 8AVT39PEGA | statement | record (an 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.10233#GSD8 |
| 8AW7XKKFRH | 8AW7XKKFRH | statement | record (an 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#023W |
| 8AWF3RHF0E | 8AWF3RHF0E | statement | record (an 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.08226#TUWU |
| 8AXE1B48F2 | 8AXE1B48F2 | statement | record (an 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.38838#ECFJ |
| 8AXK2D5E2B | 8AXK2D5E2B | statement | record (an 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.38659#MTOG |
| 8AXM24CV5J | 8AXM24CV5J | statement | record (an 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.06707#JFH0 |
| 8AY8JVBEMM | 8AY8JVBEMM | 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 2303.09207#GK0Q |
| 8AYB1CWZGQ | 8AYB1CWZGQ | 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.23528#0SGV |
| 8AYN8A68DC | 8AYN8A68DC | 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 2604.10080#VRIS |
| 8AYRD0RF0Q | 8AYRD0RF0Q | statement | record (an 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.17547#WXJ6 |
| 8AYVSKFSFK | 8AYVSKFSFK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.08714#F8V4 |
| 8B00Y72S04 | 8B00Y72S04 | statement | record (an 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.25564#B31N |
| 8B019542X8 | 8B019542X8 | statement | record (an 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.25468#P8WJ |
| 8B0KMMCP8Q | 8B0KMMCP8Q | statement | record (an 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.09129#CL8Y |
| 8B1SFC3V3S | 8B1SFC3V3S | exercise | open | levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-13 |
| 8B1SMR1Z24 | 8B1SMR1Z24 | statement | record (an 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.04835#7TFN |
| 8B1YW8TPXY | 8B1YW8TPXY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.00589#PGGR |
| 8B20C49QE0 | 8B20C49QE0 | statement | record (an 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.09989#LJ4F |
| 8B2BGGGY7R | 8B2BGGGY7R | statement | record (an 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.10178#OIIO |
| 8B2HBWDVG8 | 8B2HBWDVG8 | 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 1507.03803#32CZ |
| 8B2XRQ5QEZ | 8B2XRQ5QEZ | statement | open | lebl_scv scv.tex#prop-24 |
| 8B3196XQR3 | 8B3196XQR3 | statement | record (an 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#FVFR |
| 8B3FBYW9V3 | 8B3FBYW9V3 | exercise | open | lebl_ra ch-metric.tex#exercise-52 |
| 8B3R0TCTEZ | 8B3R0TCTEZ | statement | record (an 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#OUD2 |
| 8B3XP2JBH0 | 8B3XP2JBH0 | statement | record (an 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.05708#25V6 |
| 8B4005SQFG | 8B4005SQFG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.14879#K6NL |
| 8B40CZS3FJ | 8B40CZS3FJ | statement | record (an 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.13670#YAC0 |
| 8B49RJNBJP | 8B49RJNBJP | statement | record (an 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.05684#RHS8 |
| 8B4AQS7TRJ | 8B4AQS7TRJ | exercise | open | open_logic content/set-theory/ord-arithmetic/multiplication.tex#prob-1 |
| 8B4BHQQPKC | 8B4BHQQPKC | statement | record (an 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.04870#YS5T |
| 8B4CTSS1DN | 8B4CTSS1DN | statement | record (an 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.35030#BKMD |
| 8B4EV1DQEA | 8B4EV1DQEA | example | open | open_logic content/computability/recursive-functions/pr-functions.tex#ex-1 |
| 8B4F3JKM3N | 8B4F3JKM3N | statement | record (an 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#1Y76 |
| 8B4RNFTQC7 | 8B4RNFTQC7 | statement | open | hott_book equivalences.tex#thm:equiv-contr-hae |
| 8B54G96798 | 8B54G96798 | statement | record (an 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.06645#BVWD |
| 8B54JJ7HG0 | 8B54JJ7HG0 | 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.13100#FJA4 |
| 8B58EA1HHQ | 8B58EA1HHQ | statement | record (an 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#VHZJ |
| 8B58NFAE79 | 8B58NFAE79 | example | open | open_logic content/first-order-logic/models-theories/theories.tex#ex-5 |
| 8B5APHKP5C | 8B5APHKP5C | statement | record (an 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.11829#67O5 |
| 8B5J8MKVQM | 8B5J8MKVQM | statement | record (an 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.11517#LPJR |
| 8B62ZDDV78 | 8B62ZDDV78 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.05118#JC0G |
| 8B7DDM1593 | 8B7DDM1593 | statement | record (an 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.09319#O3JN |
| 8B7G3R4M45 | 8B7G3R4M45 | 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 2004.12552#BG5W |
| 8B7GZHNCBA | 8B7GZHNCBA | statement | record (an 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.08753#LFCU |
| 8B818VPWTB | 8B818VPWTB | statement | record (an 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.25449#RP4H |
| 8B8CZR4GD0 | 8B8CZR4GD0 | statement | record (an 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#9LOQ |
| 8B8M1P0EZW | 8B8M1P0EZW | statement | record (an 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.21662#A0U3 |