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 10101–10200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 4D54SH6Q5C | 4D54SH6Q5C | statement | record (an 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.01586#AF2F |
| 4D6MHT57V6 | 4D6MHT57V6 | statement | record (an 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.09739#FD2F |
| 4D7DC5ZSS8 | 4D7DC5ZSS8 | statement | record (an 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#2PH2 |
| 4D7P3YV73Z | 4D7P3YV73Z | 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.14060#TF6T |
| 4D7P85D1B1 | 4D7P85D1B1 | statement | record (an 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.26357#14D6 |
| 4D7PK1WCYX | 4D7PK1WCYX | exercise | open | napkin tex/H113/sylow.tex#ques-1 |
| 4D7PS07Q8Z | 4D7PS07Q8Z | 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 2207.12181#I8G5 |
| 4D98TP2J3A | 4D98TP2J3A | statement | record (an 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.30823#I51S |
| 4DA7RYTKV2 | 4DA7RYTKV2 | proof | open | open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#proof-1 |
| 4DAAX8VNT9 | 4DAAX8VNT9 | statement | open | open_logic content/sets-functions-relations/relations/orders.tex#prop:stricttopartial |
| 4DAH3GR5V3 | 4DAH3GR5V3 | 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.02141#1XNI |
| 4DB3R6WE5A | 4DB3R6WE5A | statement | record (an 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.13888#7NIE |
| 4DC3PBFYNH | 4DC3PBFYNH | statement | record (an 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.07784#XGGM |
| 4DCT3FV48S | 4DCT3FV48S | 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 2112.05010#U4UR |
| 4DCWQ3FCFX | 4DCWQ3FCFX | statement | record (an 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#I9KE |
| 4DDF7BZ8D8 | 4DDF7BZ8D8 | statement | open | open_logic content/first-order-logic/completeness/identity.tex#prop:approx-equiv |
| 4DDJ99R6P0 | 4DDJ99R6P0 | statement | record (an 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#3CPH |
| 4DDQB3TKDZ | 4DDQB3TKDZ | statement | record (an 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#AZ4B |
| 4DF31X3ZH3 | 4DF31X3ZH3 | statement | record (an 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.13513#AGFX |
| 4DF3X0FKY1 | 4DF3X0FKY1 | statement | record (an 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#1W9N |
| 4DFXMNFARS | 4DFXMNFARS | statement | record (an 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.27635#8R7J |
| 4DG1EXDJPQ | 4DG1EXDJPQ | statement | record (an 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#4I3N |
| 4DG1WW7DEX | 4DG1WW7DEX | statement | record (an 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#ADZ0 |
| 4DGDC65F4Y | 4DGDC65F4Y | statement | record (an 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.35538#DYHZ |
| 4DGM8080NB | 4DGM8080NB | statement | record (an 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.07451#0QSM |
| 4DGS29ZQYH | 4DGS29ZQYH | 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.03688#W475 |
| 4DHKAHTG51 | 4DHKAHTG51 | statement | record (an 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.22882#IU0X |
| 4DHN3SVS7P | 4DHN3SVS7P | statement | record (an 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.16102#NB3C |
| 4DHRYF81HG | 4DHRYF81HG | 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.14373#VHR3 |
| 4DJZSW5TP7 | 4DJZSW5TP7 | proof | open | open_logic content/set-theory/choice/vitali.tex#proof-1 |
| 4DK1RVCFN5 | 4DK1RVCFN5 | 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.33771#I7DY |
| 4DKDWWPC6X | 4DKDWWPC6X | statement | record (an 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#3RIS |
| 4DKY686WXF | 4DKY686WXF | statement | record (an 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.19483#0MPQ |
| 4DM5FMAR8F | 4DM5FMAR8F | statement | record (an 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.01783#OGFV |
| 4DM95N6YDP | 4DM95N6YDP | statement | record (an 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.11097#1KAT |
| 4DMKZV0D32 | 4DMKZV0D32 | unknown | open | arXiv 2610.13680#O9AA |
| 4DMVVFX7KR | 4DMVVFX7KR | statement | record (an 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.07546#U62D |
| 4DMW8BJV19 | 4DMW8BJV19 | unknown | open | arXiv 2610.13680#417L |
| 4DN0VBCK59 | 4DN0VBCK59 | statement | record (an 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.02295#HK9W |
| 4DN1XYGD4G | 4DN1XYGD4G | 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 2407.02022#MQYG |
| 4DNQ79KTGG | 4DNQ79KTGG | 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.01737#TPD7 |
| 4DP2SX81ZW | 4DP2SX81ZW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.00162#ZW2D |
| 4DPA5X328N | 4DPA5X328N | statement | record (an 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#DQD0 |
| 4DPJTN4Q3X | 4DPJTN4Q3X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#UD6H |
| 4DPMM08YMA | 4DPMM08YMA | statement | open | open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#prop:chain |
| 4DPMYPS8FY | 4DPMYPS8FY | statement | record (an 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.14859#9HH5 |
| 4DPSCAT260 | 4DPSCAT260 | 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 2309.01359#IGNT |
| 4DQXC43WD7 | 4DQXC43WD7 | exercise | open | levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-6 |
| 4DRBM1BXKB | 4DRBM1BXKB | exercise | open | open_logic content/lambda-calculus/syntax/substitution.tex#prob-5 |
| 4DS9WGMKJ5 | 4DS9WGMKJ5 | 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.39254#1OIX |
| 4DSWV80BEP | 4DSWV80BEP | definition | open | open_logic content/applied-modal-logic/epistemic-logic/relational-models.tex#defn-1 |
| 4DTDQ6WZ6G | 4DTDQ6WZ6G | statement | record (an 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.18084#XOGO |
| 4DVC0YE9KY | 4DVC0YE9KY | statement | record (an 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.25129#SPS4 |
| 4DVYWPNCFJ | 4DVYWPNCFJ | statement | record (an 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#J2U3 |
| 4DXX1EVK7B | 4DXX1EVK7B | statement | record (an 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.09882#RWLU |
| 4DY19HX6J4 | 4DY19HX6J4 | 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.10591#SWJM |
| 4DYB36ZVQE | 4DYB36ZVQE | exercise | open | open_logic content/first-order-logic/tableaux/proving-things.tex#prob-3 |
| 4DYQQWR982 | 4DYQQWR982 | statement | record (an 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.05276#V5LE |
| 4DZ116A3QX | 4DZ116A3QX | statement | record (an 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.05784#9NM7 |
| 4DZ3EKV0SG | 4DZ3EKV0SG | statement | open | open_logic content/lambda-calculus/syntax/unique-readability.tex#lem:app-start |
| 4DZQVE0YXQ | 4DZQVE0YXQ | statement | open | open_logic content/incompleteness/incompleteness-provability/second-incompleteness-thm.tex#thm:second-incompleteness-gen |
| 4E0D4RWBEX | 4E0D4RWBEX | statement | record (an 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.17602#VZ4E |
| 4E0SVP93AV | 4E0SVP93AV | statement | record (an 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.26401#0P0A |
| 4E15JECJH3 | 4E15JECJH3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.12502#63N4 |
| 4E1KF7D6AW | 4E1KF7D6AW | 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.31689#90B0 |
| 4E1NG4B31K | 4E1NG4B31K | statement | record (an 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.28350#7DY8 |
| 4E1R7MVZDY | 4E1R7MVZDY | exercise | open | ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-2 |
| 4E1X5GH5ZA | 4E1X5GH5ZA | statement | record (an 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#27R7 |
| 4E222DPZ6V | 4E222DPZ6V | statement | record (an 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#82EV |
| 4E2NGGZMN2 | 4E2NGGZMN2 | 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.09900#RQYL |
| 4E2TCFVVCV | 4E2TCFVVCV | 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 2504.07573#5YMM |
| 4E307FX6PS | 4E307FX6PS | statement | record (an 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.12326#1DG3 |
| 4E32TFJ74A | 4E32TFJ74A | statement | record (an 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.18084#IEE9 |
| 4E33VMR8GW | 4E33VMR8GW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.08186#V9I5 |
| 4E34G3PNJN | 4E34G3PNJN | statement | record (an 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.31615#DB85 |
| 4E3WM66M5F | 4E3WM66M5F | statement | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-7 |
| 4E44FZEGBZ | 4E44FZEGBZ | 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 2301.04933#VAWR |
| 4E4FAVQHWB | 4E4FAVQHWB | statement | record (an 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.07116#IMNN |
| 4E5HF76QBH | 4E5HF76QBH | statement | record (an 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.39531#LL5G |
| 4E5TP7BNRP | 4E5TP7BNRP | 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 2411.16655#ARJU |
| 4E61QVDBBR | 4E61QVDBBR | statement | record (an 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.18847#S2I2 |
| 4E7E9148XG | 4E7E9148XG | statement | record (an 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.00806#WJBR |
| 4E7XQSK95X | 4E7XQSK95X | statement | record (an 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.02207#6BIJ |
| 4E7ZY5BRQY | 4E7ZY5BRQY | 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.17060#7M1W |
| 4E8V1MP8VX | 4E8V1MP8VX | statement | record (an 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.28540#1L8G |
| 4E95NKYYHQ | 4E95NKYYHQ | statement | record (an 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.17325#1WEZ |
| 4E9M6Q7K00 | 4E9M6Q7K00 | statement | record (an 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.10902#NC90 |
| 4EA2JFXP63 | 4EA2JFXP63 | statement | record (an 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#SXOA |
| 4EAS1SWRN6 | 4EAS1SWRN6 | 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.01433#GN7W |
| 4EAYPDRQ0P | 4EAYPDRQ0P | statement | record (an 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.13723#HISX |
| 4EBGN2RK59 | 4EBGN2RK59 | statement | record (an 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.08081#LHDM |
| 4ECF69BH8Q | 4ECF69BH8Q | statement | record (an 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.10937#OS0P |
| 4ECWVMS8XN | 4ECWVMS8XN | statement | record (an 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.10469#9438 |
| 4ECY6C868P | 4ECY6C868P | statement | record (an 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#DG6G |
| 4ED6JKPG4D | 4ED6JKPG4D | statement | record (an 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.11847#YNHD |
| 4EDMZGGC5P | 4EDMZGGC5P | statement | record (an 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#QBN6 |
| 4EEN0TRV83 | 4EEN0TRV83 | statement | record (an 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.12486#Y519 |
| 4EEYKK41QY | 4EEYKK41QY | 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.15099#GDDT |
| 4EF0S7RHAW | 4EF0S7RHAW | 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.09133#KT73 |
| 4EFAPHK8P8 | 4EFAPHK8P8 | 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.39981#K5JG |