Math 2.0

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.

Rows 4001–4100 of 6923.

NameIdKindOutcomeSources
SOPTF85PXYTKA5problemrecord (an 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#VAWX
Sorgenfrey line6Y2RTZXNB0definitionopenWikidata Q117921997, ProofWiki Definition:Sorgenfrey_Line
Sorgenfrey plane5BKY8028WHdefinitionopenWikidata Q1570438, ProofWiki Definition:Sorgenfrey's_Half-Open_Square_Topology
sorites paradox9GCD844GTRunknownopenWikidata Q33519, MathWorld SoritesParadox
sortR70X9JTPV5definitionrecord (an 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.12484#97WK
sortingH02GNMDWWVconceptopenapplied_combinatorics index/3.5.2/sorting
sorting algorithmZ9GCG239EXunknownopenWikidata Q181593, MathWorld Sorting
Sorting networksPB68Z7PVF8statementrecord (an 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.14615#UHAQ
SOS certificate for the fitted quartic at $A_{18}$S251W0TTT3statementrecord (an 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.25120#WY9C
Soul theoremNJ8A1QFF9Hstatementopenmathlib_1000 Q4171386, Wikidata Q4171386, thousand_plus Q4171386, Wikipedia Soul theorem
Sound strategies prove the target60PA2TTQN8statementrecord (an 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.32078#TELM
Soundness1HM5NM8QA5statementopenopen_logic content/propositional-logic/syntax-and-semantics/soundness.tex#thm:soundness
Soundness20RQCKE07Zstatementrecord (an 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#O9Z9
Soundness39G8V35FBZstatementrecord (an 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#XUII
Soundness6714NCPC3Hstatementopenopen_logic content/intuitionistic-logic/soundness-completeness/soundness-axd.tex#thm:soundness
Soundness8430YBKAWMstatementrecord (an 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#0QY5
Soundness8E2M9AXRA7statementrecord (an 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.26337#HAKK
SoundnessAQG2SFCPAEstatementopenopen_logic content/first-order-logic/natural-deduction/soundness.tex#thm:soundness
SoundnessC6SCT1E7ZBstatementrecord (an 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#ZB17
SoundnessGVJKYGJJCGstatementopenopen_logic content/intuitionistic-logic/soundness-completeness/soundness-nd.tex#thm:soundness
SoundnessHGCMQXEYEZstatementopenopen_logic content/first-order-logic/axiomatic-deduction/soundness.tex#thm:soundness
SoundnessJ12TC683J6statementrecord (an 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.38975#IEY7
SoundnessM1H3P9VQCMstatementrecord (an 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#T6F4
SoundnessMRXDWMTQNKstatementrecord (an 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#CPLD
SoundnessMTP1VG1JYQstatementrecord (an 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#7WGE
SoundnessN5TVYKWFNXstatementrecord (an 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#MA2R
SoundnessQ8RP4VPPD2statementrecord (an 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.09810#S7S1
SoundnessRKWJM3BQFTstatementopenopen_logic content/first-order-logic/tableaux/soundness.tex#thm:tableau-soundness
SoundnessRV84MKR9QVstatementopenopen_logic content/normal-modal-logic/tableaux/soundness.tex#thm:tableau-soundness
SoundnessRVEAJDK5GFstatementopenopen_logic content/intuitionistic-logic/tableaux/soundness.tex#thm:tableau-soundness
SoundnessXV4BCCFYZRstatementopenopen_logic content/first-order-logic/sequent-calculus/soundness.tex#thm:sequent-soundness
Soundness and CompletenessB1JYZM52G6statementrecord (an 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#O8D2
Soundness and CompletenessTGHWZYSRTZstatementrecord (an 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.08293#X9Q9
Soundness and completeness of $ {\bf FDE^{\bf S5}_{\Box\D}} $Q42Y64QB9Fstatementrecord (an 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.08323#75RX
Soundness and completeness of $ {\bf FDE^{\bf S5}_{\circ\bullet}} $NA17TER02Astatementrecord (an 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.08323#DGJ6
Soundness and confinement in invertible-$H$ codesBZ4SM7VZ04statementrecord (an 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.04834#JWQ4
Soundness criterionYGPEC0VKQ7statementrecord (an 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.35339#XFSR
Soundness of NbECZT3HS4ETAstatementrecord (an 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.21131#GQCW
soundness of the criterionAZ38FJE3EMstatementrecord (an 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.36279#278W
soundness over $\mathcal{L}$-general modelsR3GM1GA4VPstatementrecord (an 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.36279#30OR
Soundness Theorem7M8A7X8JNCstatementopenopen_logic content/normal-modal-logic/axioms-systems/soundness.tex#thm:soundness
Soundness theoremJZKC7ZWA3Kstatementopenmathlib_1000 Q693083, Wikidata Q693083, thousand_plus Q693083, Wikipedia Soundness theorem
sourceYDPW1KZCCNconceptopenapplied_combinatorics index/13.1/source
Source EnsembleXB5TPVV7EMdefinitionrecord (an 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.12357#L6TR
Source estimates without derivative loss12MZTBAGJBstatementrecord (an 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.13248#QYMK
Source exclusion without reset75ZNK27CHKstatementrecord (an 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.01391#FYCE
source fieldMS6S9JQV8VunknownopenWikidata Q7565149, nLab source field
Source partition7AX49W93KZstatementrecord (an 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.31811#0IJG
source vertexX4M2147WQQunknownopenWikidata Q93723782, MathWorld Source
source, of a path constructorGS4JAZ97NNconceptopenhott_book index/5.13/source-of-a-path-constructor
source, of a path constructorW13K8K555Hconceptopenhott_book index/5.6/source-of-a-path-constructor
Source-aware subtraction6B5J547T6Bstatementrecord (an 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.08069#AT0X
Source-cell spectrum1YBMJVY683statementrecord (an 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.09472#197W
Source-first suffices for fixed sourcesAAAM9VCWDZstatementrecord (an 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.12211#XLUP
Source-marginal transportZPXFBHYEHCstatementrecord (an 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.09472#1K4L
Sousselier graphF3X71R5EM2unknownopenWikidata Q2416308, House of Graphs 1329
South AfricaM4E4GFRHNPunknownout_of_scope (a person, not an item of mathematics)Wikidata Q258, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/South_Africa
South PoleBFT2E21A7CdefinitionopenWikidata Q933, ProofWiki Definition:Earth's_Poles/South
Southeast quadrant660JGGZS75statementrecord (an 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.04809#1TFN
Southern Hemisphere3K7PS7EB7MdefinitionopenWikidata Q41228, ProofWiki Definition:Southern_Hemisphere
SP048JCRQJSP048JCRQJstatementrecord (an 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.01237#VGEP
SP0B8KZV63SP0B8KZV63statementrecord (an 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.24320#ZVJI
SP0DH9FTVFSP0DH9FTVFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2604.07243#FIBL
SP124CFBQ7SP124CFBQ7statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0905.1489#R22M
SP19B06Q3DSP19B06Q3Ddefinitionrecord (an 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.01237#JE98
SP1KA2HC6HSP1KA2HC6Hstatementrecord (an 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#X7DP
SP1Z27JY7TSP1Z27JY7Tstatementrecord (an 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.25761#J8J9
SP2KYA3W4FSP2KYA3W4Fexamplerecord (an 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.30750#0UT5
SP2VRHVMJ6SP2VRHVMJ6statementrecord (an 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.14278#OX36
SP37CD2TG6SP37CD2TG6statementrecord (an 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#483V
SP3KDWVMSASP3KDWVMSAstatementrecord (an 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.14509#ZRSG
SP3MA3QGK0SP3MA3QGK0statementrecord (an 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.00596#VOCV
SP4F0CRMEKSP4F0CRMEKexamplerecord (an 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.07673#YBNM
SP4HE45GY7SP4HE45GY7statementrecord (an 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.03746#4CX4
SP5AYB88D9SP5AYB88D9statementrecord (an 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.24307#TN7E
SP5DY4CZ08SP5DY4CZ08statementrecord (an 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#RYQA
SP604807WVSP604807WVstatementrecord (an 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.12931#W6NV
SP780HCBSTSP780HCBSTdefinitionrecord (an 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.13877#9VBO
SP7ME43TXTSP7ME43TXTexerciseopenlevin_dmoi ptx/exercises/seq-induction.ptx#exercise-26
SP7ZWCV0N3SP7ZWCV0N3statementrecord (an 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.21600#4IBY
SP89FWECW3SP89FWECW3statementrecord (an 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.21544#S2UN
SP8G7EYMPXSP8G7EYMPXdefinitionrecord (an 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.05696#MFB5
SP90RVQV0FSP90RVQV0Fdefinitionrecord (an 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/9802134#0GFG
SP93WDDZ4VSP93WDDZ4Vexamplerecord (an 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.33263#FGPR
SP9G4X71JWSP9G4X71JWstatementrecord (an 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.37584#H9K4
SP9QS58JN9SP9QS58JN9definitionrecord (an 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.08323#QNRU
SPA50M4N7ZSPA50M4N7Zdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0904.0817#0A3N
spaceN0DW56N1G2unknownopenWikidata Q472971, MathWorld Space
Space $C_0(\G)$8180CJZE40definitionrecord (an 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.12380#2MW0
Space and states74J4BM611Cdefinitionrecord (an 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/0003117#K7CU
space curve2R1TRQ0XSGunknownopenWikidata Q1685841, MathWorld SpaceCurve
space diagonalBC0187ZEJMunknownopenWikidata Q2737929, MathWorld SpaceDiagonal
space groupRYJGM5TBYHunknownopenWikidata Q899033, MathWorld SpaceGroups
Space hierarchy theoremYYPHJTE7TGstatementopenmathlib_1000 Q7572588, Wikidata Q7572588, thousand_plus Q7572588, Wikipedia Space hierarchy theorem
Space of $U(N)$ invariantsZZGFPQMVQVdefinitionrecord (an 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.10745#7GB7
Space of Controlled Paths -1G3FKH1Q8Rdefinitionrecord (an 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.06473#TIRO
Space partitioningTW8YTZ01PZconceptopenWikidata Q3500548, MathWorld SpaceDivisionbyPlanes
Space--time extensionZGDD2X8C61statementrecord (an 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.15111#SM6B
space-filling curveKZP8HX5VZ1statementopenmathlib_1000 Q567843, Wikidata Q567843, thousand_plus Q567843, Wikipedia Hahn–Mazurkiewicz theorem, MathWorld Space-FillingFunction
Space-timeTD4JXPWXY0definitionrecord (an 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/0003117#APZ6