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 1501–1600 of 29490.

Name	Id	Kind	Outcome	Sources
13ZC9X463D	13ZC9X463D	statement	open	open_logic content/first-order-logic/tableaux/provability-propositional.tex#prop:provability-lif
14	391GBW4R61	definition	open	Wikidata Q38582, MathWorld 14, ProofWiki 14, Wikipedia 14 (number)
14-15 puzzle	2TPW5YTJ18	unknown	open	Wikipedia 15 puzzle#Y31Z
14069H76V6	14069H76V6	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.20956#M7EU
140BSZV6KS	140BSZV6KS	statement	record (an 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.31910#TLWA
140DE0F4JA	140DE0F4JA	statement	record (an 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#QI5Z
140TPFJ9DW	140TPFJ9DW	statement	record (an 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.01473#6UXI
14100 Weierstrass	ZCW0Z5NDQH	unknown	open	Wikipedia List of things named after Karl Weierstrass#ZCJ9
142 polytope	P337JG1AG1	object	open	Wikipedia List of mathematical shapes#B5DW, Wikipedia List of polygons, polyhedra and polytopes#BGA2
1423W252XH	1423W252XH	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.09201#QL56
142857	9S0NZFAZF1	definition	open	Wikipedia 142857, Wikidata Q846329
142E7P1JHD	142E7P1JHD	statement	record (an 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.10477#F3FV
142M9GPXDW	142M9GPXDW	definition	open	Wikipedia Glossary of mathematical symbols#CBZ7
1439Y6R3Q5	1439Y6R3Q5	statement	record (an 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.15648#XDT4
144	6BR7MAHCK8	unknown	open	Wikidata Q715448, MathWorld 144
14400GX0XC	14400GX0XC	statement	record (an 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.30565#VP1S
144J1893QJ	144J1893QJ	definition	open	napkin tex/linalg/inner-form.tex#definition-8
144P5XECST	144P5XECST	statement	record (an 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.25000#9AZG
1450BN9942	1450BN9942	statement	record (an 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.34675#S3H5
1455XPE2PF	1455XPE2PF	statement	record (an 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.20568#6I5O
145ZTDS91H	145ZTDS91H	statement	record (an 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.35320#AU6A
146E45HE3W	146E45HE3W	statement	record (an 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.18219#J7DW
146J2GPAYM	146J2GPAYM	example	open	lebl_diffyqs ch-systems.tex#example-11
146KARZ056	146KARZ056	statement	record (an 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.05499#9CUT
146VJYCF6X	146VJYCF6X	statement	open	hott_book hlevels.tex#lem:hlevel-if-inhab-hlevel
147A9PEFBS	147A9PEFBS	statement	record (an 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.17060#DNQE
147BVJQ77M	147BVJQ77M	statement	record (an 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.08211#IRQN
147J8484BW	147J8484BW	statement	record (an 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.27114#FC8A
147V3GPPMF	147V3GPPMF	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.12777#RZUY
147YW5Q7S7	147YW5Q7S7	statement	record (an 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.12486#386N
148XMH5F7C	148XMH5F7C	statement	record (an 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/0411039#APXE
149622YC1H	149622YC1H	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.20956#AMID
1497QBT1DQ	1497QBT1DQ	statement	open	napkin tex/alg-geom/spec-sheaf.tex#corollary-1
149ESCHATS	149ESCHATS	statement	record (an 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.01594#D3GS
149Y3736YM	149Y3736YM	statement	record (an 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.16069#P296
14AG2W65WC	14AG2W65WC	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.13680#6L9H
14B1VRFQTA	14B1VRFQTA	statement	record (an 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.02672#UO5A
14BFTZY8JQ	14BFTZY8JQ	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.21016#EAOY
14C6FH1FV5	14C6FH1FV5	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.01346#0HRV
14CR9Y9Z7V	14CR9Y9Z7V	statement	record (an 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.11772#V94S
14D9JX18RT	14D9JX18RT	statement	record (an 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.03126#8GZ2
14DB4FN182	14DB4FN182	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.17769#KV2Z
14DDPD6160	14DDPD6160	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2307.16868#JTTF
14DKBT9P1K	14DKBT9P1K	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.35229#FUI1
14E8AMESS6	14E8AMESS6	statement	record (an 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.21680#347F
14FD4NPAX0	14FD4NPAX0	statement	record (an 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/9801068#J4B4
14FMKC92E5	14FMKC92E5	statement	record (an 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.14022#O67J
14G9Y5Y66Z	14G9Y5Y66Z	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.24917#QRSB
14GJ0DQZAR	14GJ0DQZAR	proof	open	open_logic content/set-theory/cardinals/cardsasords.tex#proof-2
14GS1E1G6J	14GS1E1G6J	statement	record (an 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.08480#QAP0
14HJ4NMZ9E	14HJ4NMZ9E	statement	record (an 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.08193#DXWO
14HQ4NV3RR	14HQ4NV3RR	statement	record (an 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#OAWP
14HVVG78HW	14HVVG78HW	statement	record (an 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.22642#FNDH
14JBY174B4	14JBY174B4	statement	record (an 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.20568#P082
14K2QCFD7X	14K2QCFD7X	statement	record (an 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.13670#REY3
14K8H2E7KW	14K8H2E7KW	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 2411.00562#SDQL
14KEMCNCQA	14KEMCNCQA	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.35027#9KJ8
14KH05HS2X	14KH05HS2X	statement	record (an 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.07644#53XN
14M1PPRP06	14M1PPRP06	statement	record (an 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.12576#4WBI
14MH5SYZ01	14MH5SYZ01	example	open	lebl_diffyqs ch-power-ser.tex#ps:expex
14NQ9Y10NV	14NQ9Y10NV	statement	open	open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#lem:comp
14NWY50GHY	14NWY50GHY	statement	record (an 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.36313#T2FB
14P1CN4W6F	14P1CN4W6F	statement	record (an 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.14837#1WZC
14PK4BY3DD	14PK4BY3DD	statement	record (an 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.26269#ZQAG
14QB8T8E3J	14QB8T8E3J	exercise	open	lebl_ra ch-one-dim-ints-sv.tex#exercise-1
14QBVKA8C2	14QBVKA8C2	statement	record (an 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.12817#8K33
14QTAWYH2F	14QTAWYH2F	statement	record (an 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.25656#9ID0
14RDYVJW2Z	14RDYVJW2Z	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.23922#U3GQ
14RVM92PMS	14RVM92PMS	statement	record (an 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.26769#L32C
14TRCH4T10	14TRCH4T10	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv alg-geom/9506022#ICSA
14TZM5HM6N	14TZM5HM6N	statement	record (an 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.10469#WZ41
14V2GER2TA	14V2GER2TA	statement	record (an 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.09167#0N68
14V2T4SDXD	14V2T4SDXD	statement	record (an 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.18219#QQK1
14V7EANNXV	14V7EANNXV	exercise	open	levin_dmoi ptx/exercises/intro-functions.ptx#exercise-16
14VG937FX6	14VG937FX6	statement	record (an 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#8TBA
14VHQY9YS2	14VHQY9YS2	statement	record (an 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.02295#XX21
14WFJP8SAT	14WFJP8SAT	statement	record (an 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.07679#AP1A
14WR8C6A79	14WR8C6A79	statement	record (an 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.21914#RGBD
14X0ZFXR1W	14X0ZFXR1W	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 2308.05066#ZUWI
14YQ8N1XJX	14YQ8N1XJX	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.03437#IRDT
14YVWFYS20	14YVWFYS20	statement	record (an 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#9GOQ
14ZGRNG7ZY	14ZGRNG7ZY	statement	record (an 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.12612#1DO8
14ZJRB8KWH	14ZJRB8KWH	statement	record (an 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.00241#1WMS
14ZP20KTJV	14ZP20KTJV	statement	record (an 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.34923#UUTZ
14ZR0S6MRS	14ZR0S6MRS	statement	record (an 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.27023#4QUQ
15	4SRK90V5ZE	definition	open	Wikidata Q38701, MathWorld 15, ProofWiki 15, Wikipedia 15 (number)
15 and 290 theorems	68EN90YDHW	statement	open	Wikipedia List of theorems#A59J
15 and 290 theorems	6TZ2ZB2Q3E	statement	open	Wikipedia 29 (number)#D6OY
15 and 290 theorems	XC6NJ5QY01	statement	open	mathlib_1000 Q780763, Wikidata Q780763, thousand_plus Q780763, Wikipedia 15 and 290 theorems, MathWorld FifteenTheorem
15 puzzle	BV2NX7PT1B	problem	open	Wikidata Q191024, MathWorld 15Puzzle, Wikipedia 15 puzzle
15 Puzzle	M68D459ERP	problem	open	Wikipedia List of impossible puzzles#FEL4
15,000 Moving Circles	49EQP4Y6SN	unknown	open	Wikipedia Hamid Naderi Yeganeh#6XWO
150 Mile House	3Z719XFR23	unknown	open	Wikipedia List of places with numeric names#5RYN
1500XFYXGM	1500XFYXGM	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.00625#LGTD
1501V0SY3A	1501V0SY3A	statement	record (an 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.37093#F8PC
1506EB63Y0	1506EB63Y0	statement	record (an 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.06152#E3JS
1511MN0G08	1511MN0G08	statement	record (an 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.22557#YF1I
151MGKXXV0	151MGKXXV0	statement	record (an 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.24739#6W5Y
151VYQZ2TJ	151VYQZ2TJ	proof	open	napkin tex/alg-NT/norm-trace.tex#proof-3
15262F3MW9	15262F3MW9	statement	record (an 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.06669#TBII