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 2901–3000 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PMMP3RSE6N | PMMP3RSE6N | 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.19285#WQJY |
| PMMPFPSVE2 | PMMPFPSVE2 | 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.25449#ZE25 |
| PMP8DMD9JM | PMP8DMD9JM | 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.04305#AU86 |
| PMPP27JQFQ | PMPP27JQFQ | 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.12486#HTY4 |
| PMQGB8N3GK | PMQGB8N3GK | 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 2309.16041#DQYR |
| PMQGK24KYZ | PMQGK24KYZ | 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.04466#KAUJ |
| PMQKJXNQZT | PMQKJXNQZT | 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.13114#UXP9 |
| PMR2GMQ99D | PMR2GMQ99D | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-17 |
| PMRWTNFHNE | PMRWTNFHNE | exercise | open | napkin tex/calculus/differentiate.tex#problem-4 |
| PMRX826J9F | PMRX826J9F | 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.33162#7VXA |
| PMS7AFNZGQ | PMS7AFNZGQ | 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.25314#LHRC |
| PMT85M5D53 | PMT85M5D53 | 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 2603.29838#13OI |
| PMTB9XYVV1 | PMTB9XYVV1 | 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.39890#0RRU |
| PMV0W066SA | PMV0W066SA | 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.18277#KHE3 |
| PMV6TA5G8S | PMV6TA5G8S | statement | open | hott_book setmath.tex#cor-2 |
| PMVEMASNGY | PMVEMASNGY | 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.17677#9UN7 |
| PMVGYRVYGD | PMVGYRVYGD | 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.17604#X4LL |
| PMVSFDWRXR | PMVSFDWRXR | 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#7Q4O |
| PMWFCMFFQF | PMWFCMFFQF | 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.18252#41XN |
| PMWWW5ZZVQ | PMWWW5ZZVQ | 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.14060#BI7Q |
| PMX3VX6B5C | PMX3VX6B5C | 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#RFD3 |
| PMX8MB0WXH | PMX8MB0WXH | 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.06326#ORQQ |
| PMYH2WJC00 | PMYH2WJC00 | 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.15593#HDLP |
| PMYK9W1P09 | PMYK9W1P09 | 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.30760#RCIB |
| PMYW4JF9MW | PMYW4JF9MW | example | open | levin_dmoi ptx/sec_seq-polyfit.ptx#example-deltak |
| PMYWJBSYAH | PMYWJBSYAH | 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.18070#B78Z |
| PMZ0SA8D06 | PMZ0SA8D06 | 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.36922#887P |
| PMZQ4JJ85R | PMZQ4JJ85R | statement | open | lebl_scv scv.tex#thm-24 |
| PMZVCS7HCX | PMZVCS7HCX | 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.37520#A2NQ |
| PN13KZM4MX | PN13KZM4MX | 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 2509.21444#G6X5 |
| PN1DFR213E | PN1DFR213E | example | open | lebl_ra ch-vol1-intro.tex#example-8 |
| PN1K5W1RTM | PN1K5W1RTM | 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.30067#Z9A6 |
| PN1X26EM8N | PN1X26EM8N | 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 2312.14319#5UUG |
| PN1YFWW506 | PN1YFWW506 | 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.32077#5IWF |
| PN1ZEAWPZ9 | PN1ZEAWPZ9 | 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.31393#VQ26 |
| PN289BNTTV | PN289BNTTV | 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 2306.12846#QQT3 |
| PN2HYRE096 | PN2HYRE096 | 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.21533#7KXW |
| PN36HW0257 | PN36HW0257 | exercise | open | hott_book setmath.tex#ex:utype-ct |
| PN3MBDHNXE | PN3MBDHNXE | exercise | open | lebl_diffyqs ch-systems.tex#exercise-91 |
| PN40AAB7KM | PN40AAB7KM | 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.36088#RCLF |
| PN44V0BARA | PN44V0BARA | 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.20421#4ELK |
| PN4K8FDTHD | PN4K8FDTHD | exercise | open | lebl_scv scv.tex#exercise:symmetric |
| PN5EW3V8AQ | PN5EW3V8AQ | 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.02743#JA0B |
| PN5YSC74CD | PN5YSC74CD | 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 math/0411039#06XG |
| PN65PB6SSX | PN65PB6SSX | 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.19260#7VGN |
| PN6SF2DYD7 | PN6SF2DYD7 | 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.00144#TL0S |
| PN7ETSFZXW | PN7ETSFZXW | 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.10505#0PYO |
| PN83NRGXCJ | PN83NRGXCJ | 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.09809#0IWO |
| PN8AVTY961 | PN8AVTY961 | 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.03661#CWQE |
| PN8R715YY2 | PN8R715YY2 | 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.11082#XU2T |
| PN8SYM0Z5V | PN8SYM0Z5V | 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.32300#Z2JB |
| PN969VJ5TT | PN969VJ5TT | example | open | napkin tex/set-theory/ordinal.tex#example-4 |
| PN99DMM2H7 | PN99DMM2H7 | 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.20932#LA97 |
| PN9THGVV8X | PN9THGVV8X | 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 2609.31478#ZSUJ |
| PNAD54Y0XQ | PNAD54Y0XQ | 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#JIGR |
| PNAP5J2RW3 | PNAP5J2RW3 | 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.32439#RNUT |
| PNCBKQRBTC | PNCBKQRBTC | 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.11271#8YS8 |
| PNCMDH69BW | PNCMDH69BW | proof | open | napkin tex/alg-geom/spec-sheaf.tex#proof-2 |
| PNCVCAT0ER | PNCVCAT0ER | exercise | open | napkin tex/H113/grp-intro.tex#ques-1 |
| PND6EQ9B9W | PND6EQ9B9W | 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.05184#7WS0 |
| PNDKWSVXXG | PNDKWSVXXG | proof | open | hott_book reals.tex#proof-22 |
| PNEGVNB5WJ | PNEGVNB5WJ | 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.05722#UFP8 |
| PNEK3T0H0Y | PNEK3T0H0Y | 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.03811#POUL |
| pneumatics | ZYR88J71EX | definition | open | Wikidata Q211500, ProofWiki Definition:Pneumatics |
| PNFA8FWDDQ | PNFA8FWDDQ | unknown | open | |
| PNFSR0H7RV | PNFSR0H7RV | definition | open | napkin tex/set-theory/ordinal.tex#definition-2 |
| PNGCXAWZ2G | PNGCXAWZ2G | 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.05314#ZH5K |
| PNGWR63N55 | PNGWR63N55 | conjecture | 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 0906.2853#2AKI |
| PNH6XAV0KJ | PNH6XAV0KJ | 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.27628#7UQL |
| PNH8F5CPVB | PNH8F5CPVB | 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.20050#KEC9 |
| PNHK4YJAFN | PNHK4YJAFN | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-10 |
| PNHVD5S3VM | PNHVD5S3VM | 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 math/0406514#QJ0C |
| PNJ9Q8EMDF | PNJ9Q8EMDF | 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.29501#P7AV |
| PNJQH84GW6 | PNJQH84GW6 | 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 1006.3331#0BGM |
| PNJXYB088W | PNJXYB088W | 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.01433#ZUWX |
| PNKQMSFT5W | PNKQMSFT5W | 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.26434#W9QG |
| PNKTCKEM02 | PNKTCKEM02 | example | open | applied_combinatorics source/s_polya_perm-groups.ptx#example-4 |
| PNM3C4HRQC | PNM3C4HRQC | 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.37252#847F |
| PNMBPEZH5N | PNMBPEZH5N | 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.08018#YL35 |
| PNMGJMDWR5 | PNMGJMDWR5 | statement | open | open_logic content/second-order-logic/sol-and-set-theory/cardinalities.tex#prop-2 |
| PNMH0RPCVW | PNMH0RPCVW | 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.27518#KUMM |
| PNMZQ6YAYX | PNMZQ6YAYX | 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.28649#TN3U |
| PNNHZYH14S | PNNHZYH14S | 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.15402#G36A |
| PNNMYAHD9P | PNNMYAHD9P | 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.17677#FYZ1 |
| PNP43TZDBB | PNP43TZDBB | 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.09084#TNL4 |
| PNPAGT4AGS | PNPAGT4AGS | 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.25275#FQBF |
| PNPYRVMZE3 | PNPYRVMZE3 | 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.26479#VLMZ |
| PNQ1WDQZJN | PNQ1WDQZJN | 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.07673#0WI3 |
| PNQ48FS2KG | PNQ48FS2KG | 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.01915#WJQM |
| PNQW3TKSHG | PNQW3TKSHG | 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.39293#V47S |
| PNQWTN3JR0 | PNQWTN3JR0 | 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.35632#CJ7Z |
| PNRPFPVXJA | PNRPFPVXJA | 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.10469#VDDY |
| PNRRPFC3V7 | PNRRPFC3V7 | 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.35577#JLZW |
| PNS5S7Y6QT | PNS5S7Y6QT | 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.13877#Z6XK |
| PNSCKKN3GP | PNSCKKN3GP | 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.20126#YB14 |
| PNSCWBAX6Y | PNSCWBAX6Y | 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.15593#8JUT |
| PNSN83G7T6 | PNSN83G7T6 | exercise | open | ernst_ibl MAAPressVersion/IrrationalityRoot2.tex#problem-1 |
| PNT1F4HDQ7 | PNT1F4HDQ7 | 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.00337#4I4R |
| PNT38Y43VP | PNT38Y43VP | 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 2411.16022#04SI |
| PNTQ0AEVBV | PNTQ0AEVBV | 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.27974#IQ6H |