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 8001–8100 of 15820.

NameIdKindOutcomeSources
Sophus LieYGAES99JBVtopicout_of_scope (a person, not an item of mathematics)Wikidata Q30769, nLab Sophus Lie, ProofWiki Mathematician:Marius_Sophus_Lie, Wikipedia Sophus Lie
Sophus LieYQA86XTT3JtopicopenWikipedia List of publications in mathematics#QOZN
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 line278PWPKWHTdefinitionopenWikipedia List of topologies#CBPO
Sorgenfrey line61ADQWR0S3definitionopenWikipedia List of examples in general topology#PFSO
Sorgenfrey line6Y2RTZXNB0definitionopenWikidata Q117921997, ProofWiki Definition:Sorgenfrey_Line
Sorgenfrey plane5BKY8028WHdefinitionopenWikidata Q1570438, ProofWiki Definition:Sorgenfrey's_Half-Open_Square_Topology, Wikipedia Sorgenfrey plane
Sorgenfrey plane7ABN5V5FF1definitionopenWikipedia List of general topology topics#2JYE, Wikipedia List of mathematical examples#2107, Wikipedia List of examples in general topology#WRHX
Sorgenfrey plane8DGXDFFK8VdefinitionopenWikipedia List of topologies#IZNV
Sorin PopaVVYY78DNATunknownopenWikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8DJY, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LNW8
Sorites (journal)QQJCNH0508unknownopenWikipedia Lorenzo Peña#9G2P
sorites paradox9GCD844GTRstatementopenWikidata Q33519, MathWorld SoritesParadox, Wikipedia Sorites paradox
Sorites paradoxJP2SYYBGYAstatementopenWikipedia Fuzzy concept#BG07
sorites paradoxY7NQQDEPH9definitionopenWikipedia Glossary of logic#Y1SU
sorites series9RRMMBX9MGdefinitionopenWikipedia Glossary of logic#3887
Sorlin's theoremWBKZP4ACVEdefinitionopenWikipedia Lexell's theorem#WET5
Sorlin's theorem (polar dual)DZBHWXZH2PstatementopenWikipedia Lexell's theorem#CKMH
SORT7H17DYD82TdefinitionopenWikipedia List of statistics journals#JPAC
SORTATKYD8Q5PAdefinitionopenWikipedia SORT (journal), Wikidata Q7392093
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
Sort (mathematical logic)1R1Y6FAZB2unknownopenWikipedia Structure (mathematical logic)#PIXA
Sorted listKNX45NJ7JNdefinitionopenWikipedia List of algorithms#MYBF
sortingH02GNMDWWVconceptopenapplied_combinatorics index/3.5.2/sorting
Sorting algorithmVTPMSYQPFTdefinitionopenWikipedia List of permutation topics#211K, Wikipedia List of algorithm general topics#GOXZ
sorting algorithmZ9GCG239EXdefinitionopenWikidata Q181593, MathWorld Sorting, Wikipedia Sorting algorithm
Sorting by signed reversalsP6R7K21Q83unknownopenWikipedia List of algorithms#ZVEH
Sorting network9YMBZG1GV4definitionopenWikipedia Sorting network, Wikidata Q646477
Sorting networkWXNYJ34Y91definitionopenWikipedia List of genetic algorithm applications#0H2Q, Wikipedia List of permutation topics#7B80, Wikipedia List of network theory topics#IHHJ
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
Sorting numberH9SE73FE2JdefinitionopenWikipedia Sorting number, Wikidata Q56277571
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
SOS-convexityDRSE90J4Q3definitionopenWikipedia SOS-convexity, Wikidata Q97179825
SOSEMANUK93NH6YE0J4definitionopenWikipedia SOSEMANUK, Wikidata Q3943814
Sosigenes of Alexandria133MV3G6GZunknownopenWikipedia List of Greek mathematicians#SH3A
Sotero Prieto Rodríguez9DX5H67F99topicopenWikipedia Sotero Prieto Rodríguez, Wikidata Q5550738
Souders–Brown equationJSHQ70KYVYdefinitionopenWikipedia Souders–Brown equation, Wikidata Q7564081
Soul conjectureZ33T06R88FstatementopenWikipedia Soul theorem#CRVQ
Soul dualismRPNK37WVS7unknownopenWikipedia List of dualities#IJY7
Soul theoremAHFQBCV1CMstatementopenWikipedia Soul theorem#BQ42
Soul theoremNJ8A1QFF9Hstatementopenmathlib_1000 Q4171386, Wikidata Q4171386, thousand_plus Q4171386, Wikipedia Soul theorem
Soul theoremRA477BVE5EstatementopenWikipedia List of theorems#9RHO
sound deductive argumentJWEQ0H9VQZdefinitionopenWikipedia Glossary of logic#JKPR
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
soundness4BE1RXAYWQdefinitionopenWikipedia Glossary of logic#4F52
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
SoundnessJMA06FCZ1Zstatementrecord (an 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.20478#RE4Z
SoundnessJZKC7ZWA3Kstatementopenmathlib_1000 Q693083, Wikidata Q693083, thousand_plus Q693083, Wikipedia Soundness theorem, Wikipedia Soundness
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 (Interactive Proof)4JZ4RYANPYunknownopenWikipedia Interactive proof system#MUTO
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 and strong completeness of $H_0$KJW15Q27QJstatementrecord (an 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.21565#U7MN
Soundness and strong completeness of $H_{\mathsf D}$RQZ1AYE8BCstatementrecord (an 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.21565#MM7K
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 deductive arguments8DTXY1AZACunknownopenWikipedia Deductive reasoning#ZCBV
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 theorem8VKX7XTF9GdefinitionopenWikipedia List of theorems#U0A0
Soundness theorem9S1KT692BVdefinitionopenWikipedia List of mathematical logic topics#S59Q
Sourav Chatterjee6THHDFZ8P9topicopenWikipedia List of Indian mathematicians#GK3J, Wikipedia List of mathematical probabilists#SNQN
Sourav ChatterjeeHZN2YTCK2BtopicopenWikipedia Sourav Chatterjee, Wikidata Q7565096
Sourav ChatterjeeRYKE4ZKYTVtopicopenWikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HY70
source56GS9H3M7BdefinitionopenWikipedia Glossary of graph theory#39NU
sourceGMRV47GXSZdefinitionopenWikipedia Glossary of invariant theory#HRAF
sourceYDPW1KZCCNconceptopenapplied_combinatorics index/13.1/source
Source coding theoremS3X8NDCDWHstatementopenWikipedia Shannon's source coding theorem#5RNQ
Source coding theorem for symbol codesH8TTPSFJ72statementopenWikipedia Shannon's source coding theorem#ZYVG
Source confusionDRDDV1ED8PunknownopenWikipedia List of cognitive biases#WQHO
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 termEKJBEWR81Estatementrecord (an 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.22513#22EV
Source Theory (Physics)ZD63EPGC7RunknownopenWikipedia Julian Schwinger#NN47
Source TransformJ1BA37BSJSstatementrecord (an 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.20316#TOGA
Source unfoldingCQ2QHZ4D1XdefinitionopenWikipedia Source unfolding, Wikidata Q107427167