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 16001–16100 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6J3YX3NJ2Z | 6J3YX3NJ2Z | statement | record (an 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.18226#XPSR |
| 6J40MF6Q7H | 6J40MF6Q7H | statement | record (an 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.23212#9PYJ |
| 6J4CGPPVTT | 6J4CGPPVTT | statement | record (an 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.07040#9RPF |
| 6J5DMKYFMT | 6J5DMKYFMT | statement | record (an 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#50ES |
| 6J6TNWEAQ0 | 6J6TNWEAQ0 | statement | record (an 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.35467#94CW |
| 6J6V2ERE0A | 6J6V2ERE0A | statement | record (an 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#A3ON |
| 6J73KHYXY2 | 6J73KHYXY2 | statement | record (an 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.01410#IITH |
| 6J7WJQRS66 | 6J7WJQRS66 | statement | record (an 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.13042#IENF |
| 6J7YFVE04S | 6J7YFVE04S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.21444#ZU09 |
| 6J85ZT15DK | 6J85ZT15DK | 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.21080#1DDN |
| 6J86J2TNW2 | 6J86J2TNW2 | statement | record (an 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.12263#3TZS |
| 6J8XFJMQH2 | 6J8XFJMQH2 | 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.21578#WZ81 |
| 6J9K5KH62K | 6J9K5KH62K | statement | record (an 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.31127#IW72 |
| 6J9K6E2PFB | 6J9K6E2PFB | statement | open | open_logic content/methods/induction/structural-induction.tex#prop-1 |
| 6J9T5HMKKR | 6J9T5HMKKR | statement | record (an 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#NYHW |
| 6JAE31YZ5K | 6JAE31YZ5K | example | open | austin_ula src/section6-3.xml#example-3 |
| 6JB65GWZ0M | 6JB65GWZ0M | 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.32903#3AQY |
| 6JBBEM614W | 6JBBEM614W | statement | record (an 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.17240#XWUQ |
| 6JBBQ3T4S3 | 6JBBQ3T4S3 | conjecture | record (an 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.20135#XY6X |
| 6JBPVR1BZV | 6JBPVR1BZV | statement | record (an 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.19452#0166 |
| 6JC3SSEK9T | 6JC3SSEK9T | statement | record (an 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.03449#HD80 |
| 6JCDZ4K0R2 | 6JCDZ4K0R2 | statement | record (an 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.37593#N16O |
| 6JDEZ19ENF | 6JDEZ19ENF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#BHU0 |
| 6JDWQ13ZEV | 6JDWQ13ZEV | statement | record (an 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.21935#9PXA |
| 6JE372N8PK | 6JE372N8PK | 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.39269#HOVA |
| 6JE3KEX4RY | 6JE3KEX4RY | statement | open | open_logic content/model-theory/basics/nonstandard-arithmetic.tex#thm:non-std |
| 6JE901PVJF | 6JE901PVJF | statement | record (an 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.27846#WUV7 |
| 6JEK120Z3A | 6JEK120Z3A | 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.31243#ASKB |
| 6JFGHBSTEX | 6JFGHBSTEX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.07697#PA7D |
| 6JFQ95C80P | 6JFQ95C80P | statement | record (an 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.05965#C1DW |
| 6JHHGMJYZQ | 6JHHGMJYZQ | 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 1612.08394#C2Q8 |
| 6JJ87Q1FZ0 | 6JJ87Q1FZ0 | 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.00453#85GO |
| 6JJ90BSSMM | 6JJ90BSSMM | example | open | open_logic content/many-valued-logic/syntax-and-semantics/connectives.tex#ex-1 |
| 6JJNCG7EZ5 | 6JJNCG7EZ5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.14022#3VS0 |
| 6JK6CE864H | 6JK6CE864H | statement | record (an 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.38772#1HF2 |
| 6JM21T0SG1 | 6JM21T0SG1 | statement | record (an 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.40017#7WM4 |
| 6JNJZMWYYY | 6JNJZMWYYY | 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 0904.2051#R599 |
| 6JP6XER9FE | 6JP6XER9FE | statement | record (an 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#IMN3 |
| 6JPN0VCC01 | 6JPN0VCC01 | statement | record (an 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#A342 |
| 6JPT2WSPVV | 6JPT2WSPVV | statement | record (an 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#CC3H |
| 6JPY1W1CH8 | 6JPY1W1CH8 | 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.11545#P4SL |
| 6JQA8C47E2 | 6JQA8C47E2 | statement | record (an 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.21675#5PFL |
| 6JQG8MY8GS | 6JQG8MY8GS | statement | record (an 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.28552#2JOM |
| 6JQXVTKP16 | 6JQXVTKP16 | 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#6OX7 |
| 6JQY7YE65X | 6JQY7YE65X | 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#RXW6 |
| 6JR3RZA9G0 | 6JR3RZA9G0 | statement | record (an 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.02751#HLMP |
| 6JR4ZGXGDS | 6JR4ZGXGDS | statement | record (an 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#AD2Z |
| 6JRK2T9AG3 | 6JRK2T9AG3 | definition | open | open_logic content/methods/induction/relations.tex#defn-2 |
| 6JRQ9VGEY1 | 6JRQ9VGEY1 | 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#PV0R |
| 6JRS9SHQ83 | 6JRS9SHQ83 | statement | record (an 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#BTMA |
| 6JSF31WB2H | 6JSF31WB2H | statement | record (an 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.19449#E09X |
| 6JSFZQAKCB | 6JSFZQAKCB | statement | record (an 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.36823#XV6I |
| 6JSGY1WPM9 | 6JSGY1WPM9 | statement | record (an 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.31242#BASZ |
| 6JT55T630N | 6JT55T630N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.15403#8NMH |
| 6JVTWDNNN0 | 6JVTWDNNN0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1010.3284#PHDU |
| 6JXRFQXB5A | 6JXRFQXB5A | statement | record (an 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.27570#WH1G |
| 6JXS0FNA42 | 6JXS0FNA42 | statement | record (an 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#ATAS |
| 6JY3TB1BWW | 6JY3TB1BWW | statement | record (an 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.27181#AUMU |
| 6JYNS20VC8 | 6JYNS20VC8 | statement | record (an 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.33805#009A |
| 6JYQHM8BMK | 6JYQHM8BMK | statement | record (an 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.01998#CVRJ |
| 6JYZVZMXG9 | 6JYZVZMXG9 | statement | record (an 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.27056#YYOG |
| 6JZAC9PYEH | 6JZAC9PYEH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.14879#TNCR |
| 6JZCMJ7G6J | 6JZCMJ7G6J | statement | record (an 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#W5PA |
| 6JZGMV78A5 | 6JZGMV78A5 | statement | record (an 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.02901#UXF3 |
| 6JZTPQNP5T | 6JZTPQNP5T | 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.31365#NM79 |
| 6K003RJZPJ | 6K003RJZPJ | statement | record (an 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.35030#382B |
| 6K1VD3DMA5 | 6K1VD3DMA5 | statement | record (an 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#LDFN |
| 6K1VT9SDXB | 6K1VT9SDXB | statement | record (an 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#H0XR |
| 6K237A9KE1 | 6K237A9KE1 | exercise | open | napkin tex/alg-NT/dedekind.tex#prob:prove_factoring_algorithm |
| 6K2793KS9F | 6K2793KS9F | statement | record (an 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.08664#R2HW |
| 6K2KPQKAHJ | 6K2KPQKAHJ | 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.16554#WFET |
| 6K2Y05ZJZA | 6K2Y05ZJZA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.09268#V31G |
| 6K30527AB1 | 6K30527AB1 | statement | record (an 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.09873#OZAQ |
| 6K3CN0N972 | 6K3CN0N972 | statement | record (an 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.01968#AD3U |
| 6K3PH7AKCW | 6K3PH7AKCW | 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.05459#7D6F |
| 6K3Z84H5Z1 | 6K3Z84H5Z1 | statement | record (an 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.10927#1C9M |
| 6K59QW01MS | 6K59QW01MS | statement | record (an 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.18302#A172 |
| 6K5A7ZH40S | 6K5A7ZH40S | statement | record (an 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#IXX8 |
| 6K5GC148KQ | 6K5GC148KQ | statement | record (an 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#AKXQ |
| 6K5MDYKG0M | 6K5MDYKG0M | exercise | open | open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#prob-1 |
| 6K6323ATX2 | 6K6323ATX2 | 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.20165#LPAA |
| 6K6637S0WP | 6K6637S0WP | statement | record (an 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#0VLP |
| 6K6KY0S3K8 | 6K6KY0S3K8 | statement | record (an 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.09812#ISTP |
| 6K6SZKNCXR | 6K6SZKNCXR | statement | record (an 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#76IU |
| 6K74ZE5W3P | 6K74ZE5W3P | statement | record (an 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.16267#JV4R |
| 6K81GQ5070 | 6K81GQ5070 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.02073#FR8B |
| 6K84N8FS7N | 6K84N8FS7N | statement | record (an 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#8SG2 |
| 6K8Y2S2PPF | 6K8Y2S2PPF | statement | record (an 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.09765#7BTX |
| 6K96YXT7YP | 6K96YXT7YP | statement | record (an 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#5QG4 |
| 6K9JCNSPK0 | 6K9JCNSPK0 | definition | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#definition-2 |
| 6K9SNGZSCB | 6K9SNGZSCB | statement | record (an 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.03835#B862 |
| 6K9TZ4JZDM | 6K9TZ4JZDM | definition | open | lebl_scv scv.tex#defn-26 |
| 6KASPADS0A | 6KASPADS0A | statement | record (an 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.19214#ZJU7 |
| 6KB6PCNM0D | 6KB6PCNM0D | 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.40096#YTPZ |
| 6KBC5J9F7M | 6KBC5J9F7M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.21337#PRNV |
| 6KBED46GJY | 6KBED46GJY | statement | record (an 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.12014#V6H7 |
| 6KBW08YMZQ | 6KBW08YMZQ | exercise | open | open_logic content/second-order-logic/metatheory/compactness.tex#prob-1 |
| 6KBWYB8PX6 | 6KBWYB8PX6 | statement | record (an 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/0406514#T70Z |
| 6KBYM53DZD | 6KBYM53DZD | exercise | open | lebl_scv scv.tex#exercise-239 |
| 6KC2F828GM | 6KC2F828GM | statement | record (an 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.39246#EYZR |