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 14301–14400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 5XQNXNK19B | 5XQNXNK19B | statement | record (an 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#GH0F |
| 5XRP078F7Y | 5XRP078F7Y | 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.36334#WLNZ |
| 5XRYFWBDM4 | 5XRYFWBDM4 | statement | record (an 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#TN0M |
| 5XS2QWMYCT | 5XS2QWMYCT | statement | open | open_logic content/computability/recursive-functions/pr-functions.tex#prop:mult-pr |
| 5XSHZ08DNE | 5XSHZ08DNE | 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.18390#AIZQ |
| 5XTN27D8G1 | 5XTN27D8G1 | 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.40290#MB3N |
| 5XTRKSSPKW | 5XTRKSSPKW | statement | record (an 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.25094#E2YS |
| 5XV142XMK1 | 5XV142XMK1 | statement | record (an 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.29574#7NHX |
| 5XVC53VA24 | 5XVC53VA24 | statement | record (an 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.10330#OQ5R |
| 5XW54XH6QY | 5XW54XH6QY | statement | record (an 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.10221#AK6M |
| 5XWNBGTKFZ | 5XWNBGTKFZ | statement | record (an 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.05314#6L6J |
| 5XWNQZT5WA | 5XWNQZT5WA | statement | record (an 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.20391#37B9 |
| 5XWVDT4NN9 | 5XWVDT4NN9 | statement | record (an 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.10505#WL0Y |
| 5XXPB4V285 | 5XXPB4V285 | 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.10930#TFRP |
| 5XY2CP92T3 | 5XY2CP92T3 | 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.01346#JX9K |
| 5XY93MMWA0 | 5XY93MMWA0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#YVVX |
| 5XYAZX1G7P | 5XYAZX1G7P | statement | record (an 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.24545#OKSH |
| 5XYCEKH7NC | 5XYCEKH7NC | statement | record (an 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.16731#QIDG |
| 5XYKSJ6W1T | 5XYKSJ6W1T | statement | record (an 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.22082#K3T9 |
| 5XYPK3S76P | 5XYPK3S76P | statement | record (an 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.05177#QUFQ |
| 5XYWFEF71D | 5XYWFEF71D | proof | open | hott_book hits.tex#proof-26 |
| 5XZ02J94GD | 5XZ02J94GD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q151746, nLab François Englert |
| 5XZ0ZGSF25 | 5XZ0ZGSF25 | statement | record (an 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.06707#IGA8 |
| 5XZ43Y4KPA | 5XZ43Y4KPA | exercise | open | open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#prob-1 |
| 5Y13C5RH68 | 5Y13C5RH68 | 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 2310.14879#AYDB |
| 5Y1FSFWX39 | 5Y1FSFWX39 | statement | record (an 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.31811#RYYF |
| 5Y2029MMCJ | 5Y2029MMCJ | 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.18847#G057 |
| 5Y2Q5AY3ZA | 5Y2Q5AY3ZA | statement | record (an 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.13518#J1E3 |
| 5Y2QMD3KTS | 5Y2QMD3KTS | statement | record (an 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.05391#J4RZ |
| 5Y2RGAX6SX | 5Y2RGAX6SX | 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 2401.00191#XCE7 |
| 5Y3BFZD1Q0 | 5Y3BFZD1Q0 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-31 |
| 5Y4935BP2C | 5Y4935BP2C | statement | record (an 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.11481#U8MS |
| 5Y4GXXHQDM | 5Y4GXXHQDM | 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 2205.09049#X65H |
| 5Y4QX386WC | 5Y4QX386WC | statement | record (an 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#B355 |
| 5Y4WP39KV8 | 5Y4WP39KV8 | exercise | open | levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-17 |
| 5Y4YC7Z80C | 5Y4YC7Z80C | 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.36811#XWG8 |
| 5Y53M5F0GY | 5Y53M5F0GY | statement | record (an 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.04411#9M6B |
| 5Y5ADZ32BD | 5Y5ADZ32BD | statement | record (an 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.01071#47I8 |
| 5Y5DJSYPJB | 5Y5DJSYPJB | statement | open | open_logic content/turing-machines/undecidability/verification.tex#lem:valid-if-halt |
| 5Y5GH6DJJ4 | 5Y5GH6DJJ4 | 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 1808.00180#QZC2 |
| 5Y5JZXQH3T | 5Y5JZXQH3T | statement | record (an 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/0009023#ZKPO |
| 5Y6EW03EP4 | 5Y6EW03EP4 | statement | record (an 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#3TG9 |
| 5Y6Q1877GN | 5Y6Q1877GN | statement | record (an 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.03004#EVMI |
| 5Y6TRMV5Q2 | 5Y6TRMV5Q2 | statement | record (an 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#3AK5 |
| 5Y780FKCJV | 5Y780FKCJV | statement | record (an 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.05066#UWU8 |
| 5Y7HQH1YHP | 5Y7HQH1YHP | 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 1008.4946#GFZ5 |
| 5Y7Q4H7JEY | 5Y7Q4H7JEY | 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 2505.04593#RWSJ |
| 5Y7V508M4S | 5Y7V508M4S | statement | record (an 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#H5FM |
| 5Y8516G1ZT | 5Y8516G1ZT | statement | record (an 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.10558#H368 |
| 5Y8W79PDQC | 5Y8W79PDQC | statement | record (an 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.34845#XJ6J |
| 5Y8Z93XB2A | 5Y8Z93XB2A | statement | record (an 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.02848#AWHP |
| 5Y8ZNV7TC3 | 5Y8ZNV7TC3 | statement | record (an 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.08099#1KMD |
| 5Y90GP8XHZ | 5Y90GP8XHZ | example | open | lebl_diffyqs ch-laplace.tex#example-5 |
| 5Y9K3S49Y6 | 5Y9K3S49Y6 | statement | record (an 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.38735#I72P |
| 5Y9KCTHPZ9 | 5Y9KCTHPZ9 | statement | record (an 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.03628#PL6O |
| 5Y9XF5WZSV | 5Y9XF5WZSV | statement | record (an 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.11439#IK73 |
| 5YAHCYD88B | 5YAHCYD88B | 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.13385#A9XB |
| 5YANHGT53W | 5YANHGT53W | statement | record (an 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.07890#LAQ0 |
| 5YAYJ0NJCC | 5YAYJ0NJCC | 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.05299#6EJK |
| 5YCN70PRPB | 5YCN70PRPB | 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.33590#SVS1 |
| 5YCPHCDQH7 | 5YCPHCDQH7 | statement | record (an 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.21724#EA4G |
| 5YDJKQ48E2 | 5YDJKQ48E2 | 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.18302#DZXY |
| 5YDYFBBT8Q | 5YDYFBBT8Q | 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.03420#PBFH |
| 5YE0CWVGSE | 5YE0CWVGSE | statement | record (an 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.37606#OZ4Y |
| 5YE68M8RFC | 5YE68M8RFC | statement | record (an 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.08382#YZL7 |
| 5YE9C6F649 | 5YE9C6F649 | statement | record (an 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#N0XV |
| 5YF84DJBJ8 | 5YF84DJBJ8 | statement | record (an 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.02468#9MR6 |
| 5YFD5NKT9V | 5YFD5NKT9V | statement | record (an 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.21045#3R7J |
| 5YG2BH4CKK | 5YG2BH4CKK | statement | record (an 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.30600#5H0Y |
| 5YG6FJX3MT | 5YG6FJX3MT | exercise | open | lebl_ra ch-approximate.tex#exercise-10 |
| 5YG6M4QQQF | 5YG6M4QQQF | statement | record (an 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.38838#EVRU |
| 5YG7B3EBJB | 5YG7B3EBJB | statement | record (an 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.09483#ISG9 |
| 5YGF06WC7F | 5YGF06WC7F | statement | record (an 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.06546#RWAY |
| 5YGGQ2RMSY | 5YGGQ2RMSY | 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 2307.02473#JNFX |
| 5YHFXBA1N0 | 5YHFXBA1N0 | statement | record (an 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.15525#25RZ |
| 5YHXREQQR2 | 5YHXREQQR2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.10212#3KSU |
| 5YJ3N0G2SF | 5YJ3N0G2SF | statement | record (an 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.38865#5T0W |
| 5YJ924712F | 5YJ924712F | 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.16605#2AJR |
| 5YJJHFM3E7 | 5YJJHFM3E7 | statement | record (an 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.28200#C5BO |
| 5YJTF81GBB | 5YJTF81GBB | statement | record (an 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.28781#JWKX |
| 5YKGJPQWGT | 5YKGJPQWGT | exercise | open | open_logic content/sets-functions-relations/relations/graphs.tex#prob-1 |
| 5YKYH5N3GW | 5YKYH5N3GW | 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 1711.00219#MJR5 |
| 5YMJ4EWJ6G | 5YMJ4EWJ6G | statement | record (an 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.14274#GLHU |
| 5YNNY12A52 | 5YNNY12A52 | statement | record (an 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#MI9F |
| 5YNQM09XD4 | 5YNQM09XD4 | statement | record (an 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#R3OZ |
| 5YNWMPDKXA | 5YNWMPDKXA | statement | record (an 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.02158#XTFM |
| 5YNX88G98Y | 5YNX88G98Y | statement | record (an 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.09049#DVX3 |
| 5YNXPR0AKT | 5YNXPR0AKT | statement | record (an 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.02993#SY1O |
| 5YPM5GBCA7 | 5YPM5GBCA7 | 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 2602.07485#Q016 |
| 5YPQG1PTWJ | 5YPQG1PTWJ | 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.20385#0W6E |
| 5YPZB2TMWJ | 5YPZB2TMWJ | statement | record (an 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.25291#LYVB |
| 5YQ01GNF2S | 5YQ01GNF2S | statement | record (an 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.03661#E5X4 |
| 5YQTBH9HG4 | 5YQTBH9HG4 | statement | record (an 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.01888#1KQK |
| 5YRVH20ZAM | 5YRVH20ZAM | 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.31445#WUME |
| 5YRVXDWG3N | 5YRVXDWG3N | statement | record (an 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.11336#I9Q1 |
| 5YSB5GNKMS | 5YSB5GNKMS | exercise | open | lebl_scv scv.tex#exercise-163 |
| 5YSBJDSWEX | 5YSBJDSWEX | statement | open | lebl_ra ch-metric.tex#prop:closedcomplete |
| 5YSN1YJPES | 5YSN1YJPES | statement | record (an 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.19866#GF6J |
| 5YSYEQ29VG | 5YSYEQ29VG | statement | record (an 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.18312#WIRF |
| 5YTB5F8GB9 | 5YTB5F8GB9 | statement | record (an 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.16731#8K1Z |