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 20201–20300 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 75XRGWN1YM | 75XRGWN1YM | statement | record (an 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.20153#FW70 |
| 75XTE4GQAC | 75XTE4GQAC | exercise | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#problem-3 |
| 75XVYMPJBH | 75XVYMPJBH | statement | record (an 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.25960#4KI1 |
| 760 (number) | VR5XW4DEF7 | unknown | open | Wikipedia 700 (number)#6GO5 |
| 76032YC97R | 76032YC97R | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-11 |
| 7609ZVS177 | 7609ZVS177 | statement | record (an 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#DZ7L |
| 761 (number) | X719QT8MBG | unknown | open | Wikipedia 700 (number)#P4BI |
| 761KY6PRM6 | 761KY6PRM6 | example | open | napkin tex/rep-theory/rep-alg.tex#example-5 |
| 762 (number) | NGMG21RJTF | unknown | open | Wikipedia 700 (number)#YQBF |
| 762G30XDH7 | 762G30XDH7 | 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.10930#R50I |
| 762SA82XDR | 762SA82XDR | 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 1705.04310#0PYE |
| 763 (number) | WA3H1A8THD | unknown | open | Wikipedia 700 (number)#KZO8 |
| 763F9Y9291 | 763F9Y9291 | statement | record (an 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.23544#NUU6 |
| 764 (number) | SJ24GH27YS | unknown | open | Wikipedia 700 (number)#NA1H |
| 7642CNYB1B | 7642CNYB1B | statement | record (an 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.23128#72NG |
| 764FFSJAQ0 | 764FFSJAQ0 | unknown | open | |
| 764GHCQP5P | 764GHCQP5P | statement | record (an 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.02935#I3O0 |
| 764VP1MHJW | 764VP1MHJW | example | open | lebl_ra ch-seq-funcs.tex#example-7 |
| 765 (number) | Z8Z0PTQ1PP | unknown | open | Wikipedia 700 (number)#QCI2 |
| 7650KD962J | 7650KD962J | statement | record (an 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.21507#RGRO |
| 766 (number) | 5YRE9WK6JS | unknown | open | Wikipedia 700 (number)#TNXO |
| 766BYPN3XS | 766BYPN3XS | definition | open | lebl_ra ch-vol1-intro.tex#defn-12 |
| 766NGHF2FV | 766NGHF2FV | statement | record (an 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.19882#LE5J |
| 766T3WE7BB | 766T3WE7BB | 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.34311#QT4U |
| 766XWY24E8 | 766XWY24E8 | statement | record (an 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.13817#SF8V |
| 767 (number) | 4S3AWAJ2XA | unknown | open | Wikipedia 700 (number)#AXJN |
| 767GYT2546 | 767GYT2546 | exercise | open | lebl_scv scv.tex#exercise-154 |
| 767JHKVMM2 | 767JHKVMM2 | 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.23871#XM74 |
| 767K8XBH2K | 767K8XBH2K | 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.15313#KLRA |
| 768 (number) | F3TSS10B58 | unknown | open | Wikipedia 700 (number)#USV9 |
| 768DXKKG7W | 768DXKKG7W | statement | record (an 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.30310#15ZC |
| 768TMP6SRD | 768TMP6SRD | 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#ODP0 |
| 768XDMWSB9 | 768XDMWSB9 | 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)) | |
| 769 (number) | 3FYYATHYD7 | unknown | open | Wikipedia 700 (number)#3AMS |
| 7695TA9QAS | 7695TA9QAS | definition | open | napkin tex/alg-geom/bezout.tex#definition-2 |
| 769K64F44D | 769K64F44D | statement | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prop:ext-formulas |
| 769VNZGJ02 | 769VNZGJ02 | 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 2507.13548#X92L |
| 76A6C02TC4 | 76A6C02TC4 | statement | record (an 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.04694#CMB1 |
| 76ADQM4VXA | 76ADQM4VXA | statement | record (an 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#LWDK |
| 76AE4N75QB | 76AE4N75QB | statement | record (an 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#23HX |
| 76AQB4J25P | 76AQB4J25P | statement | record (an 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.05146#PRC0 |
| 76B0FCXPHR | 76B0FCXPHR | statement | record (an 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.28323#8KZF |
| 76BHGENCV8 | 76BHGENCV8 | statement | record (an 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.11007#Z3Q5 |
| 76BJ185V4D | 76BJ185V4D | 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#O0FZ |
| 76BY6NFGWG | 76BY6NFGWG | statement | record (an 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#6NXB |
| 76CVE63PPE | 76CVE63PPE | statement | record (an 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#PIH8 |
| 76DMBHKEHZ | 76DMBHKEHZ | exercise | open | lebl_scv scv.tex#exercise-165 |
| 76ECR6SCDM | 76ECR6SCDM | statement | record (an 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.18016#HAPV |
| 76EDXK6215 | 76EDXK6215 | statement | record (an 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.03208#FWM3 |
| 76EZ5VHRR0 | 76EZ5VHRR0 | statement | record (an 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#NKZQ |
| 76FZBSNG9K | 76FZBSNG9K | problem | open | Wikipedia Yang–Mills theory#1C3M |
| 76G5Q2YS2V | 76G5Q2YS2V | statement | record (an 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.37265#YCRC |
| 76GC5AMFBX | 76GC5AMFBX | statement | open | open_logic content/computability/recursive-functions/examples.tex#prop-3 |
| 76GR1SXCZJ | 76GR1SXCZJ | statement | record (an 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.14267#W7US |
| 76HCCNSYC7 | 76HCCNSYC7 | statement | record (an 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.10796#CJ2Q |
| 76HG59GAKM | 76HG59GAKM | 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.20190#98IA |
| 76HR4JG2MB | 76HR4JG2MB | statement | open | hott_book hlevels.tex#thm:hleveln-of-hlevelSn |
| 76HW51206J | 76HW51206J | statement | open | lebl_ra ch-seq-funcs.tex#prop-1 |
| 76J0FXQNG7 | 76J0FXQNG7 | statement | record (an 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#JKCH |
| 76K0YF6QYS | 76K0YF6QYS | statement | record (an 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#MCLP |
| 76K5WANWT1 | 76K5WANWT1 | statement | record (an 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.14692#2999 |
| 76K8JNQ9RT | 76K8JNQ9RT | statement | record (an 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.15444#BHUK |
| 76KEX5MXHE | 76KEX5MXHE | example | open | lebl_ra ch-approximate.tex#example-2 |
| 76KVXZS85B | 76KVXZS85B | statement | record (an 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.02901#8WOI |
| 76MQDVVNQW | 76MQDVVNQW | statement | record (an 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.28507#UTGI |
| 76N9Y84XWN | 76N9Y84XWN | statement | record (an 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.18803#GZ24 |
| 76NBBNM3W6 | 76NBBNM3W6 | statement | record (an 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.20097#KURI |
| 76P9A02WG1 | 76P9A02WG1 | statement | record (an 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.36181#X3L3 |
| 76PEQQDQEY | 76PEQQDQEY | statement | record (an 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#SPYW |
| 76PRHSN83J | 76PRHSN83J | 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.25289#UN7L |
| 76QPYV93XZ | 76QPYV93XZ | proof | open | lebl_ra ch-approximate.tex#proof-8 |
| 76QX2Z1FPZ | 76QX2Z1FPZ | statement | record (an 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.21892#T592 |
| 76RFVBZ49N | 76RFVBZ49N | statement | record (an 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.15352#NOY7 |
| 76S3TJ0FHX | 76S3TJ0FHX | statement | record (an 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#FPO0 |
| 76T5G9M12T | 76T5G9M12T | statement | record (an 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#I5FH |
| 76V3CEEA8P | 76V3CEEA8P | statement | record (an 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.14044#0ZX7 |
| 76V6E67W8K | 76V6E67W8K | statement | record (an 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#QXO9 |
| 76VM2SV3NZ | 76VM2SV3NZ | example | open | active_calculus source/sec-6-2-volume.xml#Ex-6-2-Washers |
| 76VS2QCBKQ | 76VS2QCBKQ | statement | record (an 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.10828#2YNR |
| 76W4RHA6ZM | 76W4RHA6ZM | exercise | open | lebl_scv scv.tex#exercise-38 |
| 76WZZ469YZ | 76WZZ469YZ | statement | record (an 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.24593#ER60 |
| 76X0MW4M48 | 76X0MW4M48 | statement | record (an 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.19251#4IGV |
| 76X4R6R7E2 | 76X4R6R7E2 | statement | record (an 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.35460#067L |
| 76X4ZHJD8V | 76X4ZHJD8V | statement | record (an 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.02166#0N0I |
| 76XHK93H3K | 76XHK93H3K | 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 2110.08714#5E0H |
| 76Y3CFJCXS | 76Y3CFJCXS | statement | record (an 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.16746#U65X |
| 76YC18BNSV | 76YC18BNSV | statement | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prop:formed |
| 76YJ43H4VM | 76YJ43H4VM | statement | record (an 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#SCI6 |
| 76YK5S0CCN | 76YK5S0CCN | statement | record (an 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.35605#BP30 |
| 76Z6PBZ3P0 | 76Z6PBZ3P0 | statement | record (an 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.05066#PRC7 |
| 76ZC0XTCVC | 76ZC0XTCVC | statement | record (an 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.17240#03K1 |
| 76ZHYBNJYT | 76ZHYBNJYT | statement | record (an 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.32977#RPGT |
| 76ZMH6BZ0V | 76ZMH6BZ0V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.16022#8838 |
| 77 | 9QZ7BBSE47 | statement | open | Wikidata Q713167, ProofWiki 77 |
| 770 (number) | R36ZA06WY8 | unknown | open | Wikipedia 700 (number)#DM3Z |
| 771 (number) | 53CY4BAZEV | unknown | open | Wikipedia 700 (number)#45F2 |
| 771SC5Z2DR | 771SC5Z2DR | statement | record (an 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#Q50E |
| 772 (number) | QAA5Z3JF4G | unknown | open | Wikipedia 700 (number)#A79P |
| 772B0ZM4DP | 772B0ZM4DP | 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.29022#VK1X |
| 772V9BHAZ3 | 772V9BHAZ3 | exercise | open | lebl_scv scv.tex#exercise-179 |