Inventory: X
The rows of the inventory whose names start with X. 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 1101–1200 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XCZ77GYD35 | XCZ77GYD35 | statement | record (an 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.00105#GXOH |
| XCZGFTP2SG | XCZGFTP2SG | statement | record (an 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#GWFU |
| XCZT4JK5YX | XCZT4JK5YX | statement | record (an 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#YRK5 |
| XD0039TTS7 | XD0039TTS7 | statement | record (an 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.04958#28DO |
| XD01XF8Y8F | XD01XF8Y8F | statement | record (an 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#VQGA |
| XD0GQXGWY2 | XD0GQXGWY2 | statement | record (an 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#2Q9H |
| XD0PJB6BX0 | XD0PJB6BX0 | statement | record (an 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.04314#PT8A |
| XD28X5F8NV | XD28X5F8NV | unknown | open | arXiv 1712.02437#E9CJ |
| XD2991A9FX | XD2991A9FX | statement | record (an 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.31783#C0V6 |
| XD2EPR34DX | XD2EPR34DX | statement | record (an 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#CVGZ |
| XD329T1RJ5 | XD329T1RJ5 | 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.07453#9FU7 |
| XD36TBSACQ | XD36TBSACQ | statement | record (an 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.10377#WL3A |
| XD3HY0G7YZ | XD3HY0G7YZ | statement | record (an 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.11535#EL2O |
| XD3JZD01KC | XD3JZD01KC | statement | record (an 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.17897#O16D |
| XD3JZRKJM7 | XD3JZRKJM7 | statement | record (an 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#25HY |
| XD4CPJ4Y4Q | XD4CPJ4Y4Q | statement | record (an 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.08789#CIBK |
| XD4Q1F61C3 | XD4Q1F61C3 | 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.00021#15I9 |
| XD4R2FTS3H | XD4R2FTS3H | statement | record (an 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.30636#2NFD |
| XD54XDJHQX | XD54XDJHQX | statement | record (an 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.23797#HE98 |
| XD5AHJAVGZ | XD5AHJAVGZ | statement | record (an 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.10828#NBQC |
| XD60ZWCKCE | XD60ZWCKCE | statement | record (an 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.27715#RBHQ |
| XD68QDYC0Z | XD68QDYC0Z | statement | record (an 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.21017#7R77 |
| XD68S7NKJ7 | XD68S7NKJ7 | statement | record (an 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#SF2V |
| XD6X43KVG1 | XD6X43KVG1 | statement | record (an 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.08074#GJSD |
| XD7YBP4GH5 | XD7YBP4GH5 | statement | record (an 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.21921#6IAR |
| XD87GHAEWM | XD87GHAEWM | proof | open | lebl_scv scv.tex#proof-58 |
| XD8TBE8973 | XD8TBE8973 | statement | record (an 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.21622#CCL7 |
| XD9DH5WD27 | XD9DH5WD27 | 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.14217#G004 |
| XD9E8WACYF | XD9E8WACYF | statement | record (an 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.24325#Y7R7 |
| XDA35JRZCX | XDA35JRZCX | exercise | open | austin_ula src/exercises/exercises4-2.xml#exercise-1 |
| XDA40PWN9A | XDA40PWN9A | statement | record (an 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.03477#C7V6 |
| XDA9MZCPTG | XDA9MZCPTG | statement | open | hott_book setmath.tex#cor:Delta0sep |
| XDB56KF56F | XDB56KF56F | statement | record (an 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.20480#IWZU |
| XDBFQ83GG5 | XDBFQ83GG5 | statement | record (an 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.03272#6JR8 |
| XDBHTPZET4 | XDBHTPZET4 | statement | record (an 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.29326#54D4 |
| XDBZ3GD3EM | XDBZ3GD3EM | unknown | open | |
| XDCHM4F61W | XDCHM4F61W | statement | record (an 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.30482#7D7V |
| XDDER3S36T | XDDER3S36T | statement | record (an 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#7UNJ |
| XDDWNPK16D | XDDWNPK16D | statement | record (an 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.35186#ZBQV |
| XDEH0S27EB | XDEH0S27EB | 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.00916#AOGX |
| XDEKE3GP4B | XDEKE3GP4B | 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 2510.12502#XNT4 |
| XDEZJ81J5J | XDEZJ81J5J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#K8YX |
| XDFGYDXYSM | XDFGYDXYSM | example | open | lebl_ra ch-approximate.tex#example-8 |
| XDFHJP9M32 | XDFHJP9M32 | proof | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-6 |
| XDFQ7E1AHR | XDFQ7E1AHR | statement | record (an 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.30819#ULUH |
| XDFR5DFMPC | XDFR5DFMPC | 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.31919#O0ID |
| XDGBXER9PW | XDGBXER9PW | example | open | austin_ula src/section4-2.xml#example-1 |
| XDGS1HEDBC | XDGS1HEDBC | 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.17442#WN1F |
| XDH3S0J07C | XDH3S0J07C | statement | record (an 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#X0WG |
| XDHGKWZR51 | XDHGKWZR51 | statement | record (an 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.39317#IPQ9 |
| XDJEBYK93V | XDJEBYK93V | statement | record (an 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.21627#229M |
| XDJEF10VSR | XDJEF10VSR | statement | record (an 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.21768#QDVS |
| XDM12ZDC6S | XDM12ZDC6S | exercise | open | napkin tex/linalg/transpose.tex#problem-1 |
| XDN2KVM0TB | XDN2KVM0TB | statement | record (an 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.05730#1QBA |
| XDN610G58F | XDN610G58F | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-18 |
| XDNGDCNR5A | XDNGDCNR5A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.1196#S945 |
| XDNQYEJMEP | XDNQYEJMEP | statement | record (an 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#EIN4 |
| XDNZ4XAWNE | XDNZ4XAWNE | statement | record (an 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.33557#Z5TI |
| XDP3408EPN | XDP3408EPN | statement | record (an 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.21489#XC0R |
| XDP385NN2F | XDP385NN2F | statement | record (an 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.01237#HENL |
| XDPJTH8G1H | XDPJTH8G1H | statement | record (an 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.17737#P1AE |
| XDPMY2RCFX | XDPMY2RCFX | statement | record (an 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.24185#HG1C |
| XDQCR8HXCC | XDQCR8HXCC | 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.35323#IK14 |
| XDQN2BP8K9 | XDQN2BP8K9 | statement | record (an 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.04623#MEDL |
| XDQT8S6C2A | XDQT8S6C2A | statement | record (an 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#Y6X0 |
| XDR640JY86 | XDR640JY86 | statement | record (an 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.24789#2TQM |
| XDRTBKR1SZ | XDRTBKR1SZ | statement | record (an 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.14143#W9CI |
| XDSEB20WD9 | XDSEB20WD9 | statement | record (an 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#8IQ9 |
| XDST06S42A | XDST06S42A | statement | record (an 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.07741#3CZ5 |
| XDSY0XD4QX | XDSY0XD4QX | statement | record (an 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.14204#WSZN |
| XDT539FZR1 | XDT539FZR1 | statement | record (an 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.08342#JNY9 |
| XDTAE4EPCF | XDTAE4EPCF | 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.37201#VAPP |
| XDTJJKARK6 | XDTJJKARK6 | statement | record (an 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.00271#UVKU |
| XDVE3VV6DV | XDVE3VV6DV | statement | record (an 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.10840#MNS6 |
| XDWFZY3EE3 | XDWFZY3EE3 | statement | record (an 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.11700#PGC1 |
| XDWVA92Z3Y | XDWVA92Z3Y | statement | record (an 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.04000#SV5Y |
| XDWY4G4WKY | XDWY4G4WKY | statement | record (an 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#1OIP |
| XDXBAW95EF | XDXBAW95EF | statement | record (an 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.40260#7WZV |
| XDXHY3N8S6 | XDXHY3N8S6 | 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.33018#QBUS |
| XDXKJD9STR | XDXKJD9STR | statement | record (an 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.22218#3EBP |
| XDY4SY6KMY | XDY4SY6KMY | statement | record (an 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.13328#FGKY |
| XDZ75JPQBW | XDZ75JPQBW | statement | record (an 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.39347#U7DG |
| XDZ7T02WHT | XDZ7T02WHT | statement | record (an 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#S370 |
| XDZBBXMQX0 | XDZBBXMQX0 | statement | record (an 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#RGQU |
| XDZCZ1JJWX | XDZCZ1JJWX | 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#FQCR |
| XE07KNPCB5 | XE07KNPCB5 | statement | record (an 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.14458#ZPAQ |
| XE11T5WF3C | XE11T5WF3C | example | open | lebl_ra ch-multivar-int.tex#example-5 |
| XE1CY03113 | XE1CY03113 | statement | record (an 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.28669#4TWU |
| XE1QEK1DF2 | XE1QEK1DF2 | 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.01087#U9IC |
| XE21WCHJND | XE21WCHJND | 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.31445#GAS6 |
| XE30QBT02Y | XE30QBT02Y | exercise | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#prob:digraph |
| XE412FMC4Y | XE412FMC4Y | 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.36922#YYV8 |
| XE4E56TNZ8 | XE4E56TNZ8 | 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.36332#XF94 |
| XE4HEQ58HP | XE4HEQ58HP | 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.17476#A2TX |
| XE4W7VAT2R | XE4W7VAT2R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.16003#22Q6 |
| XE5JZPW0ZE | XE5JZPW0ZE | exercise | open | austin_ula src/exercises/exercises6-3.xml#exercise-8 |
| XE5XT4KQC1 | XE5XT4KQC1 | statement | open | hott_book hits.tex#thm:ap2 |
| XE6DZPHSP0 | XE6DZPHSP0 | statement | record (an 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#MQM5 |
| XE6FKQNN9C | XE6FKQNN9C | statement | record (an 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.16941#W8ZM |
| XE74GZM8CW | XE74GZM8CW | statement | record (an 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.18744#WK7C |