Math 2.0

Inventory: P

The rows of the inventory whose names start with P. 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 101–200 of 13732.

NameIdKindOutcomeSources
P017SMXE6EP017SMXE6Estatementrecord (an 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.39726#7P6F
P017STHPCCP017STHPCCexamplerecord (an 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#87AJ
P01HV6NNE7P01HV6NNE7statementrecord (an 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.02893#B0KY
P01SVMTQY4P01SVMTQY4exerciseopenernst_ibl MAAPressVersion/EquivalenceRelations.tex#prob:made up
P01ZT657XBP01ZT657XBexamplerecord (an 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#0LB3
P023AT1HH8P023AT1HH8examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2408.01345#A8R6
P0243SEVGMP0243SEVGMstatementrecord (an 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.13850#92WG
P02DAGRY39P02DAGRY39definitionrecord (an 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.33771#7NNG
P02MYY1P16P02MYY1P16statementrecord (an 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.16606#9NEU
P037T4RXF1P037T4RXF1statementrecord (an 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#8IBY
P03SQN1NHPP03SQN1NHPstatementrecord (an 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.31127#DH6S
P03W2MQSYMP03W2MQSYMstatementrecord (an 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#2X9A
P041K910R7P041K910R7statementrecord (an 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.13980#X86N
P04DA1QEWKP04DA1QEWKstatementrecord (an 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#2MRY
P04DDPH2ANP04DDPH2ANstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2607.01109#S9VO
P04PTTJHCRP04PTTJHCRstatementrecord (an 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#2LRK
P04YXJXZJ1P04YXJXZJ1statementrecord (an 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.06081#AVUF
P052RAEVXTP052RAEVXTdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2110.08714#I0EV
P05535TR0CP05535TR0Cstatementrecord (an 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.13877#A022
P057B8ZKJDP057B8ZKJDdefinitionrecord (an 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.20558#TSCA
P05G4T7ZWHP05G4T7ZWHstatementrecord (an 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.20588#KA7H
P05TCV6MC4P05TCV6MC4statementrecord (an 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#L51C
P05YM7AQEMP05YM7AQEMstatementrecord (an 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.05288#TW36
P0655JJDCWP0655JJDCWstatementrecord (an 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.39700#FVGQ
P06XM2JZA7P06XM2JZA7statementrecord (an 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.15817#14QL
P077BF85SHP077BF85SHexamplerecord (an 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.01802#R1JY
P07FHAWVNAP07FHAWVNAstatementrecord (an 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#WSDN
P07MVWNT89P07MVWNT89statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2212.01916#6XRS
P07PH97E9NP07PH97E9Ndefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0806.0033#DPB5
P07ZF2RKSFP07ZF2RKSFstatementopenlebl_ra ch-seq-ser.tex#limandineq:lemma
P08EYTGZ0YP08EYTGZ0Ystatementrecord (an 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.04407#AHS1
P08KYP8FNKP08KYP8FNKstatementrecord (an 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.04140#CZY5
P08VYX1C5PP08VYX1C5Pstatementrecord (an 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.3308#02CG
P09GRXGZPPP09GRXGZPPstatementrecord (an 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.32338#F67B
P09SZ0DK2RP09SZ0DK2Rexamplerecord (an 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#YH6F
P09Y8QX19EP09Y8QX19Edefinitionrecord (an 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.30544#CUMJ
P0A8BEVBFKP0A8BEVBFKstatementrecord (an 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.36421#JWK3
P0B4EXGG8ZP0B4EXGG8Zexerciseopenlebl_scv scv.tex#exercise-92
P0BCQCS7YZP0BCQCS7YZstatementopenernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-9
P0BQH70PPSP0BQH70PPSstatementopenlebl_ra ch-contfunc.tex#cor:continterval
P0CFJ4EPVTP0CFJ4EPVTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0904.2051#IW5S
P0CH7BE9H9P0CH7BE9H9statementrecord (an 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#91OP
P0CVBA38YNP0CVBA38YNstatementrecord (an 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.03517#C2XA
P0D9MYV6XHP0D9MYV6XHstatementrecord (an 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.20242#XDBZ
P0DGX4K60XP0DGX4K60Xstatementrecord (an 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.18600#WPHP
P0DRBKEQY8P0DRBKEQY8statementrecord (an 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.39539#7SJ6
P0DSF052KFP0DSF052KFproofopenopen_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-5
P0FFY9XJS0P0FFY9XJS0statementrecord (an 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.05403#MTQV
P0FQX0D9PKP0FQX0D9PKexamplerecord (an 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.25289#79G6
P0HKAYNY8JP0HKAYNY8Jstatementrecord (an 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#MP7H
P0HXJPET6PP0HXJPET6Pexerciseopenernst_ibl MAAPressVersion/Topology.tex#prob:compact or not
P0JFTENXERP0JFTENXERdefinitionrecord (an 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.32733#0USK
P0JMGWR35ZP0JMGWR35Zstatementrecord (an 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#87E5
P0JPH1WVTBP0JPH1WVTBdefinitionrecord (an 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.39465#RK2M
P0JQ91JTF7P0JQ91JTF7statementrecord (an 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.37897#VN0W
P0KM4FC6QMP0KM4FC6QMstatementrecord (an 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.22326#TJLC
P0KVVVQ9Z8P0KVVVQ9Z8statementrecord (an 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.25289#SOA7
P0MRV3CDQ4P0MRV3CDQ4exerciseopenopen_logic content/first-order-logic/natural-deduction/soundness.tex#prob-2
P0NQ6NACN5P0NQ6NACN5statementrecord (an 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#VLMZ
P0P48V6332P0P48V6332statementopenopen_logic content/set-theory/ordinals/wo.tex#wo:strictorder
P0PEK7C60CP0PEK7C60Cproofopenopen_logic content/normal-modal-logic/tableaux/more-soundness.tex#proof-2
P0PKWPEP66P0PKWPEP66definitionrecord (an 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.06699#IQ7L
P0PY9RMNHXP0PY9RMNHXstatementrecord (an 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.20131#NET8
P0QG543YNQP0QG543YNQstatementrecord (an 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#2613
P0QJ5B9ZPZP0QJ5B9ZPZstatementrecord (an 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.01197#1LXU
P0QNYQP6XDP0QNYQP6XDstatementrecord (an 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.23527#CYSZ
P0QQEXYTRCP0QQEXYTRCstatementrecord (an 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.23470#3AKW
P0SA2RXD66P0SA2RXD66statementrecord (an 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#RGYQ
P0SJKAKN01P0SJKAKN01statementrecord (an 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.39430#KIGS
P0SMMN9ESVP0SMMN9ESVproblemrecord (an 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#YE10
P0SY34RGYTP0SY34RGYTproofopenhott_book setmath.tex#proof-40
P0TSJCNPXRP0TSJCNPXRstatementrecord (an 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.21972#J1OF
P0VNCD5TX3P0VNCD5TX3statementrecord (an 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.20556#JV8G
P0VV012P8PP0VV012P8Pstatementrecord (an 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.17547#RGR6
P0VXW7G56DP0VXW7G56Ddefinitionrecord (an 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#I7VA
P0W88QBG5VP0W88QBG5Vstatementrecord (an 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.35683#0IL5
P0WRDGWPZAP0WRDGWPZAstatementopenopen_logic content/first-order-logic/sequent-calculus/soundness-identity.tex#prop-1
P0X19HYS6JP0X19HYS6Jstatementrecord (an 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.00512#GL4G
P0Y0P3CENNP0Y0P3CENNdefinitionrecord (an 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.15111#23FD
P0Y6C08TM5P0Y6C08TM5statementopenernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-4
P0Y7C9XFG3P0Y7C9XFG3statementrecord (an 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.02379#L8MW
P0YC5SNE2AP0YC5SNE2Aexamplerecord (an 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#XWYG
P0ZA788D3HP0ZA788D3Hstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0809.0068#O4CT
P0ZBTP5B7VP0ZBTP5B7Vproofopenlebl_ra ch-approximate.tex#proof-20
P18MPDBRXXNHdefinitionopenWikipedia P1 (space group), Wikidata Q138299527
P10FWJ9BNGP10FWJ9BNGexerciseopenlebl_diffyqs ch-first-order-ode.tex#exercise-119
P10K7V7Z7VP10K7V7Z7Vdefinitionrecord (an 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.17817#2BHG
P126SW6WN6P126SW6WN6statementrecord (an 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.11772#BHSR
P12FWCRMDVP12FWCRMDVstatementrecord (an 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.16989#KHX4
P131XEGF58P131XEGF58statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0808.1331#4GJJ
P13MD7GQ8FP13MD7GQ8Fstatementrecord (an 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.20165#IOMK
P14ZYJD5ZYP14ZYJD5ZYexampleopenlevin_dmoi ptx/sec_intro-statements.ptx#example-2
P154FS5HCTP154FS5HCTdefinitionrecord (an 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.01915#2DFA
P160ZX9W0WP160ZX9W0Wstatementrecord (an 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.26114#6VEL
P16NHSQP56P16NHSQP56statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2411.01837#O0S2
P170J4TKWTP170J4TKWTstatementrecord (an 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.21975#D2RQ
P177PJK2WWP177PJK2WWstatementrecord (an 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.03629#WFIZ
P17A81F9KVP17A81F9KVstatementrecord (an 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.32524#F07S
P17BSP00RZP17BSP00RZdefinitionrecord (an 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.22237#6YUF
P17ER331S8P17ER331S8examplerecord (an 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#Q2E4