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 18001–18100 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 797T2M455J | 797T2M455J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.13841#TFL0 |
| 798BHBFHGG | 798BHBFHGG | statement | record (an 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#8VXG |
| 798F2ZAKMQ | 798F2ZAKMQ | statement | record (an 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.17897#UO2U |
| 798XJSKPMR | 798XJSKPMR | 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.39317#8IV8 |
| 7999WHCSFN | 7999WHCSFN | exercise | open | napkin tex/set-theory/CH.tex#exercise-1 |
| 799F3AHF9M | 799F3AHF9M | statement | record (an 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.05048#B45Y |
| 799QT0526K | 799QT0526K | statement | record (an 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.25854#3JNA |
| 79APC5Y78E | 79APC5Y78E | definition | open | open_logic content/lambda-calculus/lambda-definability/truth-values.tex#defn-1 |
| 79BT2N253H | 79BT2N253H | statement | record (an 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.31907#B6T9 |
| 79CTGH2WH2 | 79CTGH2WH2 | statement | record (an 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.07927#23Y8 |
| 79D9M7A78B | 79D9M7A78B | statement | record (an 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#BN4R |
| 79DVW9ZBEC | 79DVW9ZBEC | statement | record (an 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.35102#JUL4 |
| 79DX1KNQEZ | 79DX1KNQEZ | 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.29188#I9RZ |
| 79GBFDM58M | 79GBFDM58M | statement | record (an 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.03461#5ZZE |
| 79GQJ43B4F | 79GQJ43B4F | statement | record (an 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.11834#G08D |
| 79GSANAZXR | 79GSANAZXR | 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.28203#K3U5 |
| 79HDJ52JR8 | 79HDJ52JR8 | proof | open | lebl_ra ch-multivar-int.tex#proof-14 |
| 79HQNTEXDQ | 79HQNTEXDQ | 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.25111#U6P7 |
| 79HQXYRGBZ | 79HQXYRGBZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.4141#X7EP |
| 79HT6QRP9G | 79HT6QRP9G | statement | record (an 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.40191#VTOH |
| 79JEYXNJJT | 79JEYXNJJT | statement | record (an 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#E4A1 |
| 79JNNSAAN2 | 79JNNSAAN2 | statement | record (an 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.05986#4P78 |
| 79K8F7WMH5 | 79K8F7WMH5 | statement | record (an 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.06755#1TQI |
| 79KJTP4CCS | 79KJTP4CCS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2010.14428#FN1K |
| 79MM9F2KMB | 79MM9F2KMB | statement | open | open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#prop:weak-G3c-adm |
| 79MVEPE0R6 | 79MVEPE0R6 | statement | record (an 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#JH2F |
| 79N8E4NPP8 | 79N8E4NPP8 | example | open | applied_combinatorics source/s_strings_bin-coeff.ptx#example-1 |
| 79P5H51KHQ | 79P5H51KHQ | 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.40054#TB6R |
| 79PA80D0J3 | 79PA80D0J3 | 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 2207.11097#SV3H |
| 79PDQZCFXZ | 79PDQZCFXZ | 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.09596#XZ26 |
| 79Q1HK1G81 | 79Q1HK1G81 | statement | record (an 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.21444#Z3LA |
| 79Q9GMDVCF | 79Q9GMDVCF | statement | open | open_logic content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex#thm:sol-undecidable |
| 79QAX57H3B | 79QAX57H3B | statement | record (an 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#9CWV |
| 79QBR6Z8N6 | 79QBR6Z8N6 | statement | record (an 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.10077#ZILO |
| 79QGG0DFF2 | 79QGG0DFF2 | statement | record (an 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.00337#ZV2N |
| 79QKCR5SFP | 79QKCR5SFP | statement | record (an 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.12009#13E5 |
| 79R1QRA7BZ | 79R1QRA7BZ | statement | record (an 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.21444#6MH2 |
| 79RKNE19PM | 79RKNE19PM | statement | record (an 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.34856#SPUN |
| 79RXM3C03H | 79RXM3C03H | statement | record (an 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#LTA4 |
| 79SJ920X83 | 79SJ920X83 | statement | record (an 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.14742#9AXV |
| 79SNWE479S | 79SNWE479S | statement | record (an 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.04330#Z06W |
| 79T6YTEZYZ | 79T6YTEZYZ | 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.00135#K8N9 |
| 79TBVCEPMB | 79TBVCEPMB | statement | record (an 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.00775#AX5Z |
| 79WH83P0D5 | 79WH83P0D5 | statement | record (an 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.05391#G48C |
| 79WN3QDCMF | 79WN3QDCMF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.11969#0TH8 |
| 79WZCGK989 | 79WZCGK989 | 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.26701#X9RM |
| 79Y8KPBNFY | 79Y8KPBNFY | 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.35209#TNKC |
| 79YH0A2Z54 | 79YH0A2Z54 | statement | record (an 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.17135#A0O7 |
| 79YZ67DWMV | 79YZ67DWMV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2504.02065#TOC7 |
| 7A015TC7AG | 7A015TC7AG | statement | record (an 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.28141#4ZQ4 |
| 7A0BXHV0T5 | 7A0BXHV0T5 | statement | record (an 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.31278#QNCV |
| 7A0EC7JVGT | 7A0EC7JVGT | 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.11043#2OJH |
| 7A0HERPV7D | 7A0HERPV7D | 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.05179#VEGW |
| 7A0WCCSGXA | 7A0WCCSGXA | statement | record (an 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.30519#ARKC |
| 7A1C4PA71Z | 7A1C4PA71Z | definition | open | napkin tex/measure/large-laws.tex#definition-2 |
| 7A1RVHCF2V | 7A1RVHCF2V | statement | open | lebl_ra ch-approximate.tex#prop-8 |
| 7A1ZAW7E6F | 7A1ZAW7E6F | exercise | open | lebl_diffyqs ch-eigenvalue-probs.tex#exercise-10 |
| 7A22MPZ2D8 | 7A22MPZ2D8 | 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.25801#FOSY |
| 7A2DCZ2M24 | 7A2DCZ2M24 | statement | record (an 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.20257#TINT |
| 7A2H6H1BPW | 7A2H6H1BPW | statement | record (an 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.36186#XMQH |
| 7A3942797A | 7A3942797A | 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.18329#6WGJ |
| 7A3A6ZKR0E | 7A3A6ZKR0E | 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.31883#HH5B |
| 7A4FQCQ5NQ | 7A4FQCQ5NQ | statement | record (an 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.11056#3HE3 |
| 7A51A56EAP | 7A51A56EAP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1909.03896#NGQN |
| 7A5AAW3Z2V | 7A5AAW3Z2V | statement | record (an 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.08682#HCVX |
| 7A5F75TX50 | 7A5F75TX50 | statement | open | open_logic content/propositional-logic/syntax-and-semantics/soundness.tex#cor-1 |
| 7A5HF6MT06 | 7A5HF6MT06 | statement | record (an 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.31458#W8RS |
| 7A5JJGS3G0 | 7A5JJGS3G0 | statement | open | napkin tex/alg-geom/mor-scheme.tex#proposition-1 |
| 7A5PQ8X2P7 | 7A5PQ8X2P7 | 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#D7U9 |
| 7A5RE7MRX7 | 7A5RE7MRX7 | statement | record (an 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.2160#Z4GU |
| 7A5RX38HAK | 7A5RX38HAK | statement | record (an 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.19854#YLYG |
| 7A5VFZ913D | 7A5VFZ913D | statement | record (an 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.11997#5EK5 |
| 7A6CJDQPC1 | 7A6CJDQPC1 | 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.28780#7UW4 |
| 7A6EP4WYMX | 7A6EP4WYMX | statement | record (an 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.28374#A6WG |
| 7A6F3WFV66 | 7A6F3WFV66 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.08413#9DLD |
| 7A73MFPEG3 | 7A73MFPEG3 | 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.11604#XA35 |
| 7A7546H1H0 | 7A7546H1H0 | statement | record (an 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#JBE5 |
| 7A7965F7C3 | 7A7965F7C3 | statement | record (an 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.16886#5U3N |
| 7A7CNV79ZJ | 7A7CNV79ZJ | 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.37124#ZYT3 |
| 7A7FSYDTDC | 7A7FSYDTDC | statement | record (an 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.13691#TO7J |
| 7A7GHCND2Z | 7A7GHCND2Z | statement | record (an 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.19300#0BXW |
| 7A7NMW8K7F | 7A7NMW8K7F | statement | record (an 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.11905#1CN6 |
| 7A80PQ9DXT | 7A80PQ9DXT | statement | record (an 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.16941#72MB |
| 7A84309SD9 | 7A84309SD9 | statement | record (an 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.22288#FL0A |
| 7A8HEJGD51 | 7A8HEJGD51 | statement | record (an 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.31861#SRYE |
| 7A8VQCZ6W4 | 7A8VQCZ6W4 | statement | record (an 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.05391#PCNU |
| 7AAJ3XV6Z3 | 7AAJ3XV6Z3 | statement | record (an 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.01694#XJH0 |
| 7AB0GGDJT0 | 7AB0GGDJT0 | 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 1006.3331#WHK8 |
| 7AB8ECV5DC | 7AB8ECV5DC | statement | record (an 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.19453#9ULP |
| 7ABP8KHMSF | 7ABP8KHMSF | 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 1907.01440#AFFB |
| 7AC1B7D3A1 | 7AC1B7D3A1 | statement | record (an 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.03672#KRU6 |
| 7ACN5SDNH6 | 7ACN5SDNH6 | statement | record (an 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.20663#RXXI |
| 7AD6Y8BW57 | 7AD6Y8BW57 | exercise | open | hott_book basics.tex#ex:equiv-concat |
| 7ADFTKHXA3 | 7ADFTKHXA3 | statement | record (an 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.25703#2IXF |
| 7ADHTREEJ1 | 7ADHTREEJ1 | statement | record (an 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.32599#004G |
| 7ADJJXB5X4 | 7ADJJXB5X4 | 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.28552#AMTT |
| 7ADN07N6Z2 | 7ADN07N6Z2 | example | open | napkin tex/quantum/circuits.tex#example-2 |
| 7ADSEVB25W | 7ADSEVB25W | statement | record (an 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.14455#PD8V |
| 7ADYVXWDR5 | 7ADYVXWDR5 | statement | record (an 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.08149#LQOQ |
| 7AF2NHT9AT | 7AF2NHT9AT | statement | record (an 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.33300#7RPV |