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 801–900 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| S77FG4N9YK | S77FG4N9YK | 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 1806.00752#YM3A |
| S77K8BS590 | S77K8BS590 | 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 2610.09133#ZB5Q |
| S77QPN2GQW | S77QPN2GQW | 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.13621#I9LN |
| S78KNTRE7H | S78KNTRE7H | definition | open | napkin tex/linalg/inner-form.tex#definition-5 |
| S78QHFNY5T | S78QHFNY5T | statement | open | napkin tex/calculus/p-adic.tex#theorem-1 |
| S79YHYECFF | S79YHYECFF | 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.37112#QBL4 |
| S7AKVD4HMS | S7AKVD4HMS | 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.31365#JK7Y |
| S7AMEFYDJ4 | S7AMEFYDJ4 | proof | open | open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#proof-1 |
| S7AY5CKCXG | S7AY5CKCXG | 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.23527#NSRF |
| S7B6T2P95K | S7B6T2P95K | 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.18078#WZ49 |
| S7CBMCYGKT | S7CBMCYGKT | 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.10325#KYGK |
| S7CGQNK4WP | S7CGQNK4WP | 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.31783#TXQJ |
| S7CJSN1J1Y | S7CJSN1J1Y | 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.07546#NJKP |
| S7CT20SQ06 | S7CT20SQ06 | 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.16323#98DD |
| S7CX65DP56 | S7CX65DP56 | 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 2206.12966#OLIQ |
| S7DEQ3E9EB | S7DEQ3E9EB | 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.12640#FV5Y |
| S7DF10PCF4 | S7DF10PCF4 | exercise | open | lebl_scv scv.tex#exercise-194 |
| S7EACTQCDS | S7EACTQCDS | 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.39430#7U0E |
| S7EGCH7QEG | S7EGCH7QEG | example | open | napkin tex/topology/compactness.tex#example-1 |
| S7ENYNG85G | S7ENYNG85G | 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 2011.08789#FNY5 |
| S7EX4268P2 | S7EX4268P2 | exercise | open | lebl_ra ch-der.tex#exercise-34 |
| S7EY24ZRST | S7EY24ZRST | proof | open | napkin tex/alg-geom/spec-sheaf.tex#proof-5 |
| S7F40YFYRS | S7F40YFYRS | 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.05499#1FT6 |
| S7FM98BXVG | S7FM98BXVG | 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.02983#WHOO |
| S7GG0W5FHX | S7GG0W5FHX | 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.17060#ZXWA |
| S7GK5YJRAS | S7GK5YJRAS | 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 2203.07710#GR39 |
| S7H3CYH8TA | S7H3CYH8TA | 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.02993#ARF0 |
| S7HCVEM3Y9 | S7HCVEM3Y9 | 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 2608.23797#WD5P |
| S7HKFBV4TQ | S7HKFBV4TQ | 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.27301#NCU0 |
| S7J19H2FSQ | S7J19H2FSQ | 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.35682#W3QY |
| S7J1TV3YWK | S7J1TV3YWK | 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.38268#XZZA |
| S7J85TKWTX | S7J85TKWTX | 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.38793#J9NQ |
| S7JTP7TVVC | S7JTP7TVVC | 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.06645#UC8R |
| S7KYERRR8M | S7KYERRR8M | 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/0406514#IDZJ |
| S7KZRV4QQ6 | S7KZRV4QQ6 | 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.06699#13VT |
| S7M4056Q3B | S7M4056Q3B | 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.26771#LAW1 |
| S7MD6GVV6P | S7MD6GVV6P | 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.35421#AVP7 |
| S7MWW3QAXH | S7MWW3QAXH | 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.17626#TLJ3 |
| S7MYGK6J37 | S7MYGK6J37 | 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 2610.16010#YLNE |
| S7NSYS0J5G | S7NSYS0J5G | 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 2210.16706#OJIL |
| S7NX2TNR5K | S7NX2TNR5K | proof | open | ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#proof-2 |
| S7P8EV2NSE | S7P8EV2NSE | 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#N7KQ |
| S7PGKCBNWJ | S7PGKCBNWJ | 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.32338#FVLG |
| S7PJXHTDR8 | S7PJXHTDR8 | 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.15219#QQZ0 |
| S7PS6KWYDG | S7PS6KWYDG | 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.34011#8OQ3 |
| S7PYNZDX1R | S7PYNZDX1R | 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.15169#GAJG |
| S7Q57W2YXB | S7Q57W2YXB | 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.24701#8H14 |
| S7QNJ0AEC3 | S7QNJ0AEC3 | 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.28781#TGQR |
| S7R67PM8R9 | S7R67PM8R9 | 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.23562#LQKP |
| S7RKK8EJ9K | S7RKK8EJ9K | 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.28403#WO8J |
| S7RTD4MT3M | S7RTD4MT3M | 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.24640#VF2M |
| S7RVD94740 | S7RVD94740 | 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.10152#WJYG |
| S7RYVR1S37 | S7RYVR1S37 | 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.00312#DI97 |
| S7SDGS371X | S7SDGS371X | example | open | open_logic content/normal-modal-logic/syntax-and-semantics/substitution.tex#ex-1 |
| S7SWT4HQVD | S7SWT4HQVD | 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#Y0PV |
| S7T0PHGVQ8 | S7T0PHGVQ8 | 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#GNKZ |
| S7TEFZCZAV | S7TEFZCZAV | 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 2404.05451#BB89 |
| S7TF3RDM6A | S7TF3RDM6A | 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.01737#L5BA |
| S7V2BY4T79 | S7V2BY4T79 | 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.30999#PHCI |
| S7V5RH6K8S | S7V5RH6K8S | 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.03144#65NF |
| S7VC7W9AHT | S7VC7W9AHT | example | open | napkin tex/set-theory/models.tex#example-3 |
| S7WH4K6069 | S7WH4K6069 | 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.12181#L87Z |
| S7XFKBW073 | S7XFKBW073 | 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.26479#FHVV |
| S7XYJBBBHS | S7XYJBBBHS | 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.29170#TVHM |
| S7XYQNYX1D | S7XYQNYX1D | 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.21033#8KOL |
| S7Y9YWR20M | S7Y9YWR20M | definition | open | ernst_ibl MAAPressVersion/FiniteSets.tex#definition-2 |
| S7YK5VYJY5 | S7YK5VYJY5 | 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.10930#ELIF |
| S7YTMR5HZM | S7YTMR5HZM | 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.10591#JT26 |
| S7Z4GAC4X1 | S7Z4GAC4X1 | 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.06521#3E9G |
| S7ZCBN7KYJ | S7ZCBN7KYJ | 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.26477#UEHQ |
| S7ZM447ZXZ | S7ZM447ZXZ | 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.21578#HO28 |
| S805FPZSXS | S805FPZSXS | 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.14068#P7ME |
| S81E2ASMHX | S81E2ASMHX | 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 2512.07470#WIRS |
| S81KE1FDCG | S81KE1FDCG | 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.21680#466J |
| S81MJTN1NS | S81MJTN1NS | statement | open | open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#prop:Nec-rule |
| S81QBH5SHZ | S81QBH5SHZ | 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.32174#W8SE |
| S82Z2ZYE4C | S82Z2ZYE4C | 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.29107#LBUY |
| S83A5CCMP6 | S83A5CCMP6 | 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 2206.14762#SYVA |
| S83BAQZC1W | S83BAQZC1W | 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.26401#BA0X |
| S83CFJ4YE1 | S83CFJ4YE1 | 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.30600#62NE |
| S83CRYMCM6 | S83CRYMCM6 | 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.21860#HRCI |
| S83QEMGE5Z | S83QEMGE5Z | 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.19311#K2NR |
| S83VQCCH6M | S83VQCCH6M | 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 2407.04161#GVD3 |
| S844SS85PB | S844SS85PB | 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.17411#9MQZ |
| S84NQKM4GR | S84NQKM4GR | 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 2610.12169#QS0Y |
| S854YK9Z94 | S854YK9Z94 | 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.36884#CN97 |
| S855B2BFYW | S855B2BFYW | 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.21256#ZHX0 |
| S85NXC0FFJ | S85NXC0FFJ | 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.29925#W4XP |
| S86EZVFK6M | S86EZVFK6M | 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.15257#G027 |
| S86VEB5GJR | S86VEB5GJR | 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 2403.01959#67E6 |
| S8715JQ5NV | S8715JQ5NV | 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/9902147#XWYT |
| S8863838ZM | S8863838ZM | 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.27918#S334 |
| S88QHRBF5M | S88QHRBF5M | 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.19535#20MH |
| S88Z45YDX4 | S88Z45YDX4 | 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.13888#L0RY |
| S8910DVCW9 | S8910DVCW9 | 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.06081#2B7L |
| S89288BYG4 | S89288BYG4 | proof | open | open_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-1 |
| S89EAD5XRC | S89EAD5XRC | 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.07963#QPTT |
| S89J3WBP83 | S89J3WBP83 | 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.12352#DHWD |
| S8A97JT6ZE | S8A97JT6ZE | 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.14121#MRL0 |
| S8AD3ZSCE4 | S8AD3ZSCE4 | 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#WV1S |