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 201–300 of 3003.

NameIdKindOutcomeSources
X200TS9Z8MX200TS9Z8Mexampleopennapkin tex/alg-geom/mor-scheme.tex#example-4
X206TAG0MMX206TAG0MMdefinitionrecord (an 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.11097#JBQU
X20KH0CTC3X20KH0CTC3statementrecord (an 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.01919#R1YP
X20VS1EMDAX20VS1EMDAstatementrecord (an 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.08123#BNZD
X20ZRF62FRX20ZRF62FRstatementrecord (an 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.05652#I6KZ
X21D07T8CRX21D07T8CRstatementrecord (an 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.35632#59LY
X21KHNNYSTX21KHNNYSTstatementrecord (an 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.06445#G7ZE
X22DJXJ8SGX22DJXJ8SGdefinitionrecord (an 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.20891#8PPX
X22H0TE4BYX22H0TE4BYstatementrecord (an 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.31604#Z1KT
X237QMNE8AX237QMNE8Astatementrecord (an 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.24001#J27R
X23Q3H6RSRX23Q3H6RSRstatementrecord (an 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.32446#2CTS
X23QF9RPPBX23QF9RPPBproofopenopen_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#proof-1
X249J0E164X249J0E164statementrecord (an 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#59M0
X24KZGDNBMX24KZGDNBMstatementrecord (an 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.19360#K6I9
X24M4XFFXTX24M4XFFXTdefinitionrecord (an 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#A5K9
X24NXMW4KKX24NXMW4KKexerciseopenlebl_scv scv.tex#exercise-278
X24P1AD9YSX24P1AD9YSstatementrecord (an 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.21915#5HP0
X24WNF1XBGX24WNF1XBGstatementrecord (an 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.08081#8PHR
X250HTG5CYX250HTG5CYstatementrecord (an 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.32104#R6OG
X256GQWWBGX256GQWWBGstatementrecord (an 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.12777#5GHS
X25J6PM6B0X25J6PM6B0statementrecord (an 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.18277#9GBQ
X26MH09TP7X26MH09TP7definitionrecord (an 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.05428#A3WW
X26MYP5SJ8X26MYP5SJ8definitionrecord (an 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#34DC
X26PHN55D0X26PHN55D0statementrecord (an 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.10860#PK1Y
X270VP6ACTX270VP6ACTstatementopenopen_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#lem:cons-G-unprov
X279CPJB46X279CPJB46statementrecord (an 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.28674#8MHA
X27GAPC0MTX27GAPC0MTdefinitionrecord (an 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.36412#9KCN
X27NN3S8PAX27NN3S8PAunknownopenarXiv 2610.13680#79H0
X27WPWN0TGX27WPWN0TGdefinitionrecord (an 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.06310#OSSZ
X288FPRXTMX288FPRXTMstatementrecord (an 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.36113#FG41
X28BNJCMX4X28BNJCMX4problemrecord (an 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.01873#VQLI
X29M3NF7A9X29M3NF7A9definitionrecord (an 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.26581#1Z5E
X29MK7AR11X29MK7AR11exerciseopenlebl_scv scv.tex#exercise-289
X2A0JSY0XSX2A0JSY0XSstatementrecord (an 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.20798#N8CT
X2A55GSCENX2A55GSCENdefinitionrecord (an 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.27301#VD46
X2AD2PK82NX2AD2PK82Ndefinitionrecord (an 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#36W7
X2AG7YSHAVX2AG7YSHAVstatementrecord (an 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.30018#HJC4
X2BQ86613DX2BQ86613Dstatementrecord (an 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.31090#1A37
X2BX08KG1FX2BX08KG1Fstatementrecord (an 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#6G1W
X2BXWXGW5KX2BXWXGW5Kstatementrecord (an 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#KH6O
X2C86YFPJ0X2C86YFPJ0statementrecord (an 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.21255#AP9T
X2CB43BKZDX2CB43BKZDstatementrecord (an 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#2BO3
X2CKHT3ZFRX2CKHT3ZFRexerciseopenlebl_ra ch-contfunc.tex#exercise-39
X2CRQWECV9X2CRQWECV9statementrecord (an 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.12713#8OLS
X2D6XPJ037X2D6XPJ037statementrecord (an 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.19437#W2M6
X2E6B4HKVTX2E6B4HKVTstatementrecord (an 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.08738#32SN
X2E75VG62GX2E75VG62Gstatementrecord (an 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#EXNQ
X2E8M9EARPX2E8M9EARPstatementrecord (an 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.22825#BO9Z
X2ENPFEK15X2ENPFEK15statementrecord (an 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.20389#L0YK
X2FKTEE2XPX2FKTEE2XPproofopenopen_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-6
X2FP6NWNQHX2FP6NWNQHdefinitionrecord (an 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.28141#JSTT
X2FTEF6V89X2FTEF6V89statementrecord (an 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.05850#L14D
X2FW3C33BRX2FW3C33BRstatementrecord (an 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#G7RU
X2G4381319X2G4381319statementrecord (an 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.09333#DTIJ
X2G6NK2QRJX2G6NK2QRJexampleopenapplied_combinatorics source/s_probability_intro.ptx#example-2
X2GFFDHRN2X2GFFDHRN2statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1002.0879#3VHG
X2GHQMDW6CX2GHQMDW6Cstatementrecord (an 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.17677#UTQ5
X2GNWJKRG2X2GNWJKRG2statementrecord (an 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.28518#F6GC
X2GPJ9D7HTX2GPJ9D7HTdefinitionopennapkin tex/calculus/integrate.tex#definition-2
X2HJ750Q7PX2HJ750Q7Pstatementrecord (an 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#EG8W
X2HRPMA4M6X2HRPMA4M6examplerecord (an 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#HQS6
X2HV0KD05EX2HV0KD05Edefinitionrecord (an 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.40207#A3OP
X2HYCMZA0DX2HYCMZA0Dstatementrecord (an 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.10816#SZ4J
X2HYRAR6FJX2HYRAR6FJstatementrecord (an 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#5ZUY
X2J13D33X6X2J13D33X6statementrecord (an 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.20900#TRLD
X2JBD4TGRZX2JBD4TGRZstatementrecord (an 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#R042
X2JE89YHWGX2JE89YHWGstatementrecord (an 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.18219#YSVA
X2JJA66RM5X2JJA66RM5exerciseopenlebl_scv scv.tex#exercise-113
X2KN8FJD5CX2KN8FJD5Cstatementopennapkin tex/riemann-surface/morphism.tex#proposition-3
X2MDRS0J49X2MDRS0J49statementrecord (an 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.19285#LYIQ
X2MHPS03W7X2MHPS03W7proofopenopen_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#proof-1
X2MHX79WB3X2MHX79WB3statementrecord (an 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.03081#2CBS
X2MKYV0FQHX2MKYV0FQHexerciseopenaustin_ula src/section3-2.xml#activity-1
X2MR3E9N9NX2MR3E9N9Nstatementrecord (an 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.04694#ELDT
X2MTDYHR0DX2MTDYHR0Dstatementrecord (an 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#YS02
X2N0B64HQMX2N0B64HQMstatementrecord (an 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.04933#UAZ4
X2N61C4H43X2N61C4H43statementrecord (an 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.04325#1POU
X2NWR8A2N2X2NWR8A2N2definitionrecord (an 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#8FY2
X2PD1KA8Q9X2PD1KA8Q9definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2305.18021#J1S5
X2PECG06T5X2PECG06T5statementrecord (an 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#2G3X
X2PET93K1FX2PET93K1Fstatementopenopen_logic content/first-order-logic/tableaux/provability-quantifiers.tex#prop:provability-quantifiers
X2PJPR8MQCX2PJPR8MQCdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1810.06028#8KEK
X2PQ0QPN5WX2PQ0QPN5Wstatementrecord (an 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.16554#G4J9
X2PSCX4PQVX2PSCX4PQVstatementrecord (an 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.24424#0QIK
X2PW33W2MDX2PW33W2MDstatementrecord (an 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.26133#35C9
X2QF3EYV5FX2QF3EYV5Fexamplerecord (an 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.19534#R69T
X2R04JNT3DX2R04JNT3Dstatementrecord (an 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.32946#98MZ
X2R5F0RG0EX2R5F0RG0Eproblemrecord (an 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.02065#ZUG7
X2RAEQDQKXX2RAEQDQKXstatementrecord (an 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#JN30
X2RJHP6HYDX2RJHP6HYDexerciseopennapkin tex/linalg/vector-space.tex#ques-6
X2TDPB8YFXX2TDPB8YFXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2402.05875#HINN
X2TSE1CZADX2TSE1CZADstatementrecord (an 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.23605#PW00
X2TVYEX0QYX2TVYEX0QYexerciseopenlebl_ra ch-several-vars-ders.tex#exercise-12
X2V337NPV4X2V337NPV4statementrecord (an 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.12484#QMQP
X2VBKP14GXX2VBKP14GXstatementrecord (an 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.07812#7EPN
X2VQZ6AN8QX2VQZ6AN8Qstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.01594#XO4X
X2W1PY9EW5X2W1PY9EW5statementrecord (an 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.14154#SD9U
X2WBQBEEMJX2WBQBEEMJstatementrecord (an 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.01924#T8FA
X2WC7AQSAAX2WC7AQSAAdefinitionrecord (an 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#2ECI
X2WGDWGR9SX2WGDWGR9Sdefinitionrecord (an 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.25168#QM12