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 8101–8200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3N12VQ8G75 | 3N12VQ8G75 | statement | record (an 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.37103#HLHL |
| 3N1CN80G5A | 3N1CN80G5A | exercise | open | napkin tex/set-theory/ordinal.tex#ques-3 |
| 3N1CY03EH3 | 3N1CY03EH3 | statement | record (an 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.13953#PV5W |
| 3N24JWT0DD | 3N24JWT0DD | statement | record (an 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.30303#6URJ |
| 3N28TR54GX | 3N28TR54GX | statement | record (an 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#XD3D |
| 3N2WHK5ECZ | 3N2WHK5ECZ | statement | record (an 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.26496#A4D7 |
| 3N37FN2Y2Z | 3N37FN2Y2Z | statement | record (an 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#TI8G |
| 3N4BQN5ZCD | 3N4BQN5ZCD | statement | record (an 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.28185#XM8Y |
| 3N5D9GSVV7 | 3N5D9GSVV7 | 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#L5QX |
| 3N5FEKQTQ5 | 3N5FEKQTQ5 | 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.06806#VX69 |
| 3N5GCGP961 | 3N5GCGP961 | statement | record (an 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#G5MJ |
| 3N5PF9XVNX | 3N5PF9XVNX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1606.05058#9FO4 |
| 3N5YTXN84G | 3N5YTXN84G | 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.11021#695Q |
| 3N6118ZA05 | 3N6118ZA05 | statement | record (an 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.40207#FEJC |
| 3N62657PSF | 3N62657PSF | 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.13213#76LW |
| 3N638QKD2Q | 3N638QKD2Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14214#8DLQ |
| 3N828DB7C1 | 3N828DB7C1 | statement | record (an 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.40156#SXUH |
| 3N87AKBWVY | 3N87AKBWVY | statement | record (an 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.08424#IY0Q |
| 3N89PCRZBD | 3N89PCRZBD | statement | open | applied_combinatorics source/s_recurrence_rigorous.ptx#lem_rr |
| 3N96SQA98P | 3N96SQA98P | statement | record (an 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.14727#ZRJB |
| 3N9CPWP7TN | 3N9CPWP7TN | statement | record (an 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.16731#WX6E |
| 3N9Z62EFNG | 3N9Z62EFNG | 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.36412#URH3 |
| 3NA53AY24N | 3NA53AY24N | statement | record (an 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.18017#11C6 |
| 3NA829X2QG | 3NA829X2QG | statement | open | open_logic content/model-theory/basics/partial-iso.tex#thm:b-n-f |
| 3NAHFTQ972 | 3NAHFTQ972 | statement | record (an 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.08839#M0GV |
| 3NAKF68SSY | 3NAKF68SSY | statement | record (an 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.11869#91ZI |
| 3NARDM6FRZ | 3NARDM6FRZ | statement | open | open_logic content/lambda-calculus/introduction/church-rosser.tex#cor-1 |
| 3NAVNQC4T3 | 3NAVNQC4T3 | statement | record (an 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.13658#60VR |
| 3NB4HNF2S0 | 3NB4HNF2S0 | statement | record (an 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.20207#31TG |
| 3NB9R169Y2 | 3NB9R169Y2 | proof | open | applied_combinatorics source/s_graphs_intro.ptx#proof-2 |
| 3NBHAPZ6RY | 3NBHAPZ6RY | statement | record (an 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.20187#CHEK |
| 3NBS7H5W9Z | 3NBS7H5W9Z | statement | record (an 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.22882#BGCX |
| 3NC0B0CW7N | 3NC0B0CW7N | statement | record (an 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.19243#YGI6 |
| 3NC3DTXG19 | 3NC3DTXG19 | statement | record (an 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#Q9YU |
| 3NCMT5Q47Y | 3NCMT5Q47Y | statement | record (an 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.02692#6EIP |
| 3ND732V8QE | 3ND732V8QE | statement | record (an 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.03555#XUV4 |
| 3NDAFWY39N | 3NDAFWY39N | statement | record (an 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.12329#VEFY |
| 3NDMGW5K3Q | 3NDMGW5K3Q | statement | record (an 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.03499#MKS7 |
| 3NE03NH7SH | 3NE03NH7SH | definition | open | open_logic content/propositional-logic/syntax-and-semantics/formulas.tex#defn-1 |
| 3NEJ9DVQJ5 | 3NEJ9DVQJ5 | 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 1804.06366#LRV5 |
| 3NEQQVNBP5 | 3NEQQVNBP5 | statement | open | open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-1 |
| 3NEYAJM4MF | 3NEYAJM4MF | statement | record (an 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.15367#2EEP |
| 3NF7M0GHQP | 3NF7M0GHQP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.08488#LIR9 |
| 3NFJA2PF6Q | 3NFJA2PF6Q | statement | record (an 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.10600#L6OP |
| 3NG4T2V60C | 3NG4T2V60C | statement | record (an 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.04252#VOSK |
| 3NG9SXPS13 | 3NG9SXPS13 | statement | record (an 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#V6A1 |
| 3NGH4CAW9X | 3NGH4CAW9X | 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#8KXS |
| 3NH5CMJF6H | 3NH5CMJF6H | statement | record (an 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.02073#JP99 |
| 3NH9SKZ571 | 3NH9SKZ571 | statement | record (an 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.20110#97ZX |
| 3NHA9GVPVJ | 3NHA9GVPVJ | statement | record (an 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#JV3H |
| 3NHT9KFE2K | 3NHT9KFE2K | 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.39254#96H4 |
| 3NJNFG4VA6 | 3NJNFG4VA6 | statement | record (an 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.01498#5D79 |
| 3NJVMDTS01 | 3NJVMDTS01 | statement | open | napkin tex/set-theory/CH.tex#lemma-4 |
| 3NK0KSYV06 | 3NK0KSYV06 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0804.3628#RCCK |
| 3NK6H6436R | 3NK6H6436R | statement | record (an 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#NBVX |
| 3NKSY0MFRZ | 3NKSY0MFRZ | statement | record (an 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.11082#BS5I |
| 3NMEPDACVX | 3NMEPDACVX | statement | record (an 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.19787#TQS5 |
| 3NNCC5YEAJ | 3NNCC5YEAJ | statement | record (an 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.19132#J70D |
| 3NNDNJ2GE0 | 3NNDNJ2GE0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.12502#ABXW |
| 3NNSHVHYPN | 3NNSHVHYPN | statement | record (an 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.35543#UB9C |
| 3NNV9JNYM9 | 3NNV9JNYM9 | statement | record (an 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.29918#C5ND |
| 3NNWGWRZSY | 3NNWGWRZSY | statement | record (an 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.11965#AYTO |
| 3NRDQ16GFX | 3NRDQ16GFX | statement | record (an 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.35252#W2EF |
| 3NVAEPQC5D | 3NVAEPQC5D | proof | open | lebl_ra ch-approximate.tex#proof-29 |
| 3NVXRZ62EQ | 3NVXRZ62EQ | proof | open | open_logic content/first-order-logic/sequent-calculus/provability-quantifiers.tex#proof-2 |
| 3NWB5GZ06W | 3NWB5GZ06W | statement | record (an 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.00584#H1A9 |
| 3NWQ34CZ68 | 3NWQ34CZ68 | 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 2403.02207#7M8K |
| 3NWQXB666H | 3NWQXB666H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.07409#RVAJ |
| 3NX5961308 | 3NX5961308 | statement | record (an 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.15700#9XU4 |
| 3NX8541G10 | 3NX8541G10 | exercise | open | napkin tex/alg-NT/classgrp.tex#ques-8 |
| 3NYAVNYVKK | 3NYAVNYVKK | statement | record (an 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.02042#QCKP |
| 3NZ9AT7J39 | 3NZ9AT7J39 | statement | record (an 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.10801#YRMK |
| 3NZA1VTK95 | 3NZA1VTK95 | statement | record (an 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.35740#CQ73 |
| 3NZQXTV300 | 3NZQXTV300 | statement | record (an 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.14811#1CJI |
| 3op EFT over addition in Dekker's system | ZC5QTNTA0B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.19452#C7EI |
| 3P081W4F8Q | 3P081W4F8Q | 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 2304.03611#JPIH |
| 3P0TFVPDDX | 3P0TFVPDDX | statement | record (an 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.21092#HE48 |
| 3P0XPRXWN0 | 3P0XPRXWN0 | statement | record (an 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.24578#GDA4 |
| 3P1BDSAPHQ | 3P1BDSAPHQ | statement | record (an 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.33941#LCWL |
| 3P1D6BT18R | 3P1D6BT18R | statement | record (an 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.27730#79VK |
| 3P1Q3VGZXF | 3P1Q3VGZXF | 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.36423#9EGH |
| 3P1SY9A0XM | 3P1SY9A0XM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.08004#UPSO |
| 3P23AVM0G4 | 3P23AVM0G4 | statement | record (an 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.13658#4KCF |
| 3P2FPWDE8G | 3P2FPWDE8G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.14762#AMXQ |
| 3P39PMZDVH | 3P39PMZDVH | statement | record (an 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.24373#BNH4 |
| 3P3EM873GD | 3P3EM873GD | statement | record (an 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.13745#LB5W |
| 3P3GY2XADG | 3P3GY2XADG | statement | record (an 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.10968#JFBM |
| 3P3HY7PFQY | 3P3HY7PFQY | statement | record (an 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.36045#7KWA |
| 3P3QC5JEME | 3P3QC5JEME | statement | record (an 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.07114#26W8 |
| 3P4EW1ZB50 | 3P4EW1ZB50 | statement | record (an 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.20242#B294 |
| 3P4W0JMZZ7 | 3P4W0JMZZ7 | 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.24638#ZYK0 |
| 3P5633V3VT | 3P5633V3VT | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-3 |
| 3P58V9FDNW | 3P58V9FDNW | statement | record (an 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.07890#YPQF |
| 3P5QD3S9SQ | 3P5QD3S9SQ | statement | record (an 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.16877#BU76 |
| 3P64N3FDT6 | 3P64N3FDT6 | statement | record (an 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.03865#BBAB |
| 3P8XX6CYRF | 3P8XX6CYRF | exercise | open | lebl_scv scv.tex#exercise-227 |
| 3P97C9JTYE | 3P97C9JTYE | statement | record (an 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.22268#WM5D |
| 3P9FP0AHWR | 3P9FP0AHWR | statement | record (an 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.25431#E65E |
| 3PA7XK2JSJ | 3PA7XK2JSJ | definition | open | napkin tex/rep-theory/rep-alg.tex#definition-9 |
| 3PAF0273J9 | 3PAF0273J9 | statement | record (an 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.18580#T75H |