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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 5601–5700 of 13732.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| PN code | 3XDA2NN4GG | unknown | open | Wikipedia Pseudorandom noise#3N4B |
| 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 |
| PN39PFEYNE | PN39PFEYNE | 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.21414#WWXQ |
| 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 |
| PNBQS9QFYT | PNBQS9QFYT | 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.22924#QDQ8 |
| 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 |
| PNM8889QWK | PNM8889QWK | 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.23119#3RFE |
| 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 |
| PNQTK8RJBD | PNQTK8RJBD | 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.22297#EX5F |
| 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 |
| PNR4H10BGS | PNR4H10BGS | 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.23238#O3QO |
| 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 |
| PNVDJ4RNM2 | PNVDJ4RNM2 | proof | open | napkin tex/linalg/transpose.tex#proof-7 |
| PNVDPZ77DZ | PNVDPZ77DZ | 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 1204.5958#DIYU |
| PNVJ81S86X | PNVJ81S86X | 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.23119#FGJX |
| PNVQWK6H5X | PNVQWK6H5X | 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#DRRX |
| PNWCHPZEP6 | PNWCHPZEP6 | 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.01912#GG45 |
| PNWQZH678V | PNWQZH678V | 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.03337#4N5N |
| PNWX5A06P1 | PNWX5A06P1 | 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.23605#YVPO |
| PNX664WPSB | PNX664WPSB | 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 2405.14678#V3VT |
| PNXC3VW16G | PNXC3VW16G | 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.25167#49CP |
| PNXST5KYJ6 | PNXST5KYJ6 | 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.39269#EFWF |
| PNXX2R7CP3 | PNXX2R7CP3 | 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.27056#WVV7 |