Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 15801–15900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6FWA43VP26 | 6FWA43VP26 | example | open | open_logic content/normal-modal-logic/syntax-and-semantics/normal-modal-logics.tex#ex-1 |
| 6FWSXF2K82 | 6FWSXF2K82 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.06762#L26R |
| 6FWT9FQC86 | 6FWT9FQC86 | proof | open | hott_book reals.tex#proof-13 |
| 6FWTVTX7F1 | 6FWTVTX7F1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1606.05058#H8LC |
| 6FWW377AAQ | 6FWW377AAQ | statement | record (an 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.25168#BGKZ |
| 6FXNN4S8CK | 6FXNN4S8CK | statement | record (an 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.38793#Q2U3 |
| 6FYFYWMCK4 | 6FYFYWMCK4 | statement | record (an 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.01596#D6AT |
| 6FYP2FKEZB | 6FYP2FKEZB | statement | record (an 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.24747#OXZ9 |
| 6FYQZW4ZFH | 6FYQZW4ZFH | example | open | napkin tex/linalg/vector-space.tex#example-3 |
| 6FYTSW10T8 | 6FYTSW10T8 | statement | record (an 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.17482#2V9J |
| 6FYVQP8FM0 | 6FYVQP8FM0 | 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.07963#EBS1 |
| 6FYZ914AJZ | 6FYZ914AJZ | statement | record (an 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.00116#ULIC |
| 6FZ1WMWCP6 | 6FZ1WMWCP6 | statement | open | open_logic content/normal-modal-logic/axioms-systems/provability-properties.tex#prop:derivabilityfacts |
| 6FZC0HHG1M | 6FZC0HHG1M | 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 2401.13523#QE20 |
| 6FZYG5BD6K | 6FZYG5BD6K | statement | record (an 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.03688#7LEA |
| 6G06TXV6HC | 6G06TXV6HC | statement | record (an 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#SX12 |
| 6G0FNHG1A3 | 6G0FNHG1A3 | definition | open | napkin tex/alg-geom/mor-scheme.tex#definition-7 |
| 6G0P6JY6DK | 6G0P6JY6DK | statement | record (an 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.19251#6WNN |
| 6G139R6QJD | 6G139R6QJD | statement | record (an 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.25168#DKPO |
| 6G1AVQYX3A | 6G1AVQYX3A | statement | record (an 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.15736#RENB |
| 6G1SS5C0ZT | 6G1SS5C0ZT | statement | record (an 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.20568#U2LZ |
| 6G2A9XEWVR | 6G2A9XEWVR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.14143#SJSS |
| 6G2C3VXYA6 | 6G2C3VXYA6 | statement | record (an 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.14236#5VQR |
| 6G2DDJ3F0J | 6G2DDJ3F0J | exercise | open | open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-1 |
| 6G2X9MYJBR | 6G2X9MYJBR | 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.37893#SV80 |
| 6G38B2GYC7 | 6G38B2GYC7 | statement | open | open_logic content/model-theory/lindstrom/ls-property.tex#thm:abstract-p-isom |
| 6G3AS4QBNR | 6G3AS4QBNR | statement | record (an 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#VTML |
| 6G3J9SNBBN | 6G3J9SNBBN | statement | record (an 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.26041#5JWT |
| 6G41K8B8VQ | 6G41K8B8VQ | proof | open | hott_book hits.tex#proof-27 |
| 6G4G1BJE36 | 6G4G1BJE36 | statement | record (an 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.15316#R88A |
| 6G4NTTSX6W | 6G4NTTSX6W | statement | record (an 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.36309#Y7UI |
| 6G4T2GJFHQ | 6G4T2GJFHQ | statement | record (an 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.27151#NGA1 |
| 6G5FMAB8FW | 6G5FMAB8FW | statement | record (an 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.07280#0T8S |
| 6G5FVN21T5 | 6G5FVN21T5 | statement | record (an 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.21692#CBUZ |
| 6G5M6P63NA | 6G5M6P63NA | 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.05396#VC2O |
| 6G5SMZERCD | 6G5SMZERCD | exercise | open | napkin tex/calculus/integrate.tex#thm:FTC |
| 6G6S1JGDHT | 6G6S1JGDHT | statement | record (an 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.24578#GGJ1 |
| 6G6WP8JQ27 | 6G6WP8JQ27 | statement | record (an 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.13931#RPJS |
| 6G7P554ZJ5 | 6G7P554ZJ5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.06336#VNSP |
| 6G7P58H2YC | 6G7P58H2YC | 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.08935#6DTM |
| 6G7S1Y25BY | 6G7S1Y25BY | statement | record (an 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.20466#MLX4 |
| 6G85R31YPE | 6G85R31YPE | statement | record (an 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.02672#TILW |
| 6G8AA9EMPG | 6G8AA9EMPG | statement | record (an 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.21954#RCYB |
| 6G8R1SSK5H | 6G8R1SSK5H | statement | record (an 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#4LF0 |
| 6G9E04ZS08 | 6G9E04ZS08 | statement | record (an 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.26896#XF3N |
| 6G9TQS4ZXE | 6G9TQS4ZXE | 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.12736#FVA9 |
| 6G9Y1GVWDN | 6G9Y1GVWDN | statement | record (an 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.00323#KXUP |
| 6GAC7XCFSZ | 6GAC7XCFSZ | 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 2208.05288#7N5U |
| 6GADT5WFX6 | 6GADT5WFX6 | statement | record (an 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.06746#RPZC |
| 6GAKED1MQF | 6GAKED1MQF | statement | record (an 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.04758#91R0 |
| 6GAQCS0SVR | 6GAQCS0SVR | statement | record (an 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#S8ML |
| 6GB4P0DQ9T | 6GB4P0DQ9T | 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.15099#2DV9 |
| 6GCSAZWD6E | 6GCSAZWD6E | statement | record (an 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.08226#4UPP |
| 6GE10B6R96 | 6GE10B6R96 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00585#XK4Q |
| 6GEAQ4E40B | 6GEAQ4E40B | statement | record (an 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.02484#RVLW |
| 6GEQJT566P | 6GEQJT566P | statement | open | open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#thm:nonenum-pownat |
| 6GER1MSP0H | 6GER1MSP0H | statement | record (an 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.18618#2GTN |
| 6GFCSMKPS3 | 6GFCSMKPS3 | statement | record (an 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.13122#M972 |
| 6GFMQ49QB0 | 6GFMQ49QB0 | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-11 |
| 6GG8K11MD3 | 6GG8K11MD3 | 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 1503.05744#912O |
| 6GGBY1A6AC | 6GGBY1A6AC | statement | record (an 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.24463#BNXM |
| 6GGJR57243 | 6GGJR57243 | statement | record (an 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.25718#20F2 |
| 6GGPPQ009Q | 6GGPPQ009Q | statement | open | napkin tex/calculus/p-adic.tex#theorem-4 |
| 6GGR17ZJCS | 6GGR17ZJCS | proof | open | lebl_scv scv.tex#proof-64 |
| 6GGTJMBNRM | 6GGTJMBNRM | statement | record (an 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.26496#NCBL |
| 6GGWETWS6K | 6GGWETWS6K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.10580#W8J3 |
| 6GGX8VTTGB | 6GGX8VTTGB | statement | record (an 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#3LLJ |
| 6GGXB0NS9T | 6GGXB0NS9T | 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 2105.13129#RO23 |
| 6GH5PCY410 | 6GH5PCY410 | statement | record (an 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.03341#HH7F |
| 6GHJ9P0NBW | 6GHJ9P0NBW | statement | record (an 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.13076#Q29L |
| 6GHVNSFVCH | 6GHVNSFVCH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.12846#WY3D |
| 6GJ2A3HWH4 | 6GJ2A3HWH4 | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-3 |
| 6GJ41JNMXD | 6GJ41JNMXD | 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 2412.14956#IYVH |
| 6GJNSQWHB0 | 6GJNSQWHB0 | statement | record (an 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.37271#EYB3 |
| 6GM08HXRK0 | 6GM08HXRK0 | statement | record (an 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.31304#45AF |
| 6GM1AZNXY2 | 6GM1AZNXY2 | statement | record (an 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.03424#WVCE |
| 6GM45B2HK6 | 6GM45B2HK6 | statement | record (an 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.16554#W8ZX |
| 6GMAQT7D45 | 6GMAQT7D45 | statement | record (an 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.20480#11GT |
| 6GMKMZQ2HC | 6GMKMZQ2HC | statement | record (an 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.11545#JOXN |
| 6GN900RYPM | 6GN900RYPM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.20229#K36K |
| 6GNZ5BKM26 | 6GNZ5BKM26 | 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.03138#UIBH |
| 6GP82BZSMZ | 6GP82BZSMZ | statement | record (an 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.22074#W1BQ |
| 6GP99PXEW4 | 6GP99PXEW4 | 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 2103.12669#T74Z |
| 6GQ2P9PRC0 | 6GQ2P9PRC0 | statement | record (an 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.21092#V8G5 |
| 6GQ81TJJFW | 6GQ81TJJFW | statement | record (an 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.35858#RUJG |
| 6GQM3G5QTN | 6GQM3G5QTN | exercise | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-14 |
| 6GRK9PTS26 | 6GRK9PTS26 | statement | record (an 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.31910#ZGW1 |
| 6GRSH6EYZR | 6GRSH6EYZR | 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 2105.13129#JHCS |
| 6GS8KQZ5EB | 6GS8KQZ5EB | statement | record (an 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.26808#BUB6 |
| 6GSBJAGX97 | 6GSBJAGX97 | statement | record (an 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/0301148#D2FR |
| 6GSBXERYP1 | 6GSBXERYP1 | statement | record (an 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#9NSM |
| 6GSCDK91NT | 6GSCDK91NT | statement | record (an 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.25896#K3TR |
| 6GTPFSVH2P | 6GTPFSVH2P | statement | record (an 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.05392#VTG2 |
| 6GV2ZGKH12 | 6GV2ZGKH12 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.19687#BFFS |
| 6GV815084E | 6GV815084E | statement | open | applied_combinatorics source/s_kitchensink_markov-chains.ptx#thm_regular |
| 6GVK39MNWM | 6GVK39MNWM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0803.0074#OJFN |
| 6GVS39YQXP | 6GVS39YQXP | statement | record (an 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.05708#Q8JJ |
| 6GVY94FSG1 | 6GVY94FSG1 | statement | record (an 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.17139#1N70 |
| 6GW4E21HMD | 6GW4E21HMD | statement | record (an 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.08891#RYI7 |
| 6GW89K54ZH | 6GW89K54ZH | statement | record (an 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#OS5J |