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 701–800 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| S8APTHMHKM | S8APTHMHKM | 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.18033#4LHL |
| S8AR1MN4ER | S8AR1MN4ER | 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.29450#JN3N |
| S8ATYPGJ2D | S8ATYPGJ2D | 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.26471#JA4B |
| S8AV5GQC9F | S8AV5GQC9F | 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.24917#0BYP |
| S8BBG0PEFA | S8BBG0PEFA | 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.22272#3FN0 |
| S8BCRYE765 | S8BCRYE765 | statement | open | open_logic content/first-order-logic/completeness/henkin-expansions.tex#prop:lang-exp |
| S8BEYH477P | S8BEYH477P | 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.30760#OE32 |
| S8BN5MX78A | S8BN5MX78A | 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 2201.04174#2LDG |
| S8BP4DPYA5 | S8BP4DPYA5 | 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.38556#OVTR |
| S8BXE98MJ4 | S8BXE98MJ4 | 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 2105.08875#UE9V |
| S8C5YMKZ57 | S8C5YMKZ57 | 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.01225#PDHW |
| S8DA8QZVE4 | S8DA8QZVE4 | 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.27420#Z284 |
| S8DSQ8ND6Q | S8DSQ8ND6Q | 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 2212.00617#2T8W |
| S8E0PH3XDE | S8E0PH3XDE | 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.25120#HIWI |
| S8E1K3WYJ2 | S8E1K3WYJ2 | 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.31907#QIAM |
| S8EC1KJ63Q | S8EC1KJ63Q | 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.39951#IPTK |
| S8EG160GG0 | S8EG160GG0 | 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.13100#HV1W |
| S8EHGTQMFW | S8EHGTQMFW | 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 0804.0248#85MN |
| S8EMKTX5A0 | S8EMKTX5A0 | 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.08791#TEGO |
| S8FEQ69561 | S8FEQ69561 | 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.18620#ZTWR |
| S8FHFYQDC6 | S8FHFYQDC6 | 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.05259#A75K |
| S8FJ71MFYH | S8FJ71MFYH | 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.10925#D2U6 |
| S8FJPB9BAC | S8FJPB9BAC | 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.13833#GUS0 |
| S8FMAKZCE5 | S8FMAKZCE5 | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-7 |
| S8FXH1XD2T | S8FXH1XD2T | 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.05628#UWHG |
| S8G0BSTC84 | S8G0BSTC84 | 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.07164#40WQ |
| S8G0RY4326 | S8G0RY4326 | exercise | open | napkin tex/topology/top-more.tex#problem-1 |