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 20801–20900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8B4005SQFG | 8B4005SQFG | statement | record (an 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#K6NL |
| 8B40CZS3FJ | 8B40CZS3FJ | statement | record (an 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.13670#YAC0 |
| 8B49RJNBJP | 8B49RJNBJP | statement | record (an 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.05684#RHS8 |
| 8B4AQS7TRJ | 8B4AQS7TRJ | exercise | open | open_logic content/set-theory/ord-arithmetic/multiplication.tex#prob-1 |
| 8B4BHQQPKC | 8B4BHQQPKC | statement | record (an 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#YS5T |
| 8B4CTSS1DN | 8B4CTSS1DN | statement | record (an 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#BKMD |
| 8B4EV1DQEA | 8B4EV1DQEA | example | open | open_logic content/computability/recursive-functions/pr-functions.tex#ex-1 |
| 8B4F3JKM3N | 8B4F3JKM3N | statement | record (an 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#1Y76 |
| 8B4RNFTQC7 | 8B4RNFTQC7 | statement | open | hott_book equivalences.tex#thm:equiv-contr-hae |
| 8B54G96798 | 8B54G96798 | statement | record (an 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.06645#BVWD |
| 8B54JJ7HG0 | 8B54JJ7HG0 | 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.13100#FJA4 |
| 8B58EA1HHQ | 8B58EA1HHQ | statement | record (an 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.05672#VHZJ |
| 8B58NFAE79 | 8B58NFAE79 | example | open | open_logic content/first-order-logic/models-theories/theories.tex#ex-5 |
| 8B5APHKP5C | 8B5APHKP5C | statement | record (an 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.11829#67O5 |
| 8B5J8MKVQM | 8B5J8MKVQM | statement | record (an 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.11517#LPJR |
| 8B62ZDDV78 | 8B62ZDDV78 | statement | record (an 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.05118#JC0G |
| 8B7DDM1593 | 8B7DDM1593 | statement | record (an 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.09319#O3JN |
| 8B7G3R4M45 | 8B7G3R4M45 | 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 2004.12552#BG5W |
| 8B7GZHNCBA | 8B7GZHNCBA | statement | record (an 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.08753#LFCU |
| 8B818VPWTB | 8B818VPWTB | statement | record (an 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.25449#RP4H |
| 8B8CZR4GD0 | 8B8CZR4GD0 | statement | record (an 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.20758#9LOQ |
| 8B8M1P0EZW | 8B8M1P0EZW | statement | record (an 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.21662#A0U3 |
| 8B8TJJQWW0 | 8B8TJJQWW0 | statement | record (an 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.00625#W13W |
| 8B9VY3V2HW | 8B9VY3V2HW | statement | record (an 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.09678#OBQ9 |
| 8B9W8JXE7Y | 8B9W8JXE7Y | statement | record (an 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#9ODJ |
| 8BA3M663XN | 8BA3M663XN | statement | record (an 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.32860#6SL1 |
| 8BADKFBA1C | 8BADKFBA1C | statement | record (an 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#COIN |
| 8BAGKC4QWP | 8BAGKC4QWP | 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 2504.00267#4KM5 |
| 8BAJFMMN71 | 8BAJFMMN71 | 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.26745#J0DB |
| 8BBCSXH50B | 8BBCSXH50B | statement | record (an 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#VNPT |
| 8BBHEYW2QT | 8BBHEYW2QT | statement | record (an 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.35950#VKWD |
| 8BC9N4P3Z6 | 8BC9N4P3Z6 | proof | open | open_logic content/normal-modal-logic/completeness/frame-completeness.tex#proof-1 |
| 8BCAKGP6ZT | 8BCAKGP6ZT | 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.37846#2MRC |
| 8BCGQRV9CY | 8BCGQRV9CY | statement | record (an 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.30407#W9EY |
| 8BCHMMWNYM | 8BCHMMWNYM | statement | record (an 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.02642#ZRCD |
| 8BD14C26BP | 8BD14C26BP | statement | record (an 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.11047#SIGG |
| 8BE096E837 | 8BE096E837 | exercise | open | napkin tex/measure/randvar.tex#problem-1 |
| 8BF3Q9B1WW | 8BF3Q9B1WW | statement | record (an 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.09810#XVJ9 |
| 8BFG6DEEYQ | 8BFG6DEEYQ | statement | record (an 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.29943#TZAF |
| 8BFPM1WGPH | 8BFPM1WGPH | statement | record (an 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.14841#9DNL |
| 8BG1S1QHM6 | 8BG1S1QHM6 | statement | record (an 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#KCHU |
| 8BG2VEDYY8 | 8BG2VEDYY8 | 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.07695#T02W |
| 8BG43NS454 | 8BG43NS454 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.01302#XXB6 |
| 8BGGW7CQKY | 8BGGW7CQKY | statement | record (an 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.01121#V2YQ |
| 8BH0YVA7WP | 8BH0YVA7WP | statement | record (an 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.13100#S7XG |
| 8BH1V12EEV | 8BH1V12EEV | 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 0812.1600#M90R |
| 8BJ82C3T8R | 8BJ82C3T8R | statement | record (an 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.29227#CJPY |
| 8BJ8N2J13Z | 8BJ8N2J13Z | statement | record (an 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.33704#X9TO |
| 8BJAN9D7C9 | 8BJAN9D7C9 | statement | record (an 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.33124#65I5 |
| 8BJGQCQBV4 | 8BJGQCQBV4 | statement | record (an 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.09700#CE7F |
| 8BJHYTVSEC | 8BJHYTVSEC | statement | record (an 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.18377#AWBZ |
| 8BJPP1QXAW | 8BJPP1QXAW | statement | record (an 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.09171#Z55X |
| 8BJS8VKG7Q | 8BJS8VKG7Q | statement | record (an 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.00798#OPLJ |
| 8BJSRFGGFR | 8BJSRFGGFR | 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.15340#02B8 |
| 8BK2BTK3Z3 | 8BK2BTK3Z3 | statement | record (an 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.03336#TJSQ |
| 8BKGGV25FB | 8BKGGV25FB | statement | record (an 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#2URG |
| 8BMEXHD4SH | 8BMEXHD4SH | statement | record (an 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.34013#ZSHU |
| 8BMKTEVAPR | 8BMKTEVAPR | statement | record (an 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.31331#DGGI |
| 8BMY37XG8P | 8BMY37XG8P | statement | record (an 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.15444#3VQ2 |
| 8BNSRNHASV | 8BNSRNHASV | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-30 |
| 8BP0MJ4Z78 | 8BP0MJ4Z78 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.00407#CQ6D |
| 8BP5C6A4QE | 8BP5C6A4QE | statement | record (an 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#E7Y9 |
| 8BP6EQM9M4 | 8BP6EQM9M4 | statement | record (an 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.24353#DQ78 |
| 8BPMB6EXK8 | 8BPMB6EXK8 | statement | record (an 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.04993#P11K |
| 8BQ2H1E00M | 8BQ2H1E00M | statement | record (an 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.24541#52TR |
| 8BQ65PN1F6 | 8BQ65PN1F6 | statement | record (an 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.35102#E51U |
| 8BQV065JC1 | 8BQV065JC1 | statement | record (an 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.09422#QQF8 |
| 8BRE77FWB1 | 8BRE77FWB1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.06098#JO3M |
| 8BRM6638JV | 8BRM6638JV | statement | record (an 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.07608#EANO |
| 8BRSZ5HD5X | 8BRSZ5HD5X | 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.35605#QSAI |
| 8BSC5067XE | 8BSC5067XE | statement | record (an 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.19208#BD8Y |
| 8BSJFZ4FGB | 8BSJFZ4FGB | statement | record (an 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.22281#7WTQ |
| 8BT2M89DMN | 8BT2M89DMN | statement | record (an 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.19791#XQJR |
| 8BT7JBWNK4 | 8BT7JBWNK4 | proof | open | open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#proof-1 |
| 8BTEAKVRDJ | 8BTEAKVRDJ | statement | record (an 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.34876#G1RN |
| 8BTGQZNZG7 | 8BTGQZNZG7 | exercise | open | lebl_scv scv.tex#exercise-112 |
| 8BTWBQHHR2 | 8BTWBQHHR2 | statement | record (an 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.03062#OJRI |
| 8BVDVXPFBV | 8BVDVXPFBV | statement | record (an 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.09570#HOPM |
| 8BVMBKXQ3S | 8BVMBKXQ3S | statement | record (an 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.02686#61OX |
| 8BVN7D2395 | 8BVN7D2395 | unknown | open | arXiv 2609.35339#G2YY |
| 8BVZY7J2TF | 8BVZY7J2TF | 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.00789#QLLD |
| 8BW59B8Y4M | 8BW59B8Y4M | statement | record (an 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.09810#85Z0 |
| 8BW5BZAG2A | 8BW5BZAG2A | statement | open | hott_book categories.tex#ct:esosurj-postcomp-faithful |
| 8BW8RT3835 | 8BW8RT3835 | 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.07451#MZM0 |
| 8BWDG4QSEP | 8BWDG4QSEP | statement | record (an 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.35920#3CMD |
| 8BWEBZHS45 | 8BWEBZHS45 | statement | record (an 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.05512#28NW |
| 8BWMGPAYM6 | 8BWMGPAYM6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0903.1569#IGFL |
| 8BX90XGWRP | 8BX90XGWRP | example | open | lebl_diffyqs ch-power-ser.tex#example-4 |
| 8BXT2T011F | 8BXT2T011F | proof | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#proof-4 |
| 8BYC8K7Q1J | 8BYC8K7Q1J | statement | record (an 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.12012#F591 |
| 8BZSNVSZP8 | 8BZSNVSZP8 | statement | record (an 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.15405#RZHN |
| 8BZXASVWDF | 8BZXASVWDF | statement | record (an 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.11671#L23Q |
| 8BZZKBHC8P | 8BZZKBHC8P | statement | record (an 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.25390#4N1H |
| 8C23C9CQYG | 8C23C9CQYG | statement | record (an 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#OUIL |
| 8C26S5ADRG | 8C26S5ADRG | statement | record (an 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.24623#O8F7 |
| 8C2AYGWBMW | 8C2AYGWBMW | statement | record (an 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.17267#SW98 |
| 8C2GH7FFV2 | 8C2GH7FFV2 | statement | record (an 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.13580#0E5R |
| 8C41SSGTGK | 8C41SSGTGK | statement | record (an 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.20259#3IA2 |
| 8C4RAQ54M2 | 8C4RAQ54M2 | 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.13213#GKE7 |
| 8C4RZ37DCF | 8C4RZ37DCF | statement | record (an 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.40191#HGW7 |