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 6401–6500 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Sweedler notation | PTSSGSWCHB | unknown | open | Wikidata Q91592841, nLab Sweedler notation |
| SWEMMXJPPK | SWEMMXJPPK | 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.20229#RFRL |
| SWEQP5X8J4 | SWEQP5X8J4 | 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#UA2J |
| SWF1N1F412 | SWF1N1F412 | 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.13378#OMUY |
| SWFBCZG0GF | SWFBCZG0GF | 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.30480#GFF3 |
| SWFG0SYEHW | SWFG0SYEHW | statement | open | open_logic content/methods/induction/structural-induction.tex#prop:initial |
| SWFT80QJK1 | SWFT80QJK1 | 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.01121#HFWS |
| SWG5151DMC | SWG5151DMC | 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 2401.14143#4QS9 |
| SWGC8JJWPM | SWGC8JJWPM | 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.13888#W89R |
| SWGTDRRN2T | SWGTDRRN2T | 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.35442#I59T |
| SWGWB3YJAR | SWGWB3YJAR | 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.04398#L0UV |
| SWHMA16PKW | SWHMA16PKW | unknown | open | arXiv 2610.13680#4QXJ |
| SwiGLU plateau and leading AGOP alignment | Y1EEA65EY9 | 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.39408#DDVX |
| Switch counts and scalar kinks | F2266SJRFP | 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.32695#4MDV |
| Switches, finite partitions, and visibility | YKPEJ449HR | 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.32695#AWX9 |
| Switching | V3VJ899DE9 | 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.10920#FVAK |
| Switching conjecture for main eigenvalues | H6QP3SS6XZ | conjecture | 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.27046#4WM7 |
| Switching lemma | P18YTHD71V | 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.20583#IGVQ |
| Switching ordered paths | CAVCWGMF6E | 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.00525#E9L8 |
| Switzerland | 19EY2NZD5C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q39, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Switzerland |
| SWJ2RZKSC2 | SWJ2RZKSC2 | proof | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#proof-4 |
| SWJ3SFXX63 | SWJ3SFXX63 | 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.20131#VGC5 |
| SWJAXKNE5H | SWJAXKNE5H | 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.08885#E9AT |
| SWJFNHQG3W | SWJFNHQG3W | proof | open | open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#proof-2 |
| SWK7KPF9AB | SWK7KPF9AB | 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.21752#6157 |
| SWKFR9NJE8 | SWKFR9NJE8 | 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.04466#LM7Z |
| SWKQSVA4P0 | SWKQSVA4P0 | 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 2608.23797#Y8DH |
| SWKRX17A6J | SWKRX17A6J | 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 2204.13401#ZB8P |
| SWKV3AK781 | SWKV3AK781 | 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#1QKH |
| SWM5BPSH4B | SWM5BPSH4B | 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.18777#6OW9 |
| SWM6QQXF74 | SWM6QQXF74 | 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#CDB8 |
| SWM8TY5MVR | SWM8TY5MVR | 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.01932#T227 |
| SWME76XXP1 | SWME76XXP1 | 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.37450#S4UY |
| SWMM29W0RX | SWMM29W0RX | 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.13852#E809 |
| SWMZ4EM9KT | SWMZ4EM9KT | 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 2405.05684#D4E3 |
| SWN8452K2P | SWN8452K2P | 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.17751#DP00 |
| SWNE4C7TT7 | SWNE4C7TT7 | 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.30444#QSSU |
| SWNNS76PYR | SWNNS76PYR | 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.09084#V60Y |
| SWNRCXARFF | SWNRCXARFF | 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.07828#5BBW |
| SWP1H0TXXK | SWP1H0TXXK | 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.25915#FURU |
| SWPBRPMG5F | SWPBRPMG5F | 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.16311#3KLN |
| SWPHNSAXKQ | SWPHNSAXKQ | 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.05529#2C6N |
| SWR1B8CAW6 | SWR1B8CAW6 | 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.13877#BCA9 |
| SWRJKS27G2 | SWRJKS27G2 | exercise | open | napkin tex/complex-ana/meromorphic.tex#exercise-1 |
| SWRKPJ8MVK | SWRKPJ8MVK | 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.28794#ODZC |
| SWRVN7FHG3 | SWRVN7FHG3 | 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.10221#0TUM |
| SWS555Z241 | SWS555Z241 | 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 2304.07398#G792 |
| SWS6SCGSTA | SWS6SCGSTA | 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.29531#G4DE |
| SWT68HBMPY | SWT68HBMPY | 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.27049#U0FL |
| SWT6X7DJ08 | SWT6X7DJ08 | 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.14236#4MGI |
| SWTF8VS2TR | SWTF8VS2TR | 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.18287#12XY |
| SWV1XGWW7B | SWV1XGWW7B | 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.12831#V5GG |
| SWVA70SSMD | SWVA70SSMD | 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.33841#KP1R |
| SWVWYQ1KCX | SWVWYQ1KCX | 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.14189#ZSAA |
| SWXE7HNC66 | SWXE7HNC66 | 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.22074#DA5K |
| SWXGVDZTG8 | SWXGVDZTG8 | 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.34295#AIQ6 |
| SWY093ZS07 | SWY093ZS07 | 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.08323#MQDK |
| SWYKE1Q4CS | SWYKE1Q4CS | 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.08935#CX0I |
| SWYTXJ464Q | SWYTXJ464Q | 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 2203.15223#WXTQ |
| SWZ9JMPMEK | SWZ9JMPMEK | 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 2605.10911#3J0Q |
| SWZAPKXY8Z | SWZAPKXY8Z | 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#WUOJ |
| SWZBP7DSC8 | SWZBP7DSC8 | 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#2LE7 |
| SX00MY13DA | SX00MY13DA | 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.10372#4SGV |
| SX029F0NC0 | SX029F0NC0 | 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/9602216#UZCU |
| SX02DQC80X | SX02DQC80X | 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#GI2B |
| SX05BDN3XZ | SX05BDN3XZ | 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.19658#4GRD |
| SX0E4TZFWS | SX0E4TZFWS | 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.08837#68YJ |
| SX0FARGRZX | SX0FARGRZX | 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.25985#Z39A |
| SX0SJ1YP7G | SX0SJ1YP7G | 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.11276#FX9W |
| SX0YCRJWRG | SX0YCRJWRG | 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.06695#HLLI |
| SX31MWSFF4 | SX31MWSFF4 | unknown | open | |
| SX323R9DZC | SX323R9DZC | 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.11386#MOM4 |
| SX3W9WV15Y | SX3W9WV15Y | 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.24623#ST7B |
| SX482RHNK5 | SX482RHNK5 | 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.28742#Z6QZ |
| SX4K34T565 | SX4K34T565 | 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 2501.03704#L0EN |
| SX51B95VTC | SX51B95VTC | 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 1808.00180#95EJ |
| SX5396JPZH | SX5396JPZH | 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.30262#648H |
| SX58R5R42F | SX58R5R42F | 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.40138#ASE0 |
| SX5CAZYT0G | SX5CAZYT0G | 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.26776#36TJ |
| SX5JHM09VX | SX5JHM09VX | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-40 |
| SX5QY1B75A | SX5QY1B75A | 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.33856#J3BC |
| SX650E0EPP | SX650E0EPP | 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.27078#UOHK |
| SX6NEK25R6 | SX6NEK25R6 | 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.03477#ZT0D |
| SX77A9QRFS | SX77A9QRFS | 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.31352#NU3S |
| SX7HF03FPH | SX7HF03FPH | exercise | open | levin_dmoi ptx/exercises/counting-binom.ptx#exercise-13 |
| SX7KQZSZJA | SX7KQZSZJA | 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 2501.17850#7024 |
| SX7TH62SX7 | SX7TH62SX7 | 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.03062#B4OO |
| SX87112Q2Q | SX87112Q2Q | 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.32383#2AP4 |
| SX8N9FRAXM | SX8N9FRAXM | 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.04694#FXB0 |
| SX8NX5SK13 | SX8NX5SK13 | 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.26500#7FTK |
| SX8R0NAW2Z | SX8R0NAW2Z | 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.06707#3DDW |
| SX8VG7KCYD | SX8VG7KCYD | 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.29531#4FRI |
| SX8YAZ5YPT | SX8YAZ5YPT | 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.07718#HG9B |
| SX9S2N7J28 | SX9S2N7J28 | 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.19528#FR77 |
| SXA6HFYWGA | SXA6HFYWGA | 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.20558#8PCT |
| SXAAQGDRF3 | SXAAQGDRF3 | 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.20672#JUAM |
| SXANEKYTKT | SXANEKYTKT | 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 2603.21971#ZRSD |
| SXARNM6CQY | SXARNM6CQY | statement | open | ernst_ibl MAAPressVersion/InfiniteSets.tex#thm:naturalNumbersInfinite |
| SXBBSBVBWP | SXBBSBVBWP | 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.14249#5G7Y |
| SXBZH95KJD | SXBZH95KJD | 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.11902#E2PX |