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 27301–27400 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 9M36H1RRVA | 9M36H1RRVA | statement | record (an 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.20716#9YXW |
| 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 |
| 9MDJS2V24R | 9MDJS2V24R | 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#CZY7 |
| 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 |
| 9ME45S1671 | 9ME45S1671 | statement | record (an 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.23338#SC6E |
| 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 |
| 9MMJBCYEWS | 9MMJBCYEWS | statement | record (an 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#0Y6F |
| 9MMQHH4P5Y | 9MMQHH4P5Y | statement | record (an 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.21174#0WY7 |
| 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 |
| 9MR4KF3ZAP | 9MR4KF3ZAP | statement | record (an 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.20516#WVS5 |
| 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 |
| 9MSEFKDN2N | 9MSEFKDN2N | 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.28211#O0VN |
| 9MTF83WVDN | 9MTF83WVDN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.10460#8O4M |
| 9MTNZ5BEVH | 9MTNZ5BEVH | statement | record (an 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.12619#7TZM |
| 9MVWRJFM2E | 9MVWRJFM2E | statement | record (an 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.07471#73JJ |
| 9MW0KXX8HQ | 9MW0KXX8HQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.06433#W4HR |
| 9MW9F08M86 | 9MW9F08M86 | 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.31365#X3ZM |
| 9MWN19PXZR | 9MWN19PXZR | statement | record (an 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.01899#CQ62 |
| 9MWNMEN1FB | 9MWNMEN1FB | 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.08196#542S |
| 9MWW9FFTK5 | 9MWW9FFTK5 | 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.03814#MLC0 |
| 9MXPQVE45N | 9MXPQVE45N | statement | record (an 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.22657#5OMG |
| 9MXSQVJRD5 | 9MXSQVJRD5 | statement | record (an 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.04833#052X |
| 9MXVPC25SF | 9MXVPC25SF | statement | record (an 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.16931#JUVZ |
| 9MXX0KYKZ0 | 9MXX0KYKZ0 | statement | record (an 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#RKFQ |
| 9MY6V0DZVG | 9MY6V0DZVG | statement | record (an 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.09812#LBSU |
| 9MYFFVQYWF | 9MYFFVQYWF | statement | record (an 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.16311#M9DK |
| 9MYP4F6H91 | 9MYP4F6H91 | statement | record (an 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.16055#K8LS |
| 9MZATKV4EJ | 9MZATKV4EJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.04068#VSLK |
| 9MZB64Q1GF | 9MZB64Q1GF | statement | record (an 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.06541#N0HS |
| 9MZYK0MMB3 | 9MZYK0MMB3 | statement | record (an 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.00770#1HRP |
| 9N036HHRHV | 9N036HHRHV | statement | record (an 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#NAXZ |
| 9N0T1A5A9D | 9N0T1A5A9D | statement | record (an 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.23230#RUQD |
| 9N1AAA966B | 9N1AAA966B | statement | record (an 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.06458#YIB9 |
| 9N1V5X9QWK | 9N1V5X9QWK | exercise | open | lebl_ra ch-seq-ser.tex#exercise:convergentinitialvalues |
| 9N24TKCCMW | 9N24TKCCMW | 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 2308.05715#835C |
| 9N2ZMRFQ4R | 9N2ZMRFQ4R | statement | record (an 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.21540#UK9Q |