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 2601–2700 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PJ69Z838JJ | PJ69Z838JJ | 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.40207#E2X4 |
| PJ6B85P800 | PJ6B85P800 | 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.35543#48YK |
| PJ6FK48DMN | PJ6FK48DMN | 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 2404.14312#P23F |
| PJ70M8SYSY | PJ70M8SYSY | 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.05005#NEK4 |
| PJ70MT9HDK | PJ70MT9HDK | 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.03437#LC20 |
| PJ7EQ187KQ | PJ7EQ187KQ | 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.36423#WHQZ |
| PJ82V3DEYG | PJ82V3DEYG | 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 2604.02255#TUMH |
| PJ8VSMZ6AP | PJ8VSMZ6AP | 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.12619#TH9R |
| PJ92GZKMR1 | PJ92GZKMR1 | 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.37606#6L3I |
| PJ9T1JZ1Z2 | PJ9T1JZ1Z2 | 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.19468#BZ4W |
| PJ9VCHD9NX | PJ9VCHD9NX | 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.26496#CD47 |
| PJAEZ12Y8D | PJAEZ12Y8D | 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 2310.17520#B4JN |
| PJB0NJND94 | PJB0NJND94 | proof | open | open_logic content/proof-theory/normalization/translations.tex#proof-3 |
| PJBS2TQXAM | PJBS2TQXAM | exercise | open | lebl_scv scv.tex#exercise-110 |
| PJC4Q0PB8E | PJC4Q0PB8E | 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 2601.04559#STWP |
| PJCAQRGSX3 | PJCAQRGSX3 | 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.10205#K9GD |
| PJDA4S4TT5 | PJDA4S4TT5 | 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.09544#UNLF |
| PJDEHZQG4G | PJDEHZQG4G | 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.18078#0GBZ |
| PJDKXRBX0E | PJDKXRBX0E | 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 2501.17850#VOXU |
| PJE0SR43SW | PJE0SR43SW | 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 2502.02777#NO5F |
| PJF1BJJNZ1 | PJF1BJJNZ1 | 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.37313#0DCF |
| PJFGY4W4JG | PJFGY4W4JG | 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.15217#UKG4 |
| PJFXKTESCR | PJFXKTESCR | 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.27366#30YD |
| PJFZE51Y6Q | PJFZE51Y6Q | 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 2605.30679#4ZQ9 |
| PJFZN1GD7W | PJFZN1GD7W | 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#WI5E |
| PJGR19P6PX | PJGR19P6PX | 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.06488#KVYC |
| PJGZZ0N89X | PJGZZ0N89X | exercise | open | lebl_ra ch-riemann.tex#exercise:otherlogbases |
| PJH1JYGR8H | PJH1JYGR8H | 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.13691#FSUJ |
| PJH8ATJTVJ | PJH8ATJTVJ | proof | open | hott_book equivalences.tex#proof-13 |
| PJHKQ2FHBN | PJHKQ2FHBN | 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.30262#DOCX |
| PJJ7ZT66RS | PJJ7ZT66RS | 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 1612.08394#237M |
| PJJAZTF3C0 | PJJAZTF3C0 | 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.34570#HLKG |
| PJJVMFN0JS | PJJVMFN0JS | 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.20050#96QR |
| PJK72FPPRC | PJK72FPPRC | 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 2512.24812#GTBH |
| PJK92EQ1ZG | PJK92EQ1ZG | 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 2604.10080#JTCB |
| PJK9JQE4GM | PJK9JQE4GM | 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.03856#VP7V |
| PJKAQFZ356 | PJKAQFZ356 | 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.16853#BV9L |
| PJM8YG25ZV | PJM8YG25ZV | 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.01346#NDKH |
| PJMA8QHGQ5 | PJMA8QHGQ5 | 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.02893#3Z0H |
| PJMNTDREY5 | PJMNTDREY5 | 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.14783#OCE2 |
| PJN3G39MH6 | PJN3G39MH6 | 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.18436#L47Z |
| PJNFKGYZHH | PJNFKGYZHH | statement | open | applied_combinatorics source/s_background_total-order-N.ptx#proposition-1 |
| PJNGQ08BGV | PJNGQ08BGV | 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.01197#437H |
| PJNYDGF1Q0 | PJNYDGF1Q0 | 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.04834#I392 |
| PJPGGKBVPJ | PJPGGKBVPJ | 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.08567#OIDP |
| PJPNMYZY0V | PJPNMYZY0V | 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 2505.04593#GAMR |
| PJQAYDQZ48 | PJQAYDQZ48 | 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.10928#HWGM |
| PJQB1FJRNE | PJQB1FJRNE | proof | open | open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#proof-4 |
| PJQWFCXAJ2 | PJQWFCXAJ2 | 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.14321#IFEQ |
| PJR1B0N541 | PJR1B0N541 | 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.13103#KS7V |
| PJR3JNT4KK | PJR3JNT4KK | 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.12817#86WR |
| PJRAMDR45H | PJRAMDR45H | 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.08261#15SQ |
| PJRNER6S5R | PJRNER6S5R | 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.14821#PMSQ |
| PJSGAVGFV8 | PJSGAVGFV8 | 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.15088#AMLD |
| PJSYX2FZ5C | PJSYX2FZ5C | 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.13817#EQU4 |
| PJT6RZBKAS | PJT6RZBKAS | 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.35574#VXGD |
| PJTVAKHFJK | PJTVAKHFJK | proof | open | applied_combinatorics source/s_probability_central-tendency.ptx#proof-2 |
| PJTWXQG17E | PJTWXQG17E | 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.12181#6VG3 |
| PJV72T5G35 | PJV72T5G35 | 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.22317#YDG1 |
| PJVBKHTKQG | PJVBKHTKQG | 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.10107#KRY6 |
| PJVED5VBB5 | PJVED5VBB5 | 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.06581#GBL3 |
| PJVKR6ASDS | PJVKR6ASDS | 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.21501#9DA5 |
| PJVPDPGH4A | PJVPDPGH4A | proof | open | hott_book hlevels.tex#proof-27 |
| PJWG0JKRZ8 | PJWG0JKRZ8 | 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.12810#SW1A |
| PJXASN5F5H | PJXASN5F5H | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-2 |
| PJXCMRHF5X | PJXCMRHF5X | 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.11872#H7OT |
| PJXNX48JXN | PJXNX48JXN | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-41 |
| PJY46B64V2 | PJY46B64V2 | 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.21724#WA3A |
| PJY748CKE6 | PJY748CKE6 | 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#LROB |
| PJY8G2XXC9 | PJY8G2XXC9 | 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 2606.20229#B5YP |
| PJZ1K5HCZ7 | PJZ1K5HCZ7 | 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.18562#EW9N |
| PJZ8ABF22Q | PJZ8ABF22Q | 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.12576#UBIC |
| PJZ99S9KDF | PJZ99S9KDF | exercise | open | active_calculus source/activities/act-2-3-2.xml#act-2-3-2 |
| PK0B24SDK6 | PK0B24SDK6 | exercise | open | open_logic content/intuitionistic-logic/soundness-completeness/soundness-nd.tex#prob-2 |
| PK0NMMZFRF | PK0NMMZFRF | 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.27765#FNDW |
| PK0QW2DH7N | PK0QW2DH7N | 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.02935#R27N |
| PK23QV3EPE | PK23QV3EPE | 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.28489#ESR7 |
| PK2JFR28EC | PK2JFR28EC | 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.03628#Y7CB |
| PK2ME15Q26 | PK2ME15Q26 | 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 2610.00247#1S4U |
| PK2S5AMFJJ | PK2S5AMFJJ | 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.35275#0OO6 |
| PK2ZY13PWA | PK2ZY13PWA | 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#RRFY |
| PK33HEJCR4 | PK33HEJCR4 | 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.36045#SR4O |
| PK34R4G6MH | PK34R4G6MH | 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.04382#7EKE |
| PK4CPW5VV7 | PK4CPW5VV7 | 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.34570#A0P2 |
| PK5CE260E4 | PK5CE260E4 | 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.33771#7YWW |
| PK5EZN2246 | PK5EZN2246 | 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.09129#LQ7Q |
| PK5P4TQSXV | PK5P4TQSXV | 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 2608.16453#J9Q5 |
| PK65XAM22V | PK65XAM22V | 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.10365#EG85 |
| PK6CFW3DT6 | PK6CFW3DT6 | 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.08594#LY0N |
| PK6XJXMKQA | PK6XJXMKQA | 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.40274#VU3F |
| PK71ZSDBMB | PK71ZSDBMB | 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.36332#HAWE |
| PK78EH5RS8 | PK78EH5RS8 | 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.33124#4DQ5 |
| PK7HS9402S | PK7HS9402S | proof | open | napkin tex/alg-geom/mor-scheme.tex#proof-2 |
| PK7Q6ZK6MT | PK7Q6ZK6MT | 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.22190#GXTX |
| PK8FXFMYP3 | PK8FXFMYP3 | 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.12329#QSU9 |
| PK8XGNF689 | PK8XGNF689 | 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.15169#WZ54 |
| PK98SP0W2X | PK98SP0W2X | 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.05193#KGVQ |
| PK9AK0P5YE | PK9AK0P5YE | 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 2311.01874#CQ8D |
| PK9ZTH4X4W | PK9ZTH4X4W | 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.31044#J2DR |
| PKA4AXHBRR | PKA4AXHBRR | 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.12053#CJA4 |