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 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 2601–2700 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| SD248QN66M | SD248QN66M | exercise | open | open_logic content/turing-machines/undecidability/trakhtenbrot.tex#prob-1 |
| SD2W7GXQK9 | SD2W7GXQK9 | 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.25168#XY3W |
| SD3784621F | SD3784621F | exercise | open | hott_book hits.tex#ex:monoid-eq-prop |
| SD3P8F2M9V | SD3P8F2M9V | 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.23595#3DXL |
| SD3QD606T8 | SD3QD606T8 | 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.00113#SG0B |
| SD3RE47ZES | SD3RE47ZES | 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.39700#EBT5 |
| SD3XK0FFTM | SD3XK0FFTM | example | open | open_logic content/first-order-logic/natural-deduction/proving-things.tex#ex-2 |
| SD4B0P8M4B | SD4B0P8M4B | 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#EZ0G |
| SD4CC278C4 | SD4CC278C4 | 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.12413#WOYY |
| SD4PMGREVK | SD4PMGREVK | statement | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#cor:soundness-logics |
| SD4VME1TQV | SD4VME1TQV | 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 2504.13516#G934 |
| SD50FBE734 | SD50FBE734 | 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.35102#G2C3 |
| SD526MS4QE | SD526MS4QE | 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.06899#SYOL |
| SD56V191XA | SD56V191XA | problem | open | Wikipedia Singmaster's conjecture#2TO5 |
| SD57DAC6M4 | SD57DAC6M4 | 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.24901#LOO0 |
| SD582AQ3XK | SD582AQ3XK | 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.25307#51IR |
| SD5F8V6X3D | SD5F8V6X3D | 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.13423#2ZFE |
| SD5GJ6QABC | SD5GJ6QABC | 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 2211.14214#W20L |
| SD5MPH5QRJ | SD5MPH5QRJ | 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.19285#29JC |
| SD5WZB0E4T | SD5WZB0E4T | proof | open | napkin tex/linalg/transpose.tex#proof-2 |
| SD6GBQRCHQ | SD6GBQRCHQ | definition | open | open_logic content/model-theory/lindstrom/ls-property.tex#defn-2 |
| SD6Y8ZPNXA | SD6Y8ZPNXA | 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.31907#DX2R |
| SD7EZ6G7WY | SD7EZ6G7WY | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-1 |
| SD7JE6VY5Z | SD7JE6VY5Z | 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.22344#SRS4 |
| SD7ZFVFPJ1 | SD7ZFVFPJ1 | 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.10505#EP25 |
| SD80T327N2 | SD80T327N2 | 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 2111.08123#IUQ6 |
| SD8866C3YY | SD8866C3YY | 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.12705#CH8T |
| SD9HHQ6VE0 | SD9HHQ6VE0 | 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.03337#31LD |
| SDAD8RQAE2 | SDAD8RQAE2 | 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.31327#89WG |
| SDANZHBQMH | SDANZHBQMH | 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.03449#4UAF |
| SDAYDBMDTY | SDAYDBMDTY | statement | open | open_logic content/set-theory/ord-arithmetic/using-addition.tex#ordinfinitycharacter |
| SDAZ0TGM7G | SDAZ0TGM7G | 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 2111.14143#IHYF |
| SDBBJ0FF45 | SDBBJ0FF45 | 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.29326#7NGA |
| SDBKPYFPGQ | SDBKPYFPGQ | 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.16886#4BBW |
| SDBKY7MJ96 | SDBKY7MJ96 | exercise | open | hott_book setmath.tex#ex:choice-cumulative-hierarchy-choice |
| SDBQEZDBXR | SDBQEZDBXR | 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.10107#77R4 |
| SDBTRFDTJQ | SDBTRFDTJQ | 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.14446#B2EZ |
| SDC2BYTTNR | SDC2BYTTNR | statement | open | napkin tex/alg-geom/quasi-proj.tex#theorem-1 |
| SDCEKF8XWY | SDCEKF8XWY | 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.20675#45N3 |
| SDDG5N2ZQ5 | SDDG5N2ZQ5 | 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.15352#H86Q |
| SDDiP | B3NKPJNE81 | 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.12713#PNNU |
| SDDNFGJPMZ | SDDNFGJPMZ | 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.24023#JXOU |
| SDDXS6BJSN | SDDXS6BJSN | 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.35632#URZ4 |
| SDE Transfer Theorem | 41XCES2558 | 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.18739#92DO |
| SDE586AMZ2 | SDE586AMZ2 | 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.39726#K86P |
| SDENZWDK23 | SDENZWDK23 | 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.31919#P564 |
| SDF24YPM2N | SDF24YPM2N | 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.37584#HV8J |
| SDFRE3R3CZ | SDFRE3R3CZ | example | open | lebl_ra ch-seq-ser.tex#example-5 |
| SDG1ZEN1NT | SDG1ZEN1NT | 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.20718#AIGK |
| SDH0F7STTP | SDH0F7STTP | 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.16235#RUUV |
| SDHB3XBBGD | SDHB3XBBGD | 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.33682#KGK4 |
| SDHC2Q35XG | SDHC2Q35XG | 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.13908#DJZP |
| SDHWD95B7V | SDHWD95B7V | 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/0003117#BRS1 |
| SDHWSH4QGX | SDHWSH4QGX | 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.00856#E5OK |
| SDJ7EM1200 | SDJ7EM1200 | 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.20716#V4EM |
| SDJE57162G | SDJE57162G | 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/9807180#8ZQH |
| SDJKG1V08Z | SDJKG1V08Z | exercise | open | lebl_scv scv.tex#exercise-43 |
| SDJQ74A3JP | SDJQ74A3JP | 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 0811.0544#XKM1 |
| SDJTK44GF0 | SDJTK44GF0 | 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.30444#180Q |
| SDKCBDVFMV | SDKCBDVFMV | 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.07092#HKYA |
| SDKEB3D4GK | SDKEB3D4GK | 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#XROO |
| SDKG9ZVNGB | SDKG9ZVNGB | 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.16203#ZYWB |
| SDKS6EVEJW | SDKS6EVEJW | 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.34856#WAR2 |
| SDM $\Rightarrow$ Conley conjecture | 6QSX80X4W5 | 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.25960#XN91 |
| SDM0PMDGK5 | SDM0PMDGK5 | exercise | open | open_logic content/turing-machines/undecidability/verification.tex#prob-1 |
| SDM5EPYQ52 | SDM5EPYQ52 | 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.04730#Q8HW |
| SDM7N8M1P6 | SDM7N8M1P6 | 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.05066#V8OI |
| SDMF1KR52S | SDMF1KR52S | 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.24041#HHA3 |
| SDMJGEB4GV | SDMJGEB4GV | 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.01567#A2YZ |
| SDMM86HAKS | SDMM86HAKS | 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.28594#N0WZ |
| SDMPM77HCT | SDMPM77HCT | 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.29399#WIXS |
| SDMX | 3N47ZMPCVK | definition | open | Wikipedia SDMX, Wikidata Q2713163 |
| SDMX | 7PJR9QQK5A | definition | open | Wikipedia List of statistics articles#MS7P |
| SDN21EKYE2 | SDN21EKYE2 | 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.21017#FL39 |
| SDN9CJW54W | SDN9CJW54W | 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.30933#FQG9 |
| SDNJK3DJST | SDNJK3DJST | 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.03288#XGHV |
| SDNTFRNQ8K | SDNTFRNQ8K | 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.09882#QOHX |
| SDNWSQRBR2 | SDNWSQRBR2 | exercise | open | ernst_ibl MAAPressVersion/Sets.tex#problem-2 |
| Sdom | JHW61ZY27X | unknown | open | Wikipedia Standard deviation#4Z6Y |
| SDP accuracy and computational complexity | RFNM3Y9HJN | 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.00448#CGGO |
| SDPN6PY3PF | SDPN6PY3PF | 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.20131#CVI1 |
| SDPVHJGE4C | SDPVHJGE4C | 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#B9BW |
| SDPY1F1WJ1 | SDPY1F1WJ1 | 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.15242#YS1S |
| SDQJH483MW | SDQJH483MW | 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 2409.03423#QPQ7 |
| SDQPZWNB50 | SDQPZWNB50 | 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.34260#W8PZ |
| SDRJ2N2JVQ | SDRJ2N2JVQ | 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.23343#BGON |
| SDRNRHETBC | SDRNRHETBC | 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.38188#G2HE |
| SDRQPR94A9 | SDRQPR94A9 | 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.05066#OSG0 |
| SDS918SYQT | SDS918SYQT | exercise | open | austin_ula src/section6-2.xml#activity-3 |
| SDSBZXSHZ3 | SDSBZXSHZ3 | 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.09704#HR4X |
| SDSQ45F95R | SDSQ45F95R | example | open | open_logic content/sets-functions-relations/relations/operations.tex#ex-2 |
| SDSZ3QNVPY | SDSZ3QNVPY | 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.34020#9XN9 |
| SDT1N9C5T4 | SDT1N9C5T4 | 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.15525#LOYR |
| SDT2JA2D7V | SDT2JA2D7V | 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.21934#KJFI |
| SDTH41NYXD | SDTH41NYXD | 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.30262#KG4T |
| SDTPGKKBYJ | SDTPGKKBYJ | 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 2604.05177#SBGZ |
| SDVHY87PQ0 | SDVHY87PQ0 | 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.34289#Z4H0 |
| SDVR5TCFH3 | SDVR5TCFH3 | 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.21892#RDGS |
| SDWPKGAM58 | SDWPKGAM58 | 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 2605.16669#7S8F |
| SDXG9MA5WX | SDXG9MA5WX | 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.30732#D1O6 |