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 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 22201–22300 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 7VVN8Y3B28 | 7VVN8Y3B28 | statement | record (an 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.24023#AHH7 |
| 7VX45JPPXY | 7VX45JPPXY | exercise | open | open_logic content/first-order-logic/tableaux/proving-things.tex#prob-1 |
| 7VXA2T634X | 7VXA2T634X | 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 2607.00323#6LZA |
| 7VXD0YTSF5 | 7VXD0YTSF5 | statement | record (an 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.12108#VPQ5 |
| 7VXJNA5TCS | 7VXJNA5TCS | proof | open | open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#proof-2 |
| 7VY9ESEGXN | 7VY9ESEGXN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#VI0W |
| 7VYFCRZ6R5 | 7VYFCRZ6R5 | 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.04046#VUGQ |
| 7VZFFEN60C | 7VZFFEN60C | statement | record (an 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.18562#1F9B |
| 7VZYB0E2KZ | 7VZYB0E2KZ | statement | record (an 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#AFGN |
| 7W0666N5GD | 7W0666N5GD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.10460#V93L |
| 7W0AMHTD3A | 7W0AMHTD3A | statement | record (an 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.08261#QONB |
| 7W1EQAPGK9 | 7W1EQAPGK9 | statement | record (an 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.04355#DRV6 |
| 7W1GQDMT9K | 7W1GQDMT9K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.04317#D7UQ |
| 7W1V8E6QEW | 7W1V8E6QEW | 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 2603.21971#3SKV |
| 7W1Y6KT3QG | 7W1Y6KT3QG | statement | record (an 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.12329#HLFC |
| 7W23WFYHV2 | 7W23WFYHV2 | 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.15217#YH4A |
| 7W2RB06QE5 | 7W2RB06QE5 | statement | record (an 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.24465#9X3P |
| 7W31A8962Q | 7W31A8962Q | statement | record (an 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.13883#CD5A |
| 7W3N1CJBGW | 7W3N1CJBGW | statement | record (an 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#FTTI |
| 7W3QBTAX7A | 7W3QBTAX7A | statement | record (an 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.26134#61I2 |
| 7W3XK09TMQ | 7W3XK09TMQ | statement | record (an 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.14678#X4G5 |
| 7W4APX44CP | 7W4APX44CP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.13464#W5B7 |
| 7W4FX9TXCH | 7W4FX9TXCH | statement | record (an 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#G1CG |
| 7W4SAF2J5J | 7W4SAF2J5J | statement | record (an 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#5M7H |
| 7W4VR764H8 | 7W4VR764H8 | 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.13295#YLA8 |
| 7W4W597DRK | 7W4W597DRK | statement | record (an 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.33027#YZQA |
| 7W5583S1RF | 7W5583S1RF | definition | open | open_logic content/applied-modal-logic/epistemic-logic/language-epistemic-logic.tex#defn-1 |
| 7W5662Q2AK | 7W5662Q2AK | statement | record (an 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.08658#ZX1V |
| 7W5CTSEYB2 | 7W5CTSEYB2 | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-17 |
| 7W5P55ZDYY | 7W5P55ZDYY | 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.37520#LJD5 |
| 7W5Q20NBJP | 7W5Q20NBJP | proof | open | open_logic content/model-theory/models-of-arithmetic/non-standard-models.tex#proof-1 |
| 7W5TQFZAVM | 7W5TQFZAVM | statement | record (an 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#KSIV |
| 7W605KAKNV | 7W605KAKNV | 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 1904.08413#CSXP |
| 7W60AT0QCD | 7W60AT0QCD | statement | record (an 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.21365#UIT6 |
| 7W64CNB2F3 | 7W64CNB2F3 | exercise | open | austin_ula src/exercises/exercises4-1.xml#exercise-4 |
| 7W6J39DAH2 | 7W6J39DAH2 | unknown | open | arXiv 1712.02437#BYRR |
| 7W6VRVTKD1 | 7W6VRVTKD1 | statement | record (an 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.23685#SNO1 |
| 7W8AY97KES | 7W8AY97KES | statement | record (an 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.15111#YVCK |
| 7W8HJGVJGP | 7W8HJGVJGP | statement | record (an 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.04608#ZWRB |
| 7W9K4Z4F91 | 7W9K4Z4F91 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.14306#2MZ2 |
| 7W9QTYE5GR | 7W9QTYE5GR | statement | record (an 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.28295#PUP8 |
| 7WBBEWJFH6 | 7WBBEWJFH6 | statement | record (an 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.05451#US17 |
| 7WBDC3JRGT | 7WBDC3JRGT | 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 1904.08413#E4YW |
| 7WCJNFBQVE | 7WCJNFBQVE | statement | record (an 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.21508#0FPP |
| 7WCJWRHH5X | 7WCJWRHH5X | statement | record (an 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.38212#GW75 |
| 7WCZ3CT64A | 7WCZ3CT64A | statement | record (an 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.04527#HH4W |
| 7WCZBE1MSJ | 7WCZBE1MSJ | statement | record (an 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.10206#IXUU |
| 7WDHC3YFPQ | 7WDHC3YFPQ | statement | record (an 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.16492#IYRJ |
| 7WDY8GF0F2 | 7WDY8GF0F2 | statement | record (an 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.04609#MVVO |
| 7WDZ2A9KK3 | 7WDZ2A9KK3 | 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.06556#3ED5 |
| 7WEBQSJ5Y0 | 7WEBQSJ5Y0 | statement | record (an 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.15454#PYPP |
| 7WENA8694C | 7WENA8694C | 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.08885#ZBYF |
| 7WEVDZXH6E | 7WEVDZXH6E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#ZR2J |
| 7WF85SBXKK | 7WF85SBXKK | statement | record (an 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.13888#L8UH |
| 7WFDCHN6ZJ | 7WFDCHN6ZJ | statement | record (an 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.21454#RCNU |
| 7WFFJAD4KN | 7WFFJAD4KN | 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.34570#RIFV |
| 7WFQNED77S | 7WFQNED77S | statement | record (an 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.14085#JX8B |
| 7WFYN2YK6H | 7WFYN2YK6H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.22636#C1BI |
| 7WG01528PN | 7WG01528PN | statement | record (an 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.14450#V13S |
| 7WG142DE4T | 7WG142DE4T | statement | record (an 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.37520#1DMV |
| 7WGXJDZ6D7 | 7WGXJDZ6D7 | statement | record (an 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.17957#M1B6 |
| 7WHD1CR65Q | 7WHD1CR65Q | statement | record (an 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#NTIB |
| 7WHH8P9DFZ | 7WHH8P9DFZ | statement | record (an 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#7EKL |
| 7WHPQ6K20Z | 7WHPQ6K20Z | statement | record (an 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.05986#N5O5 |
| 7WHYGJ40V3 | 7WHYGJ40V3 | statement | record (an 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.25761#QT67 |
| 7WJ6BW88TC | 7WJ6BW88TC | statement | record (an 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.19088#D38F |
| 7WJ7FTBEAT | 7WJ7FTBEAT | statement | record (an 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#49JS |
| 7WJ8STDHR0 | 7WJ8STDHR0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1712.02437#USSV |
| 7WJQR4VYJB | 7WJQR4VYJB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.14561#5WEL |
| 7WKHB6CMCY | 7WKHB6CMCY | statement | record (an 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.34168#R2DP |
| 7WMDF6GPG4 | 7WMDF6GPG4 | statement | record (an 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.25762#BOXV |
| 7WMHNFCD3Q | 7WMHNFCD3Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q14491931, nLab Thomas Streicher |
| 7WMKF2FVMR | 7WMKF2FVMR | exercise | open | austin_ula src/exercises/exercises2-4.xml#exercise-8 |
| 7WNJJP916Z | 7WNJJP916Z | statement | record (an 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.26162#QGQR |
| 7WNZAVGPXB | 7WNZAVGPXB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.00560#3SMD |
| 7WPAY4S3K1 | 7WPAY4S3K1 | statement | open | hott_book equivalences.tex#contrfamtotalpostcompequiv |
| 7WPE1QDV0D | 7WPE1QDV0D | statement | record (an 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#09FQ |
| 7WQE0NMBZH | 7WQE0NMBZH | statement | record (an 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.17589#R3UW |
| 7WQGAJNAS9 | 7WQGAJNAS9 | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-11 |
| 7WR17EJV24 | 7WR17EJV24 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.06433#R8B1 |
| 7WR3GVWGD3 | 7WR3GVWGD3 | statement | record (an 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.24845#BUI1 |
| 7WRXN24G6Q | 7WRXN24G6Q | statement | record (an 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.28297#ASMN |
| 7WS4X21E90 | 7WS4X21E90 | statement | record (an 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.01087#JBKK |
| 7WS532V1E2 | 7WS532V1E2 | statement | record (an 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.28411#9989 |
| 7WS8N3EV1M | 7WS8N3EV1M | statement | record (an 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.20002#8I8D |
| 7WSFTE6ZPS | 7WSFTE6ZPS | statement | record (an 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.14377#C8FE |
| 7WSWN7XV1X | 7WSWN7XV1X | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-27 |
| 7WTC2YJ5H6 | 7WTC2YJ5H6 | statement | record (an 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.33512#IDZW |
| 7WTCHJPCNW | 7WTCHJPCNW | 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.03358#WUEB |
| 7WTFF0YP3V | 7WTFF0YP3V | 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.31910#BW09 |
| 7WTXEBGPH3 | 7WTXEBGPH3 | statement | record (an 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.32834#9HZ8 |
| 7WV0ADGJWJ | 7WV0ADGJWJ | statement | record (an 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.04876#UIUC |
| 7WW9KR7MCV | 7WW9KR7MCV | 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 2211.14629#GJJ0 |
| 7WWJSTK88Z | 7WWJSTK88Z | 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.37337#YL4E |
| 7WWMKFPTJ7 | 7WWMKFPTJ7 | statement | record (an 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.27360#3ETE |
| 7WWP8TPYFM | 7WWP8TPYFM | statement | record (an 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.26366#6JMZ |
| 7WX40MQVMG | 7WX40MQVMG | statement | record (an 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.24451#KETV |
| 7WX9VKXMHP | 7WX9VKXMHP | 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.13063#SVO6 |
| 7WXDM1CHYY | 7WXDM1CHYY | statement | record (an 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.09390#5HXL |
| 7WY0F6KH5K | 7WY0F6KH5K | 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 2503.16884#J5AM |