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 6201–6300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 2Z2841S5TV | 2Z2841S5TV | 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 2011.06637#QR5U |
| 2Z2B8VJAMB | 2Z2B8VJAMB | 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.28808#TPFC |
| 2Z2E6RVPQB | 2Z2E6RVPQB | statement | record (an 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.05403#HB6V |
| 2Z32CB59MP | 2Z32CB59MP | 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.06764#YGY9 |
| 2Z32ZGCW2E | 2Z32ZGCW2E | 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.02634#818F |
| 2Z38T60VPC | 2Z38T60VPC | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-18 |
| 2Z3EZ9CTEK | 2Z3EZ9CTEK | statement | record (an 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.19288#RS0F |
| 2Z3NS579KC | 2Z3NS579KC | 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.15926#A42J |
| 2Z3Z2ZEEWJ | 2Z3Z2ZEEWJ | statement | record (an 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.29723#DEBF |
| 2Z424J79SF | 2Z424J79SF | exercise | open | austin_ula src/section5-2.xml#activity-2 |
| 2Z4R2669W5 | 2Z4R2669W5 | statement | record (an 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.01717#1E1H |
| 2Z4WJ0CQKY | 2Z4WJ0CQKY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.05002#G9UN |
| 2Z512SA8NE | 2Z512SA8NE | definition | open | active_calculus source/sec-1-6-second-d.xml#D-1-6-incr-decr |
| 2Z5F91F3Q1 | 2Z5F91F3Q1 | statement | record (an 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.30067#UMOW |
| 2Z5Q8WHSJF | 2Z5Q8WHSJF | statement | record (an 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.08272#TTCC |
| 2Z5SRBHTRG | 2Z5SRBHTRG | unknown | open | arXiv 2610.16359#PS10 |
| 2Z5ZD2V7B4 | 2Z5ZD2V7B4 | proof | open | lebl_ra ch-multivar-int.tex#proof-3 |
| 2Z5ZF1TQ25 | 2Z5ZF1TQ25 | 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.06340#47WE |
| 2Z664XVMT6 | 2Z664XVMT6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.08081#ZGFV |
| 2Z6GFB4E4T | 2Z6GFB4E4T | statement | record (an 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.02216#REQ0 |
| 2Z6M2PKXTA | 2Z6M2PKXTA | 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.32174#DDZ3 |
| 2Z6SH9DYCW | 2Z6SH9DYCW | statement | record (an 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.07927#9O1C |
| 2Z6STBDSDB | 2Z6STBDSDB | 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.35597#KHOC |
| 2Z6YQG5SWR | 2Z6YQG5SWR | 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.13295#IW0D |
| 2Z70REAEWN | 2Z70REAEWN | 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 2310.14879#8IPQ |
| 2Z756EVD9T | 2Z756EVD9T | statement | record (an 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#NIXS |
| 2Z7K4Y0ZQ8 | 2Z7K4Y0ZQ8 | statement | record (an 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.27908#B0XQ |
| 2Z8163PZWR | 2Z8163PZWR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1603.00857#5PN4 |
| 2Z83C9DHC6 | 2Z83C9DHC6 | 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 2212.06621#CGFD |
| 2Z84S3M7TE | 2Z84S3M7TE | statement | record (an 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#HX2P |
| 2Z8F3AD951 | 2Z8F3AD951 | 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.21009#EZSO |
| 2Z8FH7S6X0 | 2Z8FH7S6X0 | statement | record (an 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.01599#GQ8O |
| 2Z8THPPHFY | 2Z8THPPHFY | statement | record (an 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#MXHX |
| 2Z91PQPXV5 | 2Z91PQPXV5 | statement | record (an 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.36022#78R4 |
| 2Z9HPFCDR8 | 2Z9HPFCDR8 | 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.16491#ME47 |
| 2Z9JKWRFET | 2Z9JKWRFET | proof | open | open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#proof-4 |
| 2Z9Z4AECM9 | 2Z9Z4AECM9 | statement | record (an 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.08261#DH71 |
| 2ZA07GV1MA | 2ZA07GV1MA | statement | record (an 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.28594#QJ1O |
| 2ZABEARHP9 | 2ZABEARHP9 | statement | record (an 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#LX7M |
| 2ZBD4ZRM70 | 2ZBD4ZRM70 | statement | record (an 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.02961#BXY3 |
| 2ZBGDRCFNK | 2ZBGDRCFNK | statement | record (an 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#LT81 |
| 2ZBVC8F6DE | 2ZBVC8F6DE | statement | record (an 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.15099#02FN |
| 2ZBZDWFJ10 | 2ZBZDWFJ10 | statement | record (an 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.01073#3IM9 |
| 2ZC81RCG0V | 2ZC81RCG0V | statement | record (an 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.01783#QYEL |
| 2ZCMGKFBJF | 2ZCMGKFBJF | exercise | open | napkin tex/alg-geom/proj-var.tex#exercise-1 |
| 2ZCS4ST4GH | 2ZCS4ST4GH | statement | record (an 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.20956#S7A1 |
| 2ZD4J482SH | 2ZD4J482SH | statement | record (an 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.34289#4Z2X |
| 2ZDXPE6C4B | 2ZDXPE6C4B | statement | record (an 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.10581#OLCG |
| 2ZEWF1XSBW | 2ZEWF1XSBW | 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.07445#AGKS |
| 2ZEWHTG6AD | 2ZEWHTG6AD | statement | open | hott_book reals.tex#RD-inverse-apart-0 |
| 2ZFFHWK2H5 | 2ZFFHWK2H5 | statement | record (an 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.18744#2GOK |
| 2ZFX86HF7C | 2ZFX86HF7C | statement | record (an 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#Y0LG |
| 2ZGHN3KTGV | 2ZGHN3KTGV | statement | record (an 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.00798#CF82 |
| 2ZHG467KZW | 2ZHG467KZW | 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.31604#BG4T |
| 2ZHQKZ8HQD | 2ZHQKZ8HQD | statement | record (an 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.19707#RDAK |
| 2ZJ1383P29 | 2ZJ1383P29 | statement | record (an 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.30097#0M1R |
| 2ZJ8DPFBNC | 2ZJ8DPFBNC | statement | record (an 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.16241#YZ7H |
| 2ZJECD3DZK | 2ZJECD3DZK | statement | record (an 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.34852#WC0A |
| 2ZJSZY3MFA | 2ZJSZY3MFA | statement | record (an 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#CSBX |
| 2ZJTGVSAPR | 2ZJTGVSAPR | 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#48FQ |
| 2ZJW16C0YZ | 2ZJW16C0YZ | statement | record (an 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.15489#P1M5 |
| 2ZKDJWW261 | 2ZKDJWW261 | statement | record (an 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.18101#77PM |
| 2ZKP3YFPEC | 2ZKP3YFPEC | statement | record (an 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.35678#NE8J |
| 2ZKZKS4D4T | 2ZKZKS4D4T | statement | record (an 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.04252#SEG0 |
| 2ZNAJQDR98 | 2ZNAJQDR98 | exercise | open | napkin tex/complex-ana/quintic.tex#exercise-1 |
| 2ZP95EAABV | 2ZP95EAABV | statement | record (an 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.15169#TAHF |
| 2ZPNX9PE7E | 2ZPNX9PE7E | statement | record (an 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.07299#SFAJ |
| 2ZPRSEE8YP | 2ZPRSEE8YP | statement | record (an 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.06466#JR09 |
| 2ZQEMPXM90 | 2ZQEMPXM90 | statement | record (an 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.03555#5YGX |
| 2ZQHJX2T3Q | 2ZQHJX2T3Q | proof | open | open_logic content/set-theory/ordinals/basic.tex#proof-1 |
| 2ZRCY7JQJV | 2ZRCY7JQJV | statement | record (an 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.04809#CE5U |
| 2ZRER4SH05 | 2ZRER4SH05 | statement | record (an 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.31883#64ZY |
| 2ZSAB298EJ | 2ZSAB298EJ | statement | record (an 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#5U7Y |
| 2ZSG3KVHMG | 2ZSG3KVHMG | 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.03497#3IL1 |
| 2ZSJJ7DC06 | 2ZSJJ7DC06 | statement | record (an 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#E3OR |
| 2ZV2PXJC5Z | 2ZV2PXJC5Z | 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 1209.5343#H1FJ |
| 2ZV8F60866 | 2ZV8F60866 | statement | record (an 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.21260#O7FH |
| 2ZW2HA61H5 | 2ZW2HA61H5 | statement | record (an 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.30090#2XLS |
| 2ZWPHXCNF3 | 2ZWPHXCNF3 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-13 |
| 2ZXSNFHMEW | 2ZXSNFHMEW | statement | record (an 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#FGT5 |
| 2ZY1GDCAK8 | 2ZY1GDCAK8 | 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.10967#R0G5 |
| 2ZY2VBED91 | 2ZY2VBED91 | 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.00144#AS0V |
| 2ZY8T8YVVC | 2ZY8T8YVVC | statement | record (an 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#FHJI |
| 2ZYCH0F69V | 2ZYCH0F69V | statement | record (an 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.14318#WJWG |
| 2ZZ2V5WMR2 | 2ZZ2V5WMR2 | statement | record (an 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.18620#7VUL |
| 2ZZ3DZBTAY | 2ZZ3DZBTAY | statement | record (an 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.12683#JO4W |
| 2ZZ4GSH9A0 | 2ZZ4GSH9A0 | statement | record (an 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.01642#K7AG |
| 2ZZYA9V8E8 | 2ZZYA9V8E8 | statement | record (an 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.08672#4QC9 |
| 2π theorem | YRPVKSK0W3 | statement | open | mathlib_1000 Q4634017, Wikidata Q4634017, thousand_plus Q4634017, Wikipedia 2π theorem |
| 3 | SJDCF896R6 | statement | open | Wikidata Q201, MathWorld 3, ProofWiki 3 |
| 3-manifold | ZRXDWFD9GN | unknown | open | Wikidata Q526901, EoM Three-dimensional_manifold, nLab 3-manifold |
| 3-sphere | 2Y8VDQ7RGV | unknown | open | Wikidata Q2274197, MathWorld Glome, nLab 3-sphere |
| 3-term Pl\"ucker incidence relation | BMN48NDZG8 | statement | record (an 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.03612#487S |
| 30 | 9XN762YGKX | unknown | open | Wikidata Q42817, MathWorld 30 |
| 30-60-90 triangle | 77288AK5FV | unknown | open | Wikidata Q105332790, MathWorld 30-60-90Triangle |
| 3009P1S09Y | 3009P1S09Y | statement | record (an 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#P984 |
| 300JPDYCDB | 300JPDYCDB | statement | record (an 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.27484#GGAX |
| 3012J5E2M5 | 3012J5E2M5 | statement | open | hott_book induction.tex#thm-1 |
| 3015VWREZ2 | 3015VWREZ2 | statement | record (an 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.33124#65J0 |
| 3020H0JRZQ | 3020H0JRZQ | statement | record (an 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.09171#OYYQ |