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 601–700 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| S69D9R5A0A | S69D9R5A0A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.01302#VWVY |
| S69DBHXKEQ | S69DBHXKEQ | statement | record (an 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#WAEQ |
| S69M5KX9GZ | S69M5KX9GZ | proof | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#proof-3 |
| S69VWWHYDA | S69VWWHYDA | statement | record (an 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.27646#UTLL |
| S6AKMWACYY | S6AKMWACYY | statement | record (an 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.21388#A09P |
| S6AVA2QYHJ | S6AVA2QYHJ | statement | record (an 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.24542#MX59 |
| S6B6XDCZ0C | S6B6XDCZ0C | 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.08837#B57P |
| S6BMAY006Z | S6BMAY006Z | exercise | open | lebl_ra ch-seq-ser.tex#exercise-37 |
| S6CPDSQ2ES | S6CPDSQ2ES | unknown | open | arXiv 2410.01436#Q2DV |
| S6CTH25JS1 | S6CTH25JS1 | proof | open | lebl_ra ch-riemann.tex#proof-9 |
| S6D1F5H0J1 | S6D1F5H0J1 | statement | record (an 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.40028#SOWD |
| S6DYRD23EE | S6DYRD23EE | statement | record (an 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.07461#PJUN |
| S6FNK68TGW | S6FNK68TGW | statement | record (an 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/0512416#GTF1 |
| S6FZCF4ADQ | S6FZCF4ADQ | statement | record (an 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.30663#A6PX |
| S6GDAQKCV4 | S6GDAQKCV4 | statement | record (an 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.18690#ML1F |
| S6HRQXESSR | S6HRQXESSR | statement | record (an 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.03851#5QVO |
| S6HSXQ4FRH | S6HSXQ4FRH | 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.16002#FI6I |
| S6HVB2FK2W | S6HVB2FK2W | statement | record (an 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.29838#D1R9 |
| S6J6M69VQH | S6J6M69VQH | statement | record (an 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.20910#H77U |
| S6J9BPDYYR | S6J9BPDYYR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.21045#VXFS |
| S6JJ96NGY0 | S6JJ96NGY0 | statement | record (an 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.09201#4MY9 |
| S6JT22EAS9 | S6JT22EAS9 | 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.34311#9B97 |
| S6K1X22F1D | S6K1X22F1D | statement | record (an 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#JQ5L |
| S6K9YNH7B5 | S6K9YNH7B5 | statement | record (an 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.15992#IIL4 |
| S6KMAQ45Q5 | S6KMAQ45Q5 | 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.30675#UIKU |
| S6KVWG7QT2 | S6KVWG7QT2 | statement | record (an 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.36827#6I7A |
| S6M25ZDQ8J | S6M25ZDQ8J | statement | record (an 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.27687#KYKA |
| S6M9C2G7EQ | S6M9C2G7EQ | statement | record (an 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.09506#1KM7 |
| S6MNQDXEKX | S6MNQDXEKX | statement | record (an 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.29501#A3AU |
| S6MTFEPW47 | S6MTFEPW47 | statement | record (an 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.17825#CQD7 |
| S6MX6FVP0S | S6MX6FVP0S | 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.05320#MCJA |
| S6NZF67V1E | S6NZF67V1E | statement | record (an 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#004Z |
| S6P2PMW5R8 | S6P2PMW5R8 | statement | record (an 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.02852#M1QR |
| S6P7B7KGTA | S6P7B7KGTA | statement | record (an 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.03677#GHG9 |
| S6PZCWT88T | S6PZCWT88T | statement | record (an 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#E2JE |
| S6QH4J4W25 | S6QH4J4W25 | statement | record (an 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.08873#ASP2 |
| S6RPWPXAGB | S6RPWPXAGB | statement | record (an 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#VIA2 |
| S6RR9501KZ | S6RR9501KZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#U0FF |
| S6SGV4SHAH | S6SGV4SHAH | 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.10406#I9Y1 |
| S6T5SF7QH3 | S6T5SF7QH3 | statement | record (an 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.14047#4Z9R |
| S6T68WQ5AR | S6T68WQ5AR | statement | record (an 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.10840#RTDF |
| S6THYTVZYQ | S6THYTVZYQ | statement | record (an 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.36411#S1J9 |
| S6TTAY324P | S6TTAY324P | statement | record (an 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.06445#LBM0 |
| S6VJ8XGNNG | S6VJ8XGNNG | statement | record (an 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.04252#JZSG |
| S6VN2AJ6BC | S6VN2AJ6BC | statement | record (an 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.16267#H0GS |
| S6X12DY9VX | S6X12DY9VX | 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 2408.01345#7MTP |
| S6X3XVH7PW | S6X3XVH7PW | statement | record (an 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.05965#3PEW |
| S6X9TGEJTV | S6X9TGEJTV | statement | record (an 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.27886#QOFL |
| S6XAJBG073 | S6XAJBG073 | statement | record (an 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.15744#9BXU |
| S6XWGZ8RVH | S6XWGZ8RVH | statement | record (an 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.15367#ZH92 |
| S6Y5139ED6 | S6Y5139ED6 | statement | record (an 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.01015#S6O9 |
| S6Y5Q0VDTX | S6Y5Q0VDTX | 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.01912#IPFF |
| S6YHSRAJJ3 | S6YHSRAJJ3 | statement | open | open_logic content/sets-functions-relations/size-of-sets/non-enumerability.tex#thm:nonenum-pownat |
| S6YKQK4S76 | S6YKQK4S76 | statement | record (an 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.28282#3Y2M |
| S6ZNC63HAA | S6ZNC63HAA | statement | record (an 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.10804#BDGQ |
| S705Q5DHCA | S705Q5DHCA | statement | record (an 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.32033#UHBW |
| S70SABKVDJ | S70SABKVDJ | statement | record (an 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.15631#YQPE |
| S7140FJ6J1 | S7140FJ6J1 | 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#SIWC |
| S71CBZW7Z4 | S71CBZW7Z4 | statement | record (an 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.30113#XP86 |
| S71E5NCGVR | S71E5NCGVR | statement | record (an 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#MT5O |
| S71Q7J6D84 | S71Q7J6D84 | statement | record (an 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.40123#IMMQ |
| S71YE4ZK84 | S71YE4ZK84 | statement | record (an 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.26162#2UU2 |
| S722GGSSJY | S722GGSSJY | exercise | open | austin_ula src/section6-5.xml#activity-4 |
| S72VGHJZN6 | S72VGHJZN6 | statement | record (an 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.33794#XTP0 |
| S72XAPNME0 | S72XAPNME0 | statement | record (an 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.31458#4F7O |
| S72ZARDD80 | S72ZARDD80 | statement | record (an 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.19151#92ZV |
| S72ZQVVJ64 | S72ZQVVJ64 | statement | record (an 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.10074#U4RA |
| S74CRDT5NF | S74CRDT5NF | 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 2310.14879#I3FI |
| S74HBD7GAR | S74HBD7GAR | 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.18419#OBSJ |
| S74Z0YQKPJ | S74Z0YQKPJ | statement | record (an 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.30086#KJQB |
| S754HZH3FJ | S754HZH3FJ | 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.26180#8LCB |
| S75BERZ3KM | S75BERZ3KM | proof | open | lebl_scv scv.tex#proof-38 |
| S75CV4104B | S75CV4104B | statement | record (an 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.36725#HEFB |
| S75JBHVS3D | S75JBHVS3D | statement | record (an 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.37846#T7JP |
| S75VZWAVA3 | S75VZWAVA3 | statement | record (an 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.16081#PYUD |
| S7637X7K51 | S7637X7K51 | statement | record (an 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.16003#YMZA |
| S76CPTS175 | S76CPTS175 | statement | record (an 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.28336#6ZUA |
| S76PZYM70Q | S76PZYM70Q | statement | record (an 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.00832#0PSB |
| 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 |
| 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 |