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 801–900 of 6923.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| S98CYT89B2 | S98CYT89B2 | statement | record (an 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.25656#EI9P |
| S993YJP5GD | S993YJP5GD | statement | record (an 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#XZUP |
| S997NV8PAB | S997NV8PAB | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-120 |
| S99APFVMC9 | S99APFVMC9 | 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.22205#8R09 |
| S99XRRX5ZD | S99XRRX5ZD | statement | record (an 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.04046#TI7T |
| S9A7AN1R7R | S9A7AN1R7R | statement | record (an 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.35691#TF5T |
| S9A8AQMBDF | S9A8AQMBDF | example | open | napkin tex/alg-NT/classgrp.tex#example-9 |
| S9AHCY3H3C | S9AHCY3H3C | statement | record (an 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.13953#4U5F |
| S9BCM7PXRQ | S9BCM7PXRQ | statement | record (an 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.06440#OJHG |
| S9BWB0RSR1 | S9BWB0RSR1 | statement | record (an 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.09019#RSCB |
| S9C1F5N679 | S9C1F5N679 | example | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#example-2 |
| S9CBX9DH2E | S9CBX9DH2E | 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.28211#KQ0W |
| S9CKTCRGJJ | S9CKTCRGJJ | statement | record (an 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.15344#0L3Z |
| S9DS3NPBW5 | S9DS3NPBW5 | statement | record (an 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.13715#7JR2 |
| S9EEK6M202 | S9EEK6M202 | proof | open | open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#proof-2 |
| S9EVZTT81N | S9EVZTT81N | statement | record (an 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.25703#W83H |
| S9F5928E63 | S9F5928E63 | 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 2403.15255#OGNK |
| S9F7NWCNSR | S9F7NWCNSR | statement | record (an 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.25167#5B0U |
| S9FJ1C2Y20 | S9FJ1C2Y20 | statement | record (an 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.39726#1HMF |
| S9GM0B5EWK | S9GM0B5EWK | 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.28824#5GU2 |
| S9GQK9KV8A | S9GQK9KV8A | statement | record (an 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.27823#K7V6 |
| S9H1GC4H1R | S9H1GC4H1R | statement | open | hott_book hlevels.tex#thm:orth-fact |
| S9HP82SDPC | S9HP82SDPC | statement | record (an 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.04498#EE4L |
| S9J1QWMPKD | S9J1QWMPKD | statement | record (an 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.21800#01WD |
| S9JACTVKS6 | S9JACTVKS6 | statement | record (an 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.32300#AC8S |
| S9JR6Q77VR | S9JR6Q77VR | statement | record (an 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.35398#LRC3 |
| S9JWKJW338 | S9JWKJW338 | statement | record (an 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.06895#8711 |
| S9M2SJ95PG | S9M2SJ95PG | statement | record (an 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.40054#LMMB |
| S9MDQ1F0V9 | S9MDQ1F0V9 | statement | record (an 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.07927#Y2VZ |
| S9N6V7MM96 | S9N6V7MM96 | 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#MAUI |
| S9N7498P0V | S9N7498P0V | statement | open | hott_book hlevels.tex#thm-1 |
| S9NHDX0AAK | S9NHDX0AAK | statement | record (an 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.27044#2J4Z |
| S9P0CZX3F4 | S9P0CZX3F4 | statement | record (an 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.32916#S9ZP |
| S9PF8T4PX5 | S9PF8T4PX5 | statement | record (an 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#MDOL |