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 1201–1300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1535J6RJV9 | 1535J6RJV9 | statement | record (an 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.04876#W7UW |
| 15376ZDTFF | 15376ZDTFF | exercise | open | austin_ula src/exercises/exercises4-4.xml#exercise-2 |
| 1538WN6GSE | 1538WN6GSE | 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#FDML |
| 153DGW2FWX | 153DGW2FWX | exercise | open | lebl_scv scv.tex#exercise:autofpolydisc |
| 153Q9T9YGZ | 153Q9T9YGZ | statement | record (an 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.21476#ZMDK |
| 153RYWCXBQ | 153RYWCXBQ | statement | record (an 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#JWOT |
| 1541ESG7VW | 1541ESG7VW | statement | record (an 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#2WYV |
| 154HHT4Y1V | 154HHT4Y1V | statement | record (an 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#97Z5 |
| 154HKRA813 | 154HKRA813 | statement | record (an 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.31523#RK2Y |
| 1558F7ATJF | 1558F7ATJF | statement | open | hott_book induction.tex#thm:ML-identity-systems |
| 155A1A6SP7 | 155A1A6SP7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1503.05744#UEPY |
| 155ZWKJJRW | 155ZWKJJRW | example | open | napkin tex/homology/cohomology.tex#example-5 |
| 15653NTVY0 | 15653NTVY0 | 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.22040#ZHIH |
| 156TEY7BHX | 156TEY7BHX | statement | record (an 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#K20T |
| 156ZVKEVGC | 156ZVKEVGC | 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.38772#2R83 |
| 1574D0T187 | 1574D0T187 | statement | record (an 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.11409#M0HP |
| 15753A09N2 | 15753A09N2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.13548#Q1XS |
| 157GB9P3XH | 157GB9P3XH | statement | record (an 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.27524#U0EU |
| 158F12HA8S | 158F12HA8S | exercise | open | lebl_ra ch-contfunc.tex#exercise-68 |
| 158F6CYN64 | 158F6CYN64 | 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.16475#EOLT |
| 1591NS01QJ | 1591NS01QJ | statement | record (an 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.08885#11P5 |
| 15ARD7AG7T | 15ARD7AG7T | statement | record (an 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.16362#9517 |
| 15B2KT9SBZ | 15B2KT9SBZ | 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.26386#6EWV |
| 15B7APJ2BN | 15B7APJ2BN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.20001#WD98 |
| 15BCRD3H5R | 15BCRD3H5R | statement | record (an 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.05784#WTX1 |
| 15BET249HA | 15BET249HA | 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.20364#D1P8 |
| 15BZ3J9N5V | 15BZ3J9N5V | statement | record (an 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.26713#EAY9 |
| 15CQY4694C | 15CQY4694C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.01498#OVFH |
| 15CZ27AWK0 | 15CZ27AWK0 | statement | record (an 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#X2IR |
| 15D7X9TB0M | 15D7X9TB0M | statement | record (an 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#32N5 |
| 15D8E2PFY0 | 15D8E2PFY0 | 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 math/0406514#0HU5 |
| 15DJGMT5RD | 15DJGMT5RD | statement | record (an 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.01919#ID2Y |
| 15DM133VNT | 15DM133VNT | statement | record (an 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.25111#IAPV |
| 15DPJZ6378 | 15DPJZ6378 | 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.09294#TB1N |
| 15EMP0ZSNS | 15EMP0ZSNS | statement | record (an 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#HP51 |
| 15ESAYNAX2 | 15ESAYNAX2 | 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.18632#8DKJ |
| 15G0VE6BGV | 15G0VE6BGV | statement | record (an 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.24353#1FXR |
| 15GFW0K18R | 15GFW0K18R | statement | record (an 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#LB1I |
| 15GGHTYQEV | 15GGHTYQEV | statement | record (an 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.25915#ZQJZ |
| 15GS8A4PJ2 | 15GS8A4PJ2 | statement | record (an 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.01497#JHJW |
| 15GTFK9RRJ | 15GTFK9RRJ | exercise | open | austin_ula src/exercises/exercises3-1.xml#exercise-7 |
| 15GYQ7SADD | 15GYQ7SADD | 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#UOJ2 |
| 15HQTNP2CE | 15HQTNP2CE | statement | record (an 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.08193#1XN0 |
| 15HWEWSE7K | 15HWEWSE7K | 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 1003.2117#SBWI |
| 15HZ4N86NS | 15HZ4N86NS | statement | record (an 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.08426#JQ10 |
| 15J4AQPW8C | 15J4AQPW8C | statement | record (an 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.34845#4M9A |
| 15J9G73JFD | 15J9G73JFD | statement | record (an 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#Z2EV |
| 15JR80H1XD | 15JR80H1XD | statement | record (an 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.02766#0PHH |
| 15K9E64TKY | 15K9E64TKY | 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.05299#Y3MN |
| 15KK4YY94B | 15KK4YY94B | statement | record (an 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#1WV2 |
| 15M7RDS0T3 | 15M7RDS0T3 | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-64 |
| 15MCBJN3WN | 15MCBJN3WN | statement | record (an 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.33733#45OY |
| 15MWV6DYAB | 15MWV6DYAB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.05730#OCNO |
| 15MZCFRWFZ | 15MZCFRWFZ | definition | open | open_logic content/incompleteness/introduction/definitions.tex#defn-6 |
| 15NA3Z8TQ6 | 15NA3Z8TQ6 | statement | record (an 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#4DDW |
| 15NB75CYFW | 15NB75CYFW | 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.14060#0VC6 |
| 15P0DGFNXM | 15P0DGFNXM | statement | record (an 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#VO3T |
| 15P2BRN9PV | 15P2BRN9PV | 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.09133#M7IG |
| 15QKRXFNGN | 15QKRXFNGN | proof | open | hott_book setmath.tex#proof-4 |
| 15RA4WWN1A | 15RA4WWN1A | exercise | open | austin_ula src/exercises/exercises6-5.xml#exercise-3 |
| 15SDZDVN3V | 15SDZDVN3V | 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.30315#90YH |
| 15SJWZ33HG | 15SJWZ33HG | proof | open | open_logic content/normal-modal-logic/syntax-and-semantics/tautological-instances.tex#proof-2 |
| 15SKCPD3WF | 15SKCPD3WF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1311.6044#VN9T |
| 15SRVRC9ZZ | 15SRVRC9ZZ | statement | record (an 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.17066#EDOH |
| 15SS40XQR2 | 15SS40XQR2 | statement | record (an 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.17181#RHNC |
| 15SYN63EG2 | 15SYN63EG2 | statement | record (an 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.16631#ODR9 |
| 15T9FTDQYN | 15T9FTDQYN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.11507#UHA4 |
| 15TXHY20JX | 15TXHY20JX | statement | record (an 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.06747#6X88 |
| 15WK331MYH | 15WK331MYH | statement | record (an 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#ZB65 |
| 15WW9E6Q2X | 15WW9E6Q2X | statement | record (an 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.13063#EF6P |
| 15XH1M9BNF | 15XH1M9BNF | statement | record (an 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.10365#R4VU |
| 15Y1ECWEH9 | 15Y1ECWEH9 | statement | record (an 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.24569#CINL |
| 15Y1S7WRRZ | 15Y1S7WRRZ | 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 1002.0879#MKCT |
| 15Z2VGQV23 | 15Z2VGQV23 | exercise | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-11 |
| 15ZKERS9V0 | 15ZKERS9V0 | 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.26713#5UXH |
| 15ZZJTFYW7 | 15ZZJTFYW7 | 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 2305.10921#DX0F |
| 16 | VAEYN6MRXR | statement | open | Wikidata Q40254, ProofWiki 16 |
| 16-cell | 11H0F9SMXH | unknown | open | Wikidata Q2471444, MathWorld 16-Cell |
| 160CGE6SC0 | 160CGE6SC0 | statement | record (an 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.33941#BA1L |
| 160N1SXJQC | 160N1SXJQC | 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.19260#GGFL |
| 1618AZMH9F | 1618AZMH9F | 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.39293#NBQX |
| 161J2KQSSJ | 161J2KQSSJ | statement | record (an 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.18562#96X5 |
| 161YG391SE | 161YG391SE | statement | record (an 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.10937#35ZO |
| 1626HVM81X | 1626HVM81X | statement | record (an 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.20386#53F9 |
| 1629AGXWWQ | 1629AGXWWQ | statement | record (an 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.01958#ERER |
| 162KDETX9N | 162KDETX9N | statement | record (an 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#7S5T |
| 162KFGWKSM | 162KFGWKSM | statement | record (an 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.25915#UYSB |
| 162PP5ESNC | 162PP5ESNC | statement | record (an 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#FJRV |
| 162TG89PJ4 | 162TG89PJ4 | statement | record (an 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#FKXV |
| 163 | SW4QZDT0XP | unknown | open | Wikidata Q721026, MathWorld 163 |
| 163041W6M1 | 163041W6M1 | 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.20956#BI04 |
| 1639VWCJM3 | 1639VWCJM3 | statement | record (an 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.22082#6S6J |
| 163BN78Y4Z | 163BN78Y4Z | statement | record (an 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#SHJQ |
| 163KREWMVW | 163KREWMVW | statement | record (an 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#H0ZA |
| 1651RQTC7P | 1651RQTC7P | statement | record (an 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.31373#EOZX |
| 1652FFERPY | 1652FFERPY | 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.30262#SRFT |
| 16535AGSGW | 16535AGSGW | statement | record (an 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.29918#29Q0 |
| 165F0SEYBP | 165F0SEYBP | statement | record (an 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.12181#XV80 |
| 165NG183NS | 165NG183NS | statement | record (an 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#H5VM |
| 165TCZFVRK | 165TCZFVRK | statement | record (an 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#CYYY |