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 24201–24300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9KMB1P037Y | 9KMB1P037Y | statement | record (an 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.17798#F2DY |
| 9KN6GWQX3V | 9KN6GWQX3V | statement | record (an 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#F5G1 |
| 9KN7WSYVX4 | 9KN7WSYVX4 | statement | record (an 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.10377#EFJS |
| 9KNV5DC98D | 9KNV5DC98D | statement | record (an 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.17045#97MN |
| 9KPNP8GXNV | 9KPNP8GXNV | statement | record (an 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.03358#Q4HY |
| 9KQKG5C83D | 9KQKG5C83D | statement | record (an 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.11395#5WWP |
| 9KR74VS7VF | 9KR74VS7VF | 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.12484#ID5T |
| 9KS531EGCR | 9KS531EGCR | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-7 |
| 9KSJHP3Z5E | 9KSJHP3Z5E | statement | record (an 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.13392#TFIR |
| 9KSYYRDBQ1 | 9KSYYRDBQ1 | 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.07608#Q2ZK |
| 9KT1VABESD | 9KT1VABESD | 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.16554#ZX9X |
| 9KT8G9KQ5C | 9KT8G9KQ5C | proof | open | hott_book basics.tex#proof-19 |
| 9KTCAE7ET7 | 9KTCAE7ET7 | statement | record (an 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.28454#TGAR |
| 9KTMANAS6G | 9KTMANAS6G | definition | open | open_logic content/set-theory/spine/zf.tex#defn-1 |
| 9KTP7T585C | 9KTP7T585C | statement | record (an 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.27823#1T9G |
| 9KVQHJ1Q0Z | 9KVQHJ1Q0Z | statement | record (an 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.27241#UH2P |
| 9KXBJANQBE | 9KXBJANQBE | 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.35683#IQS8 |
| 9KXPPG39HV | 9KXPPG39HV | statement | record (an 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.21093#8222 |
| 9KXR96XBK3 | 9KXR96XBK3 | statement | record (an 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#4QMS |
| 9KXSMYPYQ6 | 9KXSMYPYQ6 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-17 |
| 9KXT0DHGNV | 9KXT0DHGNV | statement | open | open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-4 |
| 9KY8R3F9W2 | 9KY8R3F9W2 | statement | record (an 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.31615#7J78 |
| 9KYNX8GWZA | 9KYNX8GWZA | statement | record (an 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.31445#MHQ4 |
| 9KZGR9YVW1 | 9KZGR9YVW1 | statement | record (an 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#3DW0 |
| 9M00MMA9KS | 9M00MMA9KS | 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.24795#59SL |
| 9M0ATBB8VV | 9M0ATBB8VV | statement | record (an 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.24545#I1UU |
| 9M0F3WCW0N | 9M0F3WCW0N | statement | record (an 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#4MM2 |
| 9M0VZ18K2R | 9M0VZ18K2R | statement | record (an 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.16225#1WV3 |
| 9M0XMH8C9N | 9M0XMH8C9N | proof | open | open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#proof-1 |
| 9M2GMCJ7E9 | 9M2GMCJ7E9 | proof | open | levin_dmoi ptx/exercises/seq-induction.ptx#proof-9 |
| 9M2JT3J8TA | 9M2JT3J8TA | exercise | open | napkin tex/linalg/dets.tex#problem-8 |
| 9M2MYGTM36 | 9M2MYGTM36 | exercise | open | lebl_ra ch-approximate.tex#exercise-66 |
| 9M2Q02HZA7 | 9M2Q02HZA7 | statement | record (an 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.09672#J1V1 |
| 9M2Q06FBAW | 9M2Q06FBAW | statement | record (an 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.13401#1KCB |
| 9M31XM3V5S | 9M31XM3V5S | 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 2502.08738#S3KT |
| 9M347V0V36 | 9M347V0V36 | 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.21355#8SOY |
| 9M35AT8T6B | 9M35AT8T6B | statement | record (an 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.1817#JICN |
| 9M3D48WDTW | 9M3D48WDTW | statement | record (an 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.29425#OYAA |
| 9M3WHZRKYN | 9M3WHZRKYN | proof | open | open_logic content/normal-modal-logic/axioms-systems/consistency.tex#proof-1 |
| 9M3XNVNDW0 | 9M3XNVNDW0 | 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.25539#Q2NT |
| 9M4E11KM4Y | 9M4E11KM4Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.05005#X72J |
| 9M5TNW2XZF | 9M5TNW2XZF | statement | record (an 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#Y2EX |
| 9M66QFT87Z | 9M66QFT87Z | statement | record (an 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.38243#UT4E |
| 9M68R5G00F | 9M68R5G00F | statement | record (an 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.07598#O8R2 |
| 9M6DJSQW2M | 9M6DJSQW2M | statement | record (an 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.21921#8MN4 |
| 9M6VCEWRC4 | 9M6VCEWRC4 | statement | record (an 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.28297#U5B3 |
| 9M6WEJRV2M | 9M6WEJRV2M | statement | record (an 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.02944#I0BA |
| 9M730JRF3H | 9M730JRF3H | statement | record (an 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.37562#O2LG |
| 9M7NA513GR | 9M7NA513GR | 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 2505.04593#SSQ0 |
| 9M7Y8186RP | 9M7Y8186RP | statement | record (an 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.09717#BH2P |
| 9M852G65KS | 9M852G65KS | 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 0810.0962#SSIB |
| 9M8C64BDWJ | 9M8C64BDWJ | statement | record (an 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.10093#V6FY |
| 9MA27BX535 | 9MA27BX535 | 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 2303.09207#NV90 |
| 9MAHTJTDK5 | 9MAHTJTDK5 | 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 1002.0879#E7ON |
| 9MB6CEARWK | 9MB6CEARWK | statement | open | open_logic content/computability/computability-theory/halting-problem.tex#thm:halting-problem |
| 9MBDAZS9H5 | 9MBDAZS9H5 | statement | record (an 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.15013#VRSO |
| 9MBTQ05G8H | 9MBTQ05G8H | 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.36423#T6LH |
| 9MC2H5MMNG | 9MC2H5MMNG | statement | record (an 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.20466#7NRW |
| 9MC60ZM7EH | 9MC60ZM7EH | statement | record (an 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.12633#CXMA |
| 9MC95YDXYX | 9MC95YDXYX | example | open | open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#ex-2 |
| 9MC9WBGV5F | 9MC9WBGV5F | statement | record (an 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#WZLF |
| 9MCM223M1C | 9MCM223M1C | exercise | open | lebl_ra ch-metric.tex#exercise-11 |
| 9MCTW9XM5D | 9MCTW9XM5D | statement | record (an 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.09645#BBP7 |
| 9MCY9EHVSK | 9MCY9EHVSK | statement | open | napkin tex/alg-geom/bezout.tex#theorem-2 |
| 9MD72TSC6G | 9MD72TSC6G | statement | record (an 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.27241#7IQG |
| 9MDHWJ5668 | 9MDHWJ5668 | statement | record (an 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.33697#S308 |
| 9ME18KR3NV | 9ME18KR3NV | statement | record (an 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#J64R |
| 9MFAHT4PCZ | 9MFAHT4PCZ | statement | record (an 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#PZVM |
| 9MFJH7J0GT | 9MFJH7J0GT | statement | record (an 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.29679#9ZYV |
| 9MFTPPRSS2 | 9MFTPPRSS2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.05529#PG9U |
| 9MG0W9MQS4 | 9MG0W9MQS4 | statement | record (an 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.13981#6CFP |
| 9MG78VBF9G | 9MG78VBF9G | 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.37893#R5PV |
| 9MG9S762XD | 9MG9S762XD | statement | record (an 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.02983#MGXD |
| 9MGPQ4XV0T | 9MGPQ4XV0T | statement | record (an 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#P8PZ |
| 9MGWVNTF45 | 9MGWVNTF45 | statement | record (an 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#2PH8 |
| 9MH2ED2Q57 | 9MH2ED2Q57 | statement | record (an 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.17737#ZKJR |
| 9MH937FRZC | 9MH937FRZC | statement | record (an 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.17541#09QR |
| 9MHGDC1XQK | 9MHGDC1XQK | statement | record (an 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.16563#VW0G |
| 9MHRFE2AMW | 9MHRFE2AMW | statement | record (an 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#BMUC |
| 9MHTZP1DKJ | 9MHTZP1DKJ | 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 2410.10337#MEWR |
| 9MHW2TX0Y5 | 9MHW2TX0Y5 | statement | record (an 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#XFSH |
| 9MHWGCT35C | 9MHWGCT35C | statement | record (an 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.35183#0OCR |
| 9MJA12028N | 9MJA12028N | 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.34458#2OK9 |
| 9MJG2R27MN | 9MJG2R27MN | statement | record (an 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.26357#3N6B |
| 9MJHDGWA79 | 9MJHDGWA79 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#CFWD |
| 9MJWC0TD2V | 9MJWC0TD2V | statement | record (an 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.35287#P7YC |
| 9MK81SCTSB | 9MK81SCTSB | 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.21181#W9BH |
| 9MK8CKC5WA | 9MK8CKC5WA | 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 2505.04593#BS75 |
| 9MKQ3H422Q | 9MKQ3H422Q | statement | record (an 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/9602216#I3N8 |
| 9MMAEX2QKC | 9MMAEX2QKC | statement | record (an 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#QM6Z |
| 9MMAQ5RFP6 | 9MMAQ5RFP6 | statement | record (an 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#ZVAV |
| 9MMRNFBR57 | 9MMRNFBR57 | statement | record (an 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.39254#Y46H |
| 9MNFQVQ7GZ | 9MNFQVQ7GZ | proof | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-2 |
| 9MP2JX5K44 | 9MP2JX5K44 | 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.01924#QRIL |
| 9MPQR2T7H4 | 9MPQR2T7H4 | 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.37520#Y245 |
| 9MPS8AQ6J0 | 9MPS8AQ6J0 | statement | record (an 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.26471#06US |
| 9MQP9THV7X | 9MQP9THV7X | 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.06556#BE0G |
| 9MQQH9TECD | 9MQQH9TECD | 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.01354#024J |
| 9MRD76MAS2 | 9MRD76MAS2 | 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.21358#YK44 |
| 9MS2K4WP43 | 9MS2K4WP43 | proof | open | open_logic content/turing-machines/undecidability/verification.tex#proof-4 |