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 6501–6600 of 15820.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Size | RMPDTWZ48X | definition | open | Wikipedia Size, Wikidata Q322481 |
| Size | XN774EQVMJ | definition | open | Wikipedia Size (statistics), Wikidata Q2269995 |
| Size (statistics) | VC8G271C4W | definition | open | Wikipedia List of statistics articles#FMZU |
| Size and closure of a principal class | 9W0H987N20 | statement | record (an 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.25101#LDFD |
| Size bias for the binomial | B9TZHVQ6HQ | statement | record (an 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.26133#TCEO |
| Size function | J4KTNCAPES | definition | open | Wikipedia Size function, Wikidata Q7533422 |
| Size functor | WXQRAMVHZM | definition | open | Wikipedia Size functor, Wikidata Q7533424 |
| Size homotopy group | YK5PYGC1BM | definition | open | Wikipedia Size homotopy group, Wikidata Q7533425 |
| Size of a decision witness | QYXC89Y6SX | statement | record (an 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.38228#VDS0 |
| Size of edit balls | JESSCH6W72 | statement | record (an 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#BGUD |
| Size of prime cofactors | 523MAS6R6X | statement | record (an 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.15262#VO94 |
| Size of subtrees of $\varnothing$ | 955EN9FQJ3 | 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.30098#Q34F |
| Size of the explicit sufficient threshold | 1H65YCDP8K | 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.22305#S5D0 |
| Size of the full singular set | 2TN7KKW3D0 | statement | record (an 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.13613#RCR7 |
| Size of the gaps | WDKSECK49N | statement | record (an 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.20145#HCFN |
| Size of the mousetrap | CYPBYBW924 | statement | open | napkin tex/alg-NT/classgrp.tex#lemma-3 |
| Size of the projected confusion set | Z0G4T494BQ | statement | record (an 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#A7PL |
| Size of the seeded interval collection | 6NVJ3CE9MP | statement | record (an 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.36594#3UEJ |
| Size theory | 8P53SKBZFM | definition | open | Wikipedia Size theory, Wikidata Q7533433 |
| size-balanced binary search tree | M9576TMSHJ | unknown | open | mathlib_overview Data structures > Trees > size-balanced binary search tree, Mathlib Ordnode |
| Size-optimality at fixed coverage | KJR4VNKWJY | statement | record (an 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.25388#FFDO |
| Sizes of the systems | 6909QQAEQB | statement | record (an 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.15262#RXZP |
| Size–frequency distribution | TG4Y52316P | definition | open | Wikipedia Size–frequency distribution, Wikidata Q116055920 |
| SJ04ACGR7G | SJ04ACGR7G | statement | record (an 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.07380#5E8Q |
| SJ0541SM7R | SJ0541SM7R | 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 1806.00877#PM8Y |
| SJ141NW7B8 | SJ141NW7B8 | statement | record (an 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.18016#075C |
| SJ171BWASF | SJ171BWASF | statement | record (an 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.14214#NARP |
| SJ1ASHX0YK | SJ1ASHX0YK | statement | record (an 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.14616#PSTC |
| SJ1DBMFG4C | SJ1DBMFG4C | statement | record (an 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.01338#JAQJ |
| SJ1FZFAQDQ | SJ1FZFAQDQ | 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.25269#ZQ6H |
| SJ1G683CY6 | SJ1G683CY6 | 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.24599#TI9V |
| SJ1XPX6G86 | SJ1XPX6G86 | statement | record (an 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.26386#AKJG |
| SJ23Y1PA2V | SJ23Y1PA2V | statement | record (an 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.10329#KL15 |
| SJ2ASZK8CM | SJ2ASZK8CM | statement | record (an 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#QLEA |
| SJ2K2CR1Y5 | SJ2K2CR1Y5 | statement | record (an 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.00934#SQDS |
| SJ33BP0MDR | SJ33BP0MDR | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#exercise-19 |
| SJ34WTYQSQ | SJ34WTYQSQ | 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.12413#G9CU |
| SJ49VCMVH0 | SJ49VCMVH0 | statement | record (an 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.09129#MNUE |
| SJ4C5034FN | SJ4C5034FN | statement | record (an 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#1A3D |
| SJ4R3K5ENZ | SJ4R3K5ENZ | statement | record (an 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.12295#TETD |
| SJ523PNPAY | SJ523PNPAY | statement | record (an 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.37897#0NBV |
| SJ58SBZ0J7 | SJ58SBZ0J7 | statement | record (an 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.00146#FAGT |
| SJ64NST60C | SJ64NST60C | statement | record (an 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.03715#6BMJ |
| SJ67V8D633 | SJ67V8D633 | statement | record (an 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.27628#GVX6 |
| SJ6WPWRKDC | SJ6WPWRKDC | exercise | open | hott_book reals.tex#ex:ord-into-surreals |
| SJ6YEGHFN8 | SJ6YEGHFN8 | exercise | open | applied_combinatorics source/s_polya_exercises.ptx#exercise-4 |
| SJ73PYTNYR | SJ73PYTNYR | definition | open | napkin tex/diffgeo/manifolds.tex#definition-7 |
| SJ746M7H9R | SJ746M7H9R | statement | record (an 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.01919#RUK4 |
| SJ77KVPMMT | SJ77KVPMMT | statement | record (an 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.25080#ELPD |
| SJ7D6RS322 | SJ7D6RS322 | statement | record (an 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#QZDW |
| SJ7H8K1MF5 | SJ7H8K1MF5 | statement | record (an 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.16704#VTI9 |
| SJ7TV396VA | SJ7TV396VA | statement | record (an 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.31523#JOQ8 |
| SJ84Q3N2WF | SJ84Q3N2WF | statement | open | open_logic content/lambda-calculus/lambda-definability/minimization.tex#lem:min |
| SJ8PX5GPD4 | SJ8PX5GPD4 | 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.01473#L10X |
| SJ94B957GM | SJ94B957GM | statement | record (an 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.39700#ARBX |
| SJ974NY5Z4 | SJ974NY5Z4 | statement | record (an 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.33469#FJIZ |
| SJA0RXYGFE | SJA0RXYGFE | statement | record (an 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#H3Q7 |
| SJA9PVT7V3 | SJA9PVT7V3 | statement | record (an 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.02216#O8TE |
| SJAZVPKDZ8 | SJAZVPKDZ8 | statement | record (an 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.14839#5EAP |
| SJB752VZX1 | SJB752VZX1 | 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.36792#1Z4K |
| SJBYNXSD3S | SJBYNXSD3S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.07030#QEYN |
| SJC8CY6JVG | SJC8CY6JVG | statement | record (an 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.33856#N2IU |
| SJCAMQHJ7P | SJCAMQHJ7P | 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.24901#RSC3 |
| SJDSFWESKJ | SJDSFWESKJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.15812#UCFA |
| SJEHH06MGA | SJEHH06MGA | 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.04870#89IM |
| Sjernarøyane | 9ZAYA1PR11 | unknown | open | Wikipedia List of places with numeric names#44K5 |
| SJFCE49Q7T | SJFCE49Q7T | statement | record (an 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.19360#G1PV |
| SJFH8N2XRN | SJFH8N2XRN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.14097#T0DJ |
| SJG0ABC48F | SJG0ABC48F | statement | record (an 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.14267#87XT |
| SJG0V7G20S | SJG0V7G20S | 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.20119#JR8U |
| SJGVCWW3CQ | SJGVCWW3CQ | exercise | open | open_logic content/proof-theory/sequent-calculus/invertibility.tex#prob-2 |
| SJHBW2AC3C | SJHBW2AC3C | statement | record (an 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#ZYUV |
| SJHRSF8GPH | SJHRSF8GPH | statement | record (an 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.16875#G8KW |
| SJJJ9Y113B | SJJJ9Y113B | statement | record (an 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.00146#PQMF |
| SJJJP3JW67 | SJJJP3JW67 | statement | record (an 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.18600#ZSAT |
| SJJXTW96P3 | SJJXTW96P3 | statement | record (an 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.00596#W5CS |
| SJK1Z1KSGJ | SJK1Z1KSGJ | statement | record (an 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.11652#Y6GF |
| SJKCJ54MF4 | SJKCJ54MF4 | statement | record (an 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.07370#MUYK |
| SJKWGHHKFJ | SJKWGHHKFJ | statement | record (an 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.08091#ZSPC |
| SJM4EM8PA4 | SJM4EM8PA4 | statement | record (an 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.08500#RLYH |
| SJMHB3NYRE | SJMHB3NYRE | statement | record (an 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.14253#01K5 |
| SJMJXN2MS5 | SJMJXN2MS5 | statement | record (an 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.01268#L4PD |
| SJN0A0M8H8 | SJN0A0M8H8 | 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 0806.0678#OF2W |
| SJN9F753A1 | SJN9F753A1 | statement | record (an 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.28774#LY5Q |
| SJNRMSBGBT | SJNRMSBGBT | statement | record (an 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.22825#IIO6 |
| SJP2ZK53RW | SJP2ZK53RW | 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.20606#BNYF |
| SJPMXN3KP4 | SJPMXN3KP4 | statement | record (an 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.14699#LLCN |
| SJPTKGFXNQ | SJPTKGFXNQ | 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.00105#6IB7 |
| SJQ98NSE2S | SJQ98NSE2S | exercise | open | open_logic content/sets-functions-relations/functions/composition.tex#prob-2 |
| SJQV0D4AQ3 | SJQV0D4AQ3 | definition | open | open_logic content/normal-modal-logic/frame-definability/frames.tex#defn-2 |
| SJQV81M5EP | SJQV81M5EP | statement | record (an 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.26386#4JZC |
| SJRVQA24RX | SJRVQA24RX | statement | record (an 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.21765#XOIR |
| SJS1P0XYE5 | SJS1P0XYE5 | statement | record (an 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.16875#VF04 |
| SJSR779BKQ | SJSR779BKQ | statement | record (an 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.12691#SARW |
| SJSWS5CVAD | SJSWS5CVAD | 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 1204.5958#YS0R |
| SJTR6F4N94 | SJTR6F4N94 | statement | record (an 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.07340#D2NA |
| Sjuøyane | NYJGWTHQ4D | unknown | open | Wikipedia List of places with numeric names#5HTD |
| SJX9MM3PV7 | SJX9MM3PV7 | statement | record (an 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.15535#YT60 |
| SJXVCFG5S5 | SJXVCFG5S5 | statement | record (an 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.25289#UU66 |
| SJZ4BGTX6M | SJZ4BGTX6M | example | open | lebl_ra ch-multivar-int.tex#example-1 |