Inventory: S

The rows of the inventory whose names start with S. 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 3301–3400 of 6923.

Name	Id	Kind	Outcome	Sources
SJQV0D4AQ3	SJQV0D4AQ3	definition	open	open_logic content/normal-modal-logic/frame-definability/frames.tex#defn-2
SJQV81M5EP	SJQV81M5EP	statement	record (an 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.26386#4JZC
SJS1P0XYE5	SJS1P0XYE5	statement	record (an 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.16875#VF04
SJSR779BKQ	SJSR779BKQ	statement	record (an 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.12691#SARW
SJSWS5CVAD	SJSWS5CVAD	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 1204.5958#YS0R
SJTR6F4N94	SJTR6F4N94	statement	record (an 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.07340#D2NA
SJX9MM3PV7	SJX9MM3PV7	statement	record (an 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.15535#YT60
SJXVCFG5S5	SJXVCFG5S5	statement	record (an 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.25289#UU66
SJZ4BGTX6M	SJZ4BGTX6M	example	open	lebl_ra ch-multivar-int.tex#example-1
SJZMY8P755	SJZMY8P755	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2511.05069#0701
SJZPPBCVQC	SJZPPBCVQC	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.26114#FEI2
SJZZH5X7BX	SJZZH5X7BX	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.31489#161G
SK0GH3SGKT	SK0GH3SGKT	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2202.07274#P91P
SK0K7G0RJC	SK0K7G0RJC	statement	record (an 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#Q18Q
SK1JV003RV	SK1JV003RV	statement	record (an 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.06189#R5DC
SK1N3GN1E5	SK1N3GN1E5	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 2208.05276#1BYY
SK23S22PH1	SK23S22PH1	statement	record (an 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.08873#8YM3
SK2K9QEPH5	SK2K9QEPH5	unknown	open
SK2MTJX14Q	SK2MTJX14Q	statement	record (an 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.07461#B8ZV
SK2R8S5SP5	SK2R8S5SP5	statement	record (an 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#CASC
SK34K0GRGF	SK34K0GRGF	statement	record (an 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.17476#571F
SK35RXBZ44	SK35RXBZ44	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.04870#I9XJ
SK36GV0TKH	SK36GV0TKH	statement	record (an 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.21080#28PP
SK3K2H95Q6	SK3K2H95Q6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
SK3M4N0GAZ	SK3M4N0GAZ	statement	record (an 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.07790#3MB2
SK4FMBK6MS	SK4FMBK6MS	statement	record (an 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.00375#GLT8
SK4HHKWGY5	SK4HHKWGY5	statement	record (an 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#QJSY
SK5KXR2WQV	SK5KXR2WQV	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 2304.07398#LYKG
SK5NRG67DD	SK5NRG67DD	statement	record (an 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.10338#27RT
SK5T73CQ4E	SK5T73CQ4E	statement	record (an 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.09990#ZM0S
SK61ZKPXGG	SK61ZKPXGG	statement	record (an 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.36447#AXLL
SK6AA24WJ5	SK6AA24WJ5	exercise	open	lebl_scv scv.tex#exercise-7
SK6HSN18VM	SK6HSN18VM	statement	record (an 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.35467#311Q
SK6PD1KJ6R	SK6PD1KJ6R	statement	record (an 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#97LP
SK8319V6SC	SK8319V6SC	example	open	applied_combinatorics source/s_probability_infinite-outcomes.ptx#example-2
SK85DJCMN2	SK85DJCMN2	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 0910.5574#MR2O
SK8AWYGVN2	SK8AWYGVN2	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1007.4365#YGZT
SK9483KRGH	SK9483KRGH	statement	record (an 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.37897#JIFZ
SK9DTWWJ2V	SK9DTWWJ2V	statement	record (an 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.30203#6EJ2
SKA6Z65164	SKA6Z65164	statement	record (an 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.07285#335W
SKA7A90CT1	SKA7A90CT1	statement	record (an 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.25435#YP7T
SKAK22Q7T2	SKAK22Q7T2	statement	record (an 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.00146#364K
SKANVVGSAH	SKANVVGSAH	statement	record (an 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.01828#D7YR
SKB9YFND87	SKB9YFND87	exercise	open	napkin tex/alg-NT/pell.tex#ques-2
SKBD5M5HAA	SKBD5M5HAA	statement	record (an 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.15744#SOHO
SKD2XNP3JS	SKD2XNP3JS	unknown	open	arXiv 2610.12716#NXLM
SKD3YTTBDC	SKD3YTTBDC	statement	record (an 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.08261#IRWU
SKDAVQ4H55	SKDAVQ4H55	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.25168#WN26
SKDHT4YRBB	SKDHT4YRBB	statement	record (an 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.33027#HYCF
SKDHV1M7QR	SKDHV1M7QR	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.09739#8Q6E
SKDJWZ931Z	SKDJWZ931Z	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.12353#QY42
SKDWYNCCDM	SKDWYNCCDM	statement	record (an 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.36922#OLUG
SKE89D3Y83	SKE89D3Y83	statement	record (an 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.38436#K4H5
skein relation	N5W2V48CHV	concept	open	Wikidata Q4421793, MathWorld SkeinRelationship
skeletal category	S00B93577E	concept	open	hott_book index/2.1/skeletal-category
Skeletal Informativeness	Z5T0A2DKDA	statement	record (an 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.01937#AP57
skeleton, of a CW-complex	54FBZG6ZP2	concept	open	hott_book index/5.6/skeleton-of-a-cw-complex
skeleton, of a CW-complex	C34ZB27BQY	concept	open	hott_book index/7.7.2/skeleton-of-a-cw-complex
Skeleton-preserving perturbation	8JSVHE597Y	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.01937#NNIA
SKENYXQAZQ	SKENYXQAZQ	statement	record (an 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.17240#I766
Sketch	5C69ERWES7	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#C9IH
Sketch	6MDKBXWSM5	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#J82E
Sketch	9P632E98Y0	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#VIKL
Sketch	PJCJZKYS1D	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#AP04
sketch	T73FGKEN9R	unknown	open	Wikidata Q7534724, nLab sketch
Sketch	TJB2RE0YY7	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#59H3
Sketch	ZS7THZ6GQK	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#Y1S1
Sketch of proof	3H7PRZH3N4	proof	open	lebl_ra ch-riemann.tex#proof-12
Sketch of Proof	4VWF65NDCM	proof	open	napkin tex/rep-theory/rep-alg.tex#proof-1
Sketch of Proof	4YT252AAEX	proof	open	napkin tex/alg-NT/classgrp.tex#proof-4
Sketch of proof	5HT7EFWHER	proof	open	hott_book induction.tex#proof-4
Sketch of Proof	67G7X98W4D	proof	open	napkin tex/alg-NT/frobenius.tex#proof-6
Sketch of Proof	H79TBPXQXH	proof	open	napkin tex/alg-NT/frobenius.tex#proof-5
Sketch of proof	K1Y6Y9HT74	proof	open	napkin tex/linalg/dets.tex#proof-2
Sketch of Proof	NZXZAAPRS6	proof	open	napkin tex/alg-NT/classgrp.tex#proof-3
Sketch of Proof	Q9EXF61S64	proof	open	napkin tex/linalg/vector-space.tex#proof-4
Sketch of proof	SW1S8DFBZH	proof	open	hott_book setmath.tex#proof-43
Sketch of proof	TEM1KQRF69	proof	open	hott_book hlevels.tex#proof-45
Sketch of Proof	TKG0AW5MED	proof	open	napkin tex/topology/compactness.tex#proof-6
Sketch of proof	VSMXAMD4Z5	proof	open	hott_book induction.tex#proof-5
Sketch of Proof	XD3Y6H5R3F	proof	open	napkin tex/linalg/inner-form.tex#proof-3
Sketch of Proof	XMY85ATGZM	proof	open	napkin tex/quantum/circuits.tex#proof-2
Sketch of proof	Z26P5G42C1	proof	open	hott_book induction.tex#proof-3
Skew apeirohedron	BEKXWZP4Q0	unknown	open	Wikidata Q3395888, MathWorld RegularSkewPolyhedron, Wikidata Q7309619
skew coordinate system	SM093HY1A7	unknown	open	Wikidata Q7534797, MathWorld SkewCoordinateSystem
skew diagonal	CHS8ZCMR9Y	unknown	open	Wikidata Q77966363, MathWorld SkewDiagonal
Skew Gauss valuation ring	FHVK9E2QRV	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.05652#WZFF
skew lines	EPXH7S6CJY	unknown	open	Wikidata Q668297, MathWorld SkewLines
skew polygon	BBVAMC1EC1	unknown	open	Wikidata Q3893499, MathWorld SkewPolygon
skew potentials	C91H6AXGEF	statement	record (an 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.08016#5G4T
skew quadrilateral	DT61B0MY3W	unknown	open	Wikidata Q27299126, MathWorld SkewQuadrilateral
skew star graph	HJP1BE6K1R	unknown	open	Wikidata Q137542421, House of Graphs 934
skew-Hermitian matrix	QFHSPPRV6B	unknown	open	Wikidata Q2268788, MathWorld AntihermitianMatrix
Skew-Ricci identity for the Yano connection	MVQRXE6BYR	statement	record (an 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.00078#LX57
skew-symmetric bilinear form	3H1G9FH1YN	unknown	open	Wikidata Q77584712, EoM Skew-symmetric_bilinear_form
skew-symmetric matrix	2FP1241FAJ	unknown	node (a node has the same name as the row)	Wikidata Q526790, EoM Skew-symmetric_matrix, MathWorld AntisymmetricMatrix, nLab skew-symmetric matrix
Skewes' number	Z9Z64ZKP8Z	definition	open	Wikidata Q477645, MathWorld SkewesNumber, ProofWiki Definition:Skewes'_Number
skewness	ASDJHTDKA9	unknown	open	Wikidata Q130327722, MathWorld GraphSkewness
SKF49A68MZ	SKF49A68MZ	statement	record (an 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.25080#48YA
SKFMFJSRP0	SKFMFJSRP0	statement	record (an 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.16541#0ZTN