Math 2.0

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.

Rows 801–900 of 2715.

NameIdKindOutcomeSources
X980AD2C2QX980AD2C2Qstatementrecord (an 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#WFJ1
X98W3JFR3WX98W3JFR3Wstatementrecord (an 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.12931#G9HQ
X997Q90H0TX997Q90H0Tstatementrecord (an 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.30165#1Z2X
X998G2076CX998G2076Cdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2112.05010#AJIS
X9998J2E37X9998J2E37statementrecord (an 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.04063#W3F1
X99HHC07X8X99HHC07X8statementrecord (an 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#753G
X9A8GS7KMWX9A8GS7KMWexerciseopenlebl_diffyqs ch-first-order-ode.tex#exercise-46
X9B3XW89JEX9B3XW89JEstatementrecord (an 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.15643#0VIC
X9B9H6CJ18X9B9H6CJ18statementrecord (an 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.14425#IZLQ
X9BBB3DWVNX9BBB3DWVNstatementrecord (an 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.31858#HXHX
X9BK7THR2CX9BK7THR2Cstatementrecord (an 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#GXGK
X9BNF1VR2ZX9BNF1VR2Zstatementrecord (an 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.30086#6P61
X9BYTQGN9MX9BYTQGN9Mstatementrecord (an 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.36909#QKHG
X9CM5A68CGX9CM5A68CGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2507.05417#ZU0L
X9CXQD1CV6X9CXQD1CV6statementrecord (an 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#QRKC
X9CXVPYJ35X9CXVPYJ35statementrecord (an 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.06300#I7V1
X9DJ5QVF41X9DJ5QVF41statementrecord (an 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.21963#RPCO
X9DJDGN669X9DJDGN669examplerecord (an 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#5V3R
X9DRQF60D6X9DRQF60D6statementrecord (an 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#1DB6
X9F0QTDQWBX9F0QTDQWBstatementrecord (an 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.13855#1UL9
X9FMMRFCGYX9FMMRFCGYstatementrecord (an 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.21322#DLDJ
X9FNWBQQV8X9FNWBQQV8statementrecord (an 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#5GIO
X9FZ8RQM84X9FZ8RQM84statementrecord (an 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.06372#X87H
X9GAPBDZY3X9GAPBDZY3statementrecord (an 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.35180#KW3M
X9H7JJRW46X9H7JJRW46statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1804.05688#9D9U
X9HBKGRFR6X9HBKGRFR6exampleopenernst_ibl MAAPressVersion/Partitions.tex#example-1
X9K7WYC1GXX9K7WYC1GXstatementrecord (an 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.31615#K19O
X9KCT0W5HKX9KCT0W5HKdefinitionrecord (an 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.36884#GISU
X9KKH17N6FX9KKH17N6Fstatementrecord (an 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.27414#2RVM
X9KXN7FDKMX9KXN7FDKMexampleopenopen_logic content/first-order-logic/natural-deduction/proving-things.tex#ex-1
X9MMK35Y1BX9MMK35Y1Bstatementrecord (an 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.02199#Y1NZ
X9N3M5R6FBX9N3M5R6FBstatementrecord (an 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#YWS5
X9N53XA3FMX9N53XA3FMstatementrecord (an 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.33283#DTLE
X9N7DMP7XDX9N7DMP7XDdefinitionrecord (an 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#LQRV
X9Q36RH3MQX9Q36RH3MQstatementrecord (an 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.04758#XIY9
X9QAREYTVPX9QAREYTVPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2207.12181#2MLO
X9R27S6JRKX9R27S6JRKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1601.02354#KBTC
X9R9VFFTZ5X9R9VFFTZ5definitionrecord (an 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.34946#G3LU
X9RAG1897RX9RAG1897Rstatementrecord (an 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.29723#R5JQ
X9RGTTP09DX9RGTTP09Dstatementrecord (an 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.30033#FVIR
X9RKBRS1DWX9RKBRS1DWstatementrecord (an 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.17602#ILSI
X9RWBSPJ2XX9RWBSPJ2Xstatementrecord (an 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.29489#ZEA5
X9SGP7FN90X9SGP7FN90statementrecord (an 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.12931#XUE7
X9SJQRWC7XX9SJQRWC7Xstatementrecord (an 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#9MNT
X9T5HJESKHX9T5HJESKHstatementrecord (an 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.13847#T0QR
X9T6ZFRCWXX9T6ZFRCWXstatementrecord (an 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.10576#1EEV
X9TKQFYPD9X9TKQFYPD9definitionrecord (an 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.10080#HB7T
X9W4E2K5ESX9W4E2K5ESstatementrecord (an 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.25957#R60U
X9WRXDM8WSX9WRXDM8WSstatementopenlebl_ra ch-metric.tex#prop:msconvbound
X9WWKZF4TAX9WWKZF4TAstatementrecord (an 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#QUS8
X9XDWQHZ02X9XDWQHZ02statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2507.13548#PDNK
X9Y60Q82GFX9Y60Q82GFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.09062#TXYC
X9Y8F2ZYEYX9Y8F2ZYEYstatementrecord (an 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.32088#A0GN
X9YSZVR5P9X9YSZVR5P9conjecturerecord (an 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.15188#QZFM
X9Z0DKQF0JX9Z0DKQF0Jexamplerecord (an 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.09739#RYAT
XA01RA712CXA01RA712Cproofopenopen_logic content/set-theory/ordinals/iso.tex#proof-5
XA0232P7SAXA0232P7SAstatementrecord (an 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.07164#L1Y7
XA0NNXYV14XA0NNXYV14statementrecord (an 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.11056#58UK
XA0ZH79K0DXA0ZH79K0Dstatementrecord (an 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#GDBL
XA114PF4NDXA114PF4NDexerciseopenopen_logic content/model-theory/basics/isomorphism.tex#prob-2
XA138WYFKQXA138WYFKQstatementrecord (an 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.12736#STTR
XA1959Y4JQXA1959Y4JQdefinitionrecord (an 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.29537#BYRB
XA1PNA92B4XA1PNA92B4definitionrecord (an 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.14838#Y8PH
XA23KCMR8GXA23KCMR8Gstatementrecord (an 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.27911#WAC2
XA24SVQ4DRXA24SVQ4DRunknownopen
XA2HV1TJDDXA2HV1TJDDstatementrecord (an 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.35858#OGX1
XA3MJCERGVXA3MJCERGVstatementrecord (an 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.17720#B5BE
XA3VVQB9STXA3VVQB9STstatementrecord (an 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.26496#N95W
XA4VQ2684BXA4VQ2684Bexerciseopenlebl_ra ch-seq-funcs.tex#exercise-41
XA56NEQMM6XA56NEQMM6exerciseopenlebl_diffyqs ch-intro.tex#exercise-26
XA5MQK6GMPXA5MQK6GMPstatementrecord (an 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#GIXD
XA5TRV5PGAXA5TRV5PGAstatementrecord (an 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.37271#VX1B
XA5ZFMKF8TXA5ZFMKF8Tstatementrecord (an 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#B1QJ
XA7MTQHWTSXA7MTQHWTSstatementrecord (an 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.20801#INTJ
XA7QR8HQG2XA7QR8HQG2definitionrecord (an 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.01073#2WBL
XA8SDANC95XA8SDANC95statementrecord (an 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.10361#7D9H
XA8YGW10CPXA8YGW10CPstatementrecord (an 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.02019#TLHW
XA90KRK14TXA90KRK14Tstatementrecord (an 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.37815#ZPSD
XA9AG9WJPXXA9AG9WJPXstatementrecord (an 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.07541#4WJN
XA9YW3BDWKXA9YW3BDWKstatementopenopen_logic content/set-theory/replacement/finiteaxiomatizability.tex#zfnotfinitely
XAAC3JT6YBXAAC3JT6YBstatementrecord (an 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.17875#D1OD
XAASF05GGNXAASF05GGNstatementrecord (an 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.15378#SJDS
XAB3D85GZ7XAB3D85GZ7definitionrecord (an 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.36377#7H15
XAB41BJMEZXAB41BJMEZstatementrecord (an 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.35421#3NBR
XABCYZGTVBXABCYZGTVBstatementrecord (an 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.07541#STDX
XABFVZ8NMJXABFVZ8NMJstatementopenernst_ibl MAAPressVersion/UncountableSets.tex#corollary-1
XACDZ2HVPAXACDZ2HVPAstatementrecord (an 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.38548#1WP8
XACFNM22K8XACFNM22K8statementrecord (an 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.16491#J06E
XAE4ZG9K4ZXAE4ZG9K4Zstatementrecord (an 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.18016#1MF2
XAEGGZ5QATXAEGGZ5QATdefinitionrecord (an 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.10937#TZ2O
XAFACBJ63ZXAFACBJ63Zstatementrecord (an 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#5DO1
XAFTKXN4K9XAFTKXN4K9statementrecord (an 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.14060#2HK5
XAG219CEBHXAG219CEBHstatementrecord (an 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.14555#OSJL
XAGP2Z1J45XAGP2Z1J45statementrecord (an 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#4QDL
XAH5BHDZN8XAH5BHDZN8unknownopenarXiv 2610.13680#HP06
XAH5EM0H82XAH5EM0H82exerciseopenlebl_ra ch-approximate.tex#exercise-65
XAHRQYKT66XAHRQYKT66statementrecord (an 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.29478#G8U5
XAJEKTF4XAXAJEKTF4XAstatementrecord (an 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.16562#46W8
XAK6S661NXXAK6S661NXstatementrecord (an 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.19273#5HZ3
XAKNBD7QPAXAKNBD7QPAstatementrecord (an 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.29838#P5GV