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 701–800 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| S64FHB350Q | S64FHB350Q | statement | record (an 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.21703#JDAF |
| S64H6Y093N | S64H6Y093N | 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 1002.0879#KVMH |
| S64VR7EMJQ | S64VR7EMJQ | statement | record (an 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#8X8U |
| S64X41D1X3 | S64X41D1X3 | statement | record (an 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.36068#6BXZ |
| S6535MJQY3 | S6535MJQY3 | statement | open | hott_book hlevels.tex#lem:nconnected_to_leveln_to_equiv |
| S65BCVQM1T | S65BCVQM1T | statement | record (an 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.33442#SE89 |
| S65HE8FS3B | S65HE8FS3B | statement | record (an 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.38243#FFUJ |
| S65QTB1RAR | S65QTB1RAR | statement | record (an 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.27458#PVDF |
| S65VMGWZDQ | S65VMGWZDQ | statement | open | napkin tex/linalg/transpose.tex#theorem-1 |
| S661NPCHDP | S661NPCHDP | statement | record (an 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.33529#APTP |
| S6679ER06Q | S6679ER06Q | statement | record (an 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.16332#9B2R |
| S66ENQYD01 | S66ENQYD01 | statement | record (an 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.33263#LXQ5 |
| S67PTJ25R2 | S67PTJ25R2 | exercise | open | lebl_scv scv.tex#exercise-142 |
| S680K5HEZV | S680K5HEZV | 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 math/0003117#8BXJ |
| S68E9VV5NN | S68E9VV5NN | statement | record (an 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.08488#D0N4 |
| S695RWFNCR | S695RWFNCR | statement | record (an 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.03555#Z8XS |
| S698CXY768 | S698CXY768 | statement | record (an 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.04172#XU2I |
| 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 |
| S6B4VKN9VR | S6B4VKN9VR | statement | record (an 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.20522#PX49 |
| 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 |
| S6DRSYS9CG | S6DRSYS9CG | problem | open | Wikipedia Skewes's number#J868 |
| 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 |
| S6J3PGD2SK | S6J3PGD2SK | statement | record (an 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.20128#YZNA |
| 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 |
| S6TJ31MPV3 | S6TJ31MPV3 | statement | record (an 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.22394#TUZV |
| 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 |
| S7682EETK3 | S7682EETK3 | statement | record (an 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.19959#JCG8 |
| 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 |