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.
- 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 401–500 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| P4CPN8QAES | P4CPN8QAES | statement | open | lebl_ra ch-several-vars-ders.tex#prop:elemmatrixdecomp |
| P4D6ZPR8C9 | P4D6ZPR8C9 | 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.06762#LO0Y |
| P4D92S63JV | P4D92S63JV | exercise | open | lebl_scv scv.tex#exercise-156 |
| P4DEY7ZPQZ | P4DEY7ZPQZ | 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.27360#59IM |
| P4DJ776X9K | P4DJ776X9K | 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.05696#NQUF |
| P4EB2B4Q8A | P4EB2B4Q8A | 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.32077#6LAP |
| P4EC0CZK33 | P4EC0CZK33 | 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.03661#ZG20 |
| P4ED55V8B2 | P4ED55V8B2 | 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 2403.01959#QXBE |
| P4ERE4WRRS | P4ERE4WRRS | 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.21009#MEEJ |
| P4F1KK32EJ | P4F1KK32EJ | 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.36717#V4EN |
| P4GAM9MFD0 | P4GAM9MFD0 | 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 1806.05002#3LV5 |
| P4GB989PAD | P4GB989PAD | statement | open | lebl_ra ch-riemann.tex#prop:upperlowerlinineq |
| P4H4990N1P | P4H4990N1P | 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.29489#TZNB |
| P4H4T9HXBM | P4H4T9HXBM | 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.38567#B09E |
| P4H92M67DY | P4H92M67DY | 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.12912#715B |
| P4HA9YJ96R | P4HA9YJ96R | exercise | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-10 |
| P4J94JD0HA | P4J94JD0HA | 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.22074#PRA1 |
| P4JXJE1R3T | P4JXJE1R3T | 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.34522#1NJ3 |
| P4KRAZ7B3Y | P4KRAZ7B3Y | 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.20306#DXND |
| P4KRFB6Z4M | P4KRFB6Z4M | 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.20899#ADR5 |
| P4M1W22W8T | P4M1W22W8T | 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.16069#UH4T |
| P4M22M5PAR | P4M22M5PAR | 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.15037#IFFP |
| P4MNWR6191 | P4MNWR6191 | example | open | levin_dmoi ptx/sec_gt-intro.ptx#example-4 |
| P4NGK6505K | P4NGK6505K | 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.06340#LEL1 |
| P4NK29QYJJ | P4NK29QYJJ | 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 2006.12475#9HBI |
| P4NKXJMXMN | P4NKXJMXMN | unknown | open | arXiv 2610.13680#XTUH |
| P4NSHGFHM0 | P4NSHGFHM0 | 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.35844#FGFS |
| P4P8QS7XBH | P4P8QS7XBH | 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.09341#2MO1 |
| P4PKS5FMZ6 | P4PKS5FMZ6 | 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#UJAX |
| P4PZVVGKW4 | P4PZVVGKW4 | 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.14502#ISC8 |
| P4Q1CCTPK9 | P4Q1CCTPK9 | 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.25353#RJNS |
| P4Q60DMNAV | P4Q60DMNAV | 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 2605.24355#TLZQ |
| P4QDSNNAKF | P4QDSNNAKF | 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#8OQT |
| P4R7AVMEEN | P4R7AVMEEN | 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.21507#XUT2 |
| P4RAFHGT0A | P4RAFHGT0A | exercise | open | lebl_ra ch-contfunc.tex#exercise-23 |
| P4SXN5BDCM | P4SXN5BDCM | 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.25390#5VMW |
| P4T7XF5FM7 | P4T7XF5FM7 | 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#850J |
| P4T87N0Z56 | P4T87N0Z56 | 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.39700#N8D0 |
| P4TDVYNDE4 | P4TDVYNDE4 | example | open | napkin tex/H113/ring-flavors.tex#example-13 |
| P4TGZE6Q4J | P4TGZE6Q4J | 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.02790#2Q6A |
| P4THHBXS9N | P4THHBXS9N | 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.29918#CW8Q |
| P4TRBD64XM | P4TRBD64XM | 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.00343#1GT4 |
| P4TWB81FCQ | P4TWB81FCQ | unknown | open | arXiv 2205.15365#7USG |
| P4TYH8A2A7 | P4TYH8A2A7 | 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.08638#EP2B |
| P4V2PFWADX | P4V2PFWADX | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-22 |
| P4VJKYT7XA | P4VJKYT7XA | 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.00596#W735 |
| P4W19PGZYG | P4W19PGZYG | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-71 |
| P4W3GB71KH | P4W3GB71KH | exercise | open | napkin tex/alg-geom/spec-zariski.tex#ques-1 |
| P4WCGXP8YT | P4WCGXP8YT | 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.31445#0FM3 |
| P4WEPHQAP4 | P4WEPHQAP4 | 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.09900#QC5M |
| P4WNFE95HV | P4WNFE95HV | statement | open | lebl_ra ch-approximate.tex#prop:closureofalgebra |
| P4WT3MB2M1 | P4WT3MB2M1 | 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.17720#YBXP |
| P4X1VSXZ5Z | P4X1VSXZ5Z | 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.36423#SLKT |
| P4XC19DE3F | P4XC19DE3F | proof | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#proof-1 |
| P4Y684J6AS | P4Y684J6AS | 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.12014#8EJ5 |
| P4YAX5NHSS | P4YAX5NHSS | example | open | applied_combinatorics source/s_inclusion-exclusion_euler-phi.ptx#example-1 |
| P4YSAA8SFM | P4YSAA8SFM | 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#MFL8 |
| P4Z5TEPTVA | P4Z5TEPTVA | 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.04933#MD68 |
| P4ZXBWZ5PG | P4ZXBWZ5PG | 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.18219#27QM |
| P50E62ZP1V | P50E62ZP1V | exercise | open | open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#prob-1 |
| P51DPTT5HV | P51DPTT5HV | 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 2510.12502#YHW9 |
| P51Y0VGZR2 | P51Y0VGZR2 | 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#3FEO |
| P52E7BS551 | P52E7BS551 | 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.33856#A4ZR |
| P52GR8G2HV | P52GR8G2HV | 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.15593#PHH8 |
| P52JXPBKQF | P52JXPBKQF | 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 2207.07461#KOZB |
| P52K8899VD | P52K8899VD | 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#FCHJ |
| P532YHSP47 | P532YHSP47 | 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 2606.20229#TAOO |
| P53EJA57A6 | P53EJA57A6 | 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.15517#MHJS |
| P53EX99M1E | P53EX99M1E | 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.09171#PI1O |
| P53MSNJN74 | P53MSNJN74 | exercise | open | lebl_ra ch-contfunc.tex#exercise-70 |
| P53RSQ90YQ | P53RSQ90YQ | 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.02174#ZTDJ |
| P53T67FP9N | P53T67FP9N | 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.10773#2KC9 |
| P54AW33H09 | P54AW33H09 | 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 2605.00407#OLJU |
| P54CGSQQW1 | P54CGSQQW1 | 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.28803#8OHT |
| P55GMDK2R4 | P55GMDK2R4 | unknown | open | arXiv 2512.07470#L6IY |
| P564EHEFJ1 | P564EHEFJ1 | 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.31556#FJWC |
| P5675MPE10 | P5675MPE10 | definition | open | lebl_ra ch-metric.tex#defn-13 |
| P56C0BMDBZ | P56C0BMDBZ | 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.13631#8DJL |
| P56WC4HWN0 | P56WC4HWN0 | 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.36717#0NW2 |
| P571HR7WYX | P571HR7WYX | 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.00869#9C6M |
| P57G7Z4RVC | P57G7Z4RVC | 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.27635#ZEEA |
| P57HR6CW7P | P57HR6CW7P | 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.09422#G85R |
| P57NQ9DBYH | P57NQ9DBYH | 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 2401.14143#3MC1 |
| P58527KTTR | P58527KTTR | 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.18242#DQIX |
| P589H0XFSN | P589H0XFSN | 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.19088#NVOS |
| P58XREYC4H | P58XREYC4H | 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.15405#MP52 |
| P58Z79DSP8 | P58Z79DSP8 | 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.35229#QOCX |
| P58ZQ889XM | P58ZQ889XM | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-58 |
| P597AKAZ0V | P597AKAZ0V | 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 2211.04758#9LSF |
| P59EM6P446 | P59EM6P446 | 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.14380#5LGU |
| P59MKE8SM1 | P59MKE8SM1 | 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.31269#9F87 |
| P59VEBPA2Z | P59VEBPA2Z | 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.31907#RRVM |
| P5AN64RB0S | P5AN64RB0S | 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.02506#8PJM |
| P5AY2A44BC | P5AY2A44BC | 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 2103.12669#TN7Z |
| P5B7HC49N6 | P5B7HC49N6 | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-8 |
| P5B9MZ241X | P5B9MZ241X | 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.30165#1I7F |
| P5BH6VMRMP | P5BH6VMRMP | exercise | open | lebl_ra ch-approximate.tex#exercise-26 |
| P5BR1NN6KH | P5BR1NN6KH | 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.30444#H7GT |
| P5BW074R3F | P5BW074R3F | 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#HZ9V |
| P5C004646P | P5C004646P | 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.35287#3WKY |