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 17701–17800 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 75HD97B153 | 75HD97B153 | statement | record (an 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#TQWS |
| 75JMDZJ6P3 | 75JMDZJ6P3 | statement | record (an 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.40290#HDRZ |
| 75JMZ9GRFN | 75JMZ9GRFN | statement | record (an 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.10559#Z76S |
| 75K2X1PQ6R | 75K2X1PQ6R | 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.20558#WAUX |
| 75KR27VHX0 | 75KR27VHX0 | 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 2108.10246#RRH2 |
| 75M2F42AZK | 75M2F42AZK | statement | record (an 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.40282#ANDZ |
| 75NZX4J8HM | 75NZX4J8HM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.02848#PCJC |
| 75P4D776AK | 75P4D776AK | statement | record (an 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#KPJL |
| 75PCYMF48H | 75PCYMF48H | statement | record (an 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.31242#A9JT |
| 75PPTSX68B | 75PPTSX68B | statement | record (an 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.27125#8U84 |
| 75PYN8ZCE8 | 75PYN8ZCE8 | statement | record (an 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.11545#WZMT |
| 75QDGX0MW6 | 75QDGX0MW6 | proof | open | open_logic content/normal-modal-logic/tableaux/soundness.tex#proof-1 |
| 75QKC1XPPM | 75QKC1XPPM | statement | record (an 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.26477#G9RP |
| 75QTZY1SVN | 75QTZY1SVN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03423#IJVK |
| 75R7VKNTF8 | 75R7VKNTF8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#ZFDI, arXiv 2609.36300#N0HY |
| 75RV4XH16C | 75RV4XH16C | statement | record (an 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.12716#0XGL |
| 75RVMNC08V | 75RVMNC08V | statement | record (an 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#WWJ2 |
| 75S7BDWS4P | 75S7BDWS4P | statement | record (an 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#H4I8 |
| 75SJWJCER6 | 75SJWJCER6 | statement | record (an 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#GBRP |
| 75SV9SNYAQ | 75SV9SNYAQ | statement | record (an 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.10461#X40C |
| 75SVSC2TF4 | 75SVSC2TF4 | statement | record (an 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.12295#SHIO |
| 75T1QCXZPN | 75T1QCXZPN | 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.17204#SLGH |
| 75TA9R73BX | 75TA9R73BX | statement | record (an 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.12736#0MDG |
| 75VDN06QA7 | 75VDN06QA7 | 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.27800#LOOA |
| 75VKBJ1PPP | 75VKBJ1PPP | statement | record (an 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.20050#Z4C9 |
| 75VQ8DAH9B | 75VQ8DAH9B | 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 2609.25168#REST |
| 75W5PV6A81 | 75W5PV6A81 | 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.18346#C0S1 |
| 75W8ZVDC0C | 75W8ZVDC0C | statement | record (an 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.19416#QRWM |
| 75WEKJ6DDT | 75WEKJ6DDT | statement | record (an 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.32903#1WSX |
| 75WRDZM4KF | 75WRDZM4KF | statement | record (an 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.37425#Z9SX |
| 75WTJCVW3G | 75WTJCVW3G | statement | record (an 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#AGF6 |
| 75WZJMCDA3 | 75WZJMCDA3 | statement | record (an 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#PFWJ |
| 75XFWM9202 | 75XFWM9202 | 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.17565#5EZB |
| 75XQDAA4E3 | 75XQDAA4E3 | statement | record (an 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.13884#IFXL |
| 75XQKHFCPC | 75XQKHFCPC | 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 2508.21045#P73E |
| 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 |
| 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 |
| 761KY6PRM6 | 761KY6PRM6 | example | open | napkin tex/rep-theory/rep-alg.tex#example-5 |
| 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 |
| 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 |
| 766BYPN3XS | 766BYPN3XS | definition | open | lebl_ra ch-vol1-intro.tex#defn-12 |
| 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 |
| 767GYT2546 | 767GYT2546 | exercise | open | lebl_scv scv.tex#exercise-154 |
| 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 |
| 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)) | |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |