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 901–1000 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| S8GBAHJGKR | S8GBAHJGKR | statement | record (an 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.17553#LBIO |
| S8GDP0QT6N | S8GDP0QT6N | statement | open | hott_book reals.tex#cor-2 |
| S8GGMW5EV0 | S8GGMW5EV0 | statement | record (an 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.28011#69UJ |
| S8GGVCYYKF | S8GGVCYYKF | statement | record (an 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.21491#O36V |
| S8HPR8BAR2 | S8HPR8BAR2 | statement | record (an 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/9602216#ODL3 |
| S8K5H51708 | S8K5H51708 | statement | record (an 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.32977#IIHW |
| S8K9QVKVXE | S8K9QVKVXE | statement | record (an 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.10773#S360 |
| S8KJAMJKWK | S8KJAMJKWK | statement | record (an 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.01057#S8EA |
| S8KZVSE23B | S8KZVSE23B | statement | record (an 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.07644#XQ8C |
| S8KZZV58AZ | S8KZZV58AZ | 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.27078#GLW3 |
| S8M6F5K1XG | S8M6F5K1XG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0805.4273#FFXZ |
| S8MEKHGCG8 | S8MEKHGCG8 | statement | record (an 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#P8T5 |
| S8MJRN9751 | S8MJRN9751 | statement | record (an 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.09599#VMG0 |
| S8MPBC8S5H | S8MPBC8S5H | statement | record (an 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.18205#LJPO |
| S8N10A1FMN | S8N10A1FMN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.13548#STK8 |
| S8N7SK67GS | S8N7SK67GS | statement | record (an 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#E5SO |
| S8NWVT2KMD | S8NWVT2KMD | exercise | open | napkin tex/H113/action.tex#ques-4 |
| S8PCMGS48C | S8PCMGS48C | statement | record (an 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.28803#FK9R |
| S8PWBDYR5T | S8PWBDYR5T | statement | record (an 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.04305#4EQT |
| S8Q4ZCB560 | S8Q4ZCB560 | statement | record (an 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#W99V |
| S8QK0VPB56 | S8QK0VPB56 | statement | record (an 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.22002#Y8PR |
| S8QXR0GNXQ | S8QXR0GNXQ | 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.37931#L794 |
| S8R4HMDWTE | S8R4HMDWTE | statement | record (an 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.36113#VQPZ |
| S8SCDTGMFZ | S8SCDTGMFZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.14455#ZWU6 |
| S8SE0B5Y49 | S8SE0B5Y49 | 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.24610#GQE9 |
| S8SMNV3NZY | S8SMNV3NZY | statement | record (an 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.19845#95JJ |
| S8SNFQ57Q8 | S8SNFQ57Q8 | statement | record (an 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.20900#1D44 |
| S8SPM7G4AK | S8SPM7G4AK | statement | record (an 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.02255#SK4T |
| S8SQK2WTQG | S8SQK2WTQG | statement | record (an 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.26406#27JN |
| S8SWCA4D7H | S8SWCA4D7H | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-18 |
| S8T2V8EM3S | S8T2V8EM3S | 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.25524#WZNV |
| S8T4JDK1TX | S8T4JDK1TX | statement | record (an 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.21043#0AWG |
| S8V7QPD3F7 | S8V7QPD3F7 | statement | record (an 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.30090#N771 |
| S8VKZT144M | S8VKZT144M | statement | record (an 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.03011#M7XH |
| S8VPWJCBG9 | S8VPWJCBG9 | 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.19285#WO0P |
| S8VSM4TRT6 | S8VSM4TRT6 | statement | record (an 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.15444#NDQP |
| S8VYZZZ091 | S8VYZZZ091 | statement | record (an 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.11965#JHBT |
| S8W86T6XNA | S8W86T6XNA | statement | record (an 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.01354#ZABI |
| S8WGQBSAY8 | S8WGQBSAY8 | statement | record (an 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.03081#HZ1I |
| S8X7T89S99 | S8X7T89S99 | proof | open | open_logic content/set-theory/choice/vitali.tex#proof-6 |
| S8Y3A3N5Y1 | S8Y3A3N5Y1 | proof | open | open_logic content/first-order-logic/completeness/henkin-expansions.tex#proof-2 |
| S8YJJCBFTB | S8YJJCBFTB | statement | record (an 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.22268#V212 |
| S8YP2V0067 | S8YP2V0067 | exercise | open | lebl_scv scv.tex#exercise-257 |
| S8YT744THQ | S8YT744THQ | 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.00789#M2RC |
| S8ZAM6X8J5 | S8ZAM6X8J5 | statement | record (an 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.28195#FMQY |
| S8ZFJN3SD4 | S8ZFJN3SD4 | statement | record (an 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.06458#XUHB |
| S90JS7RT61 | S90JS7RT61 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.05539#TE4I |
| S90X2NVD42 | S90X2NVD42 | statement | open | ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-10 |
| S90XX00KDZ | S90XX00KDZ | statement | record (an 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.06466#QA91 |
| S916AKPHFS | S916AKPHFS | statement | record (an 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.16099#DLOE |
| S91JRBP8X4 | S91JRBP8X4 | statement | record (an 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.30067#NYXC |
| S91ZW7TK4K | S91ZW7TK4K | statement | record (an 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.21255#LTSB |
| S92DA4WCKF | S92DA4WCKF | statement | record (an 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.39317#E2I5 |
| S92DBZEQH8 | S92DBZEQH8 | statement | record (an 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.30544#K87N |
| S937CX0SED | S937CX0SED | statement | record (an 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.16731#6WCF |
| S93ES0Z2W3 | S93ES0Z2W3 | statement | record (an 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.11043#7F16 |
| S93NJ5TVRY | S93NJ5TVRY | 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.38138#7E4X |
| S93Q7ZMH9E | S93Q7ZMH9E | statement | record (an 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.26452#EOU9 |
| S943T7P139 | S943T7P139 | statement | open | lebl_scv scv.tex#prop-9 |
| S94WYQTAFF | S94WYQTAFF | statement | record (an 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.33651#YD38 |
| S955AJTCHB | S955AJTCHB | statement | record (an 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.31274#XUNX |
| S957G6VXZS | S957G6VXZS | statement | record (an 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.11693#0ZW2 |
| S95BA5VD74 | S95BA5VD74 | statement | open | open_logic content/intuitionistic-logic/soundness-completeness/truth-lemma.tex#lem:truth |
| S95QBBWEW2 | S95QBBWEW2 | 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#0WJ1 |
| S960SMHDW8 | S960SMHDW8 | 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.20656#G3JZ |
| S978E8YCQJ | S978E8YCQJ | statement | record (an 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#118E |
| S97AMQFBKW | S97AMQFBKW | statement | record (an 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.10527#QI16 |
| S97BTEEF8D | S97BTEEF8D | statement | record (an 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.04870#JA9D |
| S97K9ZGBKZ | S97K9ZGBKZ | statement | record (an 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.23871#6WXE |
| S97M3HDP3N | S97M3HDP3N | statement | record (an 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.20740#ALPQ |
| S97T8TBJTN | S97T8TBJTN | statement | record (an 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.03756#XVRP |
| S9806Z04VE | S9806Z04VE | statement | record (an 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#EBMU |
| S9865W6XRE | S9865W6XRE | statement | record (an 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.04628#DZK8 |